03.02.08 · differential-geometry / manifolds

Myers-Steenrod theorem

shipped3 tiersLean: none

Anchor (Master): Myers-Steenrod 1939 Ann. Math. 40; Ebin 1970 Proc. Symp. Pure Math. 15; Palais 1957

Intuition [Beginner]

The Myers-Steenrod theorem answers a basic question about symmetry: on a Riemannian manifold, the collection of all distance-preserving maps (isometries) forms a smooth geometric object called a Lie group. This means the symmetry group is not just an abstract set but a space on which you can do calculus.

Consider the round sphere $S^{2}$ . Its isometries are rotations and reflections, forming the group $O (3)$ . This is a 3-dimensional Lie group. The theorem guarantees that every Riemannian manifold, no matter how irregular, has an isometry group that is a Lie group. The dimension may be zero (no symmetries at all), but the structure is always there.

A striking consequence: on a smooth manifold, every distance-preserving map is automatically smooth. You cannot have a map that preserves Riemannian distances but fails to be differentiable. The metric constrains regularity.

Visual [Beginner]

A sphere with the group $O (3)$ of rotations and reflections acting on it. Several positions of a triangle on the sphere are shown, connected by curved arrows indicating the isometry that moves one to the other. Below, a schematic of the group $O (3)$ as a 3-dimensional manifold (itself a Lie group), with points representing individual isometries.

Each point of the Lie group $O (3)$ corresponds to one isometry of $S^{2}$ .

Worked example [Beginner]

Isometries of the round sphere $S^{2}$ . The round sphere has the standard metric inherited from $R^{3}$ . An isometry of $S^{2}$ is a map $f : S^{2} \to S^{2}$ that preserves distances between all pairs of points.

The orthogonal group $O (3)$ acts on $S^{2}$ by matrix multiplication: for $A \in O (3)$ , the map $p \mapsto A p$ sends the sphere to itself and preserves all distances. So every orthogonal matrix gives an isometry.

The Myers-Steenrod theorem says these are all the isometries: $Isom (S^{2}) = O (3)$ . The identity component (rotations only) is $S O (3)$ , which is a 3-dimensional Lie group.

Step 1. $O (3)$ has dimension $3 = 2 (2 + 1) /2$ , matching the maximum for Killing fields on $S^{2}$ .

Step 2. Each element of $O (3)$ is either a rotation (determinant $+ 1$ ) or a rotation composed with a reflection (determinant $- 1$ ).

Step 3. The identity component $S O (3)$ consists of rotations alone; it is connected and 3-dimensional.

What this tells us: the full isometry group has two components, and the Killing fields from 03.02.07 correspond to the tangent space at the identity of $S O (3)$ .

Check your understanding [Beginner]

Formal definition [Intermediate+]

Definition (Isometry group). Let $(M, g)$ be a Riemannian manifold. The isometry group $Isom (M, g)$ is the group of all diffeomorphisms $φ : M \to M$ satisfying $φ^{*} g = g$ , equipped with the compact-open topology (the topology of uniform convergence on compact sets).

The compact-open topology on $Isom (M, g)$ has as sub-basis the sets $W (K, U) = {f \in Isom (M, g) : f (K) \subset U}$ for compact $K \subset M$ and open $U \subset M$ . For a complete manifold, the Arzela-Ascoli theorem shows that closed subsets of the form ${f \in Isom (M, g) : f (p_{i}) \in K_{i}}$ are compact, making $Isom (M, g)$ locally compact.

Counterexamples to common slips

A diffeomorphism need not be an isometry. The map $(x, y) \mapsto (2 x, y)$ on $R^{2}$ is a diffeomorphism but stretches the $x$ -direction, so it does not preserve the metric.
A homeomorphism preserving distances (in the metric-space sense) on a topological manifold need not be smooth. The Myers-Steenrod theorem requires a Riemannian metric; on a bare topological manifold with the induced distance function, the regularity result still holds because the distance function encodes the Riemannian structure.
The isometry group of a Lorentzian manifold (general relativity) need not be a Lie group. The Myers-Steenrod theorem applies specifically to positive-definite Riemannian metrics.

Key theorem with proof [Intermediate+]

