Abstract
It has recently been proved that any element \(\sigma \) of the absolute Galois group \(\mathrm{Gal}\,\overline{\mathbb {Q}}/{\mathbb Q}\) different from the identity and complex conjugation conjugates some surface S into a surface \(S^{\sigma }\) with non-isomorphic fundamental group. Here we use group theory to construct, for each integer \(n\geqslant 0\), an n-dimensional family of complex surfaces whose conjugates under \(\mathrm{Gal}\,\overline{\mathbb {Q}}/{\mathbb Q}\) exhibit arbitrarily many non-isomorphic fundamental groups. These fundamental groups nevertheless have isomorphic profinite completions. The surfaces constructed are isogenous to higher products via actions of groups \(\mathrm{PGL}_2(p)\) on algebraic curves.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
References
Abelson, H.: Topologically distinct conjugate varieties with finite fundamental group. Topology 13(2), 161–176 (1974)
Accola, R.D.M.: On the number of automorphisms of a closed Riemann surface. Trans. Amer. Math. Soc. 131(2), 398–408 (1968)
Artal Bartolo, E., Carmona Ruber, J., Cogolludo Agustín, J.I.: Effective invariants of braid monodromy. Trans. Amer. Math. Soc. 359(1), 165–183 (2007)
Bauer, I., Catanese, F., Grunewald, F.: Beauville surfaces without real structures. In: Bogomolov, F., Tschinkel, Yu. (eds.) Geometric Methods in Algebra and Number Theory. Progress in Mathematics, vol. 235, pp. 1–42. Birkhäuser, Boston (2005)
Bauer, I., Catanese, F., Grunewald, F.: Chebycheff and Belyi polynomials, dessins d’enfants, Beauville surfaces and group theory. Mediterr. J. Math. 3(2), 121–146 (2006)
Bauer, I., Catanese, F., Grunewald, F.: Faithful actions of the absolute Galois group on connected components of moduli spaces. Invent. Math. 199(3), 859–888 (2015)
Beauville, A.: Surfaces Algébriques Complexes. Astérisque, vol. 54. Société Mathématique de France, Paris (1978)
Beauville, A.: Complex Algebraic Surfaces. London Mathematical Society Student Texts, vol. 34. Cambridge University Press, Cambridge (1996)
Belyĭ, G.V.: On Galois extensions of a maximal cyclotomic field. Math. USSR-Izv. 14(2), 247–256 (1980)
Bridson, M.R., Conder, M.D.E., Reid, A.W.: Determining Fuchsian groups by their finite quotients. Israel J. Math. 214(1), 1–41 (2016)
Catanese, F.: Fibred surfaces, varieties isogenous to a product and related moduli spaces. Amer. J. Math. 122(1), 1–44 (2000)
Charles, F.: Conjugate varieties with distinct real cohomology algebras. J. Reine Angew. Math. 630, 125–139 (2005)
Coxeter, H.S.M., Edge, W.L.: The simple groups \({{\rm PSL}}(2,7)\) and \({{\rm PSL}}(2,11)\). C. R. Math. Rep. Acad. Sci. Canada 5(5), 201–206 (1983)
Dickson, L.E.: Linear Groups. Dover, New York (1958)
Digne, F., Michel, J.: Representations of Finite Groups of Lie Type. London Mathematical Society Student Texts, vol. 21. Cambridge University Press, Cambridge (1991)
Edge, W.L.: The isomorphism between \({\rm LF}(2,3^2)\) and \({\fancyscript {A}}_6\). J. London Math. Soc. s1–30(2), 172–185 (1955)
Edge, W.L.: A setting for the group of the bitangents. Proc. London Math. Soc. s3–10(1), 583–603 (1960)
Edge, W.L.: A permutation representation of the group of the bitangents. J. London Math. Soc. s1–36(1), 340–344 (1961)
Edge, W.L.: Permutation representations of a group of order 9,196,830,720. J. London Math. Soc. 2(4), 753–762 (1970)
Edge, W.L.: Klein’s encounter with the simple group of order 660. Proc. London Math. Soc. s3–24(4), 647–668 (1972)
Edge, W.L.: \({\rm PGL}(2,7)\) and \({\rm PSL}(2,7)\). Mitt. Math. Sem. Giessen 164, 137–150 (1984)
Edge, W.L.: \({\rm PGL}(2,11)\) and \({\rm PSL}(2,11)\). J. Algebra 97(2), 492–504 (1985)
Fuertes, Y., Jones, G.A.: Beauville surfaces and finite groups. J. Algebra 340, 13–27 (2011)
Funar, L.: Torus bundles not distinguished by TQFT invariants. Geom. Topol. 17(4), 2289–2344 (2013)
González-Diez, G., Harvey, W.J.: Moduli of Riemann surfaces with symmetry. In: Harvey, W.J., Maclachlan, C. (eds.) Discrete Groups and Geometry. London Mathematical Society Lecture Note Series, vol. 173, pp. 75–93. Cambridge University Press, Cambridge (1992)
González-Diez, G., Jaikin-Zapirain, A.: The absolute Galois group acts faithfully on regular dessins and on Beauville surfaces. Proc. London Math. Soc. 111(4), 775–796 (2015)
González-Diez, G., Torres-Teigell, D.: Non-homeomorphic Galois conjugate Beauville structures on \({\rm PSL}(2, p)\). Adv. Math. 229(6), 3096–3122 (2012)
Griffiths, P., Harris, J.: Principles of Algebraic Geometry. Wiley Classics Library, vol. 52. Wiley, New York (1994)
Hartshorne, R.: Algebraic Geometry. Graduate Texts in Mathematics, vol. 52. Springer, New York (1977)
Hempel, J.: Some 3-manifold groups with the same finite quotients (2014). arXiv:1409.3509
Huppert, B.: Endliche Gruppen I. Die Grundlehren der Mathematischen Wissenschaften, vol. 134. Springer, Berlin (1979)
Jones, G.A., Streit, M.: Galois groups, monodromy groups and cartographic groups. In: Schneps, L., Lochak, P. (eds.) Geometric Galois Actions, vol. II. London Mathematical Society Lecture Note Series, vol. 243, pp. 25–65. Cambridge University Press, Cambridge (1997)
Long, D.D., Reid, A.W.: Grothendieck’s problem for 3-manifold groups. Groups Geom. Dyn. 5(2), 479–499 (2011)
Maclachlan, C.: A bound for the number of automorphisms of a compact Riemann surface. J. London Math. Soc. s1–44(1), 265–272 (1969)
Maclachlan, C., Harvey, W.J.: On mapping-class groups and Teichmüller spaces. Proc. London Math. Soc. s3–30(4), 496–512 (1975)
Milne, J.S., Suh, J.: Nonhomeomorphic conjugates of connected Shimura varieties. Amer. J. Math. 132(3), 731–750 (2010)
Serre, J.-P.: Géométrie algébrique et géométrie analytique. Ann. Inst. Fourier Grenoble 6, 1–42 (1956)
Serre, J.-P.: Exemples de variétés projectives conjuguées non homéomorphes. C. R. Acad. Sci. Paris 258, 4194–4196 (1964)
Serre, J.-P.: Topics in Galois Theory. Jones and Bartlett, Boston (1992)
Shimada, I.: Non-homeomorphic conjugate complex varieties. In: Brasselet, J.-P., et al. (eds.) Singularities–Niigata–Toyama 2007. Advanced Studies in Pure Mathematics, vol. 56, pp. 285–301. Mathematical Society of Japan, Tokyo (2009)
Singerman, D.: Subgroups of Fuschian groups and finite permutation groups. Bull. London Math. Soc. 2(3), 319–323 (1970)
Singerman, D.: Finitely maximal Fuchsian groups. J. London Math. Soc. s2–6(1), 29–38 (1972)
Streit, M.: Field of definition and Galois orbits for the Macbeath–Hurwitz curves. Arch. Math. (Basel) 74(5), 342–349 (2000)
Voisin, C.: Hodge Theory and Complex Algebraic Geometry, vol. I. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (2002)
Wolfart, J.: \(ABC\) for polynomials, dessins d’enfants and uniformization—a survey. In: Baier, S., Schwarz, W., Steuding, J. (eds.) Elementare und Analytische Zahlentheorie, pp. 313–345. Schriften der Wissenschaftlichen Gesellschaft an der Johann Wolfgang Goethe-Universität Frankfurt am Main, vol. 20. Franz Steiner, Stuttgart (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
The second author is grateful to the Departamento de Matemáticas, Universidad Autónoma de Madrid, for financially supporting a visit during which much of this research was carried out. The first and third authors are partially supported by the Grant MTM2012-31973 of the MICINN. The first two authors thank the ICMS in Edinburgh, where they started collaborating on Beauville surfaces at a September 2008 workshop on the Grothendieck–Teichmüller Theory of Dessins d’Enfants.
Rights and permissions
About this article
Cite this article
González-Diez, G., Jones, G.A. & Torres-Teigell, D. Arbitrarily large Galois orbits of non-homeomorphic surfaces. European Journal of Mathematics 4, 223–241 (2018). https://doi.org/10.1007/s40879-017-0203-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40879-017-0203-z