Corpus definition canonical 2026-05-27T20:53:50+00:00
Corpus v3 · Definition cid001270DEF0144canonicalv1

Calibrated 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.jsonl line 80
  • Manuscript source: 2nd-edition/book-ii-categorical-holomorphy/02_mainmatter/part06/ch29-split-complex-calibrated.tex lines 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

Generated by later projection phases.

Generated by later projection phases.

Revision Notes

  • 2026-04-24: Initial pilot migration.

Identifiers

  • Corpus ID cid001270
  • Primary alias DEF0144
  • Type Definition
  • Status canonical
  • Visibility public
  • Version v1

Aliases & legacy IDs

II.D35calibrated-split-complex-codomaindef:calibrated-H-tau

Release lines

corpus_v3_workingcorpus_v2

Relations

Appears in (1)

Sources

  • Monograph cid000001Book II, Part 6, Chapter 29 (Part V)

Version & History

  • v1 · 2026-05-10 imported from v2 registry

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.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert