Overview
The admissibility constraints on the projection $\Pi$ do not select a finite Heisenberg group. The non-factorisability setup stands as a structural proposal; carrier selection does not follow from it.
The key mechanism is non-factorisability. The admissibility constraints on $\Pi$ cannot be expressed as a product of independent constraints on subsystems — they are irreducibly global. This can motivate non-commutativity, but it does not imply a central commutator or a class-two nilpotent group.
The finite $S_3$ countermodel has a faithful irreducible unitary carrier and a minimal generating pair exchanged by an involution, yet its non-trivial commutator is not central. Therefore neither $\mathrm{Heis}_3$ nor $[X,P]=i\hbar$ follows from the published premises.
Audited argument
- Non-factorisability setup: formalisation in which the admissibility constraints on the projection $\Pi$ cannot be expressed as a product of independent constraints on subsystems.
- Non-commuting generators: a structural route to a non-trivial commutator within the paper's formalisation.
- Failed centrality step: a non-trivial commutator is promoted to a central one without a valid implication. The $S_3$ countermodel refutes this step.
- Reversed Schur step: irreducibility constrains central operators; it does not make an arbitrary commutator central or prove prime central order.
- Conditional endpoint: after supplying a finite Heisenberg group and non-trivial central character, Stone–von Neumann identifies the irreducible Heisenberg/Schrödinger representation $\pi_c$ on $\mathcal H_c$; it does not itself supply the distinct associated Weil action.
Non-factorisability as a structural principle
In the Cosmochrony framework, the projection $\Pi$ from the substrate $\chi$ to the observable space $\mathcal{O}$ is non-injective. The admissibility constraints are the conditions that a relational configuration must satisfy to be consistent with a valid projection.
The factorisability question is: can these constraints be decomposed into independent conditions on separate subsystems? A factorisable set of constraints would be compatible with an Abelian group structure — the relational degrees of freedom would be independent.
This paper proposes that the admissibility constraints are non-factorisable: the constraints on position-like and momentum-like degrees of freedom are coupled through the phase. That proposal can motivate non-Abelian structure, but the minimality claim does not select $\mathrm{Heis}_3$.
Accordingly, the uncertainty relation is conditional on a supplied Heisenberg carrier. Non-commutativity alone does not determine its central constant or representation.
Relation to the Cosmochrony programme
This paper documents the attempted structural justification for the Heisenberg carrier. The O-series and Q-series calculations that use that carrier remain mathematically meaningful, but their carrier is a supplied realization.
Q5a 3.2 studies the canonical Fourier filtration on a supplied finite-Heisenberg carrier and does not derive the former spatial Mosco limit. The present paper proves that the admissibility contract does not explain why $\mathrm{Heis}_3$ is selected in the first place; that bridge remains open.
The correction is local: it changes the status of the carrier-selection edge, not every theorem proved after the carrier has been supplied.
References
Jérôme Beau. A Finite Obstruction to Heisenberg Carrier Selection from Admissibility Constraints. Version 2.1. doi:10.5281/zenodo.19635395