[Math] algebraic curves with negative (arithmetic) genus

algebraic-curvesalgebraic-geometry

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.

Best Answer

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