Manuscript VIII-B@3 · VIII-B-v3.tex · lemma · 3aa6baa1
Lemma: Complete local matching and primitive words
Adapted charts and winding-marked affine matching › Transitions and winding convention · lines 1349–1429 · proof included or linked
VIII-B@3#lem:holonomy, VIII-B@3#eq:core-word, VIII-B@3#eq:star-word
The transitions (eq:transitions) match every shared developed segment, satisfy (eq:ambient-matching), and have inverse reverse transitions. Face polygons close and regular local vertex words are affine identities.
The loops and are primitive positive meridians, lying respectively in the core and resting collar. Their products, transported to the reference frame, are both . For , the six-face particle star has the same primitive peripheral product.
Proof. An ordinary overlap shares one developed segment. On a seam overlap, identifies the upper segment with the lower segment, including its height by descent. Applying the two face maps gives (eq:transitions) and (eq:ambient-matching). Reversing the overlap gives the inverse map.
Every polygon is realized by the displayed endpoint coordinates. Its oriented endpoint displacements telescope to zero. Shared endpoints coincide, including seam copies. In an ordered word, consecutive chart factors cancel, leaving (eq:word). A sufficiently small loop about a regular vertex has winding zero, so its word is the identity.
The bounds
place the core loop outside all inner regions and inside the cap, and place the collar loop in the resting region. Write . The core's chronological crossings give
Transport gives . The collar charts are identities, so its chronological crossings are , with product . Both loops traverse all three sectors once and have angular lift increment , proving primitivity independently of matrix values.
For the outgoing star use , where . Since ,
so this loop lies strictly in the inner region. In angular order set
Its six-factor word is
It has one positive seam crossing, winding one, and transported product . At the nonvanishing core meridian certifies the common peripheral signature of both germs.
Displayed formulas in this passage
VIII-B@3#eq:core-word · line 1386
VIII-B@3#eq:star-word · line 1413
unlabeled · line 1379
unlabeled · line 1402
unlabeled · line 1407