View source for Adjoint action

<!--This article has been texified automatically. Since there was no Nroff source code for this article, 
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
was used.
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.

Out of 81 formulas, 81 were replaced by TEX code.-->

{{TEX|semi-auto}}{{TEX|done}}
''of a Lie group''

The linear action on the [[Lie algebra|Lie algebra]] $\frak g$ of the [[Lie group|Lie group]] $G$, denoted by $\operatorname{Ad} : G \rightarrow \operatorname{GL} (\frak g )$, that is defined as follows: Each element $g$ of $G$ induces an inner [[Automorphism|automorphism]] of the Lie group $G$ by the formula $\operatorname { Int } ( g ) : G \rightarrow G$, $x \mapsto \operatorname { gxg } ^ { - 1 }$. Its differential, $\operatorname {Ad}( g ) : \mathfrak { g } \rightarrow \mathfrak { g }$, gives an automorphism of the Lie algebra $\frak g$. The resulting linear representation $\operatorname{Ad} : G \rightarrow \operatorname{GL} (\frak g )$ is called the adjoint representation of $G$ (cf. also [[Adjoint representation of a Lie group|Adjoint representation of a Lie group]]).

The kernel of the adjoint representation, $\operatorname { Ker } ( \operatorname{Ad} )$, contains the centre $Z _ { G }$ of $G$ (cf. also [[Centre of a group|Centre of a group]]), and coincides with $Z _ { G }$ if $G$ is connected. The image $\text{Ad}( G )$ is called the [[Adjoint group|adjoint group]]; it is a Lie subgroup of $\operatorname{Aut} ( \mathfrak{g} )$, the group of all automorphisms of the Lie algebra $\frak g$.

The differential of the adjoint representation $\operatorname{Ad} : G \rightarrow \operatorname{GL} (\frak g )$ gives rise to a linear representation $\operatorname {ad} : \mathfrak { g } \rightarrow \operatorname { End } ( \mathfrak { g } )$ of the Lie algebra $\frak g$ (cf. also [[Representation of a Lie algebra|Representation of a Lie algebra]]). It is given by the formula

\begin{equation*} ( \operatorname{ad} X ) ( Y ) = [ X , Y ] , X , Y \in \mathfrak { g }, \end{equation*}

and is called the adjoint representation of $\frak g$ (cf. also [[Adjoint representation of a Lie group|Adjoint representation of a Lie group]]). The kernel, $\operatorname { Ker } ( \text { ad } )$, coincides with the centre of the Lie algebra $\frak g$. The image, $\operatorname{ad}({\frak g} )$, forms a subalgebra of $\operatorname { Der } ( \mathfrak { g } )$, the Lie algebra of all derivations of $\frak g$ (cf. [[Derivation in a ring|Derivation in a ring]]). If $\frak g$ is a semi-simple Lie algebra (see [[Lie algebra, semi-simple|Lie algebra, semi-simple]]), then $\operatorname { Ker } ( \operatorname{ad} ) = \{ 0 \}$ and $\operatorname{ad}( \mathfrak{g} ) = \operatorname { Der } (\mathfrak{g} )$. An opposite extremal case is when $G$ is Abelian; in this case $\operatorname { Ker } ( \text { ad } ) = \mathfrak { g }$ and $\operatorname {ad} ( \mathfrak{g} ) = \{ 0 \}$.

If $G \subset \operatorname { GL } ( V )$ is a [[Linear group|linear group]] acting on a [[Vector space|vector space]] $V$, then one can regard $\mathfrak{g} \subset \text { End } ( V )$ and the adjoint representation can be written in terms of matrix computation:

\begin{equation*} \text{Ad}( g ) Y = g Y g ^ { - 1 } , ( \text { ad } X ) Y = X Y - Y X, \end{equation*}

\begin{equation*} g \in G , X , Y \in \mathfrak { g }. \end{equation*}

The adjoint orbit through $X \in \mathfrak g $ (see [[Orbit|Orbit]]) is defined to be $\operatorname { Ad } ( G ) X = \{ \operatorname { Ad } ( g ) X : g \in G \}$; it is a submanifold of $\frak g$.

Adjoint orbits for reductive Lie groups $G$ have been particularly studied. The adjoint orbit $\operatorname{Ad}( G ) X$ is called a semi-simple orbit (respectively, a nilpotent orbit) if $\operatorname { ad } X$ is a semi-simple (respectively, nilpotent) [[Endomorphism|endomorphism]] of $\frak g$. The set

