THM0085canonicalv1Euclidean as Static Limit
Euclidean as Static Limit
Payload
Euclidean as Static Limit
Euclidean as Static Limit
Euclidean as Static Limit
Summary
Euclidean as Static Limit
Statement
%
\label{thm:euclidean-static-limit}
In the limit where the split-complex coupling vanishes---formally,
where the off-diagonal coefficient
$\partial v / \partial x$ in the split-complex
Cauchy--Riemann equations tends to zero---the
wave equation
$\partial^2 u / \partial x^2 - \partial^2 u / \partial y^2 = 0$
degenerates to the Laplace equation
$\partial^2 u / \partial x^2 + \partial^2 u / \partial y^2 = 0$.
In this limit:
\begin{enumerate}
\item[\textup{(i)}]
The null cone collapses:
the two characteristic families merge,
and no real characteristics survive.
\item[\textup{(ii)}]
The causal structure
\textup{(}Definition~\ref{def:causal-structure}\textup{)}
disappears:
all directions become equivalent.
\item[\textup{(iii)}]
The surviving geometry is Euclidean:
betweenness, congruence, Pasch,
and the parallel postulate
\textup{(}II.T15--II.T18\textup{)}
remain valid.
\end{enumerate}
Proof / Justification
\emph{(i).}
The characteristic polynomial
$\xi^2 - c^2 \eta^2 = 0$
parametrizes the coupling strength by~$c$.
When $c \to 0$ (coupling vanishes),
the polynomial becomes $\xi^2 = 0$,
a double root---the two characteristics coalesce,
and the equation becomes parabolic at $c = 0$.
In the full degeneration to Laplace
($c^2 \to -1$, formally replacing $\jj \to i$),
the polynomial $\xi^2 + \eta^2 = 0$
has no real roots.
\emph{(ii).}
Without distinct characteristics,
conditions (C1)--(C3) of
Definition~\ref{def:causal-structure}
are vacuous.
No null cone exists; no forward direction
can be selected.
\emph{(iii).}
The Tarski axioms (II.T15--II.T18)
depend only on the ultrametric distance
$d(x,y) = 2^{-\delta(x,y)}$
and the cylinder structure,
neither of which involves~$\jj$.
They survive the $c \to 0$ limit unchanged.
Source Context
- Registry source:
book-02.jsonlline 57 - Manuscript source:
2nd-edition/book-ii-categorical-holomorphy/02_mainmatter/part04/ch21-wave-causal.texlines 351-380
Lean / Formalization Notes
- Formalization:
formalized - Module:
TauLib.BookII.Geometry.CausalStructure - Name:
sector_causal_check
Dependencies
- Canonical: II.D21, II.T15, II.T16
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.T19euclidean-as-static-limitthm:euclidean-static-limitRelease 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.