Theorem (Myers-Steenrod). Let $(M, g)$ be a connected Riemannian manifold. Then:

(a) Every distance-preserving map $f : M \to M$ is smooth and satisfies $f^ g = g$.*

(b) The isometry group $Isom (M, g)$ , equipped with the compact-open topology, is a Lie group acting smoothly on $M$ .

Proof of (a). Let $f : M \to M$ be a distance-preserving bijection. Fix a point $p \in M$ and choose normal coordinates $(x^{1}, \dots, x^{n})$ centred at $p$ , defined on a geodesic ball $B = B_{r} (p)$ with $r$ less than the injectivity radius at $p$ . For each $q \in B$ , the point $q$ is uniquely determined by $d (p, q)$ and the angles between the geodesics from $p$ to $q$ and the coordinate axes. Since $f$ preserves all distances, $f$ maps geodesics to geodesics and preserves angles (the angle between geodesics from $p$ is determined by the law of cosines applied to the distances). In particular, $f$ maps $B$ into a geodesic ball about $f (p)$ , and in normal coordinates $f$ is the restriction of a linear map composed with the exponential map. Since the exponential map is smooth and $f$ is its composition with a linear map and the smooth inverse exponential, $f$ is smooth on $B$ . As $p$ was arbitrary, $f$ is smooth on all of $M$ .

For the metric preservation: since $f$ is distance-preserving and smooth, and the Riemannian metric is determined by the distance function via $g_{p} (v, w) = lim_{t \to 0} \frac{1}{2 t ^{2}} (d (exp_{p} (t v), exp_{p} (tw))^{2})$ , the pullback $f^{*} g$ equals $g$ at every point. $□$

Proof of (b). The identity component $Isom (M, g)_{0}$ is generated by one-parameter subgroups, each corresponding to a Killing field by 03.02.07. The Lie algebra of $Isom (M, g)$ is $kill (M, g)$ , the Killing algebra, which is finite-dimensional with $dim \leq n (n + 1) /2$ . The exponential map of this Lie algebra gives a neighbourhood of the identity in $Isom (M, g)$ diffeomorphic to an open set in $R^{k}$ (where $k = dim kill (M, g)$ ), providing the smooth structure. The group operations (composition, inversion) are smooth because they are smooth on each coordinate chart inherited from the Lie algebra. $□$

Bridge. This theorem builds toward the full structure theory of Riemannian symmetry, where the Killing fields 03.02.07 appear again as the Lie algebra of the Lie group $Isom (M, g)$ . The foundational reason the theorem works is that distance preservation forces the map to send geodesics to geodesics, and this is exactly the regularity mechanism that makes isometries smooth. The bridge is between the metric-space viewpoint (distances) and the differential-geometric viewpoint (smooth maps preserving the tensor $g$ ), and the smooth atlas 03.02.02 on $M$ provides the coordinate framework in which the smoothness of $f$ is verified.

Exercises [Intermediate+]

Exercise 3 (medium, symbolic).

Let $f : M \to M$ be a distance-preserving bijection of a connected Riemannian manifold. Show that $f$ maps geodesics to geodesics: if $γ$ is a geodesic, then $f \circ γ$ is also a geodesic.

Hint

Use the characterisation of geodesics as locally length-minimising curves. A distance-preserving map sends length-minimising curves to length-minimising curves.

Answer

Let $γ : [a, b] \to M$ be a geodesic. For any subinterval $[t_{1}, t_{2}] \subset [a, b]$ , the segment $γ ∣_{[t_{1}, t_{2}]}$ is the unique length-minimising curve from $γ (t_{1})$ to $γ (t_{2})$ (for $∣ t_{2} - t_{1} ∣$ less than the injectivity radius). Since $f$ preserves distances, the length of $f \circ γ ∣_{[t_{1}, t_{2}]}$ equals the length of $γ ∣_{[t_{1}, t_{2}]}$ , which equals $d (γ (t_{1}), γ (t_{2})) = d (f (γ (t_{1})), f (γ (t_{2})))$ . So $f \circ γ ∣_{[t_{1}, t_{2}]}$ achieves the minimum possible length between its endpoints, and is therefore a geodesic segment.

Exercise 5 (medium, symbolic).

