Abstract
Let p be a prime not dividing the integer n. By an Ihara result, we mean existence of a cokernel torsion-free injection from a full lattice in the space of p-old modular forms into a full lattice in the space of all modular forms of level pn. In this paper, we will prove an Ihara result in the number field case, for Siegel modular forms. The case of elliptic modular forms is discussed in Ihara (Discrete subgroups of Lie groups and applications to moduli, Oxford University Press, Bombay, 1975). We will use a geometric formulation for the notion of p-old Siegel modular forms (Rastegar in BIMS 43(7):1–23, 2017). Then, we apply an argument by Pappas, and prove the Ihara result using density of Hecke orbits (Chai in Invent Math 121(3):439–479, 1995). This result is meant to pave the way for modularity results in higher genera.
Similar content being viewed by others
References
Atkin, A.O.L., Lehner, J.: Hecke operators on \(\Gamma _0(m)\). Math. Ann. 185, 134–160 (1970)
Casselman, W: The Hasse–Weil-function of some moduli varieties of dimension greater than one. Automorphic forms, representations and L-functions. In: Proceedings of the symposium of Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 2, pp. 141–163, Proc. Sympos. Pure Math., XXXIII, Amer. Math. Soc., Providence, R.I. (1979)
Chai, C.-L.: Every ordinary symplectic isogeny class in positive characteristic is dense in the moduli. Invent. Math. 121(3), 439–479 (1995)
Diamond, F., Taylor, R.: Nonoptimal levels of mod \(l\) modular representations. Invent. Math. 115(3), 435–462 (1994)
Faltings, G.: Arithmetische Kompaktifizierung des Modulraums der Abelschen Varietaten. Lecture Notes in Math. 1111, pp. 321–383. Springer, Berlin pp (1985)
Faltings, G., Chai C.: Degeneration of abelian varieties. With an appendix by David Mumford. Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 22. Springer, Berlin (1990)
Ihara, Y.: On modular curves over finite fields. Discrete subgroups of Lie groups and applications to moduli, pp. 161–202. Oxford Univ. Press, Bombay (1975)
Kramer, J.: An arithmetic theory of Jacobi forms in higher dimensions. J. Reine Angew. Math. 458, 157–182 (1995)
Pappas, G.: personal communication
Rastegar, A.: On a theorem of Ihara. Iran. Sci. 12(1), 1–9 (2005)
Rastegar, A.: On Atkin–Lehner correspondences on Siegel spaces. BIMS 43(7), 1–23 (2017)
Ribet, K.A.: Congruence relations between modular forms. In: Proceedings of the International Congress of Mathematicians, Vol. 1, 2, pp. 503-514, PWN, Warsaw (1984)
Ribet, K.A.: On modular representations of \({\rm Gal}(\overline{ Q}/{ Q})\) arising from modular forms. Invent. Math. 100(2), 431–476 (1990)
Roberts, B., Schmidt, R.: Local newforms for GSp(4). Lecture Notes in Mathematics. Springer, Berlin (2007)
Shimura, G.: On modular correspondences for \(Sp(n,\, Z)\) and their congruence relations. Proc. Nat. Acad. Sci. USA 49, 824–828 (1963)
Acknowledgements
We have benefited from conversations with G. Pappas, A. Rajaei, C. Skinner, R. Takloo-Bighash, R. Taylor, and A. Wiles. We shall thank Princeton University, IPM and Institute for Advanced Study. This material is based upon work supported by the National Science Foundation under Grant No. DMS-1128155.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Amir Akbary.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Rastegar, A. Ihara-Type Results for Siegel Modular Forms. Bull. Iran. Math. Soc. 46, 693–716 (2020). https://doi.org/10.1007/s41980-019-00285-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s41980-019-00285-5