On when the kernel of the sum of the two p-degeneracy maps is Eisenstein
In mathematics, Ihara's lemma, introduced by Ihara (1975, lemma 3.2) and named by Ribet (1984), states that the kernel of the sum of the two p-degeneracy maps from J0(N)×J0(N) to J0(Np) is Eisenstein whenever the prime p does not divide N. Here J0(N) is the Jacobian of the compactification of the modular curve of Γ0(N).
References
Ihara, Yasutaka (1975), "On modular curves over finite fields", in Baily, Walter L. (ed.), Discrete subgroups of Lie groups and applications to moduli (Internat. Colloq., Bombay, 1973), Tata Institute of Fundamental Research Studies in Mathematics, vol. 7, Oxford University Press, pp. 161–202, ISBN978-0-19-560525-9, MR0399105