Manuscript En03-A@1 · En03-A.tex · proposition · 5398614e
Proposition: Boundary matching and particle word
External conical geometry and certified local moves › Compact collar and frozen exterior · lines 1846–1865 · proof included or linked
En03-A@1#prop:R8, En03-A@1#eq:frozen-particle-word
Incoming and outgoing descriptions use the same boundary labels, constant spatial boundary vertices and lengths, resting boundary plane , and fixed exterior transitions. The cone metric, exterior incidence, and resting particle neighbourhood are not rewritten. The particle word remains
Proof. The cap is resting near ; all its boundary data and charts are common. A particle loop can be chosen in the unchanged axis neighbourhood. A path through the patch instead has a telescoping word determined by its endpoint charts, independent of its internal incidence.
Displayed formulas in this passage
En03-A@1#eq:frozen-particle-word · line 1853
Nearby in this section
- section: Compact collar and frozen exterior
- proposition: Proposition: Spacelike capped slices
- section: Compact collar and frozen exterior
- proposition: Proposition: Collar words and polygon closure
- section: Compact collar and frozen exterior
- section: Compact collar and frozen exterior
- proposition: Proposition: All lengths and no peripheral collapse
- section: Compact collar and frozen exterior