Vue d'ensemble
L'article Q5b extrait, sous son hypothèse de limite spatiale [H-L] et l'hypothèse de relèvement [H-lift], qui reste ouverte, une co-métrique effective $\mathrm{diag}(-A_\tau, A_H, A_H, 0)$ sur $\mathbb{R}_\tau \times \mathrm{Heis}_3(\mathbb{R})$. Sa case centrale est vide. La compléter en une co-métrique lorentzienne de dimension quatre (problème ouvert Q5b-O2) exigerait un coefficient positif $A_Z$ de $k_Z^2$.
Q8 pose deux questions. Le commutateur de Heisenberg $[X, Y] = Z$ peut-il fournir ce coefficient ? Et si une forme spatiale positive de rang trois est fournie par une autre construction, que fixe la théorie des représentations de $\mathfrak{su}(2)$ sur ses coefficients ?
Contributions principales
- Obstruction de rang : avec $X = \partial_x + \tfrac{y}{2}\partial_z$ et $Y = \partial_y - \tfrac{x}{2}\partial_z$, le sous-laplacien $X^2 + Y^2$ n'a pas de partie d'ordre un, et le symbole principal de $-\Delta_H$ est $(k_X + \tfrac{y}{2}k_Z)^2 + (k_Y - \tfrac{x}{2}k_Z)^2$, de rang deux en tout point. Son coefficient en $k_Z^2$, $(x^2+y^2)/4$, dépend de la position et s'annule à l'identité. Aucun terme d'ordre différentiel inférieur ne change cela.
- Homogénéité : sous les dilatations de Carnot $(x, y, z) \mapsto (rx, ry, r^2 z)$, le sous-laplacien est homogène de degré deux et $Z^2$ de degré quatre. Un opérateur invariant à gauche dont le coefficient central est une constante positive doit contenir un terme $Z^2$.
- L'isotropie sélectionne une échelle de longueur : pour $A_H\,\Delta_H + A_Z\,Z^2$, une dilatation multiplie $A_Z/A_H$ par $r^2$ ; l'égalité $A_H = A_Z$ ne vaut donc qu'à une seule échelle.
- Rigidité sans échelle : si une forme spatiale positive de rang trois est fournie avec les conditions de compatibilité de Q7 et qu'elle est invariante sous toute l'action de $\mathfrak{su}(2)$, le lemme de Schur donne $A_H = A_Z = 2\lambda$ avec $\lambda > 0$ libre. L'invariance par les rotations autour d'un seul axe ne donne aucune relation.
- Le nombre 2 : le Casimir agit comme $2$ sur le module de spin un, mais cela distingue une forme sur un rayon de formes invariantes ; c'est une normalisation, pas un coefficient.
Rigidité de Casimir et échelle
Toute forme hermitienne $\mathfrak{su}(2)$-invariante sur le module de spin un $\mathrm{Sym}^2(V_\rho)$ est un multiple réel d'un produit scalaire invariant. La théorie des représentations fixe donc la structure d'une forme invariante et laisse libre sa taille. La forme de Casimir est le point de ce rayon dont le facteur vaut $2$ pour la normalisation standard des générateurs ; changer l'échelle des générateurs change celle du Casimir.
Une valeur de $A_Z$ exigerait une donnée qui ne relève pas de la théorie des représentations : une échelle dimensionnée de la construction, obtenue indépendamment de $A_H$. Q10 traite une telle échelle comme une entrée explicite ; Q8 et Q10 ensemble ne fixent donc aucune valeur.
Position dans le programme
Q8 fait partie de l'analyse des coefficients de la co-métrique effective dans le sous-programme de géométrie émergente :
- Q5b : convergence de Carnot et co-métrique conditionnelle de rang trois, à case centrale vide.
- Q7 : exigences pour un pont équivariant vers une cible positive de rang trois fournie.
- Q8 : aucun coefficient central issu du commutateur ; rigidité sans échelle d'une forme invariante fournie.
- Q10 : isotropie conditionnelle du rapport des coefficients sous des entrées nommées ; aucune valeur dérivée.
- Q11 : la version 2.0 démontre que l'invariance $\mathrm{SU}(2)$ spatiale laisse $A_\tau$ indépendant des coefficients spatiaux et dérive l'absence de termes mixtes temporels–spatiaux pour un symbole invariant ; aucune valeur de $A_\tau$ n'est établie.
La co-métrique $\mathrm{diag}(-2, 2, 2, 2)$ n'est pas établie ; les articles de la capacité de Lorentz utilisent la forme conditionnelle de Q11 à deux coefficients indépendants, $g = 2\eta$ étant un choix d'unités.
Perspectives ouvertes
- Cible étendue : construire un opérateur ou une forme effective comportant un terme central de degré homogène quatre, et le relier à la géométrie horizontale de Q5b.
- Invariance complète : dériver l'invariance sous tout $\mathfrak{su}(2)$ d'une telle forme, ou montrer qu'elle échoue ; sans elle, aucune relation entre $A_H$ et $A_Z$ ne suit.
- Échelle : identifier l'échelle de longueur que porte un terme central, et une valeur de $A_Z$ obtenue sans référence à $A_H$.
Référence
Jérôme Beau. Toward a Full-Rank Effective Metric: No Central Coefficient from the Heisenberg Commutator, and Scale-Free Casimir Rigidity, 2026. doi:10.5281/zenodo.19879909