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

Recently I read the book Intersection Theory by Fulton. I think one property in his book relies on this commutative algebra conclusion. I'm not sure whether it is right. Assume all rings are of finite type over $K$. Given $A\to B\to B/I$, where $B$ and $B/I$ are both flat over $A$. $I$ is generated by a regular sequence of lenth $d$ . And $A\to C$ any other homomorphism. Question: is the ideal $C\otimes _AI$ of $C\otimes_AB$ generated a regular sequence of lenth $d$ ? Thank you for your consideration.

share|improve this question
add comment

2 Answers

I think it is right. Write down the Koszul complex for the regular sequence, which generates $I$. THe regularity of the sequence, is equivalent to vanishing of all the homology groups of the complex, except for $H_0$, which is isomorphic to $B/I$. Tensoring with $C$ over $A$, you obtain the Kozsul complex for the same sequence but in $C\otimes_A B$. Since $B$ is $A$-flat, then again by looking at the homology, you deduce that the sequence remains regular in $C\otimes_A B$. The flatness of $B/I$ over $A$ implies that the ideal generated by the sequence in $C\otimes_A B$ is equal to $C\otimes_A I$.

Edit: unknown is right, i have been spending too much time with local rings. However, the argument together with matsumura Thm 16.8 on p.131 shows that the length of a maximal regular sequence in $C\otimes_A I$ is equal to the length of a regular sequence in $I$.

Edit2: After a while, I had actually decided to look at what Fulton writes. In his appendix A.5 he talks not of regular sequences, but of regular sections, which are defined in terms of vanishing of Kozsul complex, and basically my proof is his Lemma A.5.3.

share|improve this answer
add comment

but it is notably that tHe regularity of the sequence, is NOT equivalent to vanishing of all the homology groups of the complex, except for H0! For examples see Mastumura or the appendix of the book mensioned above! There are sequence that are not regular but vanishing of all the homology groups of the complex, except for H0 holds! And there are examples that a permutation of a regular sequence is not a regular sequence!

share|improve this answer
1  
Lots of exclamation marks! –  Mariano Suárez-Alvarez Nov 14 '11 at 17:43
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.