Advertisement

Mathematische Annalen

, Volume 371, Issue 1–2, pp 41–126 | Cite as

Moduli interpretations for noncongruence modular curves

  • William Yun ChenEmail author
Article
  • 277 Downloads

Abstract

We consider the moduli of elliptic curves with G-structures, where G is a finite 2-generated group. When G is abelian, a G-structure is the same as a classical congruence level structure. There is a natural action of \(\text {SL}_2(\mathbb {Z})\) on these level structures. If \(\Gamma \) is a stabilizer of this action, then the quotient of the upper half plane by \(\Gamma \) parametrizes isomorphism classes of elliptic curves equipped with G-structures. When G is sufficiently nonabelian, the stabilizers \(\Gamma \) are noncongruence. Using this, we obtain arithmetic models of noncongruence modular curves as moduli spaces of elliptic curves equipped with nonabelian G-structures. As applications we describe a link to the Inverse Galois Problem, and show how our moduli interpretations explains the bad primes for the Unbounded Denominators Conjecture, and allows us to translate the conjecture into the language of geometry and Galois theory.

Notes

Acknowledgements

The author is grateful to Pierre Deligne, Winnie Li, John Voight, Jordan Ellenberg, Ching-Li Chai, and Christelle Vincent for their generous comments and helpful suggestions while revising this paper. He would also like to thank Hilaf Hasson and Jeff Yelton for many enlightening discussions where much confusion was both generated and dispersed. The paper was partially written during the author’s stay at the National Center for Theoretical Sciences (NCTS) in Taiwan, and revised during the author’s visit at ICERM, and postdoc at the IAS. He would like to thank NCTS, ICERM, and the IAS for their support and hospitality.

