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

Back to manuscript

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