Namespace HeckeCohomology 13 theorems
- Pairwise commutation of Hecke and diamond operators on H¹
HeckeCohomology.commute_of_forall_eq_heckeH1_cTop_or_eq_heckeH1_conjHom_of_forall_rep_eq_monoidHom_submonoid5 below · cited by 1 · depth 16 - Pulling back Hecke eigenvectors in H¹ along a short exact sequence at level Γ_H(N)
HeckeCohomology.exists_eigenvector_H1_of_eigenvector_H1_of_shortExact_gammaH8 below · cited by 1 · depth 16 - Pushing H¹ Hecke eigenclasses forward, or the Eisenstein alternative
HeckeCohomology.exists_eigenvector_H1_or_forall_eq_of_eigenvector_H1_of_shortExact2 below · cited by 1 · depth 16 - Shapiro isomorphism for P¹(𝔽_q), with diamond and Hecke compatibility
HeckeCohomology.exists_shapiro_ind_ker_unitsMap_bijective_linear_and_conjHom_eq_diamondRaw_and_heckeH1_eq_heckeT4 below · cited by 1 · depth 16 - Degree-zero transfer Hecke operator is multiplication by the index
HeckeCohomology.heckeInvD_sub_card_smul0 below · cited by 1 · depth 16 - Commutation of two transfer Hecke operators on H¹
HeckeCohomology.commute_heckeH1_cTop_heckeH1_cTop_of_forall_rep_eq_monoidHom_submonoid2 below · cited by 1 · depth 17 - Hecke operator at ℓ commutes with a diamond operator
HeckeCohomology.commute_heckeH1_cTop_heckeH1_conjHom_of_forall_rep_eq_monoidHom_submonoid2 below · cited by 1 · depth 17 - Diamond operators on H¹(Γ₁(N),X) commute
HeckeCohomology.commute_heckeH1_conjHom_heckeH1_conjHom_of_forall_rep_eq_monoidHom_submonoid1 below · cited by 1 · depth 17 - Shapiro isomorphism for P¹(𝔽_q) on Γ₁(N)
HeckeCohomology.exists_shapiro_ind_ker_unitsMap_bijective_and_exists_smul_eq_self_and_forall_cocycles_apply_eq_apply2 below · cited by 1 · depth 17 - Transfer Hecke operators commute with the connecting map H⁰ → H¹
HeckeCohomology.heckeH1_delta00 below · cited by 1 · depth 17 - Naturality of the transfer Hecke operator on H¹
HeckeCohomology.heckeH1_natural0 below · cited by 2 · depth 17 - Evaluation at a fixed point respects diamonds and Hecke operators
HeckeCohomology.map_conjHom_eq_diamondRaw_and_heckeH1_diagElem_eq_heckeT_of_forall_cocycles_apply_eq_apply0 below · cited by 1 · depth 17 - Transfer Hecke operator on H¹ is independent of the cross-section
HeckeCohomology.heckeH1_eq_of_section0 below · cited by 3 · depth 18