← all areas

Namespace EisensteinSeries 12 theorems

• Congruence-class Eisenstein series G_kᵃ as a modular form EisensteinSeries.exists_modularForm_coe_eq_eisensteinG 0 below · cited by 3 · depth 16
• q_N-expansion of the level-N Eisenstein series G_kᵃ EisensteinSeries.qExpansion_eisensteinG_coeff 0 below · cited by 2 · depth 16
• Weight-one Eisenstein functions: SL₂(ℤ)-covariance and N-periodicity EisensteinSeries.eisensteinG1_apply_smul_and_eisensteinG1_add 2 below · cited by 2 · depth 17
• Boundedness at i∞ and q-expansion of g₁^v EisensteinSeries.isBoundedAtImInfty_eisensteinG1_and_hasSum_eisensteinG1 3 below · cited by 1 · depth 17
• Ramanujan's differential system for P, Q, R EisensteinSeries.ramanujan_system_qExpansion_int 0 below · cited by 3 · depth 17
• Cotangent expansion of the Weierstrass zeta function EisensteinSeries.hasSum_weierstrassZeta_sub_mul_G2 0 below · cited by 2 · depth 18
• q-expansion of level-N Eisenstein series summed over one row class EisensteinSeries.sum_eisensteinG_vecCons_eq_mul_tsum_divisorSum_mul_cexp_pow 0 below · cited by 1 · depth 18
• Non-vanishing and N-unit integrality of sum_{d≡ 1 (N)} d⁻³ EisensteinSeries.tsum_inv_cube_congr_one_ne_zero_and_exists_isIntegral 1 below · cited by 1 · depth 18
• Quasi-periods of the Weierstrass ζ-function and its SL₂(ℤ)-homogeneity EisensteinSeries.weierstrassZeta_add_one_and_add_tau_and_smul 1 below · cited by 1 · depth 18
• Full-lattice level-N Eisenstein series of weight k≥ 3 EisensteinSeries.exists_modularForm_gamma_apply_eq_tsum_eisSummand 0 below · cited by 5 · depth 34
• q_N-expansion coefficients of level-N Eisenstein series EisensteinSeries.qExpansion_coeff_of_apply_eq_tsum_eisSummand 0 below · cited by 5 · depth 34
• Constant term of the level-N Eisenstein q_N-expansion EisensteinSeries.qExpansion_coeff_zero_of_apply_eq_tsum_eisSummand 0 below · cited by 5 · depth 34