Intereting Posts

How do I calculate $\sum_{n\geq1}\frac{1}{n^4+1}$?
How do i reduce this expression of binomial coefficients
Find the value of $\int \left(\frac{3x^2-9x+1}{3x^3-3x+3}\right)^2dx$
Integrating $\int^2_{-2}\frac{x^2}{1+5^x}$
Proving the rationals are dense in R
Elementary proof that $2x^2+xy+3y^2$ represents infinitely many primes?
Evaluate $\int_{0}^{\infty}\frac{\alpha \sin x}{\alpha^2+x^2} \mathrm{dx},\space \alpha>0$
Evaluating $\int_0^{\infty}\frac{\ln(x^2+1)}{x^2+1}dx$
Determinant of a tensor
$\forall n\ /\ \not\exists$ {primitive roots modulo n}: if $\ Max(ord_n(k))+1 \mid n\ $ then $\ Max(ord_n(k))+1\ $ is prime?
Inverse of diagonally dominant matrix with equal off-diagonal entries
An annoying Pell-like equation related to a binary quadratic form problem
Is there only one way to make $\mathbb R^2$ a field?
Is $\int_a^b f(x) dx = \int_{f(a)}^{f(b)} f^{-1}(x) dx$?
Formula for $\sum_{k=0}^n k^d {n \choose 2k}$

I know that there are isomorphic projective varieties which have nonisomorphic coordinate rings, but I’m a little mystified as to “why” this is the case. Why doesn’t a usual functoriality proof go through to prove this, and is there any insight into this other than that the definitions just work out this way?

- The bijection between homogeneous prime ideals of $S_f$ and prime ideals of $(S_f)_0$
- Proving normality of affine schemes
- Exercise $1.8$ of chapter one in Hartshorne.
- $X \to Y$ flat $\Rightarrow$ the image of a closed point is also a closed point?
- the ideal generated by general polynomials is radical
- Direct image of vector bundle
- Closed points in projective space correspond to which homogenous prime ideals in $k$
- Separated schemes and unicity of extension
- What are some applications outside of mathematics for algebraic geometry?
- Why are projective spaces and varieties preferable?

The homogeneous coordinate ring of a projective variety embedded in $\mathbb{P}^n$ is not the “ring of functions” on the variety but actually the direct sum of sections of symmetric powers of some line bundle. The point is that this construction actually depends on the line bundle, and the same variety can have many line bundles which give rise to non-isomorphic rings.

I’m not sure what “a usual functoriality proof” is, but you should find either that you end up proving something about the category of projective varieties together with an embedding or that you can’t define the homogeneous coordinate ring at *all* without a choice of embedding.

I’m not totally comfortable with this answer since I can’t claim to have much experience with line bundles, so here’s a more straightforward version. First, the reason this issue doesn’t come up for affine varieties is that once you have a definition of a morphism of affine varieties, the ring of functions $k[V]$ on an affine variety $V$ really is just the set of morphisms $V \to \mathbb{A}^1(k)$, and this definition is clearly functorial.

The same cannot be said for the homogeneous coordinate ring of a projective variety $V \subset \mathbb{P}^n$. First of all, its elements are not functions on the variety. Quotients of two elements of the same degree do define ~~morphisms~~ rational maps $V \dashrightarrow \mathbb{P}^1$, but you’re considering much more than just such quotients. When $V$ is irreducible you might be tempted to replace the ring of functions with the field $k(V)$ of rational functions, but $k(V)$ does not completely capture $V$ (for example it ignores the removal of finitely many points).

After you think about this problem for awhile you should realize that the problem here is that the homogeneous coordinate ring really is defined in terms of the embedding, and so there’s no reason to expect it to be independent of the choice of embedding. So next you might look for a definition of projective variety that is independent of the choice of embedding, and then sooner or later you have to start studying schemes.

Just to elaborate slightly on Qiaochu’s answer:

