##  [Thickening](/thickening-0) 

 Definition

The process or result of replacing a subspace A ⊂ M by a neighborhood N ⊂ M that is homeomorphic to a manifold-with-boundary and contains A as a deformation retract; often called a regular neighborhood in manifold and PL settings.

 

 

 

 

 

 





## Principle

Principle

Realize a subspace as a retract of a manifold‑like neighborhood so that local manifold structure can be extended around the subspace, enabling manifold techniques and transversality arguments to apply.

 

 

 

 

 





## Demonstration

Demonstration

A smooth embedded complex or a finite CW subcomplex of a smooth manifold admits a tubular neighborhood diffeomorphic to a disk bundle; this disk bundle is a thickening of the subcomplex and deformation retracts onto it.

 

 

 

 

## Misapplication

Misapplication

Assuming every topological embedding admits a manifold thickening without checking dimension or tameness hypotheses, or conflating arbitrary neighborhoods with regular neighborhoods that have product or bundle structures.

 

 

 

 

 





## Consequence

Consequence

A valid thickening furnishes local coordinates, normal bundles or disk bundles, and allows the use of manifold invariants and surgery techniques; it also enables comparisons of embeddings via ambient isotopy when neighborhoods are controlled.

 

 

 

 

## Reversal

Reversal

Collapsing a thickening back to the subspace recovers the original A up to deformation retraction, but information about the ambient embedding or normal data is lost by this collapse.

 

 

 

 

 





## Boundary

Boundary

Applies when the ambient space has manifold or PL structure and the subspace is tame enough (e.g., locally flat, finite CW, or smoothly embedded); excludes wild embeddings or general metric neighborhoods that lack manifold boundary structure.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Close to the notion of regular neighbourhood, tubular neighbourhood, and collaring; tensions arise between PL, smooth, and topological categories where existence and uniqueness of thickenings differ and wild phenomena can invalidate straightforward thickening.

 

 

 

 

 





## Synthesis

Synthesis

Thickening is the procedure of surrounding a tame subspace with a manifold‑with‑boundary neighborhood that deformation retracts to it, providing normal data and manifold structure needed to apply geometric and surgical tools while excluding wild or dimensionally impossible cases.