A relation between closed n-dimensional manifolds: two closed n-manifolds M and N are cobordant if there exists a compact (n+1)-manifold W whose boundary is the disjoint union ∂W ≅ M ⨿ N (orientations accounted for when in the oriented category).

Principle

Cobordism organizes manifolds into equivalence classes by admitting a manifold one dimension higher that 'interpolates' between them via its boundary; it is an equivalence relation and leads to algebraic structures (cobordism groups) under disjoint union and boundary operations.

Demonstration

The circle S^1 is cobordant to the empty 1-manifold because the disk D^2 is a compact 2-manifold with boundary ∂D^2 = S^1, so S^1 is null-cobordant. In the oriented category, orientation must match so examples are checked with signs.

Misapplication

Interpreting cobordism as homeomorphism or diffeomorphism — cobordant manifolds need not be homeomorphic or diffeomorphic; cobordism is a weaker equivalence that allows passage through an (n+1)-dimensional interpolant.

Consequence

Cobordism classes form graded abelian groups under disjoint union; many global invariants (Stiefel–Whitney numbers, Pontryagin numbers in appropriate categories) provide obstructions to null-cobordism, so computing cobordism yields deep classification information.

Reversal

The opposite viewpoint emphasizes being a boundary: a manifold is null-cobordant if it appears as the entire boundary of a compact manifold one dimension higher; reversing the relation exchanges the roles of the two boundary components of the cobording manifold.

Boundary

Standard cobordism deals with closed (compact, boundaryless) manifolds; variants include cobordism with boundary, cobordism of manifolds with additional structure (orientation, framing, complex structure), and relative cobordism — each imposes extra restrictions.

Semantic Tension

Cobordism versus homology or homotopy equivalence: cobordism is independent of simple homotopy type and can relate manifolds with different homotopy types; it is coarser than homeomorphism but finer than naive set-theoretic relations and interacts subtly with characteristic classes.

Synthesis

Cobordism equivalently records when two closed n-manifolds bound the same compact (n+1)-manifold; it defines an equivalence relation sensitive to additional structures, gives rise to computable algebraic invariants, and organizes manifold classification via one-dimension-higher interpolants.