Namespace TwistedUnipotentTerm 21 theorems
- Derivative at s=1 of the twisted local unipotent zeta integral
TwistedUnipotentTerm.exists_forall_deriv_localZeta_twistedLocalFactor_one_eq_weighted_moments_unram25 below · cited by 1 · depth 27 - Unramified twisted local factor: central binomial local zeta value
TwistedUnipotentTerm.exists_forall_localZeta_twistedLocalFactor_one_one_eq_mul_centralBinom_unram23 below · cited by 2 · depth 27 - Vanishing twisted local factor for a non-trivial semi-local character
TwistedUnipotentTerm.twistedLocalFactor_eq_zero_of_exists_semiLocalCharacter_ne_one_unram0 below · cited by 2 · depth 27 - Holomorphy of the twisted local zeta integral on Re s>0
TwistedUnipotentTerm.differentiableOn_localZeta_twistedLocalFactor_one_unram18 below · cited by 1 · depth 28 - Truncated Tate integral, affine in log X, uniform derivative coefficient
TwistedUnipotentTerm.exists_forall_exists_forall_integrableOn_and_setIntegral_finsum_sub_indicator_eq_mul_log_add_of_eq_indicator_uniform62 below · cited by 1 · depth 28 - Unipotent orbital function as a twisted tree walk count
TwistedUnipotentTerm.exists_ne_zero_forall_unipotentOrbitalFn_eq_mul_indicator_walkCount_of_forall_mem_integralUnits13 below · cited by 2 · depth 28 - Haar mass of valuation shells in L ⊗_K Kᵥ
TwistedUnipotentTerm.exists_pos_forall_integral_indicator_integralAway_walkShell_eq_mul_add_sum0 below · cited by 1 · depth 28 - Log-moments of the trace on shells at an unramified place
TwistedUnipotentTerm.integral_indicator_integralAway_walkShell_mul_log_modulus_trace_eq_unram1 below · cited by 1 · depth 28 - Local constancy and compact support of the unipotent orbital function
TwistedUnipotentTerm.isLocallyConstant_and_hasCompactSupport_unipotentOrbitalFn11 below · cited by 3 · depth 28 - Truncated zeta integral affine in log X, local factors in its constant
TwistedUnipotentTerm.exists_forall_integrableOn_and_setIntegral_finsum_sub_indicator_eq_mul_log_add_of_eq_indicator57 below · cited by 1 · depth 29 - Integral units of L ⊗_K Kᵥ: compact, open, valuation one
TwistedUnipotentTerm.isCompact_isOpen_integralUnits_and_mem_iff_forall_valued_eq_one0 below · cited by 5 · depth 29 - Semi-local character as a product of Hecke-generator powers
TwistedUnipotentTerm.semiLocalCharacter_eq_finprod_zpow_neg_log_of_forall_mem_integralUnits0 below · cited by 1 · depth 29 - Bi-invariance of the word indicator under semi-local integral units
TwistedUnipotentTerm.wordIndicator_mul_eq_of_mem_semiLocalIntegralSet_of_isHeckeCosetSystem0 below · cited by 2 · depth 29 - Word indicator at central times unipotent counts tree walks
TwistedUnipotentTerm.wordIndicator_semiLocalCentral_mul_semiLocalUnipotent_eq_walkCount9 below · cited by 2 · depth 29 - Transversal measures on the ideles of an extension L/K
TwistedUnipotentTerm.exists_transversal23 below · cited by 1 · depth 30 - Continuity of the semi-local character at a finite place
TwistedUnipotentTerm.continuous_semiLocalCharacter_of_continuous0 below · cited by 1 · depth 33 - Local constancy and compact support of a semi-local twisted unipotent orbital integral
TwistedUnipotentTerm.isLocallyConstant_integral_setIntegral_integral_semiLocalCharacter_mul_twist_and_hasCompactSupport1 below · cited by 1 · depth 33 - Semi-local unipotent orbital function: local constancy and compact support
TwistedUnipotentTerm.isLocallyConstant_unipotentOrbitalFn_and_hasCompactSupport0 below · cited by 1 · depth 33 - σ⊗ 1-invariance of semi-local characters
TwistedUnipotentTerm.semiLocalCharacter_congr_eq_of_forall_unitsAct_eq4 below · cited by 1 · depth 33 - Fubini exchange in the semi-local twisted unipotent integral
TwistedUnipotentTerm.setIntegral_integral_semiLocalCharacter_mul_wordIndicator_eq_integral_mul_setIntegral0 below · cited by 1 · depth 33 - Integral twists do not change semi-local twisted unipotent integrals
TwistedUnipotentTerm.setIntegral_integral_semiLocalCharacter_mul_wordIndicator_twist_eq_of_mem_integralUnits0 below · cited by 1 · depth 33