The Stacks project

Example 53.10.6. In fact, the situation described in Lemma 53.10.5 occurs for any nontrivial finite extension $k'/k$. Namely, we can consider

\[ A = \{ f \in k'[x] \mid f(0) \in k \} \]

The spectrum of $A$ is an affine curve, which we can glue to the spectrum of $B = k'[y]$ using the isomorphism $A_ x \cong B_ y$ sending $x^{-1}$ to $y$. The result is a proper curve $X$ with $H^0(X, \mathcal{O}_ X) = k$ and singular point $x$ corresponding to the maximal ideal $A \cap (x)$. The normalization of $X$ is $\mathbf{P}^1_{k'}$ exactly as in the lemma.

Comments (0)

There are also:

  • 2 comment(s) on Section 53.10: Curves of genus zero

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.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0DJC. Beware of the difference between the letter 'O' and the digit '0'.