Show that the isometry group of a Riemannian product $M_{1} \times M_{2}$ contains $Isom (M_{1}) \times Isom (M_{2})$ .

Hint

For $φ_{1} \in Isom (M_{1})$ and $φ_{2} \in Isom (M_{2})$ , define $φ (p_{1}, p_{2}) = (φ_{1} (p_{1}), φ_{2} (p_{2}))$ . Check that $φ^{*} g = g$ for the product metric.

Answer

The product metric is $g = π_{1}^{*} g_{1} + π_{2}^{*} g_{2}$ where $π_{i} : M_{1} \times M_{2} \to M_{i}$ are the projections. For $φ = (φ_{1}, φ_{2})$ :

$φ^{*} g = φ^{*} (π_{1}^{*} g_{1} + π_{2}^{*} g_{2}) = (π_{1} \circ φ)^{*} g_{1} + (π_{2} \circ φ)^{*} g_{2} = (φ_{1} \circ π_{1})^{*} g_{1} + (φ_{2} \circ π_{2})^{*} g_{2} = π_{1}^{*} φ_{1}^{*} g_{1} + π_{2}^{*} φ_{2}^{*} g_{2} .$

Since $φ_{i}^{*} g_{i} = g_{i}$ , this equals $π_{1}^{*} g_{1} + π_{2}^{*} g_{2} = g$ . Note that $Isom (M_{1} \times M_{2})$ may be strictly larger than $Isom (M_{1}) \times Isom (M_{2})$ if $M_{1}$ and $M_{2}$ are isometric to each other.

Exercise 7 (hard, symbolic).

Prove that the isometry group of a connected Riemannian manifold acts properly on $M$ : for every compact $K \subset M$ , the set ${f \in Isom (M, g) : f (K) \cap K \neq = \emptyset}$ is compact.

Hint

Use the Arzela-Ascoli theorem. An isometry is determined by its action on a countable dense subset, and the set of isometries mapping a compact set into itself is equicontinuous and uniformly bounded.

Answer

Let $K \subset M$ be compact and $G_{K} = {f \in Isom (M, g) : f (K) \cap K \neq = \emptyset}$ . For any sequence $(f_{n})$ in $G_{K}$ , pick $p_{n} \in K$ with $f_{n} (p_{n}) \in K$ . Since $K$ is compact, pass to subsequences so that $p_{n} \to p$ and $f_{n} (p_{n}) \to q$ , both in $K$ . Since each $f_{n}$ is an isometry, the family ${f_{n}}$ is equicontinuous (Lipschitz with constant 1). By Arzela-Ascoli, a subsequence converges uniformly on compact sets to a continuous map $f$ . The limit $f$ is distance-preserving (since each $f_{n}$ is) and surjective (the same argument applied to $f_{n}^{- 1}$ gives a convergent subsequence), so $f$ is an isometry. The limit lies in $G_{K}$ since $f (p) = q \in K$ , so $G_{K}$ is sequentially compact, hence compact.

Exercise 8 (hard, symbolic).

Let $(M, g)$ be a complete connected Riemannian manifold with $dim Isom (M, g) = n (n + 1) /2$ . Prove that $(M, g)$ has constant sectional curvature.

Hint

When the Killing algebra has maximal dimension $n (n + 1) /2$ , the isometry group acts transitively on the unit tangent bundle $U M$ . At each point, the sectional curvature is an invariant of the orthonormal-frame stabiliser. Transitivity of the isometry group on $U M$ forces sectional curvature to be constant.

Answer

The dimension $dim kill (M, g) = n (n + 1) /2$ equals the maximum. The Lie algebra $kill (M, g)$ acts on $M$ , and the isotropy sub-algebra at a point $p$ has dimension $n (n + 1) /2 - n = n (n - 1) /2$ , which is the dimension of $so (T_{p} M)$ . The isometry group acts transitively on $M$ (dimension count: $dim G - dim G_{p} = n (n + 1) /2 - n (n - 1) /2 = n = dim M$ ). Moreover, the isotropy group $G_{p}$ acts on the unit sphere $S^{n - 1} \subset T_{p} M$ with orbit of dimension $n - 1$ , and its dimension is $n (n - 1) /2 = dim S O (n)$ . So $G_{p} \to S O (T_{p} M)$ is surjective, meaning $G_{p}$ acts transitively on the Grassmannian of 2-planes in $T_{p} M$ . The sectional curvature $K (σ)$ is an invariant of the 2-plane $σ$ and is preserved by the isotropy action. Transitivity on the Grassmannian forces $K (σ)$ to be the same for all $σ$ at $p$ , and transitivity on $M$ extends this to all points.

