Lemma 37.62.3 (069G)—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.3 (cite)

previous definition
next lemma

numberstags

history
statistics
5 tags refer to this tag

Lemma 37.62.3. Let $f : X \to S$ be a local complete intersection morphism. Let $P$ be a scheme smooth over $S$ . Let $U \subset X$ be an open subscheme and $i : U \to P$ an immersion of schemes over $S$ . Then $i$ is a Koszul-regular immersion.

Proof. This is the defining property of a local complete intersection morphism. See discussion above. $\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