DEF0130canonicalv1Causal Structure
The partial order on null-line segments of tau^3 determined by the two characteristic families from the wave equation and the forward direction from B/C asymmetry (Prime Polarity, I.T05).
Payload
Causal Structure
The partial order on null-line segments of tau^3 determined by the two characteristic families from the wave equation and the forward direction from B/C asymmetry (Prime Polarity, I.T05).
Causal Structure
Summary
The partial order on null-line segments of tau^3 determined by the two characteristic families from the wave equation and the forward direction from B/C asymmetry (Prime Polarity, I.T05).
Statement
%
\label{def:causal-structure}
The \textbf{causal structure} on~$\tau^3$ is the
partial order on null-line segments determined by
the following data:
\begin{enumerate}
\item[\textup{(C1)}] \textbf{Null directions.}
The two characteristic families
$\xi = \mathrm{const}$ and $\zeta = \mathrm{const}$
from the split-complex wave equation (II.D21).
\item[\textup{(C2)}] \textbf{Forward cone.}
The B/C asymmetry from Prime Polarity
(I.T05, Book~I) provides a preferred direction:
the $\gamma$-channel ($B$-coordinate)
and the $\eta$-channel ($C$-coordinate)
are structurally ordered by
the exponent--tetration hierarchy.
$B$ precedes~$C$ in the peel-off sequence.
This asymmetry selects a \textbf{forward} direction
within each time-like sector.
\item[\textup{(C3)}] \textbf{Causal ordering.}
A point~$q$ is in the \textbf{causal future} of~$p$
if $q$ can be reached from~$p$
by following a curve that remains
within the forward null cone at every point.
\end{enumerate}
A direction is \textbf{time-like} if it lies
strictly inside the null cone,
\textbf{space-like} if strictly outside,
and \textbf{null} (light-like) if on the cone boundary.
Proof / Justification
This item is definitional. No manuscript proof is required.
Source Context
- Registry source:
book-02.jsonlline 56 - Manuscript source:
2nd-edition/book-ii-categorical-holomorphy/02_mainmatter/part04/ch21-wave-causal.texlines 265-298
Lean / Formalization Notes
- Formalization:
formalized - Module:
TauLib.BookII.Geometry.CausalStructure - Name:
light_cone_check
Dependencies
- Canonical: II.D21
Related Results
Generated by later projection phases.
Related Publications
Generated by later projection phases.
Revision Notes
- 2026-04-24: Initial pilot migration.
Identifiers
Aliases & legacy IDs
II.D22causal-structuredef:causal-structureRelease lines
corpus_v3_workingcorpus_v2Relations
Appears in (1)
Sources
Version & History
Status disclaimer
A Corpus Item page reports the program's current internal record for this item. It does not imply external verification, scientific consensus, or final proof unless explicitly stated. Read it together with its dependencies, formalization status, and the program's overall stance.