\begin{equation*} \mathcal{N} = \{ X \in \mathfrak { g } : \operatorname{ad}X \, \text{is a nilpotent endomorphism of} \, \mathfrak { g } \} \end{equation*}

is an [[Algebraic variety|algebraic variety]] in $\frak g$, called the nilpotent variety. It is the union of a finite number of nilpotent orbits. On the other hand, $\operatorname{Ad}( G ) X$ is a closed set in $\frak g$ if and only if it is a semi-simple orbit. A semi-simple orbit $\operatorname{Ad}( G ) X$ is called an elliptic orbit (respectively, a hyperbolic orbit) if all eigenvalues of $\operatorname { ad } X$ are purely imaginary (respectively, real). Any elliptic orbit carries a $G$-invariant complex structure, while any hyperbolic obit carries a $G$-invariant paracomplex structure.

If $G$ is compact, then all adjoint orbits are elliptic. For example, if $G = U ( n )$ (a [[Unitary group|unitary group]]), then each adjoint orbit is biholomorphic to a generalized flag variety $U ( n ) / ( U ( n _ { 1 } ) \times \ldots \times U ( n _ { k } ) )$, for some partition $( n _ { 1 } , \dots , n _ { k } )$ of $n$, and vice versa (cf. also [[Flag space|Flag space]]; [[Algebraic variety|Algebraic variety]]).

One writes $\mathfrak { g } / \operatorname{Ad}$ for the set of all adjoint orbits. The classical theory of the Jordan normal form of matrices (as well as the theory of other normal forms of matrices; cf. also [[Normal form|Normal form]]) can be interpreted as the classification of $\mathfrak { g } / \operatorname{Ad}$, for $G = \operatorname{GL} ( n , \mathbf{C} )$. If $G$ is a connected compact Lie group, then $\mathfrak { g } / \operatorname{Ad}$ is bijective to $\mathfrak { a } / W$, the set of all orbits in $\frak a$ of the [[Weyl group|Weyl group]] $W$, where $\frak a$ is a maximal Abelian subspace of $\frak g$. This reduction is important in the Cartan–Weyl theory of the classification of irreducible representations, as well as their characters, for a compact Lie group (cf. also [[Lie group, compact|Lie group, compact]]; [[Irreducible representation|Irreducible representation]]).

Bi-invariant tensors on a Lie group $G$ can be described in terms of invariants under the adjoint action. For example, the left-invariant measure on a connected Lie group $G$ is also right invariant if and only if $\operatorname{det} \; \operatorname { Ad } ( g ) = 1$ for any $g \in G$. Such a Lie group is called unimodular (cf. [[Haar measure|Haar measure]]). This is the case if $G$ is nilpotent or reductive.

Let $\mathfrak{g} ^ { * }$ be the dual vector space of $\frak g$. The [[Contragredient representation|contragredient representation]] $\operatorname{Ad} ^ { * } : G \rightarrow \operatorname{GL} ( \mathfrak{g} ^ { * } )$ of the adjoint representation $( \operatorname{Ad} , \mathfrak{g} )$ is called the co-adjoint representation. There is a close connection between irreducible unitary representations of $G$ and co-adjoint orbits (see [[Orbit method|Orbit method]]).

====References====
<table><tr><td valign="top">[a1]</td> <td valign="top"> N. Bourbaki, "Elements of mathematics, Lie groups and Lie algebras" , Addison-Wesley (1975) pp. Chap. 2–3 (Translated from French) {{MR|0682756}} {{ZBL|0319.17002}} </td></tr><tr><td valign="top">[a2]</td> <td valign="top"> "Théorie des algèbres de Lie. Topologie des groupes de Lie" , ''Sém. Sophus Lie de l'Ecole Norm. Sup. 1954/55'' , Secr. Math. Paris (1955) (0) {{MR|}} {{ZBL|0068.02102}} </td></tr><tr><td valign="top">[a3]</td> <td valign="top"> T. Kobayashi, "Harmonic analysis on homogeneous manifolds of reductive type and unitary representation theory" , ''Transl. Ser. II'' , '''183''' , Amer. Math. Soc. (1998) pp. 1–31 {{MR|1615135}} {{ZBL|}} </td></tr><tr><td valign="top">[a4]</td> <td valign="top"> F. Warner, "Foundations of differentiable manifolds and Lie groups" , Springer (1983) {{MR|0722297}} {{ZBL|0516.58001}} </td></tr><tr><td valign="top">[a5]</td> <td valign="top"> G. Warner, "Harmonic analysis on semisimple Lie groups I" , Springer (1972)</td></tr></table>