Quaternionic Rigidity of Admissible Morphisms

O27 extends O26 by proving that every admissible morphism \(\Phi_{q,\rho}\) necessarily factors through \(\mathfrak{su}(2)\), turning the quaternionic SU(2) thread from a structural candidate into a rigidity theorem.

Overview

After O26 established a quadratic interpretation of the pair observable \(\sigma_{\mathrm{pair}}\), the next structural question became precise: does there exist a canonical admissible morphism \(\Phi_{q,\rho}: V_q \to V_\rho\), and is its target structure uniquely forced?

The central aim of O27 is: to prove that every admissible morphism necessarily factors through the three-dimensional real Lie algebra \(\mathfrak{su}(2)\), identified with the quaternionic admissible sector.

The paper introduces a formal definition of naturality with respect to admissibility, proves the universality of the admissible quotient, eliminates non-quaternionic candidates, and derives the canonical factorisation \(\Phi_{q,\rho} = \rho \circ \iota \circ \pi\).

This transforms the SU(2) thread from an admissible candidate into a uniquely forced target structure.

Scope statement. This page summarizes the structural contribution of O27: admissibility-based naturality, quotient universality, quaternionic rigidity, canonical factorisation, and the representation-theoretic interpretation of \(\beta^*\).

Main contributions

Interpretation

O27 shifts the status of the SU(2) thread from plausibility to necessity.

The conceptual chain is now explicit: emergence \(\to\) non-injectivity \(\to\) pair structure \(\to\) quadratic form \(\to\) \(\mathfrak{su}(2)\).

Relation to the Cosmochrony programme

O27 follows O26 by moving from quadratic interpretation to rigidity of the admissible representation layer.

The sequence now reads: O16–O19 (pair construction and fibre structure), O20–O23 (persistence, shell locking, threshold, quaternionic minimality), O24 (rank stability), O25 (numerical campaign), O26 (quadratic completion), O27 (quaternionic rigidity of admissible morphisms).

It provides the first theorem showing that the admissible non-abelian target is not selected heuristically, but structurally forced.

Current result and open directions

Reference

Jérôme Beau. Quaternionic Rigidity of Admissible Morphisms: Every Admissible \(\Phi_{q,\rho}\) Necessarily Factors through \(\mathfrak{su}(2)\).