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?