Theorem
Global Cartan decomposition
The decomposition of a real reductive group as K exp(p), refined to the KAK decomposition.
Statement
Let be a real reductive Lie group, let be the fixed subgroup of a global Cartan involution, and let be the associated Cartan decomposition. The global Cartan decomposition states that
is a diffeomorphism. If is maximal abelian and is a closed positive Weyl chamber, then every can be written
This refinement is the decomposition.
Uniqueness
The polar coordinates are unique. In a expression the two compact factors need not be unique, but the chamber element is unique. Without restricting to a closed chamber, its orbit under the restricted Weyl group is the invariant datum Knapp, Chapters VI–VII.
Geometric meaning
The decomposition identifies with by , providing global normal coordinates on the associated Riemannian symmetric space. Passing from to a chamber in is the analogue of diagonalizing a positive-definite matrix. The resulting radial coordinate controls invariant integration formulas.
Example and applications
For and , the theorem is the matrix polar decomposition with symmetric. Orthogonally diagonalizing gives , with the positive diagonal matrices. In representation theory, the size of governs decay and growth estimates for matrix coefficients.
References
- A. W. Knapp, Lie Groups Beyond an Introduction, 2nd ed., Birkhäuser, 2002. Publisher record. Relevant: Chapter VI, §4 and Chapter VII, §8.
- S. Helgason, Differential Geometry, Lie Groups, and Symmetric Spaces, American Mathematical Society, 2001. DOI record. Relevant: Chapter IX on global decompositions.