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

Back to manuscript

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

Nearby in this section