Cartan involution

Cartan involution
Name	Cartan involution
Field	Lie theory
Introduced	Élie Cartan
Related	Cartan decomposition, symmetric space, semisimple Lie algebra

Cartan involution

A Cartan involution is an involutive automorphism associated with real forms of complex semisimple Lie algebras and Lie groups, originating in the work of Élie Cartan, Hermann Weyl, and Elie Cartan. It plays a central role in the structure theory of Lie algebras, Lie groups, and Riemannian symmetric spaces, linking notions from Killing form, Cartan decomposition, and Iwasawa decomposition.

Definition and basic properties

A Cartan involution is an involutive automorphism θ of a real semisimple Lie algebra g_R such that the bilinear form (X,Y) ↦ −B(X,θY) is positive definite, where B denotes the Killing form of the complexified algebra. In particular, θ satisfies θ^2 = id and preserves the real structure arising from a chosen real form; θ yields an orthogonal decomposition g_R = k ⊕ p with respect to B, where k and p are the +1 and −1 eigenspaces respectively. The eigenspace k is a maximal compact subalgebra of g_R, and θ intertwines with conjugation defining the compact real form related to Cartan subalgebra theory, root systems, and Dynkin diagram conjugacy.

Cartan involution for real semisimple Lie algebras

For a real semisimple Lie algebra g_R the Cartan involution θ gives rise to a decomposition compatible with the root system of the complexification g_C. The choice of θ determines a compact real form g_cpt of g_C via g_cpt = k ⊕ i p, connecting to the classification due to Cartan classification and work of Claude Chevalley. Under θ the Killing form becomes negative definite on k and positive definite on p up to a sign, which links with criteria used in the Weyl group action on Cartan subalgebras and the computation of real rank, as in studies by Harish-Chandra and Armand Borel.

Cartan decomposition and maximal compact subalgebras

The Cartan decomposition g_R = k ⊕ p induced by θ identifies k as a maximal compact subalgebra and p as its orthogonal complement, central to the structure theorems of Elie Cartan and later expositions by Armand Borel and Harish-Chandra. At the group level a corresponding decomposition G = K exp p holds for a connected semisimple Lie group G with maximal compact subgroup K, paralleling the Iwasawa decomposition G = K A N and interfacing with results of Helgason on symmetric space geometry. Properties of k determine Cartan subalgebras of compact type and influence harmonic analysis on homogeneous spaces studied by Gelfand and Langlands.

Cartan involution in Lie groups and symmetric spaces

On a real semisimple Lie group G a Cartan involution Θ is an involutive automorphism whose differential at the identity is a Cartan involution θ of the Lie algebra. The fixed point subgroup K = G^Θ is a maximal compact subgroup, and the quotient G/K is a noncompact Riemannian symmetric space of the noncompact type in the sense of Élie Cartan and Harish-Chandra. This formalism connects to the classification of symmetric spaces via Satake diagrams, the theory of Riemannian manifolds with nonpositive curvature as in works by Eberlein, and to representation-theoretic objects such as discrete series studied by Atiyah, Bott, and Harish-Chandra.

Examples and classifications

Classical examples include g_R = sl(n,R) with θ(X) = −X^T yielding k = so(n), and g_R = su(p,q) with θ given by conjugate transpose producing k = s(u(p)⊕u(q)), reflecting types A, B, C, D in the Cartan classification and corresponding Dynkin diagram data. Exceptional cases involving G2, F4, E6, E7, E8 admit Cartan involutions distinguishing compact and split real forms as cataloged by Élie Cartan and modern expositions by Knapp and Helgason. The classification of real forms via Satake diagrams and Vogan diagrams often records the effect of θ on simple roots as in studies by Vogan and Satake.

Construction and existence proofs

Existence of Cartan involutions for any real semisimple g_R follows from averaging arguments using the compact real form of g_C or via conjugation by elements of the complexified automorphism group, methods developed by Élie Cartan, Weyl, and formalized by Chevalley and Iwasawa. Proofs construct θ by choosing a compact real form g_cpt and composing complex conjugations associated to g_R and g_cpt; alternative approaches use polar decomposition in the automorphism group or analytic methods in Harish-Chandra’s work on reductive groups. Uniqueness up to inner automorphism by elements of the maximal compact subgroup is a standard result appearing in texts by Knapp and Helgason.

Applications in representation theory and geometry

Cartan involutions are fundamental in the classification of unitary representations of real reductive Lie groups, underpinning the construction of Harish-Chandra modules, highest-weight theory for Kac–Moody algebra analogues, and the theory of discrete series by Harish-Chandra, Langlands, and Vogan. Geometric applications include the study of curvature and geodesic symmetry on Riemannian symmetric spaces of noncompact type, rigidity results related to Mostow rigidity and Margulis, and interactions with Hodge theory and period domains as in the work of Griffiths and Schmid. Cartan involutions also enter the theory of automorphic forms via decomposition of L^2(G/K) and harmonic analysis developed by Selberg and Harish-Chandra.

Category:Lie theory