If $X \subset \mathbb P^n$ is a projective variety, then the given embedding of $X$ in $\mathbb P^n$ equips $X$ with extra structure: a line bundle $\mathcal L$ (the restriction of $\mathcal O(1)$), and sections $x_0,\ldots,x_n \in \Gamma(

X,\mathcal L)$ (the restriction of the sections $x_i$ of $\mathcal O(1)$).

Conversely, given an abstract variety $X$, equipped with a line bundle $\mathcal L$ and sections $x_0,\ldots,x_n$ of $\Gamma(X,\mathcal L)$ satisfying appropriate axioms (see e.g. Chapter II, Section 7 of Hartshorne), one obtains a projective embedding.

The homogeneous coordinate ring of $X$ depends functorially on the data

$\bigr(X,\mathcal L, (x_i)_{i= 0,\ldots,n}\bigr).$ But of course, this is more data than just $X$ alone.

As a concrete example, think about the difference between the homogeneous coordiante ring of $\mathbb P^1$ embedded via the identity map into itself,

and embedded as a smooth conic in $\mathbb P^2$.

Here’s a slightly tangential elaboration on the above two answers.

Let $X = \mathrm{Proj} A$ for $A$ a noetherian ring. So here $A$ should fade into the background, but $X$ is the important thing; it turns out that the $\mathrm{Proj}$ depends only on the asymptotic part of $A$ in high dimensions. Then we can consider the category of coherent sheaves on $\mathrm{Proj} A$. The sheaf of regular functions is the canonical example.

There is a functor from finitely graded $A$-modules to coherent sheaves on $\mathrm{Proj} A$, denoted by a tilde. (This is as in Hartshorne II.5.) Unlike the case for an affine scheme, however, it is *not* an equivalence of categories. It is not too hard to show that the functor is essentially surjective, since given a coherent sheaf $\mathcal{F}$ on $\mathrm{Proj} A$ you can construct the graded $A$-module $\bigoplus \Gamma(X, \mathcal{F}(n))$ of the global sections of all the twists. Then one can show using elementary methods that this recovers $\mathcal{F}$. (In fact, this is true even if $A$ is not noetherian and $\mathcal{F}$ is simply assumed quasi-coherent.)

*However,* if we have a graded $A$-module $M$, we cannot recover $M$ from the associated sheaf $\tilde{M}$. For instance, if $M$ has finitely many nonzero components, then the homogeneous localizations $M_{(f)}$ vanish (for any homogeneous element $f$), so the associated sheaf is zero. But $M$ may not be zero.

This suggests that if we consider the abelian category of finitely generated graded $A$-modules, and quotient out by the Serre class of modules that are “asymptotically zero,” then we will get the category of coherent sheaves on $\mathrm{Proj} A$. This is in fact true, though the proof uses a bit of cohomological machinery (see EGA III.2).

So the moral of the story is that the $\mathrm{Proj}$ sees only asymptotic data. If we have a morphism $A \to A'$ that induces an isomorphism in large enough degrees, then $\mathrm{Proj} A, \mathrm{Proj} A'$ will be isomorphic (as one example).

- Show $\sum_n \frac{z^{2^n}}{1-z^{2^{n+1}}} = \frac{z}{1-z}$
- Limits in the category of exact sequences
- How to prove that inverse Fourier transform of “1” is delta funstion?
- Laplace transform of $ t^{1/2}$ and $ t^{-1/2}$
- a compact operator on $l^2$ defined by an infinite matrix
- $3\times3$ linear system organization
- one-dimensional inverse square laws
- Existence of a dense proper subset with non-empty interior?
- How to compute $\lim_{n\rightarrow\infty}\frac1n\left\{(2n+1)(2n+2)\cdots(2n+n)\right\}^{1/n}$
- Difference between “space” and “mathematical structure”?
- substituting a variable in a formula (in logic)
- If $A$ is an $m\times n$ matrix and $B$ is an $n\times m$ matrix such that $AB=I$, prove that rank$(B)=m$
- Is it right that the fundamental recurrence of an arbitrary continued fraction cannot be proved without induction?
- topologies of spaces in escher games
- How to detect when continued fractions period terminates