Lemma 53.23.2. Let $k$ be a field. Let $X$ be a proper scheme over $k$ having dimension $1$ and $H^0(X, \mathcal{O}_ X) = k$. Assume the singularities of $X$ are at-worst-nodal. Let $C \subset X$ be a rational bridge (Example 53.23.1). Then $\deg (\omega _ X|_ C) = 0$.

Proof. Let $X' \subset X$ be as in the example. Then we have a short exact sequence

$0 \to \omega _ C \to \omega _ X|_ C \to \mathcal{O}_{C \cap X'} \to 0$

See Lemmas 53.4.6, 53.19.16, and 53.19.17. With $k''/k'/k$ as in the example we see that $\deg (\omega _ C) = -2[k' : k]$ as $C$ has genus $0$ (Lemma 53.5.2) and $\deg (C \cap X') = [k'' : k] = 2[k' : k]$. Hence $\deg (\omega _ X|_ C) = 0$. $\square$

There are also:

• 2 comment(s) on Section 53.23: Contracting rational bridges

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