Manuscript VII-J-ST@1 · VII-J-ST.tex · lemma · f1f1d82c

Lemma: Estimates used by the causal certificate

Prescribed spacetime, support, and the incidence input › The prescribed transverse event · lines 334–386 · proof included or linked

VII-J-ST@1#lem:slices, VII-J-ST@1#eq:time-order

Back to manuscript

Set

On every regular developed region, is spatially -Lipschitz, including the axial variable. For ,

The graphs are embedded, and their regular affine pieces are spacelike with induced dimensionless metric bounded below by .

The prescribed transverse cellulation has one incidence-event parameter, , where its singular transverse link changes from three incident faces to six.

Proof. The active gradients are

up to sector rotations. Minima and maxima preserve their common Lipschitz bound. The graph metric is ; its least eigenvalue is at least . Graph projection gives embeddedness. For fixed , the term after the initial in (eq:family) is nondecreasing and 1-Lipschitz in , proving (eq:time-order).

For the incidence, use

When , the -branch dominates and one face in each sector meets the apex. When , in the half-sector , the new boundary is ; its symmetric counterpart is . Their vertices are

They define two distinct new apex triangles in each sector. Their outermost radial coordinate is , so they do not meet the persistent crest . Within each open epoch these boundaries have fixed combinatorics, and all new coordinates vanish only at zero. Thus the normal transverse link changes exactly once from three to six.

Displayed formulas in this passage

  • VII-J-ST@1#eq:time-order · line 342

  • unlabeled · line 337

  • unlabeled · line 357

  • unlabeled · line 368

  • unlabeled · line 376

Nearby in this section