← all areas

Namespace KatzModularForm 9 theorems

• Weight-two Katz forms mod 3^e are multiples of b₂ KatzModularForm.exists_toFun_eq_mul_b2_of_weight_two_zmod_three_pow 0 below · cited by 2 · depth 16
• Constant q-expansions of weight-two Katz forms mod m KatzModularForm.exists_qExpansion_eq_C_of_dvd 0 below · cited by 1 · depth 17
• Katz form at Tate(qᵖ) is the base-changed q-expansion KatzModularForm.toFun_tateBase_eq_qExpand_coeffMap_qExpansion 0 below · cited by 2 · depth 17
• Weight-two Katz forms mod M are 12-torsion multiples of b₂ KatzModularForm.exists_twelve_mul_eq_zero_and_toFun_eq_mul_b2_of_weight_two 7 below · cited by 1 · depth 18
• Weight-two Katz forms mod 2^e are 4-torsion multiples of b₂ KatzModularForm.exists_toFun_eq_mul_b2_of_weight_two_zmod_two_pow 3 below · cited by 1 · depth 19
• Weight-two level-one Katz forms over ℤ vanish KatzModularForm.toFun_eq_zero_of_weight_two_int 1 below · cited by 1 · depth 19
• Weight-two level-one Katz forms vanish when 6 is invertible KatzModularForm.toFun_eq_zero_of_weight_two_of_isUnit_six 0 below · cited by 1 · depth 19
• No weight-two Katz form mod 8 has constant term 1 KatzModularForm.constantCoeff_ne_one_of_weight_two_zmod_eight 0 below · cited by 1 · depth 20
• Weight-two Katz forms mod 2 are multiples of b₂ KatzModularForm.exists_toFun_eq_mul_b2_of_weight_two_zmod_two 0 below · cited by 1 · depth 20