Lemma 53.18.1 (0CE1)—The Stacks project

Processing math: 100%

Table of contents
Part 3: Topics in Scheme Theory
Chapter 53: Algebraic Curves
Section 53.18: Genus versus geometric genus
Lemma 53.18.1 (cite)

next lemma

numberstags

history
statistics
2 tags refer to this tag

Lemma 53.18.1. Let $k$ be a field. Let $X$ be a proper scheme of dimension $\leq 1$ over $k$ . Then

$g_{geom}(X/k) = \sum \nolimits _{C \subset X} g_{geom}(C/k)$

where the sum is over irreducible components $C \subset X$ of dimension $1$ .

Proof. This is immediate from the definition and the fact that an irreducible component $\overline{Z}$ of $X_{\overline{k}}$ maps onto an irreducible component $Z$ of $X$ (Varieties, Lemma 33.8.10) of the same dimension (Morphisms, Lemma 29.28.3 applied to the generic point of $\overline{Z}$ ). $\square$

Comments (0)

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