7
$\begingroup$

Let $X,Y$ be locally Noetherian schemes. Let $f:X\to Y$ be a finite, surjective, and locally complete intersection morphism, i.e., locally it can be decomposed as regular immersion followed by a smooth morphism. Recall: an immersion $X\to Y$ is called a regular immersion at a point $x$ if $\mathcal{O}_{X,x}$ is isomorphic as $\mathcal{O}_{Y,y}$-module to $\mathcal{O}_{Y,y}$ modulo an ideal $I$ generated by a regular sequence of elements of $\mathcal{O}_{Y,y}$.

Question: prove that $f$ is flat. In particular, $f$ will be a simultaneously open and closed morphism.

$\endgroup$
2
  • $\begingroup$ Sorry, very late answer to your comment below: l.c.i implies finite flat dimension essentially because a quotient by a regular sequence has finite flat resolution (the Koszul complex) $\endgroup$ Apr 30, 2010 at 0:47
  • 5
    $\begingroup$ This is worded like a homework problem. $\endgroup$
    – Angelo
    Jan 15, 2012 at 6:25

1 Answer 1

7
$\begingroup$

Work locally, assume that $f: R\to S$ is a local homomorphism. Let $\operatorname{cmd}(R) =\operatorname{dim} R-\operatorname{depth} R$ (this is the so-called Cohen-Macaulay defect of $R$). Claim: $\operatorname{cmd}$ is preserved by l.c.i maps (easy, essentially because both depth and dimension drop by one when you kill a regular element).

Now since the map $\phi: \operatorname{Spec}(S) \to \operatorname{Spec} (R)$ is finite and surjective, $\operatorname{dim} R= \operatorname{dim} S$, which combines with the last claim to show that $\operatorname{depth} R = \operatorname{depth} S$. But since l.c.i also implies finite flat dimension, we have $\operatorname{depth} R -\operatorname{depth} S = pd_RS$, so $S$ is flat over $R$.

$\endgroup$
4
  • $\begingroup$ Do either of you know any good references for this stuff, other than Liu? I like the topics and style of his book, so now I'm greedy and looking for more :) $\endgroup$ Dec 2, 2009 at 9:22
  • $\begingroup$ Andrew: Unfortunately I do not know any. If you want all the technical details of recent results on this kind of stuff, look at Lucho Avramov publications page (especially the lower half): math.unl.edu/~lavramov2/papers.html $\endgroup$ Dec 2, 2009 at 16:52
  • $\begingroup$ Thanks, but I am still not sure why l.c.i impies finite flat dimension $\endgroup$
    – TJCM
    Dec 3, 2009 at 7:35
  • $\begingroup$ @Andrew Critch: I'm pretty sure this is covered in the commutative algebra section of Stacks-GIT. $\endgroup$ Apr 9, 2010 at 2:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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