Namespace LocalNewvector 22 theorems
— 8 · AdelicSpan 3 · PSCarrier 11
directly in LocalNewvector 8
- Lifting a K₁(qᵃ)-fixed vector through an equivariant map
LocalNewvector.exists_mem_fixedSubmodule_and_map_eq_of_map_mem_fixedSubmodule0 below · cited by 6 · depth 12 - Principal congruence subgroup contained in K₁(pⁿ)
LocalNewvector.gl2CongruenceSubgroup_le_padicK10 below · cited by 7 · depth 12 - Smooth B-invariant functions generated by one non-constant vector
LocalNewvector.mem_of_isLocallyConstant_of_borelInvariant_of_rightTranslate_stable2 below · cited by 1 · depth 17 - Indicator of B· K(p^M) lies in a translation-stable space
LocalNewvector.indicator_borelCell_mem_of_integralBorelInvariant_of_rightTranslate_stable0 below · cited by 1 · depth 18 - Cuspidality of type θ transfers along an equivariant injection
LocalNewvector.isCuspidalOfType_gl2ReductionRep_of_isIrreducibleGLRep_of_injective_of_isCuspidalOfType1 below · cited by 1 · depth 19 - Submodules of an isotypic sum are sums of images of V
LocalNewvector.exists_iSup_range_eq_top_of_injective_linearMap_finsupp_of_isIrreducibleGLRep0 below · cited by 2 · depth 20 - Isotypic embedding into a direct sum of copies of an irreducible
LocalNewvector.exists_injective_linearMap_finsupp_of_isIrreducibleGLRep_of_iSup_range_eq_top0 below · cited by 2 · depth 22 - Admissibility of the principal series B(μ₁,μ₂)
LocalNewvector.finiteDimensional_principalSeries_inf_rightInvariantFunctions0 below · cited by 1 · depth 22
LocalNewvector.AdelicSpan 3
- Newvector exponent at p bounded by vₚ(N)
LocalNewvector.AdelicSpan.exists_hasNewvectorConductor_le_factorization0 below · cited by 2 · depth 13 - Twisting away ramification of μ₁ in a principal series
LocalNewvector.AdelicSpan.exists_psCarrier_fnTwist_isUnramified_fixed_padicK1_of_not_isUnramified_ratio7 below · cited by 1 · depth 16 - Non-zero K₁(qᵃ)-fixed vector inside the local span at q
LocalNewvector.AdelicSpan.exists_mem_span_fixed_padicK1_of_fixedSubmodule_padicK1_ne_bot_of_apply_mul_finEmbed_eq0 below · cited by 1 · depth 17
LocalNewvector.PSCarrier 11
- Newvector with Iwahori values 1 and -p⁻¹
LocalNewvector.PSCarrier.existsUnique_mem_inf_fixedSubmodule_padicK1_one_of_stable5 below · cited by 3 · depth 12 - Dimension of K₁(p^m)-fixed vectors in principal series
LocalNewvector.PSCarrier.finrank_fixedSubmodule_padicK13 below · cited by 8 · depth 12 - Spherical vectors lie in every nonzero stable subspace
LocalNewvector.PSCarrier.fixedSubmodule_padicK1_zero_le_of_stable4 below · cited by 3 · depth 12 - Irreducibility of unramified principal series for GL₂(ℚₚ)
LocalNewvector.PSCarrier.isIrreducibleGLRep_of_isUnramified0 below · cited by 3 · depth 12 - Oldform dimension count for a principal series
LocalNewvector.PSCarrier.finrank_fixedSubmodule_padicK1_of_add_le1 below · cited by 2 · depth 13 - Casselman's conductor formula for the principal series
LocalNewvector.PSCarrier.hasNewvectorConductor_add1 below · cited by 2 · depth 13 - Irreducibility of the principal series of GL₂(ℚₚ)
LocalNewvector.PSCarrier.isIrreducibleGLRep_of_hasCharConductor_of_ratio0 below · cited by 6 · depth 13 - Characters of a nonzero principal series are smooth
LocalNewvector.PSCarrier.exists_forall_mem_higherUnits_apply_eq_one_of_ne_zero0 below · cited by 5 · depth 14 - Ramified principal series has no GL₂(ℤₚ)-fixed vector
LocalNewvector.PSCarrier.fixedSubmodule_padicK1_zero_eq_bot0 below · cited by 1 · depth 15 - Invariant subspaces of the principal series B(μ₁,μ₁|·|)
LocalNewvector.PSCarrier.exists_forall_stable_iff_of_hasCharConductor_of_ratio_eq_natCast3 below · cited by 1 · depth 16 - Casselman's level count for the special subrepresentation at K₁(p^m)
LocalNewvector.PSCarrier.finrank_inf_fixedSubmodule_padicK1_of_stable5 below · cited by 1 · depth 16