Lemma 37.62.13 (0FJ2)—The Stacks project

Loading web-font TeX/Math/Italic

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

previous lemma
next lemma

numberstags

history
statistics

$\xymatrix{ X \ar[rr]_ f \ar[rd] & & Y \ar[ld] \\ & S }$

be a commutative diagram of morphisms of schemes. Assume $S$ is locally Noetherian, $Y \to S$ is locally of finite type, $Y$ is regular, and $X \to S$ is a local complete intersection morphism. Then $f : X \to Y$ is a local complete intersection morphism and $Y \to S$ is Koszul at $f(x)$ for all $x \in X$ .

Proof. This is a special case of Lemma 37.62.12 in view of Lemma 37.61.6 (and Morphisms, Lemma 29.15.8). $\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