Lemma 53.3.2 (0CCP)—The Stacks project

Table of contents
Part 3: Topics in Scheme Theory
Chapter 53: Algebraic Curves
Section 53.3: Linear series
Lemma 53.3.2 (cite)

Lemma 53.3.2. Let $k$ be a field. Let $X$ be a nonsingular proper curve over $k$. Let $(\mathcal{L}, V)$ be a $\mathfrak g^ r_ d$ on $X$. Then there exists a morphism

\[ \varphi : X \longrightarrow \mathbf{P}^ r_ k = \text{Proj}(k[T_0, \ldots , T_ r]) \]

of varieties over $k$ and a map $\alpha : \varphi ^*\mathcal{O}_{\mathbf{P}^ r_ k}(1) \to \mathcal{L}$ such that $\varphi ^*T_0, \ldots , \varphi ^*T_ r$ are sent to a basis of $V$ by $\alpha $.

Proof. Let $s_0, \ldots , s_ r \in V$ be a $k$-basis. Since $X$ is nonsingular the image $\mathcal{L}' \subset \mathcal{L}$ of the map $s_0, \ldots , s_ r : \mathcal{O}_ X^{\oplus r + 1} \to \mathcal{L}$ is an invertible $\mathcal{O}_ X$-module for example by Divisors, Lemma 31.11.11. Then we use Constructions, Lemma 27.13.1 to get a morphism

\[ \varphi = \varphi _{(\mathcal{L}', (s_0, \ldots , s_ r))} : X \longrightarrow \mathbf{P}^ r_ k \]

as in the statement of the lemma. $\square$

Comments (2)

Comment #7489 by Hao Peng on July 17, 2022 at 02:13

$\mathcal O_X^r$ should be replaced by $\mathcal O_X^{r+1}$

Comment #7635 by Stacks Project on August 14, 2022 at 11:30

THanks. Fixed here.

Comments (2)

Post a comment