Vue d'ensemble
L'opérateur effectif $L_\mathrm{eff}$ sur le graphe de Heisenberg admissible porte une co-métrique diagonale avec des coefficients $A_H$ (horizontal) et $A_Z$ (central) ; le coefficient temporel $A_\tau$ relève de Q11. Déterminer ces coefficients est le problème central du programme Q5–Q11.
Dans le cadre Q5a gelé, Q8 obtient $A_Z$ sous l'hypothèse non établie [H-F]. Le symbole sous-principal de $L_\mathrm{eff}$ — le terme suivant dans le développement semiclassique — encode la valeur du Casimir de $\mathfrak{su}(2)$. La rigidité de Casimir force alors $A_Z = C_{\mathfrak{su}(2)} = 2$.
Ce résultat n'est pas indépendant de Q7. Le théorème de Q8 suppose la non-obstruction du pont Q7–Q9, et la proposition qui transporte le Casimir vers le secteur spatial vaut sous le pont équivariant de la conjecture 4.7 de Q7. La version 2.0 de Q7 enregistre ce pont comme ni confirmé ni réfuté et son identification comme fournie par aucune source ; l'affirmation sur $A_Z$ de cette page reste donc à réviser.
Contributions principales
- Analyse du symbole sous-principal : le symbole sous-principal de $L_\mathrm{eff}$ est calculé systématiquement. Contrairement au symbole principal, qui détermine les asymptotiques spectrales à l'ordre dominant, le symbole sous-principal capture la correction à l'ordre suivant et encode les données algébriques de la représentation.
- Rigidité de Casimir : l'opérateur de Casimir $C_{\mathfrak{su}(2)}$ agit comme $j(j+1)$ sur le module de spin-$j$, donc comme $2$ sur le module de spin-$1$ $\mathrm{Sym}^2(V_\rho)$ (il vaut $\frac{3}{4}$ sur le porteur de spin-$\frac{1}{2}$, non $2$). La rigidité de Casimir établit que le symbole sous-principal de $L_\mathrm{eff}$ est contraint à égaler cette valeur du Casimir.
- $A_Z = 2$ sous [H-F] : combiner le calcul du symbole sous-principal avec la rigidité de Casimir donne $A_Z = 2$ dans l'hypothèse Q5a gelée [H-F], et sous la non-obstruction du pont, que le théorème suppose mais que ni Q7 ni Q9 n'établissent. À réviser.
- Relation à Q7 : l’argument sur $A_Z$ passe par le pont Q7, dont le théorème de Q8 suppose la non-obstruction. La version 2.0 de Q7 ne détermine ni coefficient ni rapport : elle énonce les exigences auxquelles un pont équivariant devrait satisfaire, sous une hypothèse d’identification que nulle source ne fournit. L’affirmation sur $A_Z$ de cette page reste à réviser dans la même cascade de corrections.
- Lecture co-métrique conditionnelle : sous l'hypothèse indépendante [H-L], $A_Z = 2$ est lu comme l'entrée de direction $z$ de la co-métrique $\mathrm{diag}(-A_\tau, 2, 2, 2)$, la forme que Q8 écrit lui-même, le coefficient temporel $A_\tau$ relevant de Q11 ; cette lecture est à réviser dans la cascade ouverte par la version 2.0 de Q7.
Rigidité de Casimir et contraintes spectrales
Le concept de rigidité de Casimir introduit dans Q8 est un nouveau mécanisme de contrainte spectrale. Le symbole sous-principal d'un opérateur différentiel sur un espace de représentation n'est pas libre — il est contraint par la structure algébrique de la représentation.
Dans le modèle fourni de $L_\mathrm{eff}$, construit sur un porteur de Heisenberg–Schrödinger fini et une action de Weil associée mais distincte, l'opérateur de Casimir $\mathfrak{su}(2)$ apparaît dans le symbole sous-principal. Sa valeur propre sur le module de spin $1$ est $C_{\mathfrak{su}(2)} = 2$, et cette valeur est héritée par le coefficient de co-métrique $A_Z$. Lire la représentation admissible comme ce module est l'identification que la version 2.0 de Q7 enregistre comme fournie par aucune source ; cette étape reste donc à réviser.
Ce mécanisme fournit une nouvelle façon de fixer les coefficients métriques depuis la théorie des représentations, complémentant l'approche par stratification BFS de Q5b. Les deux ne sont pas des confirmations indépendantes : le théorème 5.2 de Q5b met $0$ dans le secteur $z$ et importe $A_Z = 2$ depuis Q8.
Position dans le programme
Q8 fait partie du programme de détermination des coefficients de co-métrique couvrant Q7–Q11 :
- Q7 : exigences pour un pont équivariant ; la version 2.0 ne détermine ni coefficient ni rapport.
- Q8 : sous [H-F] gelée et non établie et sous la non-obstruction du pont, hypothèse que ni Q7 ni Q9 n’établissent, la rigidité de Casimir donne $A_Z = 2$. À réviser.
- Q9 : sous [K] et [R], donne une limite cinétique libre, sans établir [H-lift] ni la non-obstruction du pont.
- Q10–Q11 : affirment le coefficient spatial restant et $A_\tau$ ; à réviser dans la cascade ouverte par la version 2.0 de Q7.
Sous [H-F], $A_Z = 2$ est utilisé par les analyses ultérieures des coefficients. La lecture comme métrique lorentzienne $\mathrm{diag}(-2, 2, 2, 2)$ reste conditionnelle à [H-L] et à l'identification que la version 2.0 de Q7 enregistre comme fournie par aucune source ; les valeurs de cette matrice restent à réviser.
Perspectives ouvertes
- Opérateurs de Casimir supérieurs : si les opérateurs de Casimir supérieurs de $\mathfrak{su}(2)$ ou d'autres algèbres de Lie contraignent les coefficients spatiaux via des arguments de rigidité de Casimir analogues est une question ouverte.
- Symbole sous-principal au-delà du spin-1/2 : l'analyse du symbole sous-principal pour des représentations admissibles de spin supérieur peut donner des contraintes additionnelles.
- Rigidité de Casimir pour les champs de jauge : si les coefficients des champs de jauge dans $A_{g,\mathcal{A}}$ (Q12) satisfont des contraintes de rigidité de Casimir analogues reste à étudier.
Référence
Jérôme Beau. Sub-Principal Symbol of the Effective Operator and Casimir Rigidity of the Central Direction, 2026. doi:10.5281/zenodo.19879909