DEF0107canonicalv1Split-Complex Codomain H_tau
Split-Complex Codomain H_tau
Payload
Split-Complex Codomain H_tau
Split-Complex Codomain H_tau
Split-Complex Codomain H_tau
Summary
Split-Complex Codomain H_tau
Statement
%
\label{def:split-complex-codomain}
The \textbf{split-complex codomain} is the split-complex
extension of the boundary ring:
\[
H_\tau
\;:=\;
\bigl\{\, a + b\,j \;:\; a, b \in A_\tau \,\bigr\},
\qquad j^2 = +1,
\]
where $A_\tau = \hat{\mathbb{Z}}_\tau$ is the boundary ring
(I.D28, Book~I).
Equivalently, via the canonical idempotent decomposition,
\[
H_\tau
\;\cong\;
A_\tau^{(+)} \times A_\tau^{(-)}
\]
where $A_\tau^{(+)} = e_+ \cdot H_\tau$
and $A_\tau^{(-)} = e_- \cdot H_\tau$
are the two sector components,
each isomorphic to $A_\tau$ as a ring.
$H_\tau$ is the scalar codomain for
\textbf{all} holomorphic functions in Book~II.
Every $\tau$-holomorphic function
$f \colon \tau^3 \to H_\tau$
takes values in this split-complex algebra,
and the idempotent decomposition
$f = e_+ f_+ + e_- f_-$
provides the canonical sector components
that the Central Theorem relates to the
spectral algebra of $\mathbb{L}$.
Proof / Justification
This item is definitional. No manuscript proof is required.
Source Context
- Registry source:
book-02.jsonlline 3 - Manuscript source:
2nd-edition/book-ii-categorical-holomorphy/02_mainmatter/part00/ch02-elliptic-to-split-complex.texlines 329-363
Lean / Formalization Notes
- Formalization:
formalized - Module:
TauLib.BookII.Prologue.SplitComplexInterior - Name:
Tau.BookII.Prologue.HTau
Dependencies
- Canonical: I.D20, I.D19
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.D01split-complex-codomain-h-taudef:split-complex-codomainRelease 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.