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/spatial) et $A_Z$ (central/temporel). Déterminer ces coefficients est le problème central du programme Q5–Q11.
Q8 résout le coefficient $A_Z$ indépendamment et inconditionnellement (sous Q5a). 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$.
Crucialement, ce résultat est indépendant du problème du pont spatial étudié dans Q7. Le coefficient central est déterminé par la structure algébrique de la représentation, et non par l'interaction entre les trois coefficients horizontaux.
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)}$ a la valeur propre unique 2 sur la représentation de spin-$\frac{1}{2}$ (la représentation admissible). La rigidité de Casimir établit que le symbole sous-principal de $L_\mathrm{eff}$ est contraint à égaler cette valeur du Casimir.
- $A_Z = 2$ inconditionnellement : combiner le calcul du symbole sous-principal avec la rigidité de Casimir donne $A_Z = 2$ sans hypothèses additionnelles au-delà de Q5a. C'est un résultat entièrement inconditionnel dans le cadre de Q5a.
- Indépendance de Q7 : la détermination de $A_Z$ est logiquement indépendante du problème du pont spatial (Q7) qui détermine les rapports entre $A_{H_1}$, $A_{H_2}$, $A_{H_3}$. Q8 et Q7 traitent des aspects complémentaires de la même co-métrique.
- Entrée pour la co-métrique temporelle : $A_Z = 2$ est le coefficient de co-métrique temporelle dans la métrique lorentzienne $\mathrm{diag}(-A_Z, A_{H_1}, A_{H_2}, A_{H_3})$. Combiné avec les coefficients spatiaux de Q10–Q11, cela donne la métrique complète.
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 cas de $L_\mathrm{eff}$ sur la représentation de Weil du groupe de Heisenberg, l'opérateur de Casimir $\mathfrak{su}(2)$ apparaît dans le symbole sous-principal. La valeur propre de ce Casimir sur la représentation admissible est $C_{\mathfrak{su}(2)} = 2$, et cette valeur est héritée par le coefficient de co-métrique $A_Z$.
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 méthodes concordent sur $A_Z = 2$.
Position dans le programme
Q8 fait partie du programme de détermination des coefficients de co-métrique couvrant Q7–Q11 :
- Q7 : problème du pont spatial — rapports entre $A_{H_1}$, $A_{H_2}$, $A_{H_3}$.
- Q8 : coefficient central — $A_Z = 2$ inconditionnellement via la rigidité de Casimir.
- Q9 : prouve [H-lift], établissant $A_H > 0$ inconditionnellement.
- Q10–Q11 : complètent la détermination des coefficients spatiaux et identifient $A_\tau$.
Le résultat $A_Z = 2$ alimente directement Q9, Q10 et Q11, où il est utilisé comme entrée pour la métrique lorentzienne complète. La valeur $A_Z = 2$ est également cohérente avec la métrique lorentzienne $\mathrm{diag}(-2, 2, 2, 2)$ dérivée dans Q5b.
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