DEF0291canonicalv1Minkowski Extension
Extension of the glued 3D space to 3+1D Minkowski spacetime by adjoining the base τ¹ as time direction. Split-complex structure (j²=+1) provides Lorentzian signature.
Payload
Minkowski Extension
Extension of the glued 3D space to 3+1D Minkowski spacetime by adjoining the base τ¹ as time direction. Split-complex structure (j²=+1) provides Lorentzian signature.
Minkowski Extension
Summary
Extension of the glued 3D space to 3+1D Minkowski spacetime by adjoining the base τ¹ as time direction. Split-complex structure (j²=+1) provides Lorentzian signature.
Statement
\label{def:minkowski-extension}
The \emph{Minkowski extension} of $M_{\tau^3}$ is the $3{+}1$-dimensional spacetime
\begin{equation}\label{eq:ch75-minkowski}
\mathcal{M}_\tau \;=\; \tau^1 \times M_{\tau^3},
\end{equation}
where:
\begin{enumerate}
\item\emph{(Time.)}
The base $\tau^1$ provides the time direction; the progression structure (Book~I, Part~II) provides causal ordering.
\item\emph{(Space.)}
The fiber at each $x \in \tau^1$ is the three-dimensional bulk $U_x \subset M_{\tau^3}$ constructed by Theorem~\ref{thm:global-cartesian-gluing}.
\item\emph{(Signature.)}
The split-complex boundary ring $H_\tau = \mathbb{Z}[\,\jj\,]/(\jj^2 - 1)$ provides the metric signature. The decomposition $H_\tau \cong \mathbb{Z} \oplus \mathbb{Z}$ via idempotents $e_\pm = \tfrac{1}{2}(1 \pm \jj)$ separates the time-like component ($e_-$) from the space-like components ($e_+$), yielding the hyperbolic signature $(-, +, +, +)$.
\item\emph{(Light cones.)}
The null directions are the zero divisors of $H_\tau$: elements $a + b\jj$ with $a^2 = b^2$. Their global assembly via the Coherent Force produces the causal structure of spacetime.
\end{enumerate}
Proof / Justification
This item is definitional. No manuscript proof is required.
Source Context
- Registry source:
book-03.jsonlline 194 - Manuscript source:
2nd-edition/book-iii-categorical-spectrum/02_mainmatter/part08/ch75-the-global-cartesian-gluing.texlines 200-221
Lean / Formalization Notes
- Formalization:
not_applicable - Module:
None - Name:
None
Dependencies
- Canonical: III.T50
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
III.D76minkowski-extensiondef:minkowski-extensionRelease 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.