GOLD STANDARD · TOPOLOGY · HOW X WORKS
Compare two standard flattenings without confusing choice independence with canonical equality
A standard flattening uses collars, auxiliary functions and embeddings that are not unique. The useful conclusion is therefore not that every construction is literally the same. It is that, under the source hypotheses, choices can be related by maps that preserve the protected-set data and support the intended comparison.
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.
Identify the choices
State and work the comparison
Track protected invariants
Transfer and qualify
Use FAQs, evidence and next routes
CHAPTER 1 OF 12 · IDENTIFY THE CHOICES
1. Standard does not mean canonical
A flattening of a crumpled n-cube relative to a compact boundary set X may depend on a collar, a continuous function that vanishes exactly on X, neighbourhood sizes and a particular embedding. Different valid choices can produce different literal subsets of the ambient sphere.
The word “standard” names a controlled construction and its properties. It does not by itself select one point-set representative, one coordinate formula or an equality between every output. Choice independence must name the equivalence and the data it preserves.
CHAPTER 2 OF 12 · IDENTIFY THE CHOICES
2. Write the triple before comparing outputs
Represent a flattening as (C,CX,hX): source crumpled cube, target flattening and boundary homeomorphism. For a second choice, use (C,C′X,h′X). The repeated subscript X records the protected set; primes record construction choices.
Now ask the precise question. Is there a homeomorphism CX→C′X? Does it extend h′X∘hX−1 on the boundary? Does it fix the image of X pointwise? Each is stronger than simply saying both outputs are flattenings relative to X.
CHAPTER 3 OF 12 · STATE THE COMPARISON
3. Use the relative relation supplied by the hierarchy
The hierarchy of closed n-cell complements uses triples and associated maps rather than assuming ambient equality. Standard flattening results allow compatible choices to be arranged so that nested or repeated constructions agree in the required comparison sense.
For Y⊂X⊂∂C, the source Lemma 5.1 states that if the relevant three standard flattenings are given, it can be arranged that the iterated target (CX)Y equals CY and that the boundary maps compose: (hX)YhX=hY. The phrase “can be arranged” is the choice-control statement; it is not a claim that arbitrary prior coordinates already coincide.
CHAPTER 4 OF 12 · WORK THE LEDGER
4. Work two auxiliary-function choices
Let μ0 and μ1 be continuous boundary functions with the same zero set X. Each is used with a collar to push boundary points outside X into a locally collared position, producing C0X and C1X.
| Object | Choice 0 | Choice 1 |
|---|---|---|
| Zero set | μ₀⁻¹(0)=X | μ₁⁻¹(0)=X |
| Boundary map | h₀:∂C→∂C⁰ₓ | h₁:∂C→∂C¹ₓ |
| Protected image | h₀(X) | h₁(X) |
| Comparison datum | h₁∘h₀⁻¹ on ∂C⁰ₓ | Inverse direction on ∂C¹ₓ |
If the construction fixes X pointwise, the boundary comparison fixes its represented image. If not, the invariant is the labelled image hi(X), not the unlabelled coordinates.
CHAPTER 5 OF 12 · STATE THE COMPARISON
5. Distinguish equality, relative homeomorphism and Wₙ comparison
Literal equality is a statement about the chosen representatives. A relative homeomorphism is an isomorphism respecting specified boundary or protected-set data. A Wn comparison may use a continuous associated map with a boundary-preimage condition and need not be a homeomorphism of the cubes.
These conclusions cannot be substituted freely. When a proof needs only the hierarchy direction, do not claim uniqueness. When a later sewing theorem needs a boundary homeomorphism, do not supply only a comparison map. Match the theorem to the data actually constructed.
CHAPTER 6 OF 12 · TRACK THE INVARIANTS
6. Track the protected set through every map
The protected set may appear as X in ∂C, hX(X) in ∂CX, and k(hX(X)) after another map. Write these images explicitly. A statement that a map “preserves X” is ambiguous when its domain and codomain have different boundaries.
| Claim | Safe formulation | Extra hypothesis needed |
|---|---|---|
| Pointwise protection | The boundary map fixes X under the chosen identification | Construction fixes X pointwise |
| Setwise protection | The labelled image of X maps to the labelled image | Specified boundary comparison |
| Wild-set identity | Wild(Cₓ)=hₓ(X) | Source wild-set hypotheses |
| Ambient equivalence | An ambient homeomorphism carries one output to the other | Ambient extension theorem |
Other invariants—collared complement, complement properties or sewing data—must be checked under the specific relation. They do not follow merely because the same letter X appears in two diagrams.
CHAPTER 7 OF 12 · TRACK THE INVARIANTS
7. Use compatible choices for nested flattenings
For Y⊂X, first flatten relative to X, transport Y to hX(Y), and flatten again. Lemma 5.1 supplies a way to choose the constructions so the iterated result matches the direct Y-flattening and the maps compose.
This compatibility is stronger and cleaner than comparing two independently frozen constructions after the fact. It supports inductive arguments and prevents a diagram from commuting only up to an unnamed identification. The conclusion remains relative to the stated standard-flattening setup.
CHAPTER 8 OF 12 · TRANSFER THE METHOD
8. Changed-context transfer: relative constructions elsewhere
The discipline transfers to quotient spaces, regular neighbourhoods, resolutions and controlled modifications. List the auxiliary choices, specify the equivalence relation, label the protected data and prove or cite compatibility under composition.
The topology does not transfer automatically. A homotopy equivalence, diffeomorphism, isotopy and ambient homeomorphism preserve different structures. Transfer the proof ledger, not the word “independent.”
CHAPTER 9 OF 12 · QUALIFY THE RESULT
9. State the theorem category before the intuition
Readers often understand that flattening should not depend essentially on a collar function. The proof must still say whether “essentially” means homeomorphic, relatively homeomorphic, Wn-equivalent or usable in a particular sewing argument. Put that category in the sentence before the geometric intuition.
For wild sets, also state the dimension and taming hypotheses. A locally collared complement and an exact wild-set identity are related but distinct conclusions.
CHAPTER 10 OF 12 · QUALIFY THE RESULT
10. Limits and common misconceptions
Choice independence is not canonical equality. It does not provide a preferred homeomorphism, an ambient isotopy or functoriality for every map unless those are proved. The phrase “can be arranged” permits coordinated choices; it does not retroactively make arbitrary separately constructed outputs identical.
A protected set may be preserved setwise without every point being fixed. A homeomorphism of boundaries need not extend to an ambient homeomorphism. Keep these limits visible whenever a diagram is reused in a stronger theorem.
CHAPTER 11 OF 12 · CHECK AND CONTINUE
11. Questions readers often ask
Why is the same zero set not enough to identify the outputs?
Because the auxiliary functions and collars can place the unprotected boundary differently. The shared zero set controls what remains protected; a theorem or constructed comparison controls the relation between outputs.
What should a commutative diagram label?
Label source and target boundaries, every boundary homeomorphism, the transported protected set and the category of each arrow. If equality is arranged, say where; otherwise show the comparison map.
CHAPTER 12 OF 12 · CHECK AND CONTINUE
12. Evidence, connected routes and the next check
A hierarchy for closed n-cell-complements defines standard flattening relative to a compact boundary set and states the compatibility result used here. The journal version is Rocky Mountain Journal of Mathematics 47(7). Sewings of crumpled cubes revisited gives broader context for controlled boundary maps and sewing results.
Continue through nested standard flattenings and comparison-map composition, standard flattenings and protected boundary sets, and closed-complement hierarchies and stable reembedding levels. The next check is to replace the word “same” with the exact equivalence your proof actually supplies.