Namespace UnramifiedWhittaker 14 theorems
- Euler product unfolding of an adelic GL₂ zeta integral
UnramifiedWhittaker.exists_hasProd_eulerFactors_and_integral_zetaIntegrand_eq1 below · cited by 3 · depth 16 - Torus recursion for a local Whittaker law on adelic GL₂
UnramifiedWhittaker.apply_mul_placeEmbed_diagZ_eq_mul_torusFactor0 below · cited by 7 · depth 17 - A non-vanishing torus point supported on S
UnramifiedWhittaker.exists_apply_diagOne_mul_ne_zero_of_apply_ne_zero1 below · cited by 3 · depth 17 - Multi-place torus recursion for an adelic Whittaker function
UnramifiedWhittaker.apply_mul_prod_placeEmbed_diagZ_eq_mul_prod_torusFactor0 below · cited by 2 · depth 18 - Entirety of a bounded, pinched S-part zeta integral
UnramifiedWhittaker.integrable_and_differentiable_integral_mul_zetaIntegrand_sPartMeasure_of_bounded1 below · cited by 1 · depth 18 - Non-vanishing of a weighted S-part zeta integral
UnramifiedWhittaker.integral_mul_zetaIntegrand_sPartMeasure_ne_zero_of_nonneg_of_le_re0 below · cited by 1 · depth 18 - Unipotent zeta integral: passage from T to S with local factors
UnramifiedWhittaker.integral_zetaIntegrand_unipotent_partMeasure_eq_mul_prod_tsum_torusFactor_mul_setIntegral11 below · cited by 1 · depth 18 - Closed form for a shell-valued Hecke generating series
UnramifiedWhittaker.tsum_heckeRecursionSeq_mul_mul_pow_mul_eq_of_shell_values0 below · cited by 1 · depth 18 - Product of two Whittaker functions: shell-zero recursion and negative-shell vanishing
UnramifiedWhittaker.mul_conj_apply_heckeGen_pow_mul_eq_of_shell_zero1 below · cited by 4 · depth 19 - Absolute convergence of a product of two Hecke recursions
UnramifiedWhittaker.summable_heckeRecursionSeq_mul_heckeRecursionSeq_mul_pow0 below · cited by 2 · depth 20 - Unramified Rankin–Selberg identity for two Hecke recursions
UnramifiedWhittaker.tsum_heckeRecursionSeq_mul_heckeRecursionSeq_mul_pow_mul_rsEulerPoly_eval0 below · cited by 2 · depth 20 - Uniqueness of unramified Whittaker functions on GL₂(ℚᵥ)
UnramifiedWhittaker.eq_of_forall_unipotent_of_localLevelOne_of_scalarPi_of_diagZ0 below · cited by 2 · depth 24 - Two-parameter torus law for the product W W'F
UnramifiedWhittaker.mul_mul_apply_mul_placeEmbed_diagZ_mul_scalarPi_zpow_eq_of_torus_data_rat1 below · cited by 1 · depth 25 - Exponential bound for the Hecke recursion sequence
UnramifiedWhittaker.norm_heckeRecursionSeq_le_mul_pow_of_norm_le_rpow0 below · cited by 1 · depth 27