Iwahori
Generated by GPT-5-miniExpansion Funnel Raw 85 → Dedup 0 → NER 0 → Enqueued 0
| Iwahori | |
|---|---|
| Name | Iwahori |
| Field | Algebraic groups; Representation theory; Number theory |
| Known for | Iwahori subgroup; Iwahori–Hecke algebra |
Iwahori is a term originating in the work of Masayoshi Iwahori, denoting a class of compact open subgroups and related algebraic objects associated to reductive Chevalley groups over non-archimedean local fields and their combinatorial and representation-theoretic structures. The notion plays a central role in the study of p-adic number groups such as GL_n, SL_n, Sp_2n and exceptional groups like G_2 and E_8, and interfaces with theories developed by Jacques Tits, Harish-Chandra, Claude Chevalley, Jean-Pierre Serre, and Robert Langlands. The constructions lead to the eponymous algebraic and combinatorial tools applied across Harmonic analysis, Automorphic forms, Local Langlands correspondence, and the geometry of Bruhat–Tits buildings.
Definition and Origins
The concept traces to Masayoshi Iwahori’s work in the mid-20th century on subgroups of p-adic groups and analogues of Borel subgroups over local fields; his name is attached to compact open subgroups that generalize Iwahori decomposition phenomena first observed for GL_2 and classical groups. In the setting of a reductive group G over a non-archimedean local field such as a finite extension of Q_p or F_q((t)), an Iwahori subgroup can be defined with reference to a choice of Borel subgroup, maximal torus and an alcove in the associated Bruhat–Tits building, following constructions by Bruhat and Tits. The origin is intertwined with the development of Chevalley group schemes, the classification of reductive groups, and applications to Hecke algebras studied by Iwahori and George Lusztig.
Iwahori Subgroups and Decompositions
An Iwahori subgroup I of a reductive group G(K) (with K a non-archimedean local field such as a finite extension of Q_p or F_l((t))) sits between a maximal compact subgroup like a parahoric subgroup and a pro-p Sylow subgroup. The subgroup admits decompositions analogous to Bruhat decomposition and Cartan decomposition: there is an Iwahori decomposition relative to chosen positive and negative root subgroups coming from a Chevalley basis and a maximal torus; these decompositions interact with the Weyl group and the extended affine Weyl group or affine Weyl group. The combinatorial structure uses chambers and alcoves in the Bruhat–Tits building and facets classified by Tits system axioms; important comparisons are with Borel subgroups, parabolic subgroups, and Iwahori–Hecke algebra generators indexed by simple reflections in the Coxeter group.
Iwahori–Hecke Algebra
The Iwahori–Hecke algebra H(G,I) is the convolution algebra of compactly supported I-biinvariant functions on G(K) with values in a coefficient ring, originally developed for groups like GL_n and SL_n and extensively studied by Iwahori, Hecke, and Kazhdan and Lusztig. It is presented by generators and relations determined by an associated Coxeter system and parameters coming from residue field cardinalities such as q = |k| for k the residue field. The algebra admits bases analogous to the Bruhat order indexing, including the standard basis and the Kazhdan–Lusztig basis introduced in the work of Kazhdan–Lusztig, with deep connections to Springer correspondence, Deligne–Lusztig theory, and modular representation theory of finite groups of Lie type such as GL_n(F_q), SL_n(F_q), and Sp_2n(F_q). The structure constants encode intersection numbers on Schubert varieties in flag varieties studied by Demazure and Bott–Samelson.
Representation Theory Applications
Iwahori subgroups and the corresponding Iwahori–Hecke algebras provide tools for classifying smooth representations of p-adic groups developed by Bernstein, Zelevinsky, Bushnell and Kutzko; they allow reduction of questions about admissible representations to module categories over H(G,I). This framework is crucial in formulating and proving instances of the Local Langlands correspondence for groups like GL_n (work by Harris–Taylor, Henniart, Laumon–Rapoport–Stuhler), and in the study of unramified principal series, supercuspidal representations, and types via Moy–Prasad filtration, Bushnell–Kutzko types, and Savin’s results. Connections to modular forms, automorphic representations, and the trace formula involve matching Iwahori-fixed vectors with Hecke eigenvalues, intertwining operators, and the theory of Euler–Poincaré pairing.
Connections to Bruhat–Tits Buildings
The geometric realization of Iwahori subgroups is via the stabilizer of an alcove in the Bruhat–Tits building associated to G(K), a simplicial complex constructed by Bruhat–Tits to study reductive groups over local fields. Alcoves correspond to chambers in the affine apartment attached to a maximal split torus; their stabilizers give Iwahori and parahoric subgroups, while facets give parahoric subgroups associated to Levi subgroups and parabolic subgroups. This geometric viewpoint links Iwahori phenomena to combinatorics of affine root systems, gallery distances, retraction maps, and to harmonic analysis on buildings used in works by Cartwright, Kramer, Mercat, and applications to the computation of Hecke algebra modules and the study of affine flag varietys and Schubert varietys.
Examples and Explicit Constructions
Explicit Iwahori subgroups are described for classical groups: for GL_n over a local field K with ring of integers O_K and residue field k, an Iwahori subgroup can be taken as the inverse image of a Borel subgroup in GL_n(k) under reduction mod the maximal ideal, producing matrix conditions like upper-triangularity modulo the uniformizer. For SL_n, Sp_2n, SO_n, and exceptional groups such as G_2 and F_4, constructions use Chevalley generators, affine root subgroups, and Moy–Prasad filtrations. Corresponding Iwahori–Hecke algebras for affine types Ã, B̃, C̃, D̃, Ẽ, F̃, and G̃ admit presentations via generators tied to simple reflections in affine Coxeter groups; concrete computations of structure constants appear in the literature on Kazhdan–Lusztig polynomials, representation categories for p-adic groups, and explicit examples for low-rank groups like GL_2, SL_2, and G_2.