A manifold-with-boundary M for which there does not exist any neighborhood U of the boundary ∂M that is homeomorphic to the product ∂M × [0,1); in other words, ∂M has no collar and the boundary cannot be given a product neighborhood.

Principle

Collarability is the property that the boundary sits inside the manifold with a product structure; failure of collarability indicates that local product charts around the boundary cannot be chosen coherently, preventing standard constructions that thicken or parametrize the boundary.

Demonstration

A compact manifold-with-boundary constructed so that neighborhoods of the boundary are 'wild' embeddings (for example using a nested linking construction) can fail to admit a homeomorphism identifying a neighborhood with ∂M × [0,1), thereby giving a concrete noncollarable example.

Misapplication

Assuming every topological manifold-with-boundary has a collar and using collar-dependent arguments (like doubling the manifold or constructing collar neighborhoods for gluing) without verifying collarability; this can produce invalid constructions when the boundary is noncollarable.

Consequence

When a manifold is noncollarable, techniques that rely on extending structures from the boundary inward or on decomposing the manifold via product neighborhoods break down; this affects existence of certain isotopies, tubular neighborhood theorems at the boundary, and standard gluing arguments.

Reversal

A collarable manifold: a manifold-with-boundary that admits a neighborhood of its boundary homeomorphic to ∂M × [0,1), enabling boundary parametrization and standard collar-based constructions.

Boundary

Pertains to topological (and sometimes PL) manifolds-with-boundary; in smooth category collar existence is guaranteed by standard theorems, so noncollarable phenomena are primarily topological and depend on embedding pathologies of the boundary.

Semantic Tension

The tension is between topological pathology (wild embeddings and failure of product structure) and categorical regularity (in smooth or PL categories collars often exist); one must distinguish category and embedding regularity when invoking collar arguments.

Synthesis

A noncollarable manifold is a manifold-with-boundary whose boundary cannot be given a neighborhood homeomorphic to a product with an interval; this local failure of product structure around the boundary obstructs standard constructions that assume a collar.