Vue d'ensemble
Cet article a tenté de dériver le groupe de Heisenberg depuis les contraintes d'admissibilité sur la projection $\Pi$. Sa formalisation de non-factorisabilité reste une proposition structurelle, mais le théorème de sélection du porteur n'est pas établi.
Le mécanisme clé est la non-factorisabilité. Les contraintes d'admissibilité sur $\Pi$ ne peuvent pas s'exprimer comme un produit de contraintes indépendantes sur des sous-systèmes — elles sont irréductiblement globales. Cela peut motiver la non-commutativité, mais n'implique ni un commutateur central ni un groupe nilpotent de classe deux.
Le contre-modèle fini $S_3$ possède un porteur unitaire fidèle irréductible et une paire génératrice minimale échangée par une involution, mais son commutateur non trivial n'est pas central. Ni $\mathrm{Heis}_3$ ni $[X,P]=i\hbar$ ne découlent des prémisses publiées.
Argument audité
- Formalisation de non-factorisabilité : proposition selon laquelle les contraintes d'admissibilité sur la projection $\Pi$ ne peuvent pas s'exprimer comme un produit de contraintes indépendantes sur des sous-systèmes.
- Générateurs non commutatifs : voie structurelle vers un commutateur non trivial dans la formalisation du papier.
- Étape de centralité invalide : un commutateur non trivial est promu en commutateur central sans implication valide. Le contre-modèle $S_3$ réfute cette étape.
- Étape de Schur inversée : l'irréductibilité contraint les opérateurs centraux ; elle ne rend pas un commutateur arbitraire central et ne prouve pas son ordre premier.
- Aboutissement conditionnel : après avoir fourni un groupe de Heisenberg fini et un caractère central non trivial, Stone–von Neumann identifie le porteur.
La non-factorisabilité comme principe structurel
Dans le cadre Cosmochronie, la projection $\Pi$ du substrat $\chi$ vers l'espace observable $\mathcal{O}$ est non injective. Les contraintes d'admissibilité sont les conditions qu'une configuration relationnelle doit satisfaire pour être cohérente avec une projection valide.
La question de la factorisabilité est : ces contraintes peuvent-elles être décomposées en conditions indépendantes sur des sous-systèmes séparés ? Un ensemble de contraintes factorisable serait compatible avec une structure de groupe abélienne — les degrés de liberté relationnels seraient indépendants.
Cet article propose que les contraintes d'admissibilité sont non-factorisables : les contraintes sur les degrés de liberté de type position et de type impulsion sont couplées à travers la phase. Cela peut motiver une structure non abélienne, mais la minimalité invoquée ne sélectionne pas $\mathrm{Heis}_3$.
La relation d'incertitude est donc conditionnelle à un porteur de Heisenberg fourni. La non-commutativité seule ne détermine ni sa constante centrale ni sa représentation.
Relation avec le programme Cosmochronie
Cet article documente la tentative de justification structurelle du porteur de Heisenberg. Les calculs des séries O et Q qui l'utilisent restent mathématiquement significatifs, mais leur porteur est une réalisation fournie.
Le théorème de convergence de Mosco de Q5a (et sa complétion par H2) décrit comment la représentation de Weil discrète sur $\mathrm{Heis}_3(\mathbb{Z}/q\mathbb{Z})$ converge vers la représentation de Schrödinger du $\mathrm{Heis}_3$ continu. Le présent article n'explique pas pourquoi $\mathrm{Heis}_3$ est sélectionné en premier lieu : ce pont reste ouvert.
La correction est locale : elle change le statut de l'arête de sélection du porteur, non celui de tout théorème démontré une fois ce porteur fourni.
Références
Jérôme Beau. Non-Factorisability and the Emergence of Heisenberg Structure from Admissibility Constraints. Preprint. doi:10.5281/zenodo.19635395
Contre-modèle et correction de statut : doi:10.5281/zenodo.21710123