Cartan decomposition

From Wikipedia, the free encyclopedia

The Cartan decomposition is a decomposition of a semisimple Lie group or Lie algebra, which plays an important role in their structure theory and representation theory. It generalizes the polar decomposition of matrices.

1 Cartan involutions on Lie algebras
- 1.1 Examples
2 Cartan pairs
3 Cartan decomposition on the Lie group level
4 Relation to polar decompostion
5 See also
6 References

[edit] Cartan involutions on Lie algebras

Let $\mathfrak{g}$ be a real semisimple Lie algebra and let $B(\cdot,\cdot)$ be its Killing form. An involution on $\mathfrak{g}$ is a Lie algebra automorphism $θ$ of $\mathfrak{g}$ whose square is equal to the identity automorphism. Such an involution is called a Cartan involution on $\mathfrak{g}$ if $B θ (X, Y) = - B (X,θ Y)$ is a positive definite bilinear form.

Two involutions $θ 1$ and $θ 2$ are considered equivalent if they differ only by an inner automorphism.

Any real semisimple Lie algebra has a Cartan involution, and any two Cartan involutions are equivalent.

[edit] Examples

A Cartan involution on $\mathfrak{gl}_n(\mathbb{R})$ is defined by $θ(X) = - X T$ , where $X T$ denotes the transpose matrix of $X$ .

The identity map on $\mathfrak{g}$ is an involution, of course. It is the unique Cartan involution of $\mathfrak{g}$ if and only if the Killing form of $\mathfrak{g}$ is negative definite. Equivalently, $\mathfrak{g}$ is the Lie algebra of a compact Lie group.

Let $\mathfrak{g}$ be the complexification of a real semisimple Lie algebra $\mathfrak{g}_0$ , then complex conjugation on $\mathfrak{g}$ is an involution on $\mathfrak{g}$ . This is the Cartan involution on $\mathfrak{g}$ if and only if $\mathfrak{g}_0$ is the Lie algebra of a compact Lie group.

The following maps are involutions of the Lie algebra $\mathfrak{su}(n)$ of the special unitary group SU(n):

- the identity involution $θ 0 (X) = X$ , which is the unique Cartan involution in this case;

- $θ 1 (X) = - X T$ ;

- $\theta_2 (X) = \begin{pmatrix} I_p & 0 \\ 0 & -I_q \end{pmatrix} X \begin{pmatrix} I_p & 0 \\ 0 & -I_q \end{pmatrix}$ , where $p + q = n$ ; these are not equivalent to the identity involution because the matrix $\begin{pmatrix} I_p & 0 \\ 0 & -I_q \end{pmatrix}$ does not belong to $\mathfrak{su}(n)$ .

- if $n = 2 m$ is even, we also have $\theta_3 (X) = \begin{pmatrix} 0 & I_m \\ -I_m & 0 \end{pmatrix} X^T \begin{pmatrix} 0 & I_m \\ -I_m & 0 \end{pmatrix}$ .

[edit] Cartan pairs

Let $θ$ be an involution on a Lie algebra $\mathfrak{g}$ . Since $θ 2 = 1$ , the linear map $θ$ has the two eigenvalues $\pm1$ . Let $\mathfrak{k}$ and $\mathfrak{p}$ be the corresponding eigenspaces, then $\mathfrak{g} = \mathfrak{k}+\mathfrak{p}$ . Since $θ$ is a Lie algebra automorphism, we have

$[\mathfrak{k}, \mathfrak{k}] \subseteq \mathfrak{k}$ , $[\mathfrak{k}, \mathfrak{p}] \subseteq \mathfrak{p}$ , and $[\mathfrak{p}, \mathfrak{p}] \subseteq \mathfrak{k}$ .

Thus $\mathfrak{k}$ is a Lie subalgebra, while $\mathfrak{p}$ is not.

Conversely, a decomposition $\mathfrak{g} = \mathfrak{k}+\mathfrak{p}$ with these extra properties determines an involution $θ$ on $\mathfrak{g}$ that is $+ 1$ on $\mathfrak{k}$ and $- 1$ on $\mathfrak{p}$ .

Such a pair $(\mathfrak{k}, \mathfrak{p})$ is also called a Cartan pair of $\mathfrak{g}$ .

The decomposition $\mathfrak{g} = \mathfrak{k}+\mathfrak{p}$ associated to a Cartain involution is called a Cartan decomposition of $\mathfrak{g}$ . The special feature of a Cartan decomposition is that the Kiling form is negative definite on $\mathfrak{k}$ and positive definite on $\mathfrak{p}$ . Furthermore, $\mathfrak{k}$ and $\mathfrak{p}$ are orthogonal complements of each other with respect to the Killing form on $\mathfrak{g}$ .

[edit] Cartan decomposition on the Lie group level

Let $G$ be a semisimple Lie group and $\mathfrak{g}$ its Lie algebra. Let $θ$ be a Cartan involution on $\mathfrak{g}$ and let $(\mathfrak{k},\mathfrak{p})$ be the resulting Cartan pair. Let $K$ be the analytic subgroup of $G$ with Lie algebra $\mathfrak{k}$ . Then

There is a Lie group automorphism $Θ$ with differential $θ$ that satisfies $Θ 2 = 1$ .
The subgroup of elements fixed by $Θ$ is $K$ ; in particular, $K$ is a closed subgroup.
The mapping $K\times\mathfrak{p} \rightarrow G$ given by $(k,X) \mapsto k\cdot \mathrm{exp}(X)$ is a diffeomorphism.
The subgroup $K$ contains the center $Z$ of $G$ , and $K$ is compact modulo center, that is, $K / Z$ is compact.
The subgroup $K$ is the maximal subgroup of $G$ that contains the center and is compact modulo center.

The automorphism $Θ$ is also called global Cartan involution, and the diffeomorphism $K\times\mathfrak{p} \rightarrow G$ is called global Cartan decomposition.

[edit] Relation to polar decompostion

Consider $\mathfrak{gl}_n(\mathbb{R})$ with the Cartain involution $θ(X) = - X T$ . Then $\mathfrak{k}=\mathfrak{so}_n(\mathbb{R})$ is the Lie algebra of skew-symmetric matrices, so that $K = SO(n)$ , while $\mathfrak{p}$ is the subspace of positive definite matrices. Thus the exponential map is a diffeomorphism from $\mathfrak{p}$ onto the space of positive definite matrices. Up to this exponential map, the global Cartan decomposition is the polar decomposition of a matrix. Notice that the polar decomposition of an invertible matrix is unique.