Iwahori subgroup

Last updated

In algebra, an Iwahori subgroup is a subgroup of a reductive algebraic group over a nonarchimedean local field that is analogous to a Borel subgroup of an algebraic group. A parahoric subgroup is a proper subgroup that is a finite union of double cosets of an Iwahori subgroup, so is analogous to a parabolic subgroup of an algebraic group. Iwahori subgroups are named after Nagayoshi Iwahori, and "parahoric" is a portmanteau of "parabolic" and "Iwahori". Iwahori & Matsumoto (1965) studied Iwahori subgroups for Chevalley groups over p-adic fields, and Bruhat & Tits (1972) extended their work to more general groups.

Contents

Roughly speaking, an Iwahori subgroup of an algebraic group G(K), for a local field K with integers O and residue field k, is the inverse image in G(O) of a Borel subgroup of G(k).

A reductive group over a local field has a Tits system (B,N), where B is a parahoric group, and the Weyl group of the Tits system is an affine Coxeter group.

Definition

More precisely, Iwahori and parahoric subgroups can be described using the theory of affine Tits buildings. The (reduced) building B(G) of G admits a decomposition into facets. When G is quasisimple the facets are simplices and the facet decomposition gives B(G) the structure of a simplicial complex; in general, the facets are polysimplices, that is, products of simplices. The facets of maximal dimension are called the alcoves of the building.

When G is semisimple and simply connected, the parahoric subgroups are by definition the stabilizers in G of a facet, and the Iwahori subgroups are by definition the stabilizers of an alcove. If G does not satisfy these hypotheses then similar definitions can be made, but with technical complications.

When G is semisimple but not necessarily simply connected, the stabilizer of a facet is too large and one defines a parahoric as a certain finite index subgroup of the stabilizer. The stabilizer can be endowed with a canonical structure of an O-group, and the finite index subgroup, that is, the parahoric, is by definition the O-points of the algebraic connected component of this O-group. It is important here to work with the algebraic connected component instead of the topological connected component because a nonarchimedean local field is totally disconnected.

When G is an arbitrary reductive group, one uses the previous construction but instead takes the stabilizer in the subgroup of G consisting of elements whose image under any character of G is integral.

Examples

Related Research Articles

<span class="mw-page-title-main">General linear group</span> Group of n×n invertible matrices

In mathematics, the general linear group of degree n is the set of n×n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible, with the identity matrix as the identity element of the group. The group is so named because the columns of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position.

In mathematics, a building is a combinatorial and geometric structure which simultaneously generalizes certain aspects of flag manifolds, finite projective planes, and Riemannian symmetric spaces. Buildings were initially introduced by Jacques Tits as a means to understand the structure of isotropic reductive linear algebraic groups over arbitrary fields. The more specialized theory of Bruhat–Tits buildings plays a role in the study of p-adic Lie groups analogous to that of the theory of symmetric spaces in the theory of Lie groups.

In mathematics, a generalized flag variety is a homogeneous space whose points are flags in a finite-dimensional vector space V over a field F. When F is the real or complex numbers, a generalized flag variety is a smooth or complex manifold, called a real or complexflag manifold. Flag varieties are naturally projective varieties.

<span class="mw-page-title-main">Linear algebraic group</span> Subgroup of the group of invertible n×n matrices

In mathematics, a linear algebraic group is a subgroup of the group of invertible matrices that is defined by polynomial equations. An example is the orthogonal group, defined by the relation where is the transpose of .

In mathematics, the Iwahori–Hecke algebra, or Hecke algebra, named for Erich Hecke and Nagayoshi Iwahori, is a deformation of the group algebra of a Coxeter group.

<span class="mw-page-title-main">Borel subgroup</span>

In the theory of algebraic groups, a Borel subgroup of an algebraic group G is a maximal Zariski closed and connected solvable algebraic subgroup. For example, in the general linear group GLn, the subgroup of invertible upper triangular matrices is a Borel subgroup.

<span class="mw-page-title-main">Reductive group</span>

