Lemma 37.62.22 (06B9)—The Stacks project

Processing math: 100%

Table of contents
Part 2: Schemes
Chapter 37: More on Morphisms
Section 37.62: Local complete intersection morphisms
Lemma 37.62.22 (cite)

numberstags

Lemma 37.62.22. Let $f : X \to Y$ be a local complete intersection morphism of schemes. Then $f$ is unramified if and only if $f$ is formally unramified and in this case the conormal sheaf $\mathcal{C}_{X/Y}$ is finite locally free on $X$ .

Proof. The first assertion follows immediately from Lemma 37.6.8 and the fact that a local complete intersection morphism is locally of finite type. To compute the conormal sheaf of $f$ we choose, locally on $X$ , a factorization of $f$ as $f = p \circ i$ where $i : X \to V$ is a Koszul-regular immersion and $V \to Y$ is smooth. By Lemma 37.11.13 we see that $\mathcal{C}_{X/Y}$ is a locally direct summand of $\mathcal{C}_{X/V}$ which is finite locally free as $i$ is a Koszul-regular (hence quasi-regular) immersion, see Divisors, Lemma 31.21.5. $\square$

Comments (0)

There are also:

4 comment(s) on Section 37.62: Local complete intersection morphisms

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment