Statut actuel
Q6a définit les charges de jauge comme des fonctionnelles constantes sur les fibres de la projection, et le groupe de jauge comme le groupe des transformations qui préservent ces fibres. Une telle fonctionnelle se factorise par la projection : c’est donc une fonction de l’état observable, et son identification à une charge physique conservée est ouverte. $\mathrm{U}(1)$ est la symétrie de phase résiduelle : les rotations de phase globales agissent comme un scalaire global, qui laisse inchangé tout profil de capacité défini à partir de sous-espaces engendrés. Sur le porteur spinoriel fourni par O23, dont la sélection est ouverte, et sous l’hypothèse de secteur neutre d’O27, le groupe qui agit fidèlement sur ce porteur est $\mathrm{SU}(2)$. C’est un énoncé de cohérence sur un porteur fourni, non une sélection : Q6a n’établit ni l’unicité ni la minimalité de $\mathrm{SU}(2)$. $\mathrm{SU}(3)$ est une hypothèse structurelle dont l’identification est ouverte.
Ce que Q6a établit
- Les charges de jauge comme fonctions constantes sur les fibres de la projection, donc comme fonctions de l’état observable, et le groupe de jauge comme les transformations qui préservent les fibres.
- Le $\mathrm{U}(1)$ de phase résiduel et, sur le porteur fourni, $\mathrm{SU}(2)$ comme groupe qui agit fidèlement sur lui, sans que ce groupe soit sélectionné.
- Les deux hypothèses de continuum, qu’il ne démontre pas, ne déterminent pas de connexion. Sur un groupe de structure, une représentation et une connexion fournis, la connexion engendre le transport parallèle, et l’intensité du champ, sa courbure, mesure la dépendance du transport par rapport au chemin autour des lacets infinitésimaux ; la platitude ne donne une identification des fibres indépendante du chemin que localement. L’action de Yang–Mills est une motivation structurelle, non une dérivation à partir des seuls axiomes ; son unicité est le résultat standard sous une troncature explicite.
- Une interface conditionnelle vers la dynamique : si un groupe compact et une connexion sont fournis, Q12 étudie le terme de Yang–Mills correspondant.
Ce qui est ouvert
Q6a ne détermine aucun groupe de jauge complet. Aucun résultat valide ne sélectionne $\mathrm{SU}(3)$ à partir des triplets de couleur ni ne prouve que trois symétries sectorielles commutent et forment le produit direct du Modèle standard ; les motifs numériques d’O32 ne fournissent pas le théorème d’identification manquant. La sélection du porteur de $\mathrm{SU}(2)$ et l’unicité ou la minimalité de $\mathrm{SU}(2)$ sont ouvertes, comme les deux hypothèses de continuum, la construction d’une connexion à partir d’une structure d’admissibilité, l’identification des charges de jauge à des charges physiques conservées et l’unicité de l’action de Yang–Mills à partir des seuls axiomes.
Perspective interprétative
Une lecture structurelle, non un résultat. La redondance de jauge se lit comme la symétrie d’une fibre que les observables ne résolvent pas. Une quantité constante sur les fibres est une fonction de la sortie observable ; une quantité seulement invariante sous le groupe qui préserve les fibres ne l’est que si ce groupe agit transitivement sur chaque fibre, et non en général. La physique de jauge demande davantage : un groupe qui agit sur la fibre, une règle de comparaison des fibres en des points différents, et une dynamique pour cette règle. Q6a situe l’endroit où chacun interviendrait et n’en dérive aucun de la non-injectivité jointe à une description continue, et pour la connexion il montre que les hypothèses de continuum ne la déterminent pas ; c’est un dictionnaire et une liste des données manquantes, non une dérivation des champs de jauge.
Référence
Jérôme Beau. Toward Gauge Structure from Non-Injective Projection: Fibre-Invariant Charges, a Supplied SU(2) Carrier, and a Conditional Connection.