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

Split-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.jsonl line 3
  • Manuscript source: 2nd-edition/book-ii-categorical-holomorphy/02_mainmatter/part00/ch02-elliptic-to-split-complex.tex lines 329-363

Lean / Formalization Notes

  • Formalization: formalized
  • Module: TauLib.BookII.Prologue.SplitComplexInterior
  • Name: Tau.BookII.Prologue.HTau

Dependencies

  • Canonical: I.D20, I.D19

Generated by later projection phases.

Generated by later projection phases.

Revision Notes

  • 2026-04-24: Initial pilot migration.

Identifiers

  • Corpus ID cid001234
  • Primary alias DEF0107
  • Type Definition
  • Status canonical
  • Visibility public
  • Version v1

Aliases & legacy IDs

II.D01split-complex-codomain-h-taudef:split-complex-codomain

Release lines

corpus_v3_workingcorpus_v2

Relations

Appears in (1)

Sources

  • Monograph cid000001Book II, Part 0, Chapter 2 (Prologue)

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