5
$\begingroup$

By an algebraic curve I mean a projective reduced connected scheme of pure dimension 1 over a field.

My question is: Is there a lower bound for the arithmetic genus of such curves? If the answer is no, is there a general method to construct such curves with arbitrary negative genus? Any reference is welcome, thank you!

Notice that, as pointed out by Andrea in the comment, when the curve is geometrically connected, the arithmetic genus is always non-negative.

  • 0
    @Andrea: Yes, and this is why I didn't add "geometrically"(shouldn't it be "geometrically connected AND GEOMETRICALLY REDUCED"?).2012-05-28

1 Answers 1

4

Let $K / k$ be finite extension of fields of degree $d$. Let $X$ be smooth geometrically connected projective curve over $K$ of genus $g$. The morphism $\mathrm{Spec} K \to \mathrm{Spec} k$ is projective (Exercise 3.3.22 of Liu's Algebraic geometry and arithmetic curves), therefore $X$ is projective over $k$. Then $ p_{a,k}(X) = 1- \chi_k(X) = 1 - d \cdot \chi_K(X) = 1 - d (1-g). $ You can take $g = 0$.

EDIT. More concretely, let $k$ be a field, let $f \in k[t]$ be a monic irreducible polynomial of degree $d$, let $\alpha \in \bar{k}$ be a root of $f$ and let $K = k(\alpha)$. If $f(t) = \sum_{i=0}^d a_i t^i$, then $\mathrm{Spec} K$ is isomorphic to $ \mathrm{Proj} k[x_0,x_1] / (\sum_{i=0}^d a_i x_0^i x_1^{d-i} ). $ Then $ X = \mathbb{P}^1_K = \mathbb{P}^1_k \times_k \mathrm{Spec} K = \mathbb{P}^1_k \times_k \mathrm{Proj} k[x_0,x_1] / (\sum_{i=0}^d a_i x_0^i x_1^{d-i} ) $ is a closed subscheme of $\mathbb{P}^1_k \times_k \mathbb{P}^1_k$, hence it is a closed subscheme of $\mathbb{P}^3_k$ by Segre embedding, i.e. $ X = \mathrm{Proj} k[z_0, z_1, z_2, z_3] / (z_0 z_3 - z_1 z_2, \sum_{i=0}^d a_i z_0^i z_1^{d-i}, \sum_{i=0}^d a_i z_2^i z_3^{d-i}).$

  • 0
    Now I see, thank you!2012-05-28