Lemma 55.9.11. In Situation 55.9.3 given a pair of indices $i, j$ such that $C_ i$ and $C_ j$ are exceptional curves of the first kind and $C_ i \cap C_ j \not= \emptyset $, then $n = 2$, $m_1 = m_2 = 1$, $C_1 \cong \mathbf{P}^1_ k$, $C_2 \cong \mathbf{P}^1_ k$, $C_1$ and $C_2$ meet in a $k$-rational point, and $C$ has genus $0$.

**Proof.**
Choose isomorphisms $C_ i = \mathbf{P}^1_{\kappa _ i}$ and $C_ j = \mathbf{P}^1_{\kappa _ j}$. The scheme $C_ i \cap C_ j$ is a nonempty effective Cartier divisor in both $C_ i$ and $C_ j$. Hence

The first equality was shown in the proof of Lemma 55.9.6. On the other hand, the self intersection $(C_ i \cdot C_ i)$ is equal to the degree of $\mathcal{O}_ X(C_ i)$ on $C_ i$ which is $-[\kappa _ i : k]$ as $C_ i$ is an exceptional curve of the first kind. Similarly for $C_ j$. By Lemma 55.9.7

This implies that $[\kappa _ i : k] = \deg (C_ i \cap C_ j) = [\kappa _ j : k]$ and that we have $(C_ i + C_ j)^2 = 0$. Looking at the lemma again we conclude that $n = 2$, $\{ 1, 2\} = \{ i, j\} $, and $m_1 = m_2$. Moreover, the scheme theoretic intersection $C_ i \cap C_ j$ consists of a single point $p$ with residue field $\kappa $ and $\kappa _ i \to \kappa \leftarrow \kappa _ j$ are isomorphisms. Let $D = C_1 + C_2$ as effective Cartier divisor on $X$. Observe that $D$ is the scheme theoretic union of $C_1$ and $C_2$ (Divisors, Lemma 31.13.10) hence we have a short exact sequence

by Morphisms, Lemma 29.4.6. Since we know the cohomology of $C_ i \cong \mathbf{P}^1_\kappa $ (Cohomology of Schemes, Lemma 30.8.1) we conclude from the long exact cohomology sequence that $H^0(D, \mathcal{O}_ D) = \kappa $ and $H^1(D, \mathcal{O}_ D) = 0$. By Lemma 55.9.10 we conclude

where $d = m_1 = m_2$. It follows that $g_ C = 0$ and $d = m_1 = m_2 = 1$ and $\kappa = k$. $\square$

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

## Comments (0)