← all areas
Namespace FullLevelTate 20 theorems
— 18 · Datum 2
directly in FullLevelTate 18
- A full-level Tate datum receiving newforms and Drinfeld specialisations
FullLevelTate.exists_datum_forall_exists_eigenIsoHom_ne_bot_and_exists_drinfeldSpecialization_of_algebraMap_eq 6,623 below · cited by 1 · depth 15 - Full-level Tate datum: newform eigenspaces and Drinfeld specialisation
FullLevelTate.exists_datum_forall_exists_eigenIsoHom_ne_bot_and_exists_drinfeldSpecialization_of_levelAutInputs 6,588 below · cited by 1 · depth 16 - Drinfeld specialisation of the full level-q Tate module
FullLevelTate.exists_linearMap_tateProd_comp_baseChange_eq_and_comp_eq_zero_imp_of_levelAutInputs 6,297 below · cited by 1 · depth 17 - The q=3 case of the full-level Drinfeld specialisation
FullLevelTate.exists_linearMap_tateProd_comp_baseChange_eq_and_comp_eq_zero_imp_of_levelAutInputs_of_eq_three 5,086 below · cited by 1 · depth 18 - Full-level Tate specialisation onto Drinfeld curves: the case q=2
FullLevelTate.exists_linearMap_tateProd_comp_baseChange_eq_and_comp_eq_zero_imp_of_levelAutInputs_of_eq_two 5,072 below · cited by 2 · depth 18 - Drinfeld-curve specialisation of the full-level Tate module, q≥ 5
FullLevelTate.exists_linearMap_tateProd_comp_baseChange_eq_and_comp_eq_zero_imp_of_levelAutInputs_of_five_le 5,300 below · cited by 2 · depth 18 - Base change of joint injectivity on the rational Tate module
FullLevelTate.eq_zero_of_forall_sum_baseChange_apply_eq_zero_of_baseChange_apply_eq_zero 0 below · cited by 3 · depth 19 - Full-level Tate datum with Drinfeld specialisation when q≡-1 mod λ
FullLevelTate.exists_datum_forall_exists_eigenIsoHom_ne_bot_and_exists_drinfeldSpecialization_of_algebraMap_eq_of_ne_two_of_cast_eq_neg_one 6,358 below · cited by 1 · depth 19 - Comparing base changes of a ℤ_λ-module to K
FullLevelTate.exists_linearEquiv_cancelBaseChange_of_algebraMap_eq 0 below · cited by 3 · depth 19 - Drinfeld-curve specialisation of the full-level-3 Tate module
FullLevelTate.exists_linearMap_tateProd_comp_baseChange_eq_and_eq_zero_of_eq_three 5,081 below · cited by 1 · depth 19 - Drinfeld-curve specialisation at q=2 of the full-level Tate module
FullLevelTate.exists_linearMap_tateProd_comp_baseChange_eq_and_eq_zero_of_eq_two 5,067 below · cited by 1 · depth 19 - Drinfeld specialisation of the full-level Tate module, q ≥ 5
FullLevelTate.exists_linearMap_tateProd_comp_baseChange_eq_and_eq_zero_of_five_le 5,295 below · cited by 1 · depth 19 - Base change of an equivariant comparison map to K
FullLevelTate.exists_linearMap_tateProd_comp_baseChange_eq_of_comp_baseChange_eq 0 below · cited by 3 · depth 19 - Existence of a full-level Tate datum with Drinfeld specialisation
FullLevelTate.exists_datum_forall_exists_eigenIsoHom_ne_bot_and_exists_drinfeldSpecialization_of_levelAutInputs_of_ne_two_of_cast_eq_neg_one 6,323 below · cited by 1 · depth 20 - Drinfeld specialisation of the full-level-3 Tate module, q=3
FullLevelTate.exists_linearMap_tateProd_comp_baseChange_eq_and_eq_zero_of_eq_three_of_dvd 5,072 below · cited by 1 · depth 20 - Drinfeld specialisation of the full-level-2 Tate module
FullLevelTate.exists_linearMap_tateProd_comp_baseChange_eq_and_eq_zero_of_eq_two_of_dvd 5,058 below · cited by 1 · depth 20 - Drinfeld specialisation of the full-level Tate module, case q≡-1
FullLevelTate.exists_linearMap_tateProd_comp_baseChange_eq_and_comp_eq_zero_imp_of_levelAutInputs_of_ne_two_of_cast_eq_neg_one 6,032 below · cited by 1 · depth 21 - Equivariance of the Drinfeld specialisation from two generating cases
FullLevelTate.comp_baseChange_mul_eq_tateProdRep_comp_of_det_eq_one_of_diagOneElem 0 below · cited by 3 · depth 22
FullLevelTate.Datum 2