GOLD STANDARD · TOPOLOGY · HOW X WORKS
Compare wildness without flattening every distinction
Closed n-cell complements are not merely a yes-or-no label. Boundary-respecting maps between crumpled cubes create a partial-order programme for comparing wildness, while mismatch sets and controlled reembeddings track where improvement is possible and what must remain fixed.
This guide connects the Gold Standard of Topology, Gold Standard of Education, and How X Works hub.
Chapter contents and reading routes
Choose the route closest to your present task. Every chapter remains expanded, so the article also reads naturally from start to finish.
Orient the hierarchy
Build the comparison ledger
Connect mismatch and reembedding
Transfer and qualify
Use FAQs, evidence and next routes
CHAPTER 1 OF 12 · ORIENT THE HIERARCHY
1. A favourable complement is only the first level of structure
A crumpled n-cube is a space homeomorphic to an embedded (n−1)-sphere together with one complementary domain. It may be intrinsically far from an n-cell. Saying it can be embedded as a closed n-cell complement records a favourable outside, but not how its boundary wildness compares with another crumpled cube.
A hierarchy asks for more: which boundary homeomorphisms extend to controlled maps of the crumpled cubes, which properties are preserved, and when one object can be regarded as at least as wild as another.
CHAPTER 2 OF 12 · ORIENT THE HIERARCHY
2. Keep object, boundary map and extension map separate
Let C and D be crumpled n-cubes and h:∂C→∂D a boundary homeomorphism. The hierarchy studied by Daverman and Gu considers triples for which h extends to a map fh:C→D and the inverse image of ∂D is exactly ∂C.
The last condition prevents interior points of C from being sent onto the target boundary. It is stronger information than the existence of a boundary homeomorphism, since all these boundaries are spheres as spaces.
CHAPTER 3 OF 12 · BUILD THE LEDGER
3. Read “at least as wild as” as a relation, not a metric
If a suitable triple exists from C to D, the relation is interpreted as C being at least as wild as D. This is not a numerical distance and does not count horns, local genus or visible roughness. It is a map-theoretic comparison.
Strict comparison requires direction: C relates to D but no boundary homeomorphism makes D relate back to C. Equivalence-like behaviour and incomparability remain possible, so a single linear ranking should not be assumed.
CHAPTER 4 OF 12 · BUILD THE LEDGER
4. Work an abstract three-level implication ledger
Suppose Level 3 requires a boundary-compatible extension with relative control on a protected set, Level 2 requires the extension and boundary-preimage condition, and Level 1 records only the existence of a favourable n-cell complement. Then Level 3 may imply Level 2, and a theorem may connect Level 2 to Level 1 under stated hypotheses.
| Statement | What may follow | What does not follow automatically |
|---|---|---|
| Level 3 holds | Level 2, if definitions are nested | A converse |
| Level 2 holds | Preserved properties proved for the relation | Small ambient motion |
| Level 1 holds | One favourable complement exists | A comparison with every D |
The safe habit is to write each implication with its source. A hierarchy organises information precisely because its reverse arrows can fail.
CHAPTER 5 OF 12 · BUILD THE LEDGER
5. Use preserved properties as witnesses
A comparison relation becomes useful when it transports properties. The hierarchy paper studies attributes preserved by its maps, letting a known obstruction or boundary property rule out one direction of comparison.
A preserved property is not automatically a complete invariant. Two crumpled cubes may share all checked attributes yet remain incomparable, or differ by an obstruction the current ledger did not include.
CHAPTER 6 OF 12 · CONNECT MISMATCH
6. Mismatch sets localise incompatible boundary behaviour
Mismatch methods pair bad sets on two boundary spheres so that their overlap is controlled under a sewing homeomorphism. They convert a global wild-boundary problem into a question about where two local failures meet.
In a hierarchy argument, mismatch data can serve as a witness or as a construction constraint. But a mismatch property and the boundary-compatible map relation are not interchangeable definitions; each has its own hypotheses and conclusion.
CHAPTER 7 OF 12 · CONNECT REEMBEDDING
7. Stable reembedding adds relative and small-movement control
A reembedding theorem may place C so that its complementary closure is an n-cell. A stronger, more usable result keeps a protected compact set fixed, controls point movement by ε, or preserves neighbouring decomposition data.
| Control | What it protects | Extra conclusion still needed |
|---|---|---|
| Complement type | Outside closes to Bⁿ | How far C moved |
| ε-small reembedding | Pointwise movement | Ambient isotopy |
| Relative control on X | Specified set remains fixed | Behaviour off X |
| Boundary-compatible map | Wildness comparison | A standard complement |
CHAPTER 8 OF 12 · TRANSFER THE METHOD
8. Changed-context transfer: decomposition elements and quotient spaces
In decomposition theory, one compares or replaces cell-like pieces while trying to preserve the quotient. The same ledger helps: identify the piece, its boundary data, the map or reembedding, the protected set and the desired complementary conclusion.
The exact hierarchy for crumpled n-cubes does not automatically apply to arbitrary cell-like sets. Boundaries may not be spheres, local connectivity may fail differently and quotient recognition may need separate shrinking or disjoint-disks hypotheses.
CHAPTER 9 OF 12 · QUALIFY THE LEVELS
9. Dimension and category are part of every statement
Results for crumpled 3-cubes, 4-cubes and higher-dimensional objects use different tools. A continuous extension, a homeomorphism of crumpled cubes, an ambient homeomorphism and an isotopy are distinct categories of conclusion.
Preserve the source theorem’s dimension range and map category. Replacing “map” with “homeomorphism” or “reembedding” with “ambient isotopy” can turn a true hierarchy statement into a false one.
CHAPTER 10 OF 12 · QUALIFY THE LEVELS
10. Limits and common misconceptions
Being at least as wild as is not a visual judgement and not necessarily a total order. A relation witnessed by one boundary map does not mean every boundary map works. A closed n-cell complement does not make the crumpled cube itself an n-cell.
A hierarchy does not eliminate the need for examples and obstructions. It supplies a disciplined language for comparisons; the classification programme remains sensitive to dimension, local boundary structure and the maps available.
CHAPTER 11 OF 12 · CHECK AND CONTINUE
11. Questions readers often ask
Does mutual comparison mean the crumpled cubes are homeomorphic?
Not from the relation alone unless a theorem supplies that conclusion. Mutual boundary-compatible maps may define a weaker equivalence class than homeomorphism.
Why keep mismatch sets separate from the hierarchy relation?
They answer different questions. Mismatch sets control paired bad boundary behaviour in sewing, while the hierarchy relation is witnessed by a boundary homeomorphism and an extension map with a boundary-preimage condition.
CHAPTER 12 OF 12 · CHECK AND CONTINUE
12. Evidence, connected routes and the next check
A hierarchy for closed n-cell-complements introduces the boundary-compatible map relation and the resulting wildness comparison; its journal version is Rocky Mountain Journal of Mathematics 47(7). Each crumpled 4-cube is a closed 4-cell-complement provides a dimension-four reembedding result. Embeddings in Manifolds develops the broader crumpled-cube and sewing framework.
Continue through mismatch properties and bad-set pairing, universal crumpled cubes and sphere recovery, 1-LCC boundaries and collarability, and closed n-cell complements and reembedding control. The next check is to write C, D, h and fh on separate lines before claiming a hierarchy relation.