Double (manifold)¶
The boundaryless manifold formed by gluing two copies of a manifold with boundary point-for-point along their entire common boundary.
Core Idea¶
The double of a manifold with boundary is obtained by taking two copies of the manifold and identifying corresponding points of their entire boundaries. For a manifold M, write the copies as M+ and M−; then.
D(M) = (M+ ⊔ M−) / (x+ ~ x− for every x in ∂M).
Under the usual manifold hypotheses, the seam that formerly was boundary becomes an interior hypersurface, and D(M) is a manifold without boundary of the same dimension as M. A collar neighborhood ∂M×[0,ε) supplies charts across the seam: use positive collar parameter on one copy and negative parameter on the other. In the smooth category, this is the mechanism that turns the topological quotient into a smooth manifold; different collar choices lead to equivalent smooth doubles in the standard construction.
Scope of Application¶
Doubling is used throughout topology and geometry to replace a manifold-with-boundary by a closed manifold. It appears in proofs of embedding, orientation, cobordism, index, and geometric extension results. A theorem established for closed manifolds can sometimes be applied to the double and then restricted to one half, provided the relevant structure extends across the seam.
In differential topology, collars establish smoothness and allow functions, vector fields, differential forms, or metrics to be reflected or extended. Such extensions are not automatic: parity conditions at the boundary matter.
Clarity¶
Near an interior point of either copy, nothing changes: the neighborhood is already Euclidean. Near a boundary point, each copy contributes a half-space. The identity gluing joins the two half-spaces along their bounding hyperplane, producing a full-space neighborhood. This local model proves why the seam ceases to be boundary.
Manages Complexity¶
Boundary creates asymmetric local models and extra terms in many theorems. Doubling replaces half-space neighborhoods with full-space neighborhoods and turns the boundary into a symmetric interior seam. This allows closed-manifold machinery to be used while retaining the original manifold as a fundamental half.
The exchange involution organizes which doubled objects descend back to M: invariant structures correspond to symmetric data, while anti-invariant structures encode sign reversal across the seam.
Abstract Reasoning¶
D([0,1])is a circle: two intervals join at both endpoint pairs, and every former endpoint gains a two-sided neighborhood. 2.D(D^n)isS^n: two closedn-balls glued along their boundary sphere form then-sphere. 3. The double of an annulus is a torus; the two boundary circles become two interior seam circles. 4. The double of a Möbius band is a Klein bottle, showing that nonorientability of the source can persist.
Knowledge Transfer¶
Exact transfer holds for intervals, surfaces, higher-dimensional manifolds, and compatible structured categories when the two-copy full-boundary gluing roles remain literal. A manifold pair glued along selected components is related but should be named as boundary gluing, not automatically a double. A twisted double is a recognized variant because the gluing map changes while the two-copy architecture persists.
Relationships to Other Abstractions¶
Current abstraction Double (manifold) Domain-specific
Parents (1) — more general patterns this builds on
-
Double (manifold) is part of Manifold Prime
the result and source share the local Euclidean-manifold condition.
Neighborhood in Abstraction Space¶
Double (manifold) sits in a sparse region of the domain-specific corpus (82nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Manifold & Simplicial Constructions (8 abstractions)
Nearest neighbors
- Exotic R4 — 0.84
- Differential Structure — 0.83
- Poincaré space — 0.81
- Collar neighbourhood — 0.81
- Alexander Duality — 0.81
Computed from structural-signature embeddings · 2026-09-08