Algebraic Phase Theory IV: Morphisms, Equivalences, and Categorical Rigidity
Joe Gildea
TL;DR
This work develops a categorical backbone for Algebraic Phase Theory by introducing phase morphisms, equivalences, and completion within a framework controlled by defect propagation and a canonical filtration. In the strongly admissible regime, phase morphisms are rigidly determined by their action on the rigid core and all reasonable equivalence notions collapse, while completion forms a universal, reflective localization yielding complete phases. The paper also defines a 2-category of phases via filtration-compatible 2-morphisms and proves boundary invariants and Morita-type invariants are intrinsic consequences of phase interaction and finiteness. In the weakly admissible regime, rigidity persists only up to the defect control depth, allowing controlled extension freedom beyond that depth. Together, these results elevate APT from algebraic constructions to a categorical theory with rigidity, equivalence collapse, boundary invariants, and universal completions.
Abstract
We complete the foundational architecture of Algebraic Phase Theory by developing a categorical and $2$-categorical framework for algebraic phases. Building on the structural notions introduced in Papers~I-III, we define phase morphisms, equivalence relations, and intrinsic invariants compatible with the canonical filtration and defect stratification. For finite, strongly admissible phases we establish strong rigidity theorems: phase morphisms are uniquely determined by their action on rigid cores, and under bounded defect, weak, strong, and Morita-type equivalence all coincide. In particular, finite strongly admissible phases admit no distinct models with the same filtered representation theory. We further show that structural boundaries are invariant under Morita-type equivalence and therefore constitute genuine categorical invariants. Algebraic phases, phase morphisms, and filtration-compatible natural transformations form a strict $2$-category in the strongly admissible regime. We also prove that completion defines a reflective localization of this category, with complete phases characterized as universal forced rigidifications. Together, these results elevate Algebraic Phase Theory from a collection of algebraic constructions to a categorical framework in which rigidity, equivalence collapse, boundary invariance, and completion arise as intrinsic consequences of phase interaction, finiteness, and admissibility.
