Search

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. [ABSTRACT FROM AUTHOR]