# Algebraic numbers and the complex projective line minus three points

Deligne's monograph “Le Groupe Fondamental de la Droite Projective Moins Trois Points” begins by remarking that when X is the projective line over the complex numbers, minus three points: "every finite cover of X can be described by equations with algebraic number coefficients."

Is the proof something like the Hilbert irreducibility theorem?

I mean is it like the following? For any cover given by a complex polynomial in two variables, the finitely many complex coefficients can be regarded as variables which can then be specialized to algebraic values which meet whatever rational polynomial conditions as the originals did while avoiding finitely many others, to give an isomorphic cover. Or will I waste my time if I try to formulate such conditions?

-
No, this is Belyi's theorem. He is talking about unramified covers. – Felipe Voloch Jul 19 '13 at 1:06
No, Belyi's theorem is the converse to the OP's statement. (and, yes, I agree Deligne is discussing unramified covers) – John Pardon Jul 19 '13 at 1:10
OK. Belyi's theorem is usually stated as an if and only if. The easier direction was actually proved earlier by Weil. – Felipe Voloch Jul 19 '13 at 1:35
Check out this nice expose: arxiv.org/abs/math/0108222 – Igor Rivin Jul 19 '13 at 3:32
Are you asking "what does the actual proof look like" or "how does one know?" Because in practice, "the moduli space of Xes is zero-dimensional" is the same as "all Xes can be defined over number fields" though one has to be careful to massage this into a provable statement. E.G., rigid things like finite etale covers of a fixed curve (e.g. P^1 - 0,1,oo) or elliptic curves with complex multiplication are defined over number fields. – JSE Jul 19 '13 at 4:32