Categoricity & the Liouville Dodge
τ³ is unique up to isomorphism; Liouville's theorem does not apply.
Module Thesis
Six axioms force τ³ uniquely; j² = +1 gives wave-type operators that avoid the maximum principle, allowing non-constant bounded holomorphic functions.
Overview
The Central Theorem proves that . But is this the only such isomorphism? Could a different set of axioms produce a different fibered product with the same boundary algebra? The Categoricity Theorem answers: no. The seven axioms K0-K6 force uniquely. There is exactly one model, and the split-complex signature is what makes this possible.
The Core Idea
The Categoricity Theorem (II.T42) proves that the moduli space of models satisfying K0-K6 is a single point: . No continuous parameters, no discrete choices, no alternative models. The fibered product is discovered, not constructed.
The proof has a crucial dependency on the split-complex shift. In the elliptic regime (), the maximum principle forces every bounded entire function to be constant (Liouville’s theorem). This means a classical-complex version of the Central Theorem would have trivial function spaces – the isomorphism would be vacuous.
The split-complex regime avoids this. The Liouville Escape (II.T41) proves that wave-type differential operators (from ) do not satisfy the maximum principle. Non-constant bounded holomorphic functions exist. The function space is rich enough to carry the full spectral algebra.
The complete dependency chain (II.D62, verified in Book II, Part X) traces every step from K0 through the Central Theorem and confirms that no external imports appear. The chain is a directed acyclic graph whose unique sources are the seven axioms and whose unique sink is the Central Theorem. This chapter-length audit is both a reference map and a proof of intellectual honesty.
Why This Matters
Categoricity means the framework has zero free parameters at the mathematical level. There is nothing to tune, nothing to adjust, nothing to choose. When the physics modules derive physical constants, they do so from this unique structure – and any deviation from observation falsifies the entire chain. This is the strongest possible falsifiability posture.
Key Claims
- II.T42 – Categoricity: K0-K6 force a unique model (established, machine-checked in TauLib)
- II.T41 – Liouville Escape: non-constant bounded holomorphic functions exist in the split-complex regime (established, machine-checked)
- II.D62 – Complete Dependency Chain: DAG from axioms to Central Theorem with no external imports (established)
- Moduli space = {pt} – zero free parameters at the mathematical level (tau-effective)