← all areas

Namespace LevelRaising 8 theorems

• A q'-new eigenform congruent to χ₁ modulo 𝔪 LevelRaising.exists_isNormalizedEigenform_isNewAt_congr_of_qNewSupport_comap 632 below · cited by 1 · depth 11
• Ribet level raising in support form for odd p LevelRaising.qNewSupport_comap_of_isNormalizedEigenform_oddPrime 705 below · cited by 1 · depth 11
• Promoting a mod p eigenclass into the common kernel of β₀,β₁ LevelRaising.exists_ker_pair_castAddHom_comp_ne_zero 0 below · cited by 1 · depth 12
• Unit-local surjectivity from surjectivity modulo p LevelRaising.exists_mem_range_of_forall_exists_add_dvd 0 below · cited by 1 · depth 12
• Integral pairings mod 3 with Hecke and degeneracy adjunctions LevelRaising.exists_parabolicPairings_perfect_mod_three 7 below · cited by 1 · depth 12
• Finite generation of integral parabolic homomorphisms on Γ₀(M) LevelRaising.moduleFinite_parabolicHoms_int 0 below · cited by 1 · depth 12
• Non-degeneracy restricts to the generalised kernel of a self-adjoint endomorphism LevelRaising.nondegenerate_restrict_iSup_ker_pow 0 below · cited by 1 · depth 12
• p-saturation of integral parabolic period homomorphisms LevelRaising.parabolicHoms_castAddHom_comp_eq_zero_iff 0 below · cited by 3 · depth 12