ac7708f9c4d24f4e.tex
1: \begin{abstract} 
2: We give  a canonical procedure associating to an algebraic number $a$  first a hyperelliptic curve $C_a$,  
3: and then a triangle curve $(D_a, G_a)$ obtained through the normal closure of an  associated Belyi function.
4: 
5: In this way we show  that the absolute Galois group  $\Gal(\bar{\Q} /\Q)$ acts faithfully 
6:  on the set of isomorphism classes of marked
7: triangle curves, and on the set of connected
8: components of  marked moduli spaces of surfaces isogenous to a higher product
9: (these are the free quotients 
10: of a product  $C_1 \times C_2$ of curves of respective genera $g_1, g_2 \geq 2$ by the action of a finite group $G$).
11: We  show then, using again the surfaces isogenous to a product, first that it acts faithfully 
12: on the set of connected
13: components of   moduli spaces of surfaces of general type (amending an incorrect proof in a previous ArXiv version of the paper);
14: and then, as a consequence, we obtain that  for every  element $\sigma \in \Gal(\bar{\Q} /\Q)$, not in the conjugacy class of
15: complex conjugation, there exists a surface of general type $X$ such that
16: $X$ and the Galois conjugate surface $X^{\sigma}$  have nonisomorphic fundamental groups. 
17: 
18: 
19: Using polynomials with only two critical values, we can moreover exhibit infinitely many explicit examples
20: of such a situation. 
21:   \end{abstract}
22: