# Does de Franchis' theorem hold over any base field

Let $k$ be a field and let $X$ be a hyperbolic curve over $k$.

Then, there are only finitely many hyperbolic curves $Y$ over $k$ dominated by $X$.

I know this statement holds over $k=\mathbf{C}$. In particular, it holds over $k=\overline{\mathbf{Q}}$.

Does it hold over any field $k$?

-
What is a hyperbolic curve over $k$ ? – Georges Elencwajg Oct 22 '12 at 18:42
A smooth projective geometrically connected curve of genus $\geq 2$. – Harry Oct 22 '12 at 19:05
Thanks. Where did you see that definition? – Georges Elencwajg Oct 22 '12 at 19:22
I can't remember...I think sometimes people also use it for an integral curve whose normalization is a smooth projective geometrically connected curve of genus $\geq 2$. – Harry Oct 22 '12 at 19:32

Over an algebraically closed field, a hyperbolic curve is either a non-empty open subset of a projective curve of genus $g\ge 2$, or an elliptic curve minus at least one point, or the projective line minus at least three points. Equivalently, this is a smooth geometrically connected curve (not necessarily projective) with finite automomorphism group.