Graph integrals, Feynman periods, and single-valued multiple zeta values

Résumé technique : Intégrales de graphes, périodes de Feynman et valeurs zeta multiples mono-valuées

Énoncé du problème
Ce travail traite de l'évaluation des « intégrales canoniques » associées aux graphes, qui apparaissent dans l'étude de la cohomologie stable du groupe linéaire général $GL_n$ et des complexes de graphes. Plus précisément, pour un graphe $G$ possédant $n+1$ sommets et $2n$ arêtes (satisfaisant $E=2V-2$), l'intégrale canonique $I_{can}(G)$ est définie par l'intégration d'une forme différentielle invariante primitive sur un simplexe de coordonnées positives. Bien que ces intégrales soient connues pour être finies et liées aux périodes de Feynman, la nature spécifique des nombres qu'elles évaluent est restée une question ouverte. L'article cherche à déterminer la nature arithmétique de ces valeurs et leur relation avec d'autres classes connues de périodes, particulièrement dans le contexte de la quantification de la déformation et du groupe de Grothendieck-Teichmüller.

Méthodologie
La contribution méthodologique centrale est l'établissement d'une égalité entre deux familles distinctes d'intégrales associées à un graphe $G$ :

1. Intégrales canoniques ($I_{can}$) : Définies via l'intégration sur l'espace des paramètres d'arêtes (un simplexe), en utilisant la matrice Laplacienne du graphe.
2. Intégrales RW ($I_{RW}$) : Définies via l'intégration sur l'espace de configuration des positions des sommets dans le plan complexe $\mathbb{C}$, modulo translation, rotation et mise à l'échelle. Ces intégrales impliquent des logarithmes et des formes différentielles de type $d\log(|z|^2)$.

Pour prouver l'égalité $I_{RW}(G) = I_{can}(G)$, l'auteur construit une intégrale auxiliaire $I_{aux}$ définie sur le produit de l'espace de configuration et du simplexe de paramètres. La preuve procède par l'évaluation de cette intégrale auxiliaire selon deux ordres différents :

• En intégrant d'abord sur le simplexe : En utilisant une paramétrisation de Feynman régularisée (inversant l'astuce de Schwinger standard) et en traitant les termes divergents via des contre-termes, l'intégrale se réduit à l'intégrale RW.
• En intégrant d'abord sur l'espace de configuration : En effectuant une intégration gaussienne complexe, en complétant le carré et en appliquant des opérateurs différentiels, l'intégrale se réduit à une expression impliquant la matrice du graphe et ses mineurs.

Une étape cruciale est une identité combinatoire (Théorème 7.1) qui identifie l'expression déterminant-permanant résultant de l'intégration gaussienne avec la formule de trace définissant la forme canonique $\beta_{2n-1}$. La preuve traite rigoureusement les problèmes de convergence en introduisant des paramètres de troncature ($\epsilon$) et en utilisant des théorèmes de convergence dominée.

Contributions clés et résultats

1. Égalité des intégrales (Théorème 1.1) : L'article prouve que pour tout graphe $G$ avec $n+1$ sommets et $2n$ arêtes (où $n$ est impair), l'intégrale canonique est égale à l'intégrale RW :
   $$I_{can}(G) = I_{RW}(G)$$
   Ceci établit un pont entre la représentation par l'espace de paramètres (canonique) et la représentation par l'espace de position (RW) de ces intégrales de graphes.

2. Évaluation vers des valeurs zeta multiples mono-valuées (Proposition 1.3) : En analysant la structure des intégrales RW, l'auteur démontre que ces intégrales s'évaluent en valeurs zeta multiples mono-valuées (MZV mono-valuées) de poids $n$. Spécifiquement, $I_{can}(G) \in \mathbb{Z}^{sv}_n$. Cela fournit une explication analytique à la « chute de poids » observée dans les intégrales canoniques, où le poids de Hodge est inférieur à la borne générique de $4n-6$ attendue pour les périodes de Feynman.

3. Génération de MZV mono-valuées (Proposition 1.5 & Théorème 1.8) : L'article montre que l'algèbre des MZV mono-valuées, $\mathbb{Z}^{sv}$, est générée comme $\mathbb{Q}$-algèbre par les intégrales RW de tous ces graphes. Par conséquent, chaque MZV mono-valuée peut être réalisée comme une combinaison linéaire rationnelle de périodes de Feynman de graphes avec des propagateurs sans masse. Cela implique l'inclusion $\mathbb{Z}^{sv} \subseteq \mathcal{P}_{Feyn}$.

4. Implications cohomologiques (Corollaire 1.11) : Dans le contexte du complexe de graphes pair $\mathcal{GC}_2$, les intégrales RW et canoniques définissent des cocycles de degré zéro. L'égalité des intégrales implique que ces deux cocycles coïncident. De plus, ces cocycles descendent vers le complexe quotient $\mathcal{GC}^{tri}_2$ (graphes modulo les coupures à deux sommets), définissant des classes de cohomologie non triviales.

5. Formules explicites (Théorème 7.1 & Proposition 1.13) : La preuve produit de nouvelles formules explicites plus efficaces pour les formes canoniques et les intégrales RW.

   • La forme canonique $\beta_{2n-1}$ est exprimée avec un dénominateur de $\Psi^n$ (où $\Psi$ est le premier polynôme de Symanzik), rendant compte d'environ deux tiers des annulations attendues, améliorant ainsi les formules de trace précédentes.
   • La formule de l'intégrale RW est simplifiée par la suppression de la somme sur les arêtes distinguées, réduisant la complexité computationnelle.

Signification
L'article affirme que sa principale importance réside dans l'unification de deux approches auparavant distinctes des intégrales de graphes (espace de paramètres vs espace de position) et la résolution de la nature arithmétique des intégrales canoniques. En prouvant que ces intégrales sont des valeurs zeta multiples mono-valuées, ce travail connecte la cohomologie stable de $GL_n$ et l'homologie des graphes directement à l'arithmétique des MZV.

De plus, le résultat que $\mathbb{Z}^{sv} \subseteq \mathcal{P}_{Feyn}$ fournit une borne inférieure sur l'espace des périodes de Feynman, confirmant que toutes les MZV mono-valuées apparaissent dans le contexte des intégrales de Feynman sans masse. L'identification des cocycles RW et canoniques dans le complexe de graphes résout une question concernant la cohérence de ces classes de cohomologie, qui sont centrales pour la quantification de la déformation et l'étude du groupe de Grothendieck-Teichmüller. Le travail offre également des avantages computationnels pratiques en fournissant des formules simplifiées pour ces intégrales, qui sont notoirement difficiles à calculer explicitement.