Namespace DihedralWeightOne 10 theorems
- Adelic lift of a weight-one primitive form
DihedralWeightOne.exists_smoothCuspRealizationAt_productionPinsGeneral_toFun_eq_weightOneLift_of_isPrimitiveForm34 below · cited by 1 · depth 16 - Newvector conductor at q of a weight-one primitive form's adelic span
DihedralWeightOne.hasNewvectorConductor_adelicSpan_weightOneLift_factorization_of_isPrimitiveForm49 below · cited by 1 · depth 16 - Conductor lower bound for K₁(q^m)-fixed vectors in weight one
DihedralWeightOne.factorization_le_of_mem_span_weightOneLift_of_mem_fixedSubmodule_padicK121 below · cited by 1 · depth 17 - Non-vanishing and K₁(N)-invariance of the weight-one adelic lift
DihedralWeightOne.weightOneLift_ne_zero_and_apply_mul_finEmbed_eq_of_isPrimitiveForm34 below · cited by 1 · depth 17 - Descent of adelic weight-one vectors to S₁(N,ε)
DihedralWeightOne.exists_hasNebentypus_eq_weightOneLift_of_mem_span_of_apply_mul_finEmbed_eq_inv_mul7 below · cited by 1 · depth 18 - Adelic Hecke eigenvalue gives T_ℓ relation in weight one
DihedralWeightOne.qCoeff_hecke_eq_of_hasNebentypus_of_sum_weightOneLift_mul_padicToAdelic_inv_eq10 below · cited by 1 · depth 18 - Adelic Hecke eigenrelation for the weight-one lift
DihedralWeightOne.sum_weightOneLift_mul_padicToAdelic_inv_eq_mul_of_hasNebentypus_of_qCoeff_hecke_eq15 below · cited by 1 · depth 18 - Nebentypus transformation of the weight-one adelic lift under K₀(M)
DihedralWeightOne.weightOneLift_mul_finEmbed_eq_inv_nebentypus_mul_of_mem_finiteLevelZero7 below · cited by 1 · depth 18 - Hecke coset sum for the weight-one adelic lift at a good prime
DihedralWeightOne.sum_weightOneLift_mul_padicToAdelic_inv_eq_mul_slash_apply_I_mul_det7 below · cited by 1 · depth 19 - Invariance and archimedean value of the weight-one adelic lift
DihedralWeightOne.weightOneLift_globalPoints_mul_and_mul_finEmbed_and_eq_weightOneArchLift6 below · cited by 5 · depth 19