Pseudo-reductive group

Last updated

In mathematics, a pseudo-reductive group over a field k (sometimes called a k-reductive group) is a smooth connected affine algebraic group defined over k whose k-unipotent radical (i.e., largest smooth connected unipotent normal k-subgroup) is trivial. Over perfect fields these are the same as (connected) reductive groups, but over non-perfect fields Jacques Tits found some examples of pseudo-reductive groups that are not reductive. A pseudo-reductive k-group need not be reductive (since the formation of the k-unipotent radical does not generally commute with non-separable scalar extension on k, such as scalar extension to an algebraic closure of k). Pseudo-reductive groups arise naturally in the study of algebraic groups over function fields of positive-dimensional varieties in positive characteristic (even over a perfect field of constants).

Contents

Springer (1998) gives an exposition of Tits' results on pseudo-reductive groups, while Conrad, Gabber & Prasad (2010) builds on Tits' work to develop a general structure theory, including more advanced topics such as construction techniques, root systems and root groups and open cells, classification theorems, and applications to rational conjugacy theorems for smooth connected affine groups over arbitrary fields. The general theory (with applications) as of 2010 is summarized in Rémy (2011), and later work in the second edition Conrad, Gabber & Prasad (2015) and in Conrad & Prasad (2016) provides further refinements.

Examples of pseudo reductive groups that are not reductive

Suppose that k is a non-perfect field of characteristic 2, and a is an element of k that is not a square. Let G be the group of nonzero elements x + y√a in k[√a]. There is a morphism from G to the multiplicative group Gm taking x + y√a to its norm x2 – ay2, and the kernel is the subgroup of elements of norm 1. The underlying reduced scheme of the geometric kernel is isomorphic to the additive group Ga and is the unipotent radical of the geometric fiber of G, but this reduced subgroup scheme of the geometric fiber is not defined over k (i.e., it does not arise from a closed subscheme of G over the ground field k) and the k-unipotent radical of G is trivial. So G is a pseudo-reductive k-group but is not a reductive k-group. A similar construction works using a primitive nontrivial purely inseparable finite extension of any imperfect field in any positive characteristic, the only difference being that the formula for the norm map is a bit more complicated than in the preceding quadratic examples.

More generally, if K is a non-trivial purely inseparable finite extension of k and G is any non-trivial connected reductive K-group defined then the Weil restriction H=RK/k(G) is a smooth connected affine k-group for which there is a (surjective) homomorphism from HK onto G. The kernel of this K-homomorphism descends the unipotent radical of the geometric fiber of H and is not defined over k (i.e., does not arise from a closed subgroup scheme of H), so RK/k(G) is pseudo-reductive but not reductive. The previous example is the special case using the multiplicative group and the extension K=k[√a].

Classification and exotic phenomena

Over fields of characteristic greater than 3, all pseudo-reductive groups can be obtained from reductive groups by the "standard construction", a generalization of the construction above. The standard construction involves an auxiliary choice of a commutative pseudo-reductive group, which turns out to be a Cartan subgroup of the output of the construction, and the main complication for a general pseudo-reductive group is that the structure of Cartan subgroups (which are always commutative and pseudo-reductive) is mysterious. The commutative pseudo-reductive groups admit no useful classification (in contrast with the connected reductive case, for which they are tori and hence are accessible via Galois lattices), but modulo this one has a useful description of the situation away from characteristics 2 and 3 in terms of reductive groups over some finite (possibly inseparable) extensions of the ground field.

Over imperfect fields of characteristics 2 and 3 there are some extra pseudo-reductive groups (called exotic) coming from the existence of exceptional isogenies between groups of types B and C in characteristic 2, between groups of type F4 in characteristic 2, and between groups of type G2 in characteristic 3, using a construction analogous to that of the Ree groups. Moreover, in characteristic 2 there are additional possibilities arising not from exceptional isogenies but rather from the fact that for simply connected type C (I.e., symplectic groups) there are roots that are divisible (by 2) in the weight lattice; this gives rise to examples whose root system (over a separable closure of the ground field) is non-reduced; such examples exist with a split maximal torus and an irreducible non-reduced root system of any positive rank over every imperfect field of characteristic 2. The classification in characteristic 3 is as complete as in larger characteristics, but in characteristic 2 the classification is most complete when [k:k^2]=2 (due to complications caused by the examples with a non-reduced root system, as well as phenomena related to certain regular degenerate quadratic forms that can only exist when [k:k^2]>2). Subsequent work of Conrad & Prasad (2016), building on additional material included in the second edition Conrad, Gabber & Prasad (2015), completes the classification in characteristic 2 up to a controlled central extension by providing an exhaustive array of additional constructions that only exist when [k:k^2]>2 , ultimately resting on a notion of special orthogonal group attached to regular but degenerate and not fully defective quadratic spaces in characteristic 2.

Related Research Articles

<span class="mw-page-title-main">Algebraic group</span> Algebraic variety with a group structure

In mathematics, an algebraic group is an algebraic variety endowed with a group structure that is compatible with its structure as an algebraic variety. Thus the study of algebraic groups belongs both to algebraic geometry and group theory.

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.

<span class="mw-page-title-main">Simple Lie group</span> Connected non-abelian Lie group lacking nontrivial connected normal subgroups

In mathematics, a simple Lie group is a connected non-abelian Lie group G which does not have nontrivial connected normal subgroups. The list of simple Lie groups can be used to read off the list of simple Lie algebras and Riemannian symmetric spaces.

<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, an algebraic torus, where a one dimensional torus is typically denoted by , , or , is a type of commutative affine algebraic group commonly found in projective algebraic geometry and toric geometry. Higher dimensional algebraic tori can be modelled as a product of algebraic groups . These groups were named by analogy with the theory of tori in Lie group theory. For example, over the complex numbers the algebraic torus is isomorphic to the group scheme , which is the scheme theoretic analogue of the Lie group . In fact, any -action on a complex vector space can be pulled back to a -action from the inclusion as real manifolds.

<span class="mw-page-title-main">Group scheme</span>

In mathematics, a group scheme is a type of object from algebraic geometry equipped with a composition law. Group schemes arise naturally as symmetries of schemes, and they generalize algebraic groups, in the sense that all algebraic groups have group scheme structure, but group schemes are not necessarily connected, smooth, or defined over a field. This extra generality allows one to study richer infinitesimal structures, and this can help one to understand and answer questions of arithmetic significance. The category of group schemes is somewhat better behaved than that of group varieties, since all homomorphisms have kernels, and there is a well-behaved deformation theory. Group schemes that are not algebraic groups play a significant role in arithmetic geometry and algebraic topology, since they come up in contexts of Galois representations and moduli problems. The initial development of the theory of group schemes was due to Alexander Grothendieck, Michel Raynaud and Michel Demazure in the early 1960s.

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.

In mathematics Haboush's theorem, often still referred to as the Mumford conjecture, states that for any semisimple algebraic group G over a field K, and for any linear representation ρ of G on a K-vector space V, given v ≠ 0 in V that is fixed by the action of G, there is a G-invariant polynomial F on V, without constant term, such that

E<sub>8</sub> (mathematics) 248-dimensional exceptional simple Lie group

In mathematics, E8 is any of several closely related exceptional simple Lie groups, linear algebraic groups or Lie algebras of dimension 248; the same notation is used for the corresponding root lattice, which has rank 8. The designation E8 comes from the Cartan–Killing classification of the complex simple Lie algebras, which fall into four infinite series labeled An, Bn, Cn, Dn, and five exceptional cases labeled G2, F4, E6, E7, and E8. The E8 algebra is the largest and most complicated of these exceptional cases.

<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, a unipotent elementr of a ring R is one such that r − 1 is a nilpotent element; in other words, (r − 1)n is zero for some n.

In mathematics, a Ree group is a group of Lie type over a finite field constructed by Ree from an exceptional automorphism of a Dynkin diagram that reverses the direction of the multiple bonds, generalizing the Suzuki groups found by Suzuki using a different method. They were the last of the infinite families of finite simple groups to be discovered.

In algebraic group theory, approximation theorems are an extension of the Chinese remainder theorem to algebraic groups G over global fields k.

In representation theory, a branch of mathematics, the Langlands dualLG of a reductive algebraic group G is a group that controls the representation theory of G. If G is defined over a field k, then LG is an extension of the absolute Galois group of k by a complex Lie group. There is also a variation called the Weil form of the L-group, where the Galois group is replaced by a Weil group. Here, the letter L in the name also indicates the connection with the theory of L-functions, particularly the automorphic L-functions. The Langlands dual was introduced by Langlands (1967) in a letter to A. Weil.

In mathematics, Deligne–Lusztig theory is a way of constructing linear representations of finite groups of Lie type using ℓ-adic cohomology with compact support, introduced by Pierre Deligne and George Lusztig.

In mathematics, Moufang polygons are a generalization by Jacques Tits of the Moufang planes studied by Ruth Moufang, and are irreducible buildings of rank two that admit the action of root groups. In a book on the topic, Tits and Richard Weiss classify them all. An earlier theorem, proved independently by Tits and Weiss, showed that a Moufang polygon must be a generalized 3-gon, 4-gon, 6-gon, or 8-gon, so the purpose of the aforementioned book was to analyze these four cases.

<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.

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.

This is a glossary of algebraic geometry.

<span class="mw-page-title-main">Glossary of Lie groups and Lie algebras</span>

This is a glossary for the terminology applied in the mathematical theories of Lie groups and Lie algebras. For the topics in the representation theory of Lie groups and Lie algebras, see Glossary of representation theory. Because of the lack of other options, the glossary also includes some generalizations such as quantum 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.