Differential geometry Homogeneous and symmetric spaces Theorem

Cartan's classification of symmetric spaces

Builds on Symmetric space Riemannian manifold Holonomy

Statement

Every simply connected Riemannian symmetric space is isometric to a Riemannian product $\R^k \times M_1 \times \cdots \times M_r$ of a Euclidean space and irreducible simply connected symmetric spaces $M_i$ .
Every irreducible simply connected symmetric space other than $\R$ is of one of two types. Those of compact type are compact and have nonnegative sectional curvature. Those of noncompact type have nonpositive sectional curvature and are diffeomorphic to a Euclidean space.
There is a duality between irreducible simply connected symmetric spaces of compact type and of noncompact type. On Lie algebras it replaces $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{p}$ by $\mathfrak{k} \oplus i\mathfrak{p}$ .
Up to scaling, the irreducible symmetric spaces of noncompact type are the quotients $G/K$ . Here $G$ is a connected noncompact simple Lie group with trivial center and $K$ is a maximal compact subgroup. These spaces correspond bijectively to the isomorphism classes of noncompact real simple Lie algebras.

Remarks

Statement 1 is the de Rham decomposition applied to symmetric spaces. The rest reduces geometry to algebra: the symmetric space is determined by its symmetric Lie algebra $(\mathfrak{g}, \sigma)$ , where $\sigma$ is the involution coming from the geodesic symmetry. Using Cartan's classification of real simple Lie algebras, the list of irreducible noncompact type spaces consists of two kinds. The first kind is $G_{\C}/G_u$ for a complex simple Lie group $G_{\C}$ with compact real form $G_u$ . The second kind comes from the noncompact real forms of the complex simple Lie algebras: seven infinite families labelled AI, AII, AIII, BDI, DIII, CI, CII and twelve exceptional spaces.

Examples: the hyperbolic space $H^n = SO_0(n, 1)/SO(n)$ is of noncompact type, and its dual is the sphere $S^n = SO(n+1)/SO(n)$ . The space $SL(n, \R)/SO(n)$ of positive definite symmetric matrices of determinant $1$ is of type AI.

Going deeper

For a student

The classification turns a question in Riemannian geometry into the classification of simple Lie algebras and their involutions. Symmetric spaces of noncompact type are the spaces on which arithmetic groups act, as in locally symmetric spaces $\Gamma \backslash G/K$ . The compact type includes the Grassmannians and the compact simple Lie groups with a bi-invariant metric. For a simply connected symmetric space $G/K$ without Euclidean factor, the holonomy group is $K$ acting on the tangent space. This is why symmetric spaces appear as a separate case in Berger's list.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph

Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.

no evidence level

Holonomy concept
Riemannian manifold concept
Symmetric space concept
Cartan's classification of symmetric spaces statement

Tag	`9P8VK3H4YZ`
URI	`m2://9P8VK3H4YZ`
Kind	statement, theorem
Writing	W0 stub
MSC	53C35, 17B20
Status	This copy of the site has no build data. Run `m2 status 9P8VK3H4YZ`.
About	Symmetric space
Uses	Symmetric space, Riemannian manifold, Holonomy
Changed	2 November 2026