Advanced results [Master]

Theorem 1 (Regularity of isometries). If $(M, g)$ is a $C^{k}$ Riemannian manifold ( $k \geq 2$ ), then every distance-preserving map is $C^{k}$ . The proof uses the exponential map in normal coordinates: a distance-preserving map sends geodesic balls to geodesic balls, and in coordinates it becomes the composition of smooth maps.

Theorem 2 (Ebin-Palais slice theorem). Let $M$ be the space of Riemannian metrics on a compact manifold $M$ , and let $Diff (M)$ act on $M$ by pullback. For each metric $g$ , there exists a slice $S_{g} \subset M$ (a submanifold transverse to the orbit) such that the neighbourhood of $[g]$ in the moduli space $M / Diff (M)$ is homeomorphic to $S_{g} / Isom (M, g)$ . The slice is given by $S_{g} = {g + h : δ_{g} h = 0, tr_{g} h = 0}$ , the $L^{2}$ -orthogonal complement of the tangent space to the orbit.

Theorem 3 (Compactness of isometry groups). If $(M, g)$ is compact, then $Isom (M, g)$ is a compact Lie group. This follows from the Myers-Steenrod theorem (Lie-group structure) plus the Arzela-Ascoli argument (proper action on compact $M$ forces $Isom (M, g)$ to be compact).

Theorem 4 (Myers-Steenrod for non-complete manifolds). Even for non-complete Riemannian manifolds, $Isom (M, g)$ is a Lie group. The dimension may be zero, and the action need not be proper, but the group structure is smooth.

Theorem 5 (Jordan decomposition). Every isometry of a complete Riemannian manifold can be decomposed into an elliptic part (generating a compact subgroup), a hyperbolic part (acting by translation along an axis), and a parabolic part (a unipotent action). This is the geometric analogue of the Jordan decomposition in linear algebra.

Synthesis. The Myers-Steenrod theorem is the foundational reason that the symmetry structure of a Riemannian manifold is governed by Lie-group theory; the central insight is that the metric determines both the regularity of isometries (smoothness) and the topology of the isometry group (Lie-group structure via Killing fields). This pattern generalises from single isometries to the entire moduli space of metrics, where the Ebin-Palais slice theorem identifies the local quotient $M / Diff (M)$ with a finite-dimensional orbifold. Putting these together with the Killing-field dimension bound 03.02.07, the isometry group has dimension at most $n (n + 1) /2$ , and this is exactly the constraint that makes the moduli-space picture finite-dimensional. The bridge is that the smooth structure 03.02.02 makes the exponential map available, identifying the tangent space at each point with a neighbourhood via normal coordinates, and this identification is what converts distance preservation into smoothness.

Full proof set [Master]

Proposition (Compactness of $Isom (M, g)$ for compact $M$ ). If $(M, g)$ is a compact Riemannian manifold, then $Isom (M, g)$ is a compact Lie group.

Proof. By Myers-Steenrod, $Isom (M, g)$ is a Lie group. For compactness, let $(f_{n})$ be a sequence in $Isom (M, g)$ . Fix a finite dense set ${p_{1}, \dots, p_{N}} \subset M$ . The sequences $(f_{n} (p_{i}))$ lie in the compact set $M$ , so by passing to subsequences, assume $f_{n} (p_{i}) \to q_{i}$ for each $i$ . The family ${f_{n}}$ is equicontinuous with Lipschitz constant 1 (each $f_{n}$ is an isometry). By Arzela-Ascoli, a subsequence converges uniformly on $M$ to a continuous map $f$ . The limit $f$ is distance-preserving since $d (f (p), f (q)) = lim d (f_{n} (p), f_{n} (q)) = d (p, q)$ . By Myers-Steenrod part (a), $f$ is smooth, so $f \in Isom (M, g)$ . The same argument applied to $(f_{n}^{- 1})$ shows $f$ is surjective. The subsequence converges in $Isom (M, g)$ , proving sequential compactness. $□$

Connections [Master]

Killing fields and infinitesimal isometries 03.02.07. The Lie algebra of $Isom (M, g)$ is the Killing algebra $kill (M, g)$ , and each one-parameter subgroup of isometries arises as the flow of a Killing field. The dimension bound $n (n + 1) /2$ on Killing fields from 03.02.07 is what makes $Isom (M, g)$ a finite-dimensional Lie group rather than an infinite-dimensional one.
Smooth maps between manifolds 03.02.03. The Myers-Steenrod theorem converts a metric-space condition (distance preservation) into a smooth-map condition ( $f^{*} g = g$ ). The machinery of smooth maps 03.02.03 then applies: composition of isometries is smooth, inversion is smooth, and the group operations inherit smoothness from the smooth structure on $M$ .
Topological manifolds 03.02.01. The compactness of $Isom (M, g)$ for compact $M$ relies on the topological properties established in 03.02.01: second-countability provides the finite dense set needed for the Arzela-Ascoli argument, and the Hausdorff condition ensures limits are unique.

Historical & philosophical context [Master]

Sumner Myers and Norman Steenrod proved in 1939 that the isometry group of a Riemannian manifold is a Lie group ^{[Myers-Steenrod 1939]}, resolving a question that had been open since the development of Riemannian geometry by Riemann and the Lie-group theory by Lie. Their paper established both the smoothness of individual isometries and the Lie-group structure of the full group.

David Ebin extended the theory in 1970 with the slice theorem ^{[Ebin 1970]} for the action of the diffeomorphism group on the space of Riemannian metrics, providing the framework for the moduli space of Riemannian structures. Richard Palais had earlier proved a related result in 1957 on the Lie-group structure of transformation groups. The Ebin-Palais slice theorem remains the central tool in the study of moduli spaces of metrics and Einstein metrics.

Bibliography [Master]

@article{myers-steenrod1939,
  author = {Myers, Sumner B. and Steenrod, Norman E.},
  title = {The group of isometries of a {R}iemannian manifold},
  journal = {Ann. of Math.},
  volume = {40},
  number = {2},
  pages = {400--416},
  year = {1939}
}

@incollection{ebin1970,
  author = {Ebin, David G.},
  title = {The manifold of {R}iemannian metrics},
  booktitle = {Proc. Symp. Pure Math.},
  volume = {15},
  pages = {11--40},
  year = {1970},
  publisher = {AMS}
}

@book{kobayashi-nomizu-vol1,
  author = {Kobayashi, Shoshichi and Nomizu, Katsumi},
  title = {Foundations of Differential Geometry},
  volume = {1},
  publisher = {Wiley Interscience},
  year = {1963}
}

@book{lee-riemannian,
  author = {Lee, John M.},
  title = {Introduction to Riemannian Manifolds},
  edition = {2},
  publisher = {Springer},
  year = {2018}
}

Prerequisites

03.02.07

Tier anchors

beginner: Needham Visual Differential Geometry informal; rotation groups of spheres
intermediate: Kobayashi-Nomizu Foundations Vol. 1 Ch. 6; Lee Introduction to Riemannian Manifolds Ch. 9
master: Myers-Steenrod 1939 Ann. Math. 40; Ebin 1970 Proc. Symp. Pure Math. 15; Palais 1957

References

TODO_REF
Myers-Steenrod — The group of isometries of a Riemannian manifold (1939) · Ann. of Math. 40, pp. 400--416
TODO_REF
Ebin — The manifold of Riemannian metrics (1970) · Proc. Symp. Pure Math. 15, pp. 11--40
TODO_REF
Kobayashi-Nomizu — Foundations of Differential Geometry Vol. 1 · Ch. 6 (isometries and affine connections)
TODO_REF
Lee — Introduction to Riemannian Manifolds · Ch. 9 (isometry groups, Killing fields)

Reviewer

TBD

Estimated time

beginner: 12m
intermediate: 40m
master: 75m