DEF0144canonicalv1Calibrated Split-Complex Codomain
Calibrated Split-Complex Codomain
Payload
Calibrated Split-Complex Codomain
Calibrated Split-Complex Codomain
Calibrated Split-Complex Codomain
Summary
Calibrated Split-Complex Codomain
Statement
%
\label{def:calibrated-H-tau}
The \textbf{calibrated split-complex codomain}
is the ring
\[
\boxed{%
H_\tau^{\mathrm{cal}}
\;:=\;
\bigl(\mathbb{R}[\jj],\;
\|\cdot\|_\tau,\;
(\pi, e, \iota_\tau)\bigr),}
\]
where:
\begin{enumerate}
\item[\textup{(i)}]
The underlying ring is the split-complex ring
$\mathbb{R}[\jj] = \{a + b\jj : a, b \in \mathbb{R}\}$
with $\jj^2 = +1$
(I.D20, I.T10, Book~I).
\item[\textup{(ii)}]
The \textbf{calibrated norm} is
\[
\|z\|_\tau
\;:=\;
|z_+|^{\pi/(\pi+e)}
\cdot
|z_-|^{e/(\pi+e)},
\]
where $z_+ = a + b$ and $z_- = a - b$
are the sector values.
The exponents $\pi/(\pi+e)$
and $e/(\pi+e)$
are the \textbf{angular weight}
and \textbf{growth weight},
respectively.
They sum to~$1$:
the norm is a geometric mean
weighted by the two calibration constants.
\item[\textup{(iii)}]
The \textbf{calibration triple}
$(\pi, e, \iota_\tau)$
records the angular period,
the growth rate,
and their harmonic coupling
$\iota_\tau = 2/(\pi + e)$.
\end{enumerate}
The sector decomposition becomes
\[
z
\;=\;
z_+\, e_+
\;+\;
z_-\, e_-
\;\in\;
H_\tau^{\mathrm{cal}},
\]
where $z_+$ is the \textbf{angular sector value}
(calibrated by~$\pi$)
and $z_-$ is the \textbf{growth sector value}
(calibrated by~$e$).
Proof / Justification
This item is definitional. No manuscript proof is required.
Source Context
- Registry source:
book-02.jsonlline 80 - Manuscript source:
2nd-edition/book-ii-categorical-holomorphy/02_mainmatter/part06/ch29-split-complex-calibrated.texlines 163-226
Lean / Formalization Notes
- Formalization:
formalized - Module:
TauLib.BookII.Hartogs.CalibratedSplitComplex - Name:
Tau.BookII.Hartogs.CalibratedHTau
Dependencies
- Canonical: I.D20, I.D21, I.D24, I.T10, II.T22, II.T23, II.T24, II.T25
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.D35calibrated-split-complex-codomaindef:calibrated-H-tauRelease 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.