GOLD STANDARD · TOPOLOGY · HOW X WORKS
Compose nested flattenings without losing the protected-set bookkeeping
When protected boundary sets are nested, it is tempting to say that the smaller set simply gives a flatter crumpled cube. The safe argument is more precise: transport each protected set through the boundary homeomorphism, build the second flattening on its actual domain, and compose the maps that witness the comparison relation.
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.
Set up the nested objects
Compose the comparison maps
State monotonicity carefully
Transfer and qualify
Use FAQs, evidence and next routes
CHAPTER 1 OF 12 · SET UP THE OBJECTS
1. Nested subsets do not remove the need for maps
Let Y⊂X⊂∂C be compact protected sets for a crumpled n-cube C. Flattening relative to X makes the new boundary locally collared away from X. Flattening relative to Y permits collaring away from the smaller set Y, so a larger part of the boundary may be regularised.
That intuition suggests a direction of comparison, but set inclusion alone does not construct a map between the resulting cubes. The boundary homeomorphisms, extension maps and the precise image of Y must still be written.
CHAPTER 2 OF 12 · SET UP THE OBJECTS
2. Name every cube, boundary map and protected image
Write CX for a standard flattening of C relative to X, with boundary homeomorphism hX:∂C→∂CX. If a second flattening starts from CX, its protected set is hX(Y), not an unlabelled copy of Y unless hX fixes those points under the chosen construction.
This domain check prevents a common type error. A set in ∂C cannot be inserted into a definition on ∂CX without an identified map or containment.
CHAPTER 3 OF 12 · COMPOSE THE MAPS
3. Use transitivity of the Wₙ comparison relation
For triples (C,D,h) and (D,E,k) in Wn, the hierarchy relation gives (C,E,k∘h) in Wn. If fh:C→D and fk:D→E are associated maps, their composition extends k∘h on the boundary.
The boundary-preimage condition also composes: a point of C reaches ∂E under fk∘fh exactly when its fh-image lies in ∂D, which occurs exactly on ∂C. Write this check rather than appealing to a visual notion of flattening.
CHAPTER 4 OF 12 · WORK THE LEDGER
4. Work a two-stage protected-set example
Take X={a,b} and Y={a} on ∂C. First flatten relative to X, producing CX; the boundary outside {a,b} is locally collared. Next flatten CX relative to hX(Y), producing E. The second stage can regularise the image of b as well, while preserving the image of a.
| Stage | Source and target | Protected set | Boundary comparison |
|---|---|---|---|
| 1 | C → Cₓ | X={a,b} | hₓ |
| 2 | Cₓ → E | hₓ(Y)={hₓ(a)} | k |
| Composite | C → E | Y={a} | k∘hₓ |
The composite certifies a Wn comparison from C to E. To identify E with a chosen standard flattening CY, one needs the appropriate uniqueness or homeomorphism statement for standard flattenings relative to the same protected subset and must keep its hypotheses visible.
CHAPTER 5 OF 12 · COMPOSE THE MAPS
5. Check what the composite fixes
If hX fixes X pointwise, then it fixes Y because Y⊂X. If the second boundary map k fixes hX(Y) pointwise, the composite k∘hX fixes Y. This is the protected-set part of the composition ledger.
It does not follow that the composite fixes a neighbourhood of Y, or that the associated interior map is injective. Pointwise boundary control, local collaring and ambient homeomorphism are different levels of conclusion.
CHAPTER 6 OF 12 · STATE MONOTONICITY
6. Use monotonicity as a directional comparison
Shrinking the protected set allows collaring on a larger boundary complement. In the staged construction, the smaller-set result lies no higher in the “at least as wild as” direction witnessed by the composite maps. This is a comparison statement, not a numerical monotone function.
| Statement | Supported conclusion | Unsupported shortcut |
|---|---|---|
| Y⊂X | More boundary is eligible for flattening | Every construction is literally nested |
| Wₙ composition | Directional comparison is transitive | The relation is antisymmetric |
| Both maps fix Y | Composite fixes Y | A neighbourhood of Y is fixed |
| Same protected set | Use the cited equivalence result with hypotheses | Automatic equality of spaces |
The hierarchy paper itself cautions that mutual “at least as wild as” comparisons can occur between nonhomeomorphic crumpled cubes. Direction and strictness must therefore be proved, not inferred from one picture.
CHAPTER 7 OF 12 · STATE MONOTONICITY
7. Distinguish direct and iterated flattenings
A direct flattening of C relative to Y and an iterated flattening through X can be homeomorphic under the standard-flattening framework used in the source. Yet the proof route matters: first transport Y, then compose the comparison maps, then invoke the result relating flattenings with the same protected set.
Do not replace this sequence with C⊂CX⊂CY unless the chosen construction actually supplies those containments. Homeomorphism, inclusion and ambient equivalence are different claims.
CHAPTER 8 OF 12 · TRANSFER THE METHOD
8. Changed-context transfer: staged regularisation
The bookkeeping pattern transfers to other relative constructions. If a first modification protects X and a second protects the transported image of Y⊂X, write the object map, subset map and preserved property at each stage before composing.
The topological theorem does not automatically transfer. Another setting may use homotopy equivalences, quotient maps, smooth embeddings or isotopies with different composition rules. What transfers is the discipline of typed objects and transported constraints.
CHAPTER 9 OF 12 · QUALIFY THE RESULT
9. Keep collaring, wild sets and complement invariants separate
A standard flattening guarantees local collaring away from its protected set on the specified side. Under additional hypotheses, the protected set can be identified with the wild set of the result. Those conclusions do not by themselves determine complement fundamental groups, sewing outcomes or ambient isotopy classes.
When comparing two nested stages, list which invariant is known to pass under Wn, which set is fixed and which boundary points are collared. “Flatter” is only shorthand after these precise statements are established.
CHAPTER 10 OF 12 · QUALIFY THE RESULT
10. Limits and common misconceptions
Nested protected sets do not produce a canonical chain unless choices are fixed. Standard flattenings are relative constructions, and a comparison map need not be a homeomorphism of the cubes. Transitivity does not imply antisymmetry, so opposite comparisons do not force equality or homeomorphism.
A smaller protected set can also yield an n-cell in situations where a homotopy-taming set misses it. That is a mathematical outcome, not a failure of the method. State the hypotheses on the protected set before claiming the remaining wild set is exactly Y.
CHAPTER 11 OF 12 · CHECK AND CONTINUE
11. Questions readers often ask
Why not compare Cₓ and Cᵧ directly by inclusion?
Because separately constructed flattenings need not be presented as literal nested subsets. Use the boundary maps and Wn composition; invoke any homeomorphism result only after the protected sets and hypotheses match.
Does Y⊂X prove Cₓ is strictly wilder than Cᵧ?
No. It supports a directional staged comparison, but strictness requires ruling out an appropriate reverse comparison. Mutual comparisons can occur without the spaces being homeomorphic.
CHAPTER 12 OF 12 · CHECK AND CONTINUE
12. Evidence, connected routes and the next check
A hierarchy for closed n-cell-complements defines Wn, states its composition property, and develops standard flattening relative to a compact boundary set. The journal version is Rocky Mountain Journal of Mathematics 47(7). Sewings of crumpled cubes revisited provides broader context for mismatch properties and controlled sewings.
Continue through standard flattenings and protected boundary sets, closed n-cell complements and reembedding control, and closed-complement hierarchies and stable reembedding levels. The next check is to draw a three-column ledger—source boundary, transported set, target boundary—before composing any two flattenings.