References

  1. 1.
    Abramovich, D., Corti, A., Vistoli, A.: Twisted bundles and admissible covers. Commun. Algebra 31(8), 3547–3618 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Abramovich, D., Vistoli, A.: Compactifying the space of stable maps. J. Am. Math. Soc. 15(1), 27–75 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Asada, M.: The faithfulness of the monodromy representations associated with certain families of algebraic curves. J. Pure Appl. Algebra 159(2), 123–147 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Atkin, A.O.L., Swinnerton-Dyer, H.P.F.: Modular forms on noncongruence subgroups. Combinatorics 19, 1–25 (1971)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Behrend, K., Noohi, B.: Uniformization of Deligne–Mumford curves. J. für die reine und Angew. Math. (Crelles Journal) 2006(599), 111–153 (2006)MathSciNetzbMATHGoogle Scholar
  6. 6.
    Berger, G.: Hecke operators on noncongruence subgroups. C. R. de l’Académie des Sci. Sér. 1 Math. 319(9), 915–919 (1994)MathSciNetzbMATHGoogle Scholar
  7. 7.
    Bertin, J., Romagny, M.: Champs de hurwitz. Mém. de la Soc. Math. de Fr. 125–26, 3–219 (2011)zbMATHGoogle Scholar
  8. 8.
    Birch, B.: Noncongruence subgroups, covers and drawings. Grothendieck Theory dessins d’enfants (Luminy, 1993) 200, 25–46 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Bourbaki, N.: General Topology: Chapters 1–4, vol. 18. Springer, Berlin (1998)zbMATHGoogle Scholar
  10. 10.
    Bux, K.-U., Ershov, M., Rapinchuk, A.: The congruence subgroup property for \(\text{Aut}(\text{ F }_2)\): a group-theoretic proof of Asada’s theorem (2009). (arXiv preprint). arXiv:0909.0304
  11. 11.
    Coste, A., Gannon, T.: Congruence subgroups and conformal field theory (2000). (arXiv preprint). arXiv:math.QA/0002044
  12. 12.
    Deligne, P., Mumford, D.: The irreducibility of the space of curves of given genus. Publ. Math. de l’IHES 36, 75–109 (1969)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Deligne, P., Rapoport, M.: Les Schémas de Modules de Courbes Elliptiques. In: Deligne, P., Kuijk, W. (eds.) Modular Functions of One Variable II, pp. 143–316. Springer, Berlin (1973)CrossRefGoogle Scholar
  14. 14.
    Diaz, S., Donagi, R., Harbater, D., et al.: Every curve is a Hurwitz space. Duke Math. J. 59(3), 737–746 (1989)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Dong, C., Li, H., Mason, G.: Modular-invariance of trace functions in orbifold theory and generalized moonshine. Commun. Math. Phys. 214(1), 1–56 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Ellenberg, J.S., McReynolds, D.B., et al.: Arithmetic veech sublattices of \(\text{ SL }_2(\mathbb{Z})\). Duke Math. J. 161(3), 415–429 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Freitag, E., Kiehl, R.: Etale Cohomology and the Weil Conjecture, vol. 13. Springer, Berlin (2013)zbMATHGoogle Scholar
  18. 18.
    Grothendieck, A.: Revêtements étales et Groupe Fondamental (SGA 1). Lecture Notes in Mathematics, vol. 224. Springer, New York (1971)Google Scholar
  19. 19.
    Harbater, D.: Mock covers and galois extensions. J. Algebra 91(2), 281–293 (1984)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Hasson, H.: Minimal fields of definition for galois action. J. Pure Appl. Algebra 220(9), 3327–3331 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Herrlich, F.: Introduction to origamis in Teichmüller space. Strasbg. Master Class Geom 18, 233 (2012)CrossRefzbMATHGoogle Scholar
  22. 22.
    Herrlich, F., Schmithüsen, G.: Dessins d’enfants and origami curves. Handb. Teichmüller Theory 2, 767–809 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Jones, G.A.: Triangular maps and non-congruence subgroups of the modular group. Bull. Lond. Math. Soc. 11(2), 117–123 (1979)MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    Katz, N.M.: \(p\)-adic Properties of modular schemes and modular forms. In: Kuijk, W., Serre, J.-P. (eds.) Modular Functions of One Variable III, pp. 69–190. Springer, Berlin (1973)CrossRefGoogle Scholar
  25. 25.
    Katz, N.M., Mazur, B.: Arithmetic Moduli of Elliptic Curves. Princeton University Press, Princeton (1985)CrossRefzbMATHGoogle Scholar
  26. 26.
    Keel, S., Mori, S.: Quotients by groupoids. Ann. Math. 145(1), 193–213 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  27. 27.
    Kibelbek, J.: On Atkin and Swinnerton-Dyer congruences for noncongruence modular forms. Proc. Am. Math. Soc. 142(12), 4029–4038 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  28. 28.
    Kiming, I., Schütt, M., Verrill, H.A.: Lifts of projective congruence groups. J. Lond. Math. Soc. 83(1), 96–120 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  29. 29.
    Kodaira, K.: On the structure of compact complex analytic surfaces, ii. Am. J. Math. 88(3), 682–721 (1966)MathSciNetCrossRefzbMATHGoogle Scholar
  30. 30.
    Kulkarni, R.S.: An arithmetic–geometric method in the study of the subgroups of the modular group. Am. J. Math. 113(6), 1053–1133 (1991)MathSciNetCrossRefzbMATHGoogle Scholar
  31. 31.
    Kurth, C.A., Long, L.: On modular forms for some noncongruence subgroups of \(\text{ SL }_2(\mathbb{Z})\). J. Number Theory 128(7), 1989–2009 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  32. 32.
    Lang, S.: Elliptic Functions. Graduate Texts in Mathematics. Springer, New York (1987)Google Scholar
  33. 33.
    Li, W.-C.W.: The arithmetic of noncongruence modular forms. In: Fifth international congress of Chinese mathematicians (ICCM 2010), part I, AMS/IP studies in advanced mathematics, vol. 51, pp. 253–268 (2012)Google Scholar
  34. 34.
    Li, W.-C.W., Long, L.: Fourier coefficients of noncongruence cuspforms. Bull. London Math. Soc. 44(3), 591–598 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  35. 35.
    Lochak, P.: On arithmetic curves in the moduli space of curves. J. Inst. Math. Jussieu 4(3), 443–508 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  36. 36.
    Matsumoto, M.: Galois group \(\text{ G }_{\mathbb{q}}\), singularity \(\text{ E }_7\), and moduli \(\text{ M }_3\). Geom. Galois Actions 2, 179–218 (1997)CrossRefGoogle Scholar
  37. 37.
    Matsumoto, M.: Arithmetic Fundamental Groups and Moduli of Curves. ICTP Lecture Notes, vol. 356. Abdus Salam ICTP, Trieste, Italy (2000)Google Scholar
  38. 38.
    Mel’nikov, O.V.: The congruence kernel of the group \(\text{ SL }_2(\mathbb{Z})\). Dokl. Akad. Nauk SSSR 228, 1034–1036 (1976)MathSciNetGoogle Scholar
  39. 39.
    Mumford, D., Fogarty, J., Kirwan, F.C.: Geometric Invariant Theory, vol. 34. Springer, Berlin (1994)CrossRefzbMATHGoogle Scholar
  40. 40.
    Murre, J.P., Anantharaman, S.: Lectures on an Introduction to Grothendieck’s Theory of the Fundamental Group. Tata Institute of Fundamental Research, Bombay (1967)zbMATHGoogle Scholar
  41. 41.
    Nakamura, H.: Galois rigidity of pure sphere braid groups and profinite calculus. J. Math. Sci. Univ. Tokyo 1, 71–136 (1994)MathSciNetzbMATHGoogle Scholar
  42. 42.
    Neumann, B.H.: On a question of Gaschütz. Archiv der Math. 7(2), 87–90 (1956)MathSciNetCrossRefzbMATHGoogle Scholar
  43. 43.
    Noohi, B.: Fundamental groups of algebraic stacks. J. Inst. Math. Jussieu 3(01), 69–103 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  44. 44.
    Noohi, B.: Foundations of topological stacks i (2005). (arXiv preprint). arXiv:math/0503247
  45. 45.
    Oda, T.: Etale Homotopy Type of the Moduli Spaces of Algebraic Curves. London Mathematical Society Lecture Note Series, pp. 85–96 Cambridge University Press, Cambridge (1997)Google Scholar
  46. 46.
    Pak, I.: What do we know about the product replacement algorithm. Groups Comput. III (Columbus, OH, 1999) 8, 301–347 (2001)MathSciNetzbMATHGoogle Scholar
  47. 47.
    Pikaart, M., Johan de Jong, A.: Moduli of Curves with Non-Abelian Level Structure. In: Dijkgraaf, R.H., Faber, C.F., van der Geer, G.B.M. (eds.) The Moduli Space of Curves, pp. 483–509. Springer, Berlin (1995)Google Scholar
  48. 48.
    Pop, F.: Glimpses of Grothendieck’s Anabelian Geometry. London Mathematical Society Lecture Note Series, pp. 113–126. Cambridge University Press, Cambridge (1997)Google Scholar
  49. 49.
    Ribes, L., Zalesskii, P.: Profinite Groups. Springer, Berlin (2000)CrossRefzbMATHGoogle Scholar
  50. 50.
    Romagny, M., et al.: Group Actions on Stacks and Applications. MPI, Bonn (2003)zbMATHGoogle Scholar
  51. 51.
    Sankaran, N.: A theorem on Henselian rings. Can. Math. Bull 11, 275–277 (1968)MathSciNetCrossRefzbMATHGoogle Scholar
  52. 52.
    Scholl, A.J.: Modular forms and de Rham cohomology; Atkin–Swinnerton-Dyer congruences. Invent. Math. 79(1), 49–77 (1985)MathSciNetCrossRefzbMATHGoogle Scholar
  53. 53.
    Silverman, J.H.: Advanced Topics in the Arithmetic of Elliptic Curves. Springer, Berlin (1994)CrossRefzbMATHGoogle Scholar
  54. 54.
    The Stacks Project Authors. The Stacks Project. stacks.math.columbia.edu (2016)Google Scholar
  55. 55.
    Szamuely, T.: Galois Groups and Fundamental Groups, vol. 117. Cambridge University Press, Cambridge (2009)CrossRefzbMATHGoogle Scholar
  56. 56.
    Thompson, J.G.: Nonsolvable finite groups all of whose local subgroups are solvable. Bull. Am. Math. Soc. 74(3), 383–437 (1968)MathSciNetCrossRefzbMATHGoogle Scholar
  57. 57.
    Volklein, H.: Groups as Galois Groups: An Introduction, Number 53. Cambridge University Press, Cambridge (1996)CrossRefzbMATHGoogle Scholar
  58. 58.
    Weitze-Schmithüsen, G.: The deficiency of being a congruence group for Veech groups of origamis. Int. Math. Res. Not. 2015(6), 1613–1637 (2015)Google Scholar
  59. 59.
    Wohlfahrt, K., et al.: An extension of F. Klein’s level concept. Ill. J. Math. 8(3), 529–535 (1964)MathSciNetzbMATHGoogle Scholar
  60. 60.
    Zhu, Y.: Modular invariance of characters of vertex operator algebras. J. Am. Math. Soc. 9(1), 237–302 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
  61. 61.
    Zoonekynd, V.: The fundamental group of an algebraic stack (2001). (arXiv preprint). arXiv:math/0111071

Copyright information

© Springer-Verlag GmbH Deutschland 2017

Authors and Affiliations

  1. 1.Institute for Advanced StudyPrincetonUSA

Personalised recommendations