Unipotent

This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (November 2015) (Learn how and when to remove this message)

In

; in other words, (r − 1)ⁿ is zero for some n.

In particular, a

of a unipotent matrix are 1.

The term quasi-unipotent means that some power is unipotent, for example for a

.

In the theory of

. A unipotent affine algebraic group is then a group with all elements unipotent.

Definition

Definition with matrices

Consider the group ${\displaystyle \mathbb {U} _{n}}$ of

with ${\displaystyle 1}$'s along the diagonal, so they are the group of matrices^[2]

${\displaystyle \mathbb {U} _{n}=\left\{{\begin{bmatrix}1&*&\cdots &*&*\\0&1&\cdots &*&*\\\vdots &\vdots &&\vdots &\vdots \\0&0&\cdots &1&*\\0&0&\cdots &0&1\end{bmatrix}}\right\}.}$

Then, a unipotent group can be defined as a subgroup of some ${\displaystyle \mathbb {U} _{n}}$. Using scheme theory the group ${\displaystyle \mathbb {U} _{n}}$ can be defined as the group scheme

${\displaystyle {\text{Spec}}\left({\frac {\mathbb {C} \!\left[x_{11},x_{12},\ldots ,x_{nn},{\frac {1}{\text{det}}}\right]}{(x_{ii}=1,x_{i>j}=0)}}\right)}$

and an affine group scheme is unipotent if it is a closed group scheme of this scheme.

An element x of an affine

of A[G]. (Locally unipotent means that its restriction to any finite-dimensional stable subspace of A[G] is unipotent in the usual ring-theoretic sense.)

An affine algebraic group is called unipotent if all its elements are unipotent. Any unipotent algebraic group is

diagonal matrices

of GL_n(k)).

For example, the standard representation of ${\displaystyle \mathbb {U} _{n}}$ on ${\displaystyle k^{n}}$ with standard basis ${\displaystyle e_{i}}$ has the fixed vector ${\displaystyle e_{1}}$.

Definition with representation theory

If a unipotent group acts on an affine variety, all its orbits are closed, and if it acts linearly on a finite-dimensional vector space then it has a non-zero fixed vector. In fact, the latter property characterizes unipotent groups.^[2] In particular, this implies there are no non-trivial semisimple representations.

Of course, the group of matrices ${\displaystyle \mathbb {U} _{n}}$ is unipotent. Using the

${\displaystyle \mathbb {U} _{n}=\mathbb {U} _{n}^{(0)}\supset \mathbb {U} _{n}^{(1)}\supset \mathbb {U} _{n}^{(2)}\supset \cdots \supset \mathbb {U} _{n}^{(m)}=e}$

where

${\displaystyle \mathbb {U} _{n}^{(1)}=[\mathbb {U} _{n},\mathbb {U} _{n}]}$ and ${\displaystyle \mathbb {U} _{n}^{(2)}=[\mathbb {U} _{n},\mathbb {U} _{n}^{(1)}]}$

there are associated unipotent groups. For example, on ${\displaystyle n=4}$, the central series are the matrix groups

${\displaystyle \mathbb {U} _{4}=\left\{{\begin{bmatrix}1&*&*&*\\0&1&*&*\\0&0&1&*\\0&0&0&1\end{bmatrix}}\right\}}$, ${\displaystyle \mathbb {U} _{4}^{(1)}=\left\{{\begin{bmatrix}1&0&*&*\\0&1&0&*\\0&0&1&0\\0&0&0&1\end{bmatrix}}\right\}}$, ${\displaystyle \mathbb {U} _{4}^{(2)}=\left\{{\begin{bmatrix}1&0&0&*\\0&1&0&0\\0&0&1&0\\0&0&0&1\end{bmatrix}}\right\}}$, and ${\displaystyle \mathbb {U} _{4}^{(3)}=\left\{{\begin{bmatrix}1&0&0&0\\0&1&0&0\\0&0&1&0\\0&0&0&1\end{bmatrix}}\right\}}$

given some induced examples of unipotent groups.

The additive group ${\displaystyle \mathbb {G} _{a}}$ is a unipotent group through the embedding

${\displaystyle a\mapsto {\begin{bmatrix}1&a\\0&1\end{bmatrix}}}$

Notice the matrix multiplication gives

${\displaystyle {\begin{bmatrix}1&a\\0&1\end{bmatrix}}\cdot {\begin{bmatrix}1&b\\0&1\end{bmatrix}}={\begin{bmatrix}1&a+b\\0&1\end{bmatrix}}}$

hence this is a group embedding. More generally, there is an embedding ${\displaystyle \mathbb {G} _{a}^{n}\to \mathbb {U} _{n+1}}$ from the map

${\displaystyle (a_{1},\ldots ,a_{n})\,\mapsto {\begin{bmatrix}1&a_{1}&a_{2}&\cdots &a_{n-1}&a_{n}\\0&1&0&\cdots &0&0\\\vdots &\vdots &\vdots &&\vdots &\vdots \\0&0&0&\cdots &1&0\\0&0&0&\cdots &0&1\end{bmatrix}}}$

