Manuscript VIII-ST@1 · VIII-ST.tex · proposition · fe979f3b
Proposition: Fixed-presentation uniqueness and two rejection tests
Lorentz-affine matching and complete certificates › Packet and chart conventions · lines 985–1019 · proof included or linked
VIII-ST@1#prop:rejections
Once realization, charts, overlap components, frame, and seam are fixed, incompatible proposed values of one transition cannot both be accepted.
For in , keeping at a packet declaring fails packet/seam matching, although it still fixes the reference worldsheet pointwise. In spectral norm,
For , the affine map
preserves the worldsheet as a set but fails pointwise fixation. The same distinctions survive coherent affine conjugation.
Proof. Acceptance requires equality with the single map (eq:transition). The rotation norm follows from
The interval is shorter than , so different deficits give different oriented rotations. A time-shifted map sends to , not the same point. Conjugation is injective and transports these equalities.
Displayed formulas in this passage
unlabeled · line 994
unlabeled · line 999
unlabeled · line 1010
Nearby in this section
- section: Packet and chart conventions
- lemma: Lemma: Spinless fixed set
- section: Packet and chart conventions
- lemma: Lemma: Adapted charts
- section: Packet and chart conventions
- definition: Definition: Five-component acceptance
- theorem: Theorem: Complete matching for the explicit family
- section: Packet and chart conventions