Spherical 3-manifold¶
In mathematics, a spherical 3-manifold M is a 3-manifold of the form.
Core Idea¶
Spherical 3-manifold is treated here as the recurring geometric topology identity summarized by this source-grounded definition: In mathematics, a spherical 3-manifold M is a 3-manifold of the form. In mathematics, a spherical 3-manifold M is a 3-manifold of the form. where \Gamma is a finite subgroup of O(4) acting freely by rotations on the 3-sphere S^3. All such manifolds are prime, orientable, and closed. Spherical 3-manifolds are sometimes called elliptic 3-manifolds. (This converse is special to three dimensions.) As such, the spherical three-manifolds are precisely the closed 3-manifolds with finite fundamental group.
Scope of Application¶
-
Properties. A special case of the Bonnet–Myers theorem says that every smooth manifold which has a smooth Riemannian metric which is both geodesically complete and of constant positive curvature must be.
-
Properties. William Thurston's elliptization conjecture, proven by Grigori Perelman using Richard Hamilton's Ricci flow, states a converse: every closed three-dimensional manifold with finite fundamental group has a smooth Riemannian metric of constant.
-
Properties. (This converse is special to three dimensions.) As such, the spherical three-manifolds are precisely the closed 3-manifolds with finite fundamental group.
-
Properties. According to Synge's theorem, every spherical 3-manifold is orientable, and in particular \Gamma must be included in SO(4).
-
Properties. The fundamental group is either cyclic, or is a central extension of a dihedral, tetrahedral, octahedral, or icosahedral group by a cyclic group of even order.
Clarity¶
A clear use of Spherical 3-manifold names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In mathematics, a spherical 3-manifold M is a 3-manifold of the form. The strongest recognition evidence in the frozen account is: the action of the group that is generated by elements of the form.
Manages Complexity¶
Spherical 3-manifold compresses multiple geometric topology details into a stable diagnostic relation. The source shows both the central mechanism—the fundamental group is either cyclic, or is a central extension of a dihedral, tetrahedral, octahedral, or icosahedral group by a cyclic group of even order.—and the practical consequence—the center is cyclic of order 2m and is generated by x 2 , and the quotient by the center is the.
Abstract Reasoning¶
- Type the carrier. Identify the geometric topology entities to which the claim applies.
- State the relation. Use the source-grounded identity: In mathematics, a spherical 3-manifold M is a 3-manifold of the form.
- Check operation and conditions. A lens space is not determined by its fundamental group (there are non-homeomorphic lens spaces with isomorphic fundamental groups); but any other spherical manifold is.
- Demand recognition evidence. the action of the group that is generated by elements of the form.
- Test variation.
Knowledge Transfer¶
Within the home domain. Knowledge about Spherical 3-manifold transfers literally when a new case preserves the same carrier type, relation, and recognition test. A special case of the Bonnet–Myers theorem says that every smooth manifold which has a smooth Riemannian metric which is both geodesically complete and of constant positive curvature must be closed and have finite fundamental group. William Thurston's elliptization conjecture, proven by Grigori Perelman using Richard Hamilton's Ricci flow, states a converse: every closed three-dimensional manifold.
Relationships to Other Abstractions¶
Current abstraction Spherical 3-manifold Domain-specific
Parents (1) — more general patterns this builds on
-
Spherical 3-manifold is a kind of Manifold Prime
A spherical 3-manifold is a three-dimensional manifold carrying spherical geometry.
Neighborhood in Abstraction Space¶
Spherical 3-manifold sits in a moderately populated region (52nd percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Spacetime Symmetry Groups & Toy Models (6 abstractions)
Nearest neighbors
- Thurston Elliptization Conjecture — 0.87
- Lens space — 0.87
- Essential manifold — 0.86
- Einstein Group — 0.86
- Steenrod problem — 0.85
Computed from structural-signature embeddings · 2026-10-08