Definition
Real rank of a reductive group
The dimension of a maximal abelian subspace in the noncompact part of a Cartan decomposition.
Definition
Let be a connected real reductive Lie group with Lie algebra , and choose a Cartan decomposition . If is maximal abelian, the real rank of is
All maximal abelian subspaces of are conjugate under the maximal compact subgroup, so this number is independent of the choices. It is the rank of the restricted roots when is semisimple. For reductive , split central directions contribute to even though every restricted root vanishes on them.
Equivalent split-torus formulation
For a linear real algebraic group, is the dimension of a maximal -split torus. On the Lie-group side, the connected subgroup is the corresponding maximal split abelian subgroup. Conjugacy of the possible 's and the associated Cartan and Iwasawa structure are treated in Knapp, Chapter VI, §§2–5.
Examples
The compact group has real rank . has real rank , witnessed by the trace-zero diagonal matrices in . , with , has real rank . Thus real rank distinguishes compact groups, rank-one groups, and higher-rank groups even when their complexified Lie algebras have comparable root data.
Conventions and consequences
For a semisimple group, real rank is zero exactly when the group is compact up to finite covering and finite center. For a reductive group, a noncompact split center contributes to the displayed definition; “real semisimple rank” sometimes means the real rank after removing that center. Real rank should not be confused with the rank of a maximal torus or with complex rank.
References
- Anthony W. Knapp, Lie Groups Beyond an Introduction, 2nd ed., Progress in Mathematics 140, Birkhäuser, 2002. Author-maintained record. Relevant: Chapter VI, §§2–5 on Cartan and Iwasawa decompositions, and Chapter VI, §11 on restricted roots.
- Sigurdur Helgason, Differential Geometry, Lie Groups, and Symmetric Spaces, corrected reprint, Graduate Studies in Mathematics 34, American Mathematical Society, 2001. DOI record. Relevant: Chapter VI on symmetric spaces of noncompact type and their rank.