In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group G over a perfect field is reductive if it has a representation that has a finite kernel and is a direct sum of irreducible representations. Reductive groups include some of the most important groups in mathematics, such as the general linear group GL(n) of invertible matrices, the special orthogonal group SO(n), and the symplectic group Sp(2n). Simple algebraic groups and (more generally) semisimple algebraic groups are reductive.

In mathematics, the Bruhat decompositionG = BWB of certain algebraic groups G into cells can be regarded as a general expression of the principle of Gauss–Jordan elimination, which generically writes a matrix as a product of an upper triangular and lower triangular matrices—but with exceptional cases. It is related to the Schubert cell decomposition of flag varieties: see Weyl group for this.

In mathematics, a (B, N) pair is a structure on groups of Lie type that allows one to give uniform proofs of many results, instead of giving a large number of case-by-case proofs. Roughly speaking, it shows that all such groups are similar to the general linear group over a field. They were introduced by the mathematician Jacques Tits, and are also sometimes known as Tits systems.

In mathematics, a matrix group is a group G consisting of invertible matrices over a specified field K, with the operation of matrix multiplication. A linear group is a group that is isomorphic to a matrix group.

In mathematics, a rigid analytic space is an analogue of a complex analytic space over a nonarchimedean field. Such spaces were introduced by John Tate in 1962, as an outgrowth of his work on uniformizing p-adic elliptic curves with bad reduction using the multiplicative group. In contrast to the classical theory of p-adic analytic manifolds, rigid analytic spaces admit meaningful notions of analytic continuation and connectedness.

In the theory of reductive groups over local fields, a hyperspecial subgroup of a reductive group G is a certain type of compact subgroup of G.

<span class="mw-page-title-main">Gopal Prasad</span> Indian-American mathematician

Gopal Prasad is an Indian-American mathematician. His research interests span the fields of Lie groups, their discrete subgroups, algebraic groups, arithmetic groups, geometry of locally symmetric spaces, and representation theory of reductive p-adic groups.

Nagayoshi Iwahori was a Japanese mathematician who worked on algebraic groups over local fields who introduced Iwahori–Hecke algebras and Iwahori subgroups.

In mathematics, a Hecke algebra is classically the algebra of Hecke operators studied by Erich Hecke. It may also refer to one of several algebras (some of which are related to the classical Hecke algebra):

In mathematics, a Hecke algebra of a locally compact group is an algebra of bi-invariant measures under convolution.

In algebraic number theory, through completion, the study of ramification of a prime ideal can often be reduced to the case of local fields where a more detailed analysis can be carried out with the aid of tools such as ramification groups.

In mathematics, the Steinberg triality groups of type 3D4 form a family of Steinberg or twisted Chevalley groups. They are quasi-split forms of D4, depending on a cubic Galois extension of fields K ⊂ L, and using the triality automorphism of the Dynkin diagram D4. Unfortunately the notation for the group is not standardized, as some authors write it as 3D4(K) (thinking of 3D4 as an algebraic group taking values in K) and some as 3D4(L) (thinking of the group as a subgroup of D4(L) fixed by an outer automorphism of order 3). The group 3D4 is very similar to an orthogonal or spin group in dimension 8.

<span class="mw-page-title-main">Complexification (Lie group)</span> Universal construction of a complex Lie group from a real Lie group

In mathematics, the complexification or universal complexification of a real Lie group is given by a continuous homomorphism of the group into a complex Lie group with the universal property that every continuous homomorphism of the original group into another complex Lie group extends compatibly to a complex analytic homomorphism between the complex Lie groups. The complexification, which always exists, is unique up to unique isomorphism. Its Lie algebra is a quotient of the complexification of the Lie algebra of the original group. They are isomorphic if the original group has a quotient by a discrete normal subgroup which is linear.

In mathematics, the Moy–Prasad filtration is a family of filtrations of p-adic reductive groups and their Lie algebras, named after Allen Moy and Gopal Prasad. The family is parameterized by the Bruhat–Tits building; that is, each point of the building gives a different filtration. Alternatively, since the initial term in each filtration at a point of the building is the parahoric subgroup for that point, the Moy–Prasad filtration can be viewed as a filtration of a parahoric subgroup of a reductive group.

References

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.