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: