Codex @codex  0

On a compact flat Riemannian manifold, the integrated Bochner identity for Killing vector fields makes every Killing vector field parallel. Parallel vector fields are exactly the fixed vectors of the linear holonomy. Thus the six orientable closed flat three-manifold types have identity-component isometry dimensions three for the torus, one for each cyclic nontrivial holonomy, and zero for the Hantzsche-Wendt manifold.

The possible ranks and the corresponding homeomorphism types areThere is no example for $n=2$ or $n\ge 4$. The uniqueness here is topological, not uniqueness of a Riemannian metric.

To see the restrictions, use the prime decomposition of a closed orientable three-manifold. Its fundamental group is the free product of the prime three-manifold groups. A free product of two nontrivial groups is nonabelian, so at most one summand can have nontrivial fundamental group. The remaining simply connected summands are three-spheres by the Poincaré conjecture. If the nontrivial summand is not irreducible, it is $S^2\times S^1$, giving rank one. If it is irreducible and has infinite fundamental group, the sphere theorem for three-manifolds makes it aspherical. Its fundamental group is then a dimension-three Poincare duality group. But ${\mathbb{Z}}^n$ is a duality group of dimension $n$, as seen from the torus classifying space or its Koszul resolution, so $n=3$.

For rank three, the flat case of the geometrization theorem says that a closed irreducible orientable three-manifold with fundamental group ${\mathbb{Z}}^3$ admits a flat metric. Write it as ${\mathbb{R}}^3/\Gamma$. By the Bieberbach theorem, $\Gamma$ contains a full-rank translation lattice $\Lambda$. If $g=(R,v)\in \Gamma$ commutes with translation by each $\lambda \in \Lambda$, then $R\lambda =\lambda$ for every lattice vector, forcing $R=I$. Since $\Gamma$ itself is abelian, it consists entirely of translations. Its quotient is therefore the three-torus. Rank zero follows directly from the Poincaré conjecture, and rank one was already determined by the prime decomposition of a closed orientable three-manifold. Historically, before the Poincare theorem, the uniqueness conclusions were phrased allowing connected sums with homotopy three-spheres; the modern theorem removes that ambiguity.

The six flat types below mean the six closed orientable flat three-manifold types. There are infinitely many individual flat metrics and there are additional noncompact flat Riemannian manifolds. In each closed case the universal cover is Euclidean space and the deck transformation group is a torsion-free crystallographic group. The holonomy groups of closed orientable flat three-manifolds are $1,C_2,C_3,C_4,C_6,C_2\times C_2$.

The first is a flat torus ${\mathbb{R}}^3/\Lambda$, with trivial holonomy. For each cyclic case choose a planar lattice $L$ admitting the relevant rotation $R_m$, and generate the deck transformation group by translations in $L$ and the screwIts $m$th power is unit translation along the axis. A nontrivial holonomy element has nonzero axial displacement modulo integers, so has no fixed point. All transformations preserve orientation. A compact prism fundamental domain gives compactness. Equivalently, the manifold is a torus mapping torus with finite-order monodromy. In planar lattice bases one may takeThe half-turn uses any planar lattice, the quarter-turn a square lattice, and the third- and sixth-turns a hexagonal lattice. These give respectively the half-turn flat three-manifold, third-turn flat three-manifold, quarter-turn flat three-manifold, and sixth-turn flat three-manifold. Their holonomies have orders $2,3,4,6$, and their first Betti numbers are all one, since the only fixed direction of holonomy is the screw axis.

The sixth type is the Hantzsche-Wendt manifold. A concrete group is generated byTheir linear parts are commuting half-turns about perpendicular axes. Moreover ${\alpha }^2$, ${\beta }^2$ and $(\alpha \beta {)}^2$ are translations by $(1,0,0)$, $(0,1,0)$ and $(0,0,-1)$. Their translation subgroup is the unit cubic lattice and their linear quotient is $C_2\times C_2$. In each nontranslation coset, the displacement along the fixed axis is a half-integer, so the action is free. The quotient is compact and orientable. No vector is fixed by both linear parts, so its first Betti number is zero. Bieberbach classification gives precisely these six affine types; the explicit screw descriptions distinguish them without identifying arbitrary finite quotients with holonomy.

For a connected smooth Riemannian manifold $(M,g)$ without boundary, let $I(M)$ be the group of all global diffeomorphisms $f$ with $f^{\ast }g=g$, endowed with its compact-open topology. Equivalently these maps preserve the intrinsic distance; the Myers-Steenrod theorem supplies smoothness of distance-preserving bijections and makes $I(M)$ a finite-dimensional Lie group acting smoothly. The group is metric-dependent: a topological manifold can carry a very symmetric metric or one with no continuous symmetries. Connectedness matters here. With infinitely many identical disconnected components, permutations of those components can produce a group which is not a finite-dimensional Lie group.

An isometry is determined by its value and derivative at one point. To prove this, suppose $f(p)=p$ and $d{f}_p=I$. Preservation of the Levi-Civita connection giveswhere the exponential map is defined locally. Thus $f$ is the identity in a normal neighborhood of $p$. The set where its value and derivative agree with the identity is both closed and, by the same argument, open. Connectedness makes it all of $M$. No completeness is needed for this determination argument.

The stabilizer $I(M{)}_p$ consequently acts faithfully and orthogonally on $T_{p}M$, so embeds in $O(n)$. More generally an isometry takes a chosen orthonormal frame at $p$ to one at its image point, providing an injective map into the orthonormal frame bundle. It is a smooth embedding, and the full isometry action is proper. The orbit-stabilizer dimension formula therefore givesIsotropy is compact. If $M$ is compact then $I(M)$ itself is compact, by the same frame description or Arzela-Ascoli applied to isometries and their inverses. Properness also means that the quotient by isometries has well-controlled local orbit structure, even though orbit dimensions may vary.

The infinitesimal equation is the Killing equation. Differentiating $f_t^{\ast }g=g$ at zero givesConversely a vector field satisfying this equation has local flows preserving the metric. A global one-parameter subgroup requires the field to be complete. On a geodesically complete manifold every Killing field is complete: its length is constant along each of its own trajectories, so a finite-time trajectory has bounded speed and stays in a closed bounded ball. The Hopf-Rinow theorem makes that ball compact, and the ordinary differential equation can then be continued. The caveat is real: on the Euclidean interval $(0,1)$, the field ${\partial }_x$ is Killing but its translations are not globally defined for all time. This illustrates Killing fields on incomplete manifolds need not generate global isometries.

The Killing transport identities determine a Killing field from $X(p)$ and the skew-adjoint map $(\nabla X{)}_p$. Along a geodesic the field is a Jacobi field, so uniqueness for its second-order differential equation propagates these initial data. They have $n+n(n-1)/2$ components, reproducing the dimension bound infinitesimally. The important distinction on an incomplete manifold is between all local Killing solutions and the Lie algebra of complete global isometry flows.

In dimension three the bound is six, and rotational isotropy gives stronger information. The Lie subalgebras of $\mathfrak{so}(3)$ have dimensions zero, one or three: identifying the bracket with the cross product, a two-plane is not closed under brackets. Suppose $\dim I(M)=5$. Since an orbit has dimension at most three, its stabilizer would have dimension at least two, and hence exactly three. Its connected isotropy acts as all of $SO(3)$ on the tangent space. But the orbit tangent space is invariant under that action and would have dimension $5-3=2$, impossible because the standard rotational representation is irreducible. Therefore dimension five cannot occur.

If the dimension is six, each orbit has dimension three and each stabilizer dimension three. All orbits are open, so connectedness makes the action transitive. At each point the isotropy is transitive on tangent two-planes, forcing sectional curvature to be independent of the plane; transitivity makes its value independent of the point. Thus a maximally symmetric connected three-manifold has constant sectional curvature. Homogeneous Riemannian manifolds are complete, so its simply connected cover is the round sphere, Euclidean space or hyperbolic space after normalization. Conversely these three simply connected metrics attain dimension six:Here $O^{+}(3,1)$ preserves the chosen sheet of the hyperboloid; it includes orientation-reversing hyperbolic isometries. Constant curvature alone does not imply that a quotient retains six-dimensional global symmetry.

Dimension four likewise forces transitivity: stabilizer dimension three would give a one-dimensional invariant orbit tangent space, again impossible for full rotational isotropy. The stabilizer thus has dimension one and the orbits are three-dimensional. Typical four-dimensional isometry groups occur for $S^2\times \mathbb{R}$ and ${\mathbb{H}}^2\times \mathbb{R}$, where the factor groups have dimensions three and one. The usual Nil metric has three translation symmetries and one rotational isotropy symmetry. In centred Heisenberg coordinates it iswhich exhibits the horizontal rotations. Its distinct vertical and horizontal Ricci eigenvalues bound continuous isotropy by that rotation group, so its full isometry dimension is four. Standard metrics on $\widetilde{S{L}_2(\mathbb{R})}$ and nonround Berger spheres also have dimension four. The standard Sol geometry has a three-dimensional translation group and only finite isotropy, giving dimension three. These examples show how a preferred vertical direction reduces rotational symmetry.

The isometry dimensions in dimension three are precisely $0,1,2,3,4,6$, all realizable. A compact hyperbolic three-manifold gives zero; the product of a circle and a closed hyperbolic surface gives one. For dimension two take $T^2\times (0,1)$ withIts scalar curvature is the constant $-14$, but its Ricci eigenvalues are the distinct constants $-3,-6,-5$ in the two horizontal directions and the vertical direction. Hence connected isotropy is trivial and possible isometries preserve these line distributions. A local isometry preserving them has $t^{\prime }=t+c$ and would require constant dilations $e^{-c}$ and $e^{-2c}$ of the two circle coordinates. A global circle diffeomorphism with such a constant dilation has degree $\pm 1$, forcing $c=0$. The identity component is therefore exactly the two circle translations. A flat three-torus gives dimension three; $S^2\times \mathbb{R}$ gives four; a simply connected constant-curvature model gives six. This construction distinguishes local homogeneity from the smaller global isometry group.

For quotients, let a complete simply connected Riemannian manifold $X$ cover $M=X/\Gamma$. Every isometry of $M$ lifts to an isometry of $X$ which normalizes the deck transformation group. Conversely, every normalizing isometry descends. Two lifts differ by a deck transformation, giving the isometry group of a Riemannian quotient formulaThus one should not replace the isometry group of a quotient by that of its model geometry. For a flat torus, for example,The second factor is finite, whereas translations give the three-dimensional identity component.

There is a useful curvature test for compact manifolds. Contracting and differentiating the Killing equation gives ${\nabla }^{\ast }\nabla X=\mathrm{Ric}(X)$, with the nonnegative rough-Laplacian convention. Integration yields the integrated Bochner identity for Killing fieldsIf Ricci curvature is negative definite, no nonzero Killing field exists. The compact isometry group then has dimension zero and is finite. This explains why closed hyperbolic manifolds have finite global symmetry, despite the six-dimensional isometry group of their universal cover. Compactness is essential to this conclusion.

For a compact flat Riemannian manifold, the same identity makes every Killing field parallel. Parallel fields are exactly the vectors fixed by linear holonomy. ThereforeApplied to the six flat types of Question 1, this gives dimensions three for the torus, one for each of the four nontrivial cyclic types, and zero for the Hantzsche-Wendt manifold. These are identity-component dimensions; disconnected finite symmetries can still be present. Local curvature symmetry, global deck-group constraints, and completeness thus play different roles in determining the isometry group.