Definition

Let g=kp\mathfrak g=\mathfrak k\oplus\mathfrak p be the of a real , and let ap\mathfrak a\subseteq\mathfrak p be maximal abelian. For αa\alpha\in\mathfrak a^*, set

gα={Xg:[H,X]=α(H)X for every Ha}.\mathfrak g_\alpha=\{X\in\mathfrak g: [H,X]=\alpha(H)X\text{ for every }H\in\mathfrak a\}.

The restricted root system is

Σ(g,a)={αa{0}:gα0}.\Sigma(\mathfrak g,\mathfrak a) =\{\alpha\in\mathfrak a^*\setminus\{0\}:\mathfrak g_\alpha\ne0\}.

Its elements are restricted roots, and mα=dimgαm_\alpha=\dim\mathfrak g_\alpha is the root multiplicity. Unlike an ordinary reduced , Σ\Sigma may contain both α\alpha and 2α2\alpha.

Root-space decomposition

The commuting operators ad(H)\operatorname{ad}(H), HaH\in\mathfrak a, are simultaneously diagonalizable over R\mathbb R, giving

g=g0αΣgα.\mathfrak g=\mathfrak g_0\oplus \bigoplus_{\alpha\in\Sigma}\mathfrak g_\alpha.

Choosing a positive subsystem Σ+\Sigma^+ defines the nilpotent algebra n=αΣ+gα\mathfrak n=\bigoplus_{\alpha\in\Sigma^+}\mathfrak g_\alpha, the key ingredient in the Knapp, Chapter VI, §4.

Weyl group and chambers

The is

W(g,a)=NK(a)/ZK(a).W(\mathfrak g,\mathfrak a)=N_K(\mathfrak a)/Z_K(\mathfrak a).

It is generated by the reflections associated with indivisible restricted roots and acts on a\mathfrak a. The of the complement of the root hyperplanes are Weyl chambers. Their closures parametrize the radial part in the KAKKAK decomposition.

Example and comparison

For sln(R)\mathfrak{sl}_n(\mathbb R), take a\mathfrak a to be the diagonal trace-zero matrices. The restricted roots are αij(H)=HiHj\alpha_{ij}(H)=H_i-H_j, each with multiplicity one, so the system is of type An1A_{n-1}. For other real forms, several complex roots can restrict to the same functional, producing higher multiplicities or a nonreduced system.

References
  1. A. W. Knapp, Lie Groups Beyond an Introduction, 2nd ed., Birkhäuser, 2002. Publisher record. Relevant: Chapter VI, §4 on restricted roots.
  2. S. Helgason, Differential Geometry, Lie Groups, and Symmetric Spaces, American Mathematical Society, 2001. DOI record. Relevant: Chapter VII on restricted-root decompositions.