Using scheme theory, ${\displaystyle \mathbb {G} _{a}}$ is given by the functor

${\displaystyle {\mathcal {O}}:{\textbf {Sch}}^{op}\to {\textbf {Sets}}}$

where

${\displaystyle (X,{\mathcal {O}}_{X})\mapsto {\mathcal {O}}_{X}(X)}$

Consider the functor ${\displaystyle {\mathcal {O}}}$ on the subcategory ${\displaystyle {\textbf {Sch}}/\mathbb {F} _{p}}$, there is the subfunctor ${\displaystyle \alpha _{p}}$ where

${\displaystyle \alpha _{p}(X)=\{x\in {\mathcal {O}}(X):x^{p}=0\}}$

so it is given by the kernel of the Frobenius endomorphism.

Over characteristic 0 there is a nice classification of unipotent algebraic groups with respect to nilpotent Lie algebras. Recall that a nilpotent Lie algebra is a subalgebra of some ${\displaystyle {\mathfrak {gl}}_{n}}$ such that the iterated adjoint action eventually terminates to the zero-map. In terms of matrices, this means it is a subalgebra ${\displaystyle {\mathfrak {g}}}$ of ${\displaystyle {\mathfrak {n}}_{n}}$, the matrices with ${\displaystyle a_{ij}=0}$ for ${\displaystyle i\leq j}$.

Then, there is an equivalence of categories of finite-dimensional nilpotent Lie algebras and unipotent algebraic groups.^{[2]page 261} This can be constructed using the Baker–Campbell–Hausdorff series ${\displaystyle H(X,Y)}$, where given a finite-dimensional nilpotent Lie algebra, the map

${\displaystyle H:{\mathfrak {g}}\times {\mathfrak {g}}\to {\mathfrak {g}}{\text{ where }}(X,Y)\mapsto H(X,Y)}$

gives a Unipotent algebraic group structure on ${\displaystyle {\mathfrak {g}}}$.

In the other direction the exponential map takes any nilpotent square matrix to a unipotent matrix. Moreover, if U is a commutative unipotent group, the exponential map induces an isomorphism from the Lie algebra of U to U itself.

Unipotent groups over an algebraically closed field of any given dimension can in principle be classified, but in practice the complexity of the classification increases rapidly with the dimension, so some^[who?] tend to give up somewhere around dimension 6.

The unipotent radical of an algebraic group G is the set of unipotent elements in the radical of G. It is a connected unipotent normal subgroup of G, and contains all other such subgroups. A group is called reductive if its unipotent radical is trivial. If G is reductive then its radical is a torus.

Algebraic groups can be decomposed into unipotent groups, multiplicative groups, and

.

Characteristic 0

Over characteristic 0 there is a nice decomposition theorem of a commutative algebraic group ${\displaystyle G}$ relating its structure to the structure of a

^{page 8}

${\displaystyle 0\to M\times U\to G\to A\to 0}$

where ${\displaystyle A}$ is an abelian variety, ${\displaystyle M}$ is of multiplicative type (meaning, ${\displaystyle M}$ is, geometrically, a product of tori and algebraic groups of the form ${\displaystyle \mu _{n}}$) and ${\displaystyle U}$ is a unipotent group.

Characteristic p

When the characteristic of the base field is p there is an analogous statement[3] for an algebraic group ${\displaystyle G}$: there exists a smallest subgroup ${\displaystyle H}$ such that

1. ${\displaystyle G/H}$ is a unipotent group
2. ${\displaystyle H}$ is an extension of an abelian variety ${\displaystyle A}$ by a group ${\displaystyle M}$ of multiplicative type.
3. ${\displaystyle M}$ is unique up to commensurability in ${\displaystyle G}$ and ${\displaystyle A}$ is unique up to isogeny.

Any element g of a linear algebraic group over a perfect field can be written uniquely as the product g = g_u  g_s of commuting unipotent and semisimple elements g_u and g_s. In the case of the group GL_n(C), this essentially says that any invertible complex matrix is conjugate to the product of a diagonal matrix and an upper triangular one, which is (more or less) the multiplicative version of the Jordan–Chevalley decomposition.

There is also a version of the Jordan decomposition for groups: any commutative linear algebraic group over a perfect field is the product of a unipotent group and a semisimple group.

• Reductive group
• Unipotent representation
• Deligne–Lusztig theory

• A. Borel, Linear algebraic groups,
  ISBN 0-387-97370-2
• JSTOR 1969949
• Popov, V.L. (2001) [1994], "unipotent element", Encyclopedia of Mathematics, EMS Press
• Popov, V.L. (2001) [1994], "unipotent group", Encyclopedia of Mathematics, EMS Press
• Suprunenko, D.A. (2001) [1994], "unipotent matrix", Encyclopedia of Mathematics, EMS Press