Manuscript VIII-B@3 · VIII-B-v3.tex · theorem · 3aa6baa1
Theorem: Principal persistence theorem
Persistence and complete realization · lines 1459–1515 · proof included or linked
VIII-B@3#thm:persistence
For every , formulas (eq:coefficients), (eq:rays), and (eq:family) construct a spinless conical slicing family with the following properties:
all affine spatial branch gradients have norm at most , uniformly in ;
graphs descend through rays and the seam, are embedded, and are globally acausal;
regular-face induced metrics are at least times the corresponding spatial metrics;
the family is strictly ordered by (eq:ordering);
exactly one event of the declared cellulation occurs, at , changing the particle link from three to six;
every regular slice, the common limiting slice, and both fixed-deficit incidence germs have complete certificates (E1)–(E5).
The particle intersection is (eq:particle-time). Primitive core, collar, and outgoing-star maps are in the reference framing and in the declared framing.
At , all displayed data specialize to the reference formulas in Appendix app:reference.
Proof. Lemmas lem:gradients, lem:bounds, and lem:embedding establish descent, uniform gradients, localization, embedding, the metric lower bound, acausality, ordering, and particle times. Lemmas lem:decomposition, lem:lengths, and lem:event establish the realized cellulation, nondegeneracy, and unique event.
Lemma lem:holonomy verifies endpoints, segments, closure, canonical transitions, regular local words, marked ordered words, and primitive core/collar agreement. Lemma lem:spinless verifies spinless packet matching and pointwise worldline fixation. The graph supplies the slice intersection, and the rest vector is the declared transported . These are all five checks.
A common transports the spacetime, faces, rest splitting, and affine words coherently. Spacelikeness, embedding, and acausality are preserved. The metric comparison is with the transported spatial metric; it is not an assertion about an unrelated fixed Cartesian time splitting after a boost.
At the event, outgoing collapsed slots are germ metadata, while the limiting slice uses the active incoming triangles. The core meridian supplies its noncollapsing peripheral witness. Finally, substituting proves the appendix identities.