Abstract
We use a canonical procedure associating to an algebraic number \(a\) first a hyperelliptic curve \(C_a\), and then a triangle curve \((D_a, G_a)\) obtained through the normal closure of an associated Belyi function. In this way we show that the absolute Galois group \({{\mathrm{Gal}}}(\bar{{\mathbb {Q}}} /{\mathbb {Q}})\) acts faithfully on the set of isomorphism classes of marked triangle curves, and on the set of connected components of marked moduli spaces of surfaces isogenous to a higher product (these are the free quotients of a product \(C_1 \times C_2\) of curves of respective genera \(g_1, g_2 \ge 2\) by the action of a finite group \(G\)). We show then, using again the surfaces isogenous to a product, first that it acts faithfully on the set of connected components of the moduli space of surfaces of general type (amending an incorrect proof in a previous arXiv version of the paper); and then, as a consequence, we obtain our main result: for each element \(\sigma \in {{\mathrm{Gal}}}(\bar{{\mathbb {Q}}} /{\mathbb {Q}})\), not in the conjugacy class of complex conjugation, there exists a surface of general type \(X\) such that \(X\) and the Galois conjugate surface \(X^{\sigma }\) have nonisomorphic fundamental groups. Using polynomials with only two critical values, we can moreover exhibit infinitely many explicit examples of such a situation.
Similar content being viewed by others
Notes
A referee pointed out that the geometric construction of the normal closure is also carefully described in Proposition 5.3.9 of [20].
References
Beauville, A.: Surfaces algébriques complexes, Asterisque 54. Soc. Math, France (1978)
Bauer, I., Catanese, F., Grunewald, F.: Beauville surfaces without real structures. In: Geometric methods in algebra and number theory, Progr. Math., 235, pp. 1–42. Birkhäuser (2005)
Bauer, I., Catanese, F., Grunewald, F.: Chebycheff and Belyi polynomials, dessins d’enfants, Beauville surfaces and group theory. Mediterr. J. Math. 3(2), 119–143 (2006)
Bauer, I., Catanese, F., Grunewald, F.: The absolute Galois group acts faithfully on the connected components of the moduli space of surfaces of general type, pp. 13. arXiv:0706.1466
Belyĭ, G.V.: On Galois extensions of a maximal cyclotomic field, Izv. Akad. Nauk SSSR Ser. Mat. 43(2), 269–276 (1979) [Translation in Math. USSR- Izv. 14, 247–256 (1980)]
Bombieri, E.: Canonical models of surfaces of general type. Publ. Math. I.H.E.S 42, 173–219 (1973)
Catanese, F.: Fibred surfaces, varieties isogenous to a product and related moduli spaces. Amer. J. Math. 122(1), 1–44 (2000)
Catanese, F.: Moduli spaces of surfaces and real structures. Ann. Math. 158(2), 577–592 (2003)
Catanese, F.: Differentiable and deformation type of algebraic surfaces, real and symplectic structures. In: Symplectic 4-manifolds and algebraic surfaces, 55–167, Lecture Notes in Math., 1938, Springer, Berlin (2008)
Catanese, F.: Algebraic surfaces and their Moduli spaces: real, differentiable and symplectic structures. Boll. U.M.I 9(II), 537–558 (2009)
Easton R.W., Vakil, R.: Absolute Galois acts faithfully on the components of the moduli space of surfaces: a Belyi-type theorem in higher dimension. Int. Math. Res. Not. IMRN, no. 20, Art. ID rnm080, pp. 10 (2007)
Fried, M.D., Jarden, M.: Field arithmetic. Third edition. Revised by Jarden. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, 11, pp. xxiv+792. Springer, Berlin (2008)
Gieseker, D.: Global moduli for surfaces of general type. Invent. Math. 43(3), 233–282 (1977)
Grothendieck, A.: Techniques de construction et théoremes d’existence en géométrie algébrique. IV, Les schemas de Hilbert, Sem. Bourbaki, Vol. 13, pp. 1–28 (1960–61)
Grauert, H.: Remmert, Komplexe Räume. Math. Ann. 136, 245–318 (1958)
Grothendieck, A.: (dirigé par), Rev\(\hat{e}\)tements étales et groupe fondamental, Séminaire de géométrie algébrique du Bois Marie 1960–61 Springer Lecture Notes in Math. 224, (1971). Reedited by Société Mathématique de France in the series ’Documents mathématiques (2003)
Grothendieck, A.: Esquisse d’un programme. In: ’Geometric Galois actions, 1’, London Math. Soc. Lecture Note Ser., 242, pp. 5–48. Cambridge Univ. Press, Cambridge (1997)
Lang, S.: Algebra. Revised third edition. Graduate Texts in Mathematics, 211, pp. xvi+914. Springer, New York (2002)
Serre, J.P.: Exemples de variétés projectives conjuguées non homéomorphes. C. R. Acad. Sci. Paris 258, 4194–4196 (1964)
Szamuely, T.: Galois groups and fundamental groups. Cambridge Studies in Advanced Mathematics, 117, pp. x+270. Cambridge University Press, Cambridge (2009)
Wolfart, J: Kinderzeichnungen und Uniformisierungstheorie. Manuskript, Frankfurt (2001)
Acknowledgments
The research of the authors was performed in the realm of the Forschergruppe 790 ‘Classification of algebraic surfaces and compact complex manifolds’ of the D.F.G. (Deutsche Forschungs Gemeinschaft). The first two authors are grateful to the KIAS Seoul for hospitality in August 2012, where the second author was a KIAS scholar, and the final version of the paper was begun.They mourn and miss their friend and collaborator Fritz Grunewald, who passed away on March 21, 2010. Thanks to Ravi Vakil for his interest in our work and for pointing out a minor error in a very first version of this note. Last, but not least, thanks to Zoe Chatzidakis, Minhyong Kim and Umberto Zannier for informing us and providing references for Proposition 6.7 during the ERC activity at the Centro De Giorgi, Pisa, in October 2012. We thank a referee for giving us many useful suggestions to improve the presentation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Fritz Grunewald died on March 21, 2010.
Rights and permissions
About this article
Cite this article
Bauer, I., Catanese, F. & Grunewald, F. Faithful actions of the absolute Galois group on connected components of moduli spaces. Invent. math. 199, 859–888 (2015). https://doi.org/10.1007/s00222-014-0531-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-014-0531-2