Construction of tame types
Let \(F\) denote a non-archimedean local field and let \(G\) stand for a reductive group defined over \(F\). The category \(\mathcal{R}(G)\) of smooth representations of \(G\) can be decomposed into a product of additive subcategories as \(\mathcal{R}(G) = \Pi_{s} \mathcal R^s(G)\), where \(s\) runs over the set of inertial classes of cuspidal pairs. In the paper under the review, the authors provide a construction of types corresponding to a single factor \(\mathcal R^s\), as covers of the supercuspidal types on Levi subgroups, in a uniform manner. The given construction holds for general reductive \(p\)-adic groups, and it is shown that it provides sufficiently many types to study all irreducible admissible representations, under a certain tameness hypothesis on \(G\). For the entire collection see [Zbl 1387.11001].
- Constructive Type Classes in Isabelle
- Constructions with non-recursive higher inductive types
- Extensional constructs in intensional type theory
- A Type Theory with Mixed Constructivity and Assignments
- Type Reconstruction for General Refinement Types
- Inductively defined types in the Calculus of Constructions
- A modular construction of type theories
- scientific article; zbMATH DE number 895270
- Type Reconstruction for Type Classes
- Transfinite constructions in classical type theory
- Induced types of maximal parabolics in \(Sp_4(F)\) and \(GSP_4(F)\)
- Regular Bernstein blocks
- Restricting supercuspidal representations via a restriction of data
- Tame cuspidal representations in non-defining characteristics
- Types for tame p-adic groups
- Principal series component of Gelfand-Graev representation
- Typical representations via fixed point sets in Bruhat-Tits buildings
- Inverse Satake isomorphism and change of weight
- Hecke algebras for \(p\)-adic reductive groups and local Langlands correspondences for Bernstein blocks
- Bruhat-Tits buildings, representations of \(p\)-adic groups and Langlands correspondence
- Supercuspidal representations in non-defining characteristics
- A comparison of endomorphism algebras
- The center of the Hecke algebra of a type
- Simple type theory for metaplectic covers of \(\operatorname{GL}(r)\) over a non-Archimedean local field
- Representations of p-adic groups. Abstracts from the workshop held December 1--6, 2024
- Hecke algebras and local Langlands correspondence for non-singular depth-zero representations
This page was built for publication: Construction of tame types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1728696)
