Spectral asymmetry via pseudodifferential projections: the massless Dirac operator

Résumé Technique : Asymétrie Spectrale via les Projections Pseudodifférentielles pour l'Opérateur de Dirac Sans Masse

Énoncé du Problème
L'article traite de l'étude de l'asymétrie spectrale pour des systèmes d'équations aux dérivées partielles (EDP) sur des variétés riemanniennes de dimension 3, fermées, connexes et orientées. Il se concentre spécifiquement sur l'opérateur de Dirac sans masse (également appelé opérateur de Weyl), noté $W$. Bien que l'asymétrie spectrale soit traditionnellement quantifiée par l'invariant $\eta$ — un nombre global ou une fonction locale dérivée de la fonction zêta spectrale — les auteurs visent à appliquer une approche plus récente, de nature opératoire. Cette approche cherche à encoder l'information d'asymétrie dans un opérateur pseudodifférentiel d'ordre négatif, appelé « opérateur d'asymétrie », construit à partir de projections spectrales. Le défi central consiste à calculer le symbole principal de cet opérateur pour le cas de Dirac sans masse, en tenant compte de l'invariance de jauge et des propriétés géométriques spécifiques de la variété, et à démontrer qu'une trace régularisée peut être définie pour produire des invariants géométriques.

Méthodologie
Les auteurs emploient le cadre du calcul pseudodifférentiel développé dans leurs travaux précédents [9, 10]. La méthodologie procède selon les étapes suivantes :

1. Projections Spectrales : L'opérateur de Dirac sans masse $W$ est auto-adjoint et elliptique avec un spectre discret accumulant vers $\pm \infty$. Les auteurs définissent les projections spectrales positives ($P_+$) et négatives ($P_-$) basées sur les valeurs propres de $W$. Ce sont des opérateurs pseudodifférentiels d'ordre zéro.
2. Construction de l'Opérateur d'Asymétrie : L'opérateur d'asymétrie $A$ est défini comme la trace matricielle de la différence entre ces projections : $A := \text{tr}(P_+ - P_-)$. Bien que $P_+ - P_-$ ne soit pas de classe trace, l'opération de trace matricielle produit un opérateur $A$ d'ordre négatif.
3. Calcul Symbolique et Cancellations : Le cœur de l'analyse repose sur la construction explicite des symboles complets de $P_\pm$ en utilisant un algorithme itératif (basé sur [8]). Les auteurs calculent les symboles principaux des composantes de l'expansion asymptotique de $A$. Un aspect critique de la méthodologie est l'exploitation des annulations qui se produisent lors du passage à la trace matricielle.
4. Invariance de Jauge et Calage (Framing) : L'opérateur de Dirac dépend d'un choix de calage global. Les auteurs analysent le comportement de l'opérateur sous les transformations de jauge (rotations du calage). Ils démontrent que, bien que les calculs intermédiaires dépendent du calage, les invariants spectraux ne le font pas. Pour simplifier les calculs, ils fixent un « calage de Levi-Civita » généré par le transport parallèle dans des coordonnées normales géodésiques centrées en un point $z$. Dans ce cadre spécifique, la torsion de la connexion de Weitzenböck associée s'annule en $z$, simplifiant ainsi l'expansion symbolique.
5. Trace Régularisée : Puisque l'opérateur d'asymétrie résultant est d'ordre $-1$ (contrairement à l'ordre $-3$ trouvé pour l'opérateur de rotation/curl dans des études précédentes), il n'est pas immédiatement de classe trace. Les auteurs définissent une « trace locale régularisée » en isolant la partie continue du noyau de Schwartz de $A$ le long de la diagonale ($x=y$).

Contributions Clés et Résultats
L'article fournit des calculs explicites pour l'opérateur de Dirac sans masse sur une variété de dimension 3, donnant les principaux résultats suivants :

• Annulation des Termes d'Ordre Inférieur : Les auteurs prouvent que le symbole principal de l'opérateur d'asymétrie $A$ associé au calage de Levi-Civita s'annule pour les ordres $j=0, -1, -2$. Spécifiquement, les termes $a_0, a_{-1},$ et $a_{-2}$ de l'expansion asymptotique du symbole sont nuls au centre du voisinage géodésique.
• Calcul du Symbole Principal : Le premier terme non nul est le symbole principal d'ordre $-3$, noté $a_{-3}(z, \xi)$. Les auteurs le calculent explicitement comme suit :
  $$\tilde{a}_{-3}(z, \xi) = -\frac{1}{12} \frac{E_{\alpha\beta\gamma}(z) \nabla_\alpha \text{Ric}_{\beta\rho}(z) \xi^\gamma \xi^\rho}{|\xi|^5}$$
  où $E_{\alpha\beta\gamma}$ est le tenseur de Levi-Civita, $\text{Ric}$ est le tenseur de Ricci, et $\nabla$ est la dérivée covariante. Ce résultat établit que l'opérateur d'asymétrie est d'ordre $-3$ dans le cadre de Levi-Civita, malgré un ordre de $-1$ dans un cadre générique.
• Décomposition du Noyau : L'article dérive le noyau intégral local de l'opérateur d'asymétrie, montrant qu'il peut être décomposé en une partie singulière (dépendante de la distance entre les points et de la courbure) et une partie continue.
• Invariants Géométriques : Sur la base de la décomposition du noyau, les auteurs définissent une trace locale régularisée $\psi_{\text{Dir}}^{\text{loc}}(x)$ et une trace globale $\psi_{\text{Dir}}$. Ils prouvent que la trace locale est une fonction scalaire bien définie, indépendante du choix de coordonnées locales, constituant ainsi un invariant géométrique décrivant l'asymétrie spectrale.

Signification et Revendications
L'article positionne ces résultats comme une extension de l'approche « directe » de l'asymétrie spectrale proposée dans [9, 10] au cas physiquement significatif de l'opérateur de Dirac sans masse.

• Comparaison avec le Curl : Les auteurs notent que la structure du symbole principal pour l'opérateur de Dirac est identique à celle de l'opérateur de rotation (curl) (à un facteur 6 près), renforçant l'universalité de la méthode à travers différents systèmes non semi-bornés.
• Pertinence Physique : L'étude est motivée par des applications en physique des hautes énergies (théorie de Chern–Simons) et en physique de la matière condensée (phases topologiques, semimétaux de Weyl), où l'invariant $\eta$ est une quantité cruciale.
• Conjecture sur les Invariants $\eta$ : Les auteurs conjecturent que leurs traces régularisées nouvellement définies coïncident avec les invariants $\eta$ classiques locaux et globaux évalués en $s=0$ (c'est-à-dire $\psi_{\text{Dir}}^{\text{loc}}(x) = \eta_{\text{Dir}}^{\text{loc}}(0; x)$). Cependant, ils précisent explicitement qu'une preuve complète de cette correspondance dépasse le cadre du présent travail et est réservée à des recherches futures.
• Modestie des Revendications : L'article ne prétend pas avoir résolu entièrement le problème de l'asymétrie spectrale, mais fournit la machinerie de calcul nécessaire (le symbole principal et la définition de la trace régularisée) pour le faire. Il souligne que cette approche produit un « opérateur défini invariamment » qui encode plus d'informations que l'invariant $\eta$ seul, offrant un outil potentiellement plus accessible pour la communauté mathématique appliquée.