Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Elementary commutative algebra fact: for two proper ideals I and J of a commutative ring R, we have $V(IJ)=V(I\cap J)=V(I)\cup V(J)$.

Closed subschemes are related to sheaves of ideals. There is operation of intersection and product between sheaves of ideals, which is similar to the affine case.

I see in many places that the structure sheaf over $V(I)\cup V(J)$ are defined to be $R/I\cap J$ rather than $R/IJ$. Why should the structure sheaf be define in that way?

share|improve this question
    
+1,cute question –  Shizhuo Zhang Mar 22 '10 at 2:00
add comment

7 Answers

up vote 8 down vote accepted

Because the first one is the right answer in the case of affine varieties, and the second one is not. Indeed, $R/I$, $R/J$ are nilpotent-free implies $R/I\cap J$ is nilpotent-free, but not so for $R/IJ$.

share|improve this answer
add comment

As with all definitions, there is no "proof" that the adopted definition is the right one but only a feeling that it better corresponds to our intuition.

In the case at hand, taking $R/IJ$ as structure sheaf would make union schemes nonreduced for no good reason. For example take $R=k[x,y,z], I=(y,z), J=(x,z)$. Geometrically you are describing the union $U$ of the $x$-axis and the $y$-axis in affine three space $\mathbb A^3_k$ . It should have a reduced structure, correctly described by $I\cap J$, whereas $I.J=(xy,zx, zy, z^2)$ would make the function $z$ nilpotent but not zero on $U$, which feels wrong since $U$ should be a closed subscheme of the plane $z=0$.

A more brutal objection to the idea of defining the union of two subschemes by the product of their ideals is that a subscheme $U$ would practically never be equal to its union with itself, since in general$ I\neq I^2$ : we would have (almost always) $$U\neq U \cup U$$
That looks bad!

share|improve this answer
    
Thanks for your answer. I guess that the following fact makes the $I\cap J$ better: $R/I\cap J$ is reduced if both $R/I$ and $R/J$ are reduced. We 'love' reduced scheme more than non-reduced scheme. –  7-adic Mar 21 '10 at 18:51
    
Dear 7-adic, it is not just a question of loving reduced schemes. See my answer below for an elaboration. –  Emerton Mar 21 '10 at 22:03
add comment

(i) The union of two closed subschemes should be the smallest closed subscheme containing the two given ones; if you like, an initial object in the category of all closed subschemes containing the given two. In the case when the two given closed subschemes are $V(I)$ and $V(J)$, this is is $V(I\cap J)$. (The operation $V$ interchanges closed sets and ideals, and is order reversing.)

(ii) In function-theoretic terms, a function $f$ (i.e. an element of the ring $A$) should vanish on $V(I) \cup V(J)$ (i.e. lie in the ideal cutting out $V(I)\cup V(J)$) if and only it vanishes on both $V(I)$ and $V(J)$ (i.e. lies in $I$ and $J$), which happens if and only if $f$ lies in $I\cap J$. Thus we are forced to define $V(I)\cup V(J) = V(I\cap J)$, if union is to have anything like its usual meaning.

share|improve this answer
add comment

I'm still learning AG, so I am open to feedback on this answer:

If we think about it in category theoretic terms:

The union of closed subschemes should be a coproduct in the category of closed subschemes of $\operatorname{Spec} R$ (with closed immersions). Thus, in the affine case, you need the product in the category of ideals of $R$ (with inclusions). The product in this category is clearly intersection of ideals, not product of ideals.

share|improve this answer
    
In an ordered set, viewed as a category, the product (resp. coproduct) of two objects is their "inf" (resp. "sup"). Check! You are probably misled by the terminology "product of ideals". –  Laurent Moret-Bailly Nov 21 '11 at 19:50
add comment

Emerton explained well that $V(I\cap J)$ is the natural scheme structure; I'd just like to add that if $V(I)$ and $V(J)$ are divisors, it is also reasonable to use the scheme structure $V(IJ)$ on their union, i.e. their sum as divisors. So both versions have their merits.

share|improve this answer
add comment

If I and J are "coprime" (i.e., if I+J = R) then it's true that the I∩J=IJ, so the two definitions are the same. This is true for example if I and J are distinct primes. To illustrate the kind of thing that happens when there are common factors, consider this silly example: R = ℝ[x,y], I = J = (x). So the union of the two varieties of these ideals is again the y-axis, and the question you need to ask is what do you want as the ring of functions on the union--do you want *R/*I∩J = ℝ[x,y]/(x) or do you want R/IJ = ℝ[x,y]/(x2). the issue is that in the world of algebraic geometry, this choice matters, since an algebraic variety is not only defined by its points, but also it's ring of functions. it seems reasonable that you would want X ∪ X = X for any variety X, so you'd better choose the first choice.

as a side note, the second choice is an example of a "nonreduced" variety, which i guess you wouldn't usually(?) see in a first course on algebraic geometry. it has more functions on it: one "full" dimension plus one "infinitesimal" dimension (i.e., with only linear functions in that direction).

share|improve this answer
1  
@maxmoo : It is not true that distinct primes are "coprime": take $I=(x)$ and $J=(y)$ in $k[x,y]$. These are distinct prime ideals, but they are definitely not "coprime". –  Georges Elencwajg Mar 21 '10 at 16:16
    
hmmm yes that's a good point, better change "This is true" to "It's also true"? –  Max Flander Mar 21 '10 at 16:35
1  
Still not true: if $\mathfrak{p} \subset \mathfrak{q}$, the intersection and product are different. But even if you rule that out, it's no good: $R=k[x,y,z]/(xz-y^2)$, $\mathfrak{p}=(x,y)$, $\mathfrak{q}=(y,z)$. Then the product is $(xy,xz,yz)$ and the intersection is $(y)$. –  Graham Leuschke Mar 21 '10 at 18:39
add comment

Relevant in comparing $IJ$ and $I \cap J$ is Atiyah-MacDonald, exer. 1.13, (iii), at the top of p. 9. It asserts that if $I, J$ are prime then $$IJ \subset rad(IJ) = I \cap J.$$ (Note: prime ideals are radical ideals, as are the intersections of radical ideals.)

Two instructive examples (1): $V(y) \cup V(y)$ as mentioned earlier, where $I = J$. Who wants that the coordinate ring of the x-axis to be to be $K[x,y]/(y^2)$? (2): the variety $V$ which is the union of the $z$-axis ($V_1$) and the $xy$-plane ($V_2$). $I = (x,y)$ and $J = z$ are the corresponding prime ideals. $I \cap J = I J = (zx, zy)$ is the ideal of polynomial functions which vanishes on $V$ corresponding to the decomposition of $V$ into $V_1$ and $V_2$ and the decomposition of $IJ$ into primes.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.