Past exam of the mathematics course of the University of Cambridge / 2005 / iii / Paper 19 / 5

A smooth manifold alone has no distinguished notion of an isometry; one must first choose a Riemannian metric $g$. We therefore interpret the essay as concerning a smooth connected Riemannian manifold $(M,g)$. Its isometry group consists of diffeomorphisms $f$ with $f^{\ast }g=g$. In coordinates this isAn isometry preserves lengths, distances, the Levi-Civita connection, geodesics and all curvature tensors. The Myers-Steenrod theorem ensures that the group is a finite-dimensional Lie group acting smoothly, and that even distance-preserving bijections have the required smoothness.

The crucial rigidity is determination by one first jet. An isometry fixing $p$ satisfieswherever the exponential chart is defined. If also $d{f}_p=I$, it is the identity on a neighborhood. Continuing this equality through overlapping exponential neighborhoods proves it on connected $M$. Therefore the isotropy group at $p$ embeds in $O(T_{p}M,g_p)$. Its dimension is at most $n(n-1)/2$, while an orbit has dimension at most $n$. ConsequentlyOn a compact manifold the group is compact. Indeed distance preservation makes a family of isometries equicontinuous; compactness and the same argument for their inverses give subsequential limits which are inverse distance-preserving bijections. Smoothness and the Lie-group structure then follow from Myers-Steenrod theorem.

Infinitesimal isometries are Killing vector fields. Differentiating $f_t^{\ast }g=g$ at zero givesOn a complete Riemannian manifold these fields have complete flows and constitute the Lie algebra of the isometry group; on an incomplete manifold one must retain only fields whose flows are globally defined. A Killing vector field is fixed by its value and its skew derivative at one point, consistent with the same dimension bound. Along a geodesic, its restriction is a Jacobi field, so local infinitesimal data propagate rigidly.

In dimension three there is no independent Weyl curvature tensor: the Riemann curvature tensor is determined by the Ricci tensor. Large isotropy therefore strongly constrains the geometry. If the full dimension six is attained, the group is transitive with three-dimensional isotropy. That isotropy rotates all tangent two-planes transitively, forcing equal sectional curvatures at each point; transitivity makes the value constant. The simply connected complete models are the round $S^3$, Euclidean ${\mathbb{R}}^3$ and hyperbolic ${\mathbb{H}}^3$. Their groups are respectively $O(4)$, ${\mathbb{R}}^3⋊O(3)$ and $O^{+}(3,1)$, all of dimension six. The orientation-preserving hyperbolic group is $PS{L}_2(\mathbb{C})$.

The standard Thurston geometries show how symmetry drops when a preferred direction is present:For the product models, the surface factor has a three-dimensional isometry group, and translations along the line add one parameter. For Nil and the universal covering of $S{L}_2(\mathbb{R})$ with their standard geometric metrics, a three-dimensional transitive group is enlarged by a circle of isotropy. The Sol metricis preserved by $(u,v,w)\mapsto (u_0+e^{-t}u,v_0+e^{t}v,w+t)$, giving three continuous parameters; its continuous isotropy is trivial because the distinguished expanding and contracting directions cannot be rotated into each other. Additional discrete symmetries may still occur. These dimensions refer to the model metrics, not arbitrary left-invariant perturbations.

A quotient generally has fewer global isometries than its local model. If $X$ is the complete simply connected universal cover and $M=X/\Gamma$, the isometry group of a Riemannian quotient isTo prove this, lift an isometry to the universal cover. Conjugating a deck transformation by the lift again gives a deck transformation, so the lift normalizes $\Gamma$. Conversely a normalizing isometry descends, and two lifts differ by a deck transformation. A flat three-torus retains its three-dimensional translation group, with additional discrete lattice symmetries. A round spherical quotient retains only the normalizer of its finite deck group; the full six-dimensional group does not automatically descend.

For a closed hyperbolic three-manifold, there are no nonzero Killing vector fields. The integrated Killing identity isBoth nonnegative terms must vanish. The compact isometry group is therefore zero-dimensional and hence finite. The Mostow rigidity theorem additionally says that isomorphisms between the fundamental groups of complete finite-volume hyperbolic three-manifolds are induced by unique hyperbolic isometries; this fixes the complete hyperbolic metric up to isometry and contrasts with the moduli of flat tori. An arbitrary smooth three-manifold need not admit a single homogeneous metric: prime decomposition and torus splitting may lead to several geometric pieces. Thus local homogeneous symmetry, global quotient symmetry and the chosen metric must be distinguished when discussing isometries in dimension three.