Vue d'ensemble
La condition de pont telle que l'énonçait Q7 version 1.3 exigeait deux identifications d'isotropie asymptotique : $A_Z = 2$ (affirmé par Q8) et $A_H = 2$ (objet de Q10). La version 2.0 de Q7 ne lit plus aucune des deux comme réglant sa conjecture de pont. La seconde identification porte sur la forme quadratique effective sur l'espace admissible mesuré $H_\mathrm{eff}$ de la représentation de Heisenberg–Weil.
Q10 prouve que, sous l'universalité spectrale [U] (elle-même démontrée par U1), l'indépendance par rapport aux caractères dans la limite grand-$q$ force l'isotropie su(2) de la forme quadratique effective. L'unique forme quadratique su(2)-isotrope non dégénérée sur le module irréductible tridimensionnel $\mathrm{Sym}^2(V_\rho)$ est le Casimir $\langle \cdot, \cdot \rangle_{\mathrm{Cas}}$, qui y vaut 2 ; sur le porteur bidimensionnel de spin $\frac{1}{2}$ il vaut $\frac{3}{4}$.
Combiné à Q8 ($A_Z = 2$) et U1 (démonstration de [U]), Q10 donne $A_H = A_Z = 2$. La version 2.0 de Q7 ne retient plus cette lecture comme fermant sa condition de pont et retire le support numérique dont ces valeurs dépendent ; cette page reste à réviser.
Contributions principales
- L'indépendance aux caractères force l'isotropie : la forme quadratique effective sur $H_\mathrm{eff}$ est indépendante du caractère dans la limite grand-$q$, ce qui, sous [U], force l'équivariance su(2).
- Unicité de la forme su(2)-isotrope : sur le module irréductible tridimensionnel $\mathrm{Sym}^2(V_\rho)$ de su(2), l'unique forme quadratique non dégénérée su(2)-invariante est le Casimir $\langle \cdot, \cdot \rangle_{\mathrm{Cas}}$, de valeur propre 2 sur ce module.
- Affirmation $A_H = 2$ : combinant l'argument d'isotropie su(2) avec l'unicité du Casimir, le coefficient horizontal se lit $A_H = 2$, à réviser, égalant le coefficient vertical $A_Z = 2$ de Q8.
- Relation à la condition de pont Q7 : avec $A_H = A_Z = 2$, la condition d'isotropie asymptotique énoncée par Q7 version 1.3 serait satisfaite. La version 2.0 de Q7 ne retient plus cette lecture : elle enregistre sa conjecture de pont comme ni confirmée ni réfutée et retire le support numérique dont ces valeurs dépendent. Cette page reste à réviser dans la même cascade de corrections.
Rôle dans la chaîne d'isotropie asymptotique
Le pont Q7 relierait les données d'admissibilité aux coefficients géométriques émergents, et exigerait en entrée l'égalité $A_H = A_Z$. La version 2.0 de Q7 énonce les exigences auxquelles une telle liaison devrait satisfaire et n'en établit rien. Les papiers Q8 et Q10 fournissent cette entrée par deux voies présentées comme indépendantes, que la version 2.0 de Q7 enregistre comme circulaires ; les deux arguments sont :
- Q8 : affirme $A_Z = 2$, à réviser, via la contrainte d'admissibilité centrale sur le degré de liberté vertical (central).
- Q10 : affirme $A_H = 2$, à réviser, via l'isotropie su(2) de la forme effective horizontale sous universalité.
L'accord $A_H = A_Z = 2$ était présenté comme dérivé d'arguments structurels indépendants. La version 2.0 de Q7 enregistre ce support comme circulaire plutôt qu'indépendant : le scalaire y était fixé en appariant une valeur elle-même obtenue en y insérant la première.
Position dans le programme
Q10 est un nœud clé dans la chaîne de dérivation menant de l'admissibilité spectrale à l'identification de la co-métrique lorentzienne effective. Son résultat alimente Q11, qui affirme le coefficient temporel $A_\tau = 2$ et en lit la co-métrique de Minkowski complète $g^{\mu\nu} \propto \eta^{\mu\nu}$. Cette lecture dépend de l'identification que la version 2.0 de Q7 enregistre comme fournie par aucune source, et reste à réviser.
La chaîne complète par laquelle la métrique émerge se lit : Q5a → Q5b → Q7 → Q8 → Q9 → Q10 → U1 → W1 → H2 → Q11.
Référence
Jérôme Beau. Asymptotic su(2)-Isotropy of the Effective Quadratic Form and the Identification A_H = 2, 2026. doi:10.5281/zenodo.19880900