= Solution
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^*g=g$. In coordinates this is
$$
g_{ab}(f(x))\,\partial_i f^a\,\partial_j f^b=g_{ij}(x).
$$
An <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$ satisfies
$$
f(\exp_p v)=\exp_p(df_pv)
$$
wherever the exponential chart is defined. If also $df_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_pM,g_p)$. Its dimension is at most $n(n-1)/2$, while an orbit has dimension at most $n$. Consequently
$$
\boxed{\dim\operatorname{Isom}(M,g)\le\frac{n(n+1)}2;\qquad n=3\text{ gives }\dim\operatorname{Isom}(M,g)\le6.}
$$
On 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^*g=g$ at zero gives
$$
\mathcal L_Xg=0,\qquad \nabla_iX_j+\nabla_jX_i=0.
$$
On 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\rtimes O(3)$ and $O^+(3,1)$, all of dimension six. The orientation-preserving hyperbolic <group> is $PSL_2(\mathbb C)$.
The standard <Thurston geometries> show how symmetry drops when a preferred direction is present:
$$
\begin{array}{c|c|c}
\text{model}&\dim\operatorname{Isom}&\dim\text{continuous isotropy}\\\hline
S^3,\ \mathbb R^3,\ \mathbb H^3&6&3\\
S^2\times\mathbb R,\ \mathbb H^2\times\mathbb R&4&1\\
\mathrm{Nil},\ \widetilde{SL_2(\mathbb R)}&4&1\\
\mathrm{Sol}&3&0
\end{array}
$$
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 $SL_2(\mathbb R)$ with their standard geometric metrics, a three-dimensional transitive <group> is enlarged by a circle of isotropy. The Sol metric
$$
ds^2=e^{2w}du^2+e^{-2w}dv^2+dw^2
$$
is preserved by $(u,v,w)\mapsto(u_0+e^{-t}u,v_0+e^tv,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> is
$$
\boxed{\operatorname{Isom}(M)=N_{\operatorname{Isom}(X)}(\Gamma)/\Gamma.}
$$
To 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 is
$$
\int_M|\nabla X|^2\,dV=\int_M\operatorname{Ric}(X,X)\,dV=-2\int_M|X|^2\,dV.
$$
Both 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 \b[local homogeneous symmetry, global quotient symmetry and the chosen metric must be distinguished] when discussing <isometries> in dimension three.
Back to article page
