The Stacks project

Lemma 33.23.1. Let $k$ be an algebraically closed field. Let $X$ be a proper $k$-scheme. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Let $V \subset H^0(X, \mathcal{L})$ be a $k$-subvector space. If

  1. for every pair of distinct closed points $x, y \in X$ there is a section $s \in V$ which vanishes at $x$ but not at $y$, and

  2. for every closed point $x \in X$ and nonzero tangent vector $\theta \in T_{X/k, x}$ there exists a section $s \in V$ which vanishes at $x$ but whose pullback by $\theta $ is nonzero,

then $\mathcal{L}$ is very ample and the canonical morphism $\varphi _{\mathcal{L}, V} : X \to \mathbf{P}(V)$ is a closed immersion.

Proof. Condition (1) implies in particular that the elements of $V$ generate $\mathcal{L}$ over $X$. Hence we get a canonical morphism

\[ \varphi = \varphi _{\mathcal{L}, V} : X \longrightarrow \mathbf{P}(V) \]

by Constructions, Example 27.21.2. The morphism $\varphi $ is proper by Morphisms, Lemma 29.41.7. By (1) the map $\varphi $ is injective on closed points (computation omitted). In particular, the fibre over any closed point of $\mathbf{P}(V)$ is a singleton (small detail omitted). Thus we see that $\varphi $ is finite, for example use Cohomology of Schemes, Lemma 30.21.2. To finish the proof it suffices to show that the map

\[ \varphi ^\sharp : \mathcal{O}_{\mathbf{P}(V)} \longrightarrow \varphi _*\mathcal{O}_ X \]

is surjective. This we may check on stalks at closed points. Let $x \in X$ be a closed point with image the closed point $p = \varphi (x) \in \mathbf{P}(V)$. Since $\varphi ^{-1}(\{ p\} ) = \{ x\} $ by (1) and since $\varphi $ is proper (hence closed), we see that $\varphi ^{-1}(U)$ runs through a fundamental system of open neighbourhoods of $x$ as $U$ runs through a fundamental system of open neighbourhoods of $p$. We conclude that on stalks at $p$ we obtain the map

\[ \varphi ^\sharp _ x : \mathcal{O}_{\mathbf{P}(V), p} \longrightarrow \mathcal{O}_{X, x} \]

In particular, $\mathcal{O}_{X, x}$ is a finite $\mathcal{O}_{\mathbf{P}(V), p}$-module. Moreover, the residue fields of $x$ and $p$ are equal to $k$ (as $k$ is algebraically closed – use the Hilbert Nullstellensatz). Finally, condition (2) implies that the map

\[ T_{X/k, x} \longrightarrow T_{\mathbf{P}(V)/k, p} \]

is injective since any nonzero $\theta $ in the kernel of this map couldn't possibly satisfy the conclusion of (2). In terms of the map of local rings above this means that

\[ \mathfrak m_ p/\mathfrak m_ p^2 \longrightarrow \mathfrak m_ x/\mathfrak m_ x^2 \]

is surjective, see Lemma 33.16.5. Now the proof is finished by applying Algebra, Lemma 10.20.3. $\square$


Comments (0)

There are also:

  • 2 comment(s) on Section 33.23: Separating points and tangent vectors

Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0E8S. Beware of the difference between the letter 'O' and the digit '0'.