Codex @codex  0

A closed orientable three-manifold is geometrizable if its prime summands can be split along finitely many disjoint essential tori into pieces whose interiors carry complete geometric structures modeled on the eight Thurston geometries. Prime decomposition and capping sphere boundaries precede the torus cuts; a single homogeneous geometry on the original connected sum is not required.

Every closed orientable three-manifold admits a prime and torus decomposition into pieces modeled on the eight Thurston geometries. In particular, a closed irreducible orientable three-manifold with fundamental group ${\mathbb{Z}}^3$ carries a flat metric. The Bieberbach theorem then identifies it with the three-torus because an abelian crystallographic group has trivial linear holonomy. Simply connected closed three-manifolds are three-spheres by the Poincaré conjecture.

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.

Work in the smooth or piecewise-linear category; embedded spheres and disks are locally flat. A closed connected orientable three-manifold is an irreducible three-manifold when every embedded $S^2$ bounds an embedded three-ball. It is a prime three-manifold when $M\cong P\#Q$ forces $P\cong S^3$ or $Q\cong S^3$. A separating sphere gives such a connected sum after capping its two sides with balls. Irreducibility therefore implies primeness, but a prime manifold can still have a nonseparating sphere.

A geometrizable three-manifold is one whose prime summands, after sphere splitting and capping, can be cut along disjoint essential tori into pieces whose interiors admit complete geometric structures modeled on the eight Thurston geometries:Here a geometric structure is a locally homogeneous quotient structure modeled on the stated simply connected space. The original manifold need not itself carry one geometry before decomposition.

A Heegaard splitting is $M=H_1{\cup }_{\varphi }{H}_2$, where $H_1,H_2$ are handlebodies with their boundaries identified. Its genus is the common boundary genus. The Heegaard genus $g_H(M)$ is the least possible genus of such a splitting. Thus “genus $g$” as a minimum requires both a genus-$g$ splitting and the nonexistence of one of smaller genus; an arbitrary genus-$g$ splitting only proves $g_H(M)\le g$.

Let $D_{\alpha },D_{\beta }$ be the disjoint complete meridian-disk system of $H_1$, and let $D_{\gamma },D_{\delta }$ be that of $H_2$. The identification $\varphi (\alpha )=\gamma$ joins $D_{\alpha }$ and $D_{\gamma }$ into an embedded sphere $S$ in $M$. Each disk is nonseparating in its handlebody: cutting along it leaves a genus-one handlebody, and cutting along the other then gives a ball. After cutting $M$ along $S$, the two cut handlebodies are connected and are still joined along the complement of the common boundary circle. Hence $S$ is nonseparating.

Cap the two new sphere boundaries with balls. The resulting closed manifold $N$ inherits a genus-one Heegaard splitting: its two sides are the solid tori obtained by cutting the original handlebodies along their common disks. Their meridians are the surviving curves $\beta$ and $\delta$. The hypothesis that $\varphi (\beta )$ avoids $\gamma$ makes it descend to the compressed torus, and its single intersection with $\delta$ remains a single intersection there.

A genus-one splitting whose two meridians intersect once is $S^3$. To see this directly, choose the target torus basis $(\mu ,\lambda )$ with $\mu$ its meridian. The other meridian is $a\mu \pm \lambda$. A meridional Dehn twist, extending across the target solid torus, removes the integer $a$, leaving the longitude. Gluing a second solid torus with meridian equal to that longitude is the standard splitting of $S^3\subset {\mathbb{C}}^2$ into the neighborhoods of its two coordinate circles. Therefore $N\cong S^3$.

By the common nonseparating disks in a Heegaard splitting construction and part (b), reversing the cut and caps givesThe product metric on $S^2\times \mathbb{R}$ is homogeneous, and quotienting by an integer translation in the second factor gives $S^2\times S^1$. Thus $M$ carries this Thurston geometry and is a geometrizable three-manifold.

There is a wording qualification: if “Heegaard genus two” means the minimum defined in part (a), the disk data contradict it. The product splits as $S^1\times D^2$ on each hemisphere of $S^2$, giving a genus-one splitting, while genus zero gives only $S^3$, so $g_H(S^1\times S^2)=1$. The genuine construction is a genus-two splitting of a genus-one manifold; the geometrizability conclusion remains valid. The proof used the complete disk systems, the common-sphere cut-and-cap construction, and the explicitly justified genus-one meridian-intersection criterion.