Definition 53.3.1. Let $k$ be a field. Let $X$ be a proper scheme of dimension $\leq 1$ over $k$. Let $d \geq 0$ and $r \geq 0$. A linear series of degree $d$ and dimension $r$ is a pair $(\mathcal{L}, V)$ where $\mathcal{L}$ is an invertible $\mathcal{O}_ X$-module of degree $d$ (Varieties, Definition 33.44.1) and $V \subset H^0(X, \mathcal{L})$ is a $k$-subvector space of dimension $r + 1$. We will abbreviate this by saying $(\mathcal{L}, V)$ is a $\mathfrak g^ r_ d$ on $X$.
Comments (2)
Comment #7349 by Tim Holzschuh on
Comment #7569 by Stacks Project on