Results Glossary Entry Canonical mathematics The Split-Complex Forced theorem (I.T10) proves that the τ-kernel forces the boundary algebra to be the split-complex numbers ℝ[j]/(j²−1) — not the complex numbers ℝ[i]/(i²+1), not the dual numbers ℝ[ε]/(ε²). With 40 incoming edges, it is t…
Results · Mathematics Glossary · Theorem MathG-T07-split-complex-forced SCF Canonical

Split-Complex Forced

The Split-Complex Forced theorem (I.T10) proves that the τ-kernel forces the boundary algebra to be the split-complex numbers ℝ[j]/(j²−1) — not the complex numbers ℝ[i]/(i²+1), not the dual numbers ℝ[ε]/(ε²). With 40 incoming edges, it is the structural reason every τ-categorical scalar lives in the split-complex world.

Mathematics Glossary Primary: I.T10

τ-Definition

The Split-Complex Forced theorem (I.T10) proves that the τ-kernel forces the boundary algebra to be the split-complex numbers ℝ[j]/(j²−1) — not the complex numbers ℝ[i]/(i²+1), not the dual numbers ℝ[ε]/(ε²). With 40 incoming edges, it is the structural reason every τ-categorical scalar lives in the split-complex world.

Categorical invariant. An isomorphism between the τ-categorical boundary algebra and the split-complex numbers, forced by K2 + K6 + Prime Polarity (T06).

Primary registry anchor: I.T10

Supporting items: I.T05, I.D18, I.D19, I.D20

τ-Derivation Chain

  1. I.K0 — Universe Postulate
  2. I.T05 — Prime Polarity Theorem — bipolar structure on Primes
  3. I.D18 — Algebraic lemniscate
  4. I.T10 — Split-Complex Forced — τ-boundary algebra ≅ split-complex ℝ[j]/(j²−1)

Lean modules referenced: TauLib.BookI.Boundary.SplitComplex

Mathematical content

Theorem SCF
Theorem

There is a canonical isomorphism between the τ-categorical boundary algebra and the split-complex numbers ℝ[j]/(j²−1). Equivalently: the τ-kernel forces the boundary scalars to satisfy j² = +1 (not −1, not 0) — a result with no analogue in conventional complex analysis.

Proof sketch (expand)

Prime Polarity (T06) gives a {+1, −1}-valued polarity on every kernel atom. Lifting this through K2 (labelled boundary) makes the boundary algebra a graded structure with two non-trivial idempotents e₊ + e₋ = 1, e₊·e₋ = 0. The element j := e₊ − e₋ then satisfies j² = e₊² + e₋² − 2e₊e₋ = e₊ + e₋ = 1 — i.e., the split-complex relation. Closure under K6 forces this to be the unique boundary algebra.

Consequences:

  • Every τ-categorical scalar lives in the split-complex algebra (I.D20).
  • Hyperbolic-trigonometric identities (cosh, sinh) appear in τ-Hartogs extensions instead of Euclidean (cos, sin) — Book II's Hartogs theorem (T12 / I.T31) inherits this character.
  • ι_τ = 2/(π+e) involves both Euclidean (π) and exponential (e) — but the τ-substrate is split-complex, not complex.

Lean Coverage

Status: Formalized

Module: TauLib.BookI.Boundary.SplitComplex

Lean kind: theorem

Lean symbol: Tau.BookI.Boundary.splitComplexForced

Cross-domain bridges

This glossary term sits on the boundary between domains. The τ-framework's cross-domain pivots are the structural junctions where physics, life, and metaphysics readouts meet.

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