# Unipotent element

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

An element of a linear algebraic group which coincides with the unipotent part of its Jordan decomposition in . If is realized as a closed subgroup of the group of automorphisms of a finite-dimensional vector space over an algebraically closed ground field , then a unipotent element is precisely an element satisfying , , or, equivalently, is such that its matrix relative to a certain basis of is upper triangular, with 1's on the main diagonal. The set of all unipotent elements in is closed in the Zariski topology. If , then every unipotent element has infinite order. In that case the smallest algebraic subgroup of containing is a one-dimensional unipotent group. If, however, , then will be unipotent precisely when it has finite order for some . A connected group contains no unipotent element if and only if it is an algebraic torus.

A criterion for anisotropy may be given in terms of unipotent elements (cf. Anisotropic group).

Unipotent elements play an important role in the theory of discrete subgroups (cf. Discrete subgroup) of algebraic groups and Lie groups. The presence of unipotent elements in a discrete group of motions of a symmetric space, having a non-compact fundamental domain of finite volume, is an important tool for studying the structure of such groups and their fundamental domains, cf. [5]; the existence of unipotent elements in such was proved in [4].

The variety is invariant under inner automorphisms of the group . Let be connected and semi-simple. Then the number of conjugacy classes of unipotent elements is finite and for every simple there is a complete description of them (as well as a description of the centralizer of a unipotent element), cf. [7]. In the classical groups such a description is obtained by means of the Jordan form of matrices, [2]. E.g. for the group there exists a bijection between the conjugacy classes of unipotent elements and the partitions of into positive integers , . If and are two partitions of , then the class corresponding to contains in its closure the class corresponding to precisely if for all . The dimension of the class corresponding to the partition (as an algebraic variety) is equal to .

The set of all simple points of the algebraic variety forms one conjugacy class of unipotent elements, the regular unipotent elements. If is simple, then the variety of singular points in the variety also contains a Zariski-open conjugacy class of unipotent elements — the subregular unipotent elements. For a study of the singular points of the variety see also [6].

#### References

 [1] A. Borel, "Linear algebraic groups" , Springer (1991) MR1102012 Zbl 0726.20030 [2] A. Borel (ed.) R. Carter (ed.) C.W. Curtis (ed.) N. Iwahori (ed.) T.A. Springer (ed.) R. Steinberg (ed.) , Seminar on algebraic groups and related finite groups , Lect. notes in math. , 131 , Springer (1970) Zbl 0192.36201 [3] J.E. Humphreys, "Linear algebraic groups" , Springer (1981) MR0610979 MR0396773 Zbl 0471.20029 [4] D.A. Kazhdan, G.A. Margulis, "A proof of Selberg's hypothesis" Math. USSR Sb. , 4 : 1 (1969) pp. 147–152 Mat. Sb. , 75 : 1 (1968) pp. 163–168 [5] A. Selberg, "Recent developments in the theory of discontinuous groups of motions of symmetric spaces" , Proc. 15 Scand. Congress (Oslo, 1968) , Lect. notes in math. , 118 , Springer (1970) pp. 99–120 MR0263996 Zbl 0197.18002 [6] P.J. Slodowy, "Simple singularities and simple algebraic groups" , Lect. notes in math. , 815 , Springer (1980) MR0584445 Zbl 0441.14002 [7] N. Spaltenstein, "Classes unipotentes et sousgroupes de Borel" , Lect. notes in math. , 946 , Springer (1982) MR672610