Double (manifold)¶

The boundaryless manifold formed by gluing two copies of a manifold with boundary point-for-point along their entire common boundary.

Version: v3 · 2026-09-19 · History
Domain-specific #: 1713
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Differential Topology → Mathematics
Aliases: Manifold double, Double of a manifold, Doubled manifold

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.

How would you explain it like I'm…

Two Plates Make a Pillow

Take a paper plate with an edge all around. Now take a second plate just like it, flip it over, and glue the two edges together all the way around. You get a closed pillow shape with no edge left. That's what making a double does to a shape.

Glue Two Copies Edge to Edge

In math, some shapes have an edge (a boundary), like a flat disk. The double of a shape is made by taking two copies of it and gluing every point of one copy's edge to the matching point on the other copy's edge. Two disks glued along their rims make a sphere-like surface with no edge. The old edge becomes a seam in the middle, and you can flip the two halves to swap them. Mathematicians do this to turn questions about shapes with edges into questions about shapes without edges.

Doubling a Manifold Along Its Boundary

A manifold is a space that looks locally like ordinary flat space; a manifold with boundary also has edge points. Its double is made by taking two copies, M+ and M-, and identifying each boundary point of one with the same boundary point of the other. The result is a manifold of the same dimension with no boundary: the old boundary becomes an interior seam. A collar, a thin strip near the boundary shaped like the boundary times a small interval, lets you build smooth coordinates across the seam. There is a natural reflection swapping the two halves and fixing the seam, and for oriented manifolds one copy's orientation is reversed so the orientation matches up. Gluing only part of the boundary, or gluing two different manifolds, does not give the double.

The double of a manifold with boundary M is D(M) = (M+ disjoint-union M-) / (x+ ~ x- for every x in the boundary of M), where M+ and M- are two copies of M identified along their entire boundary by the identity map. Under the usual manifold hypotheses, the former boundary becomes an interior hypersurface and D(M) is a boundaryless manifold of the same dimension as M. A collar neighborhood, boundary times [0, epsilon), provides charts across the seam by using the positive collar parameter on one copy and the negative parameter on the other. In the smooth category, this collar mechanism makes the topological quotient a smooth manifold, and different collar choices yield equivalent smooth doubles in the standard construction. An involution swaps the two halves and fixes the seam pointwise. For oriented manifolds, one copy receives the opposite orientation before gluing so the orientation extends across the seam. Doubling converts boundary problems into closed-manifold problems while keeping a reflected copy of the original geometry; arbitrary gluings, partial-boundary gluings, or gluing unrelated manifolds are not the ordinary double.

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.
D(D^n) is S^n: two closed n-balls glued along their boundary sphere form the n-sphere.
The double of an annulus is a torus; the two boundary circles become two interior seam circles.
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) — outgoing typed relations

Double (manifold) includes Manifold Prime

the result and source share the local Euclidean-manifold condition.

Hierarchy path (1) — routes to 1 parentless root

Double (manifold) → includes Manifold → presupposes Topology

Neighborhood in Abstraction Space¶

Double (manifold) sits in a sparse region of the domain-specific corpus (82^nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Manifold Topology & Classification (12 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25