Statement

Let GG be a , let KK be the fixed subgroup of a global Cartan involution, and let g=kp\mathfrak g=\mathfrak k\oplus\mathfrak p be the associated . The global Cartan decomposition states that

K×pG,(k,X)kexpX,K\times\mathfrak p\longrightarrow G,\qquad (k,X)\longmapsto k\exp X,

is a diffeomorphism. If ap\mathfrak a\subseteq\mathfrak p is maximal abelian and a+\overline{\mathfrak a^+} is a closed positive Weyl chamber, then every gGg\in G can be written

g=k1exp(H)k2,k1,k2K,Ha+.g=k_1\exp(H)k_2,\qquad k_1,k_2\in K,\quad H\in\overline{\mathfrak a^+}.

This refinement is the KAKKAK decomposition.

Uniqueness

The polar coordinates g=kexpXg=k\exp X are unique. In a KAKKAK expression the two compact factors need not be unique, but the chamber element HH is unique. Without restricting HH to a closed chamber, its orbit under the is the invariant datum Knapp, Chapters VI–VII.

Geometric meaning

The decomposition identifies G/KG/K with p\mathfrak p by Xexp(X)KX\mapsto\exp(X)K, providing global normal coordinates on the associated . Passing from p\mathfrak p to a chamber in a\mathfrak a is the analogue of diagonalizing a positive-definite matrix. The resulting radial coordinate controls invariant integration formulas.

Example and applications

For G=GLn(R)G=\mathrm{GL}_n(\mathbb R) and K=O(n)K=\mathrm O(n), the theorem is the matrix polar decomposition g=kexpXg=k\exp X with XX symmetric. Orthogonally diagonalizing XX gives KAKKAK, with AA the positive diagonal matrices. In representation theory, the size of HH governs decay and growth estimates for matrix coefficients.

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