Manuscript VII-E@1 · VII-E.tex · proposition · b713cf3c
Proposition: Spacelike ordering and central exchange
One certified four-face slicing exchange › Four moving affine faces · lines 1941–1995 · proof included or linked
VII-E@1#prop:core, VII-E@1#eq:incoming, VII-E@1#eq:outgoing
The graph is continuous, piecewise affine, and -Lipschitz. Every face is spacelike, and for ,
For , the central adjacency is , with edge
For , the central adjacency is , with edge
The central incidence changes as
Proof. Each affine function has spatial gradient of norm at most . Their maximum has the same Lipschitz bound. On a face of slope , a nonzero tangent vector has squared norm
Every affine function increases in at rate at least , proving the ordering bound.
For , equality of the two affine functions forces . Their common value dominates the other two precisely when . This gives eq:incoming and its triple endpoints. The endpoint difference has constant , so its spacelike length is the displayed -distance.
For , equality forces , and dominance is , giving eq:outgoing.
At , . All four faces meet only at the origin, and each contains an open strict-dominance cone. Thus the central edge collapses, but the two-dimensional patch does not.
Displayed formulas in this passage
VII-E@1#eq:incoming · line 1949
VII-E@1#eq:outgoing · line 1957
unlabeled · line 1945
unlabeled · line 1965
unlabeled · line 1975