Lemma 43.13.3 (0B0Q)—The Stacks project

Processing math: 100%

Table of contents
Part 3: Topics in Scheme Theory
Chapter 43: Intersection Theory
Section 43.13: Proper intersections
Lemma 43.13.3 (cite)

previous lemma
next lemma

numberstags

history
statistics
3 tags refer to this tag

Lemma 43.13.3. Let $X$ be a nonsingular variety. Then the diagonal $\Delta : X \to X \times X$ is a regular immersion of codimension $\dim (X)$ .

Proof. In fact, any closed immersion between nonsingular projective varieties is a regular immersion, see Divisors, Lemma 31.22.11. $\square$

Comments (0)

There are also:

3 comment(s) on Section 43.13: Proper intersections

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