In topology, a branch of mathematics, a prime manifold is an n-manifold that cannot be expressed as a non-trivial connected sum of two n-manifolds. Non-trivial means that neither of the two is an n-sphere. A similar notion is that of an irreducible n-manifold, which is one in which any embedded (n − 1)-sphere bounds an embedded n-ball. Implicit in this definition is the use of a suitable category, such as the category of differentiable manifolds or the category of piecewise-linear manifolds.

The notions of irreducibility in algebra and manifold theory are related. An irreducible manifold is prime, although the converse does not hold. From an algebraist's perspective, prime manifolds should be called "irreducible"; however the topologist (in particular the 3-manifold topologist) finds the definition above more useful. The only compact, connected 3-manifolds that are prime but not irreducible are the trivial 2-sphere bundle over the circle S¹ and the twisted 2-sphere bundle over S¹.

According to a theorem of Hellmuth Kneser and John Milnor, every compact, orientable 3-manifold is the connected sum of a unique (up to homeomorphism) collection of prime 3-manifolds.

Definitions

Consider specifically 3-manifolds.

Irreducible manifold

A 3-manifold is irreducible if any smooth sphere bounds a ball. More rigorously, a differentiable connected 3-manifold ${\displaystyle M}$ is irreducible if every differentiable submanifold ${\displaystyle S}$ homeomorphic to a sphere bounds a subset ${\displaystyle D}$ (that is, ${\displaystyle S=\partial D}$) which is homeomorphic to the closed ball

$${\displaystyle D^{3}=\{x\in \mathbb {R} ^{3}\ |\ |x|\leq 1\}.}$$

${\displaystyle M}$

A 3-manifold that is not irreducible is called reducible.

Prime manifolds

A connected 3-manifold ${\displaystyle M}$ is prime if it cannot be expressed as a connected sum ${\displaystyle N_{1}\#N_{2))$ of two manifolds neither of which is the 3-sphere ${\displaystyle S^{3))$ (or, equivalently, neither of which is homeomorphic to ${\displaystyle M}$).

Examples

Euclidean space

Three-dimensional Euclidean space ${\displaystyle \mathbb {R} ^{3))$ is irreducible: all smooth 2-spheres in it bound balls.

On the other hand, Alexander's horned sphere is a non-smooth sphere in ${\displaystyle \mathbb {R} ^{3))$ that does not bound a ball. Thus the stipulation that the sphere be smooth is necessary.

Sphere, lens spaces

The 3-sphere ${\displaystyle S^{3))$ is irreducible. The product space ${\displaystyle S^{2}\times S^{1))$ is not irreducible, since any 2-sphere ${\displaystyle S^{2}\times \{pt\))$ (where ${\displaystyle pt}$ is some point of ${\displaystyle S^{1))$) has a connected complement which is not a ball (it is the product of the 2-sphere and a line).

A lens space ${\displaystyle L(p,q)}$ with ${\displaystyle p\neq 0}$ (and thus not the same as ${\displaystyle S^{2}\times S^{1))$) is irreducible.

Prime manifolds and irreducible manifolds

A 3-manifold is irreducible if and only if it is prime, except for two cases: the product ${\displaystyle S^{2}\times S^{1))$ and the non-orientable fiber bundle of the 2-sphere over the circle ${\displaystyle S^{1))$ are both prime but not irreducible.

From irreducible to prime

An irreducible manifold ${\displaystyle M}$ is prime. Indeed, if we express ${\displaystyle M}$ as a connected sum

$${\displaystyle M=N_{1}\#N_{2},}$$

${\displaystyle M}$

${\displaystyle N_{1))$

${\displaystyle N_{2},}$

${\displaystyle M.}$

${\displaystyle M}$

${\displaystyle N_{1))$

${\displaystyle N_{2))$

${\displaystyle N_{1))$

${\displaystyle N_{2))$

${\displaystyle M}$

From prime to irreducible

Let ${\displaystyle M}$ be a prime 3-manifold, and let ${\displaystyle S}$ be a 2-sphere embedded in it. Cutting on ${\displaystyle S}$ one may obtain just one manifold ${\displaystyle N}$ or perhaps one can only obtain two manifolds ${\displaystyle M_{1))$ and ${\displaystyle M_{2}.}$ In the latter case, gluing balls onto the newly created spherical boundaries of these two manifolds gives two manifolds ${\displaystyle N_{1))$ and ${\displaystyle N_{2))$ such that

$${\displaystyle M=N_{1}\#N_{2}.}$$

${\displaystyle M}$

${\displaystyle N_{1},}$

${\displaystyle S^{3}.}$

${\displaystyle M_{1))$

${\displaystyle S^{3))$

${\displaystyle S}$

${\displaystyle M}$

It remains to consider the case where it is possible to cut ${\displaystyle M}$ along ${\displaystyle S}$ and obtain just one piece, ${\displaystyle N.}$ In that case there exists a closed simple curve ${\displaystyle \gamma }$ in ${\displaystyle M}$ intersecting ${\displaystyle S}$ at a single point. Let ${\displaystyle R}$ be the union of the two tubular neighborhoods of ${\displaystyle S}$ and ${\displaystyle \gamma .}$ The boundary ${\displaystyle \partial R}$ turns out to be a 2-sphere that cuts ${\displaystyle M}$ into two pieces, ${\displaystyle R}$ and the complement of ${\displaystyle R.}$ Since ${\displaystyle M}$ is prime and ${\displaystyle R}$ is not a ball, the complement must be a ball. The manifold ${\displaystyle M}$ that results from this fact is almost determined, and a careful analysis shows that it is either ${\displaystyle S^{2}\times S^{1))$ or else the other, non-orientable, fiber bundle of ${\displaystyle S^{2))$ over ${\displaystyle S^{1}.}$