Heat Kernel and Resurgence

Résumé Technique : Noyau de la Chaleur et Résurgence

Énoncé du Problème
Cet article étudie la structure résurgente de l'expansion asymptotique à temps court du noyau de la chaleur sur une variété riemannienne analytique réelle $(M, g)$. Le problème central est de comprendre comment les propriétés analytiques globales de la série asymptotique divergente (spécifiquement ses singularités de Borel) reflètent la géométrie de l'espace des chemins complexifié. Les auteurs visent à établir une correspondance rigoureuse entre le « côté de la résurgence » (le calcul étranger agissant sur les expansions asymptotiques) et le « côté de Picard–Lefschetz » (la théorie de Morse–Floer sur les espaces de chemins de dimension infinie complexifiés). Plus précisément, ils cherchent à vérifier que les coefficients des opérateurs étrangers, qui relient les expansions asymptotiques associées à différentes branches géodésiques, correspondent aux comptages signés de trajectoires de connexion (instantons) entre les points critiques de la fonctionnelle d'énergie holomorphe.

Méthodologie
Les auteurs emploient une approche duale combinant la théorie de la résurgence analytique et la théorie de Morse–Floer en dimension infinie :

1. Analyse de la Résurgence (Le « Côté de la Résurgence ») :

   • Ils établissent que pour une variété analytique réelle, les coefficients de l'expansion du noyau de la chaleur à temps court forment une série 1-Gevrey.
   • En utilisant la transformée de Borel–Laplace, ils analysent la continuation analytique de la transformée de Borel du noyau de la chaleur.
   • Ils définissent des « opérateurs étrangers pointés » ($\dot{\Delta}^+_\omega$) qui agissent sur l'expansion asymptotique formelle associée à une géodésique réelle minimale. Ces opérateurs extraient la variation locale de la transformée de Borel au voisinage des singularités $\omega$ et la recentrent pour produire des expansions formelles associées à d'autres branches géodésiques holomorphes.
   • Les singularités $\omega$ dans le plan de Borel sont identifiées avec les différences d'énergie complexe (action) entre la géodésique réelle minimale et les autres géodésiques holomorphes dans la complexification $M_\mathbb{C}$.

2. Théorie de Picard–Lefschetz (Le « Côté Géométrique ») :

   • Les auteurs formulent un problème de Picard–Lefschetz en dimension infinie sur l'espace de Sobolev des chemins $P_{a,b}(M_\mathbb{C})$ reliant deux points $a, b \in M$.
   • Ils définissent une fonctionnelle d'énergie holomorphe $E_\mathbb{C}$ sur cet espace. Les points critiques de $E_\mathbb{C}$ correspondent aux géodésiques holomorphes.
   • Ils étudient le flot de gradient descendant de la partie réelle de l'action tordue $\text{Re}(e^{-i\theta}E_\mathbb{C})$.
   • Ils définissent des thimbles de Lefschetz comme les variétés stables de ces points critiques. La « correspondance Picard–Lefschetz/Étranger » postule que le coefficient reliant deux secteurs asymptotiques (via un opérateur étranger) est égal au comptage signé de trajectoires de connexion (solutions de l'équation de flot de Morse) entre les géodésiques critiques correspondantes à une phase de Stokes.

3. Étude de Cas ($H^2_\mathbb{R}$) :

   • Pour tester leur cadre théorique, les auteurs effectuent une analyse détaillée sur le plan hyperbolique $H^2_\mathbb{R}$.
   • Ils calculent explicitement les singularités de Borel et les coefficients étrangers en utilisant la formule exacte du noyau de la chaleur et les équations de la chaleur radiale.
   • Ils résolvent indépendamment les équations de flot de Morse sur l'espace des chemins complexifié pour de petites distances géodésiques $d$, en utilisant des méthodes de perturbation autour du cas $d=0$ (où le problème se réduit au flot de la chaleur sur une sphère $S^2$) et en employant des arguments d'unicité par l'arrière et de non-évasion.

Contributions Clés et Résultats

• Sommabilité de Borel : Le Théorème 2.5 prouve que l'expansion asymptotique du noyau de la chaleur à temps court sur une variété analytique réelle est 1-Gevrey, garantissant l'existence d'une transformée de Borel convergente au voisinage de l'origine.
• Conjecture sur les Singularités : L'article formule et prouve une version de la Conjecture 1.2 (attribuée à Kontsevich), établissant que les singularités de Borel du noyau de la chaleur correspondent précisément aux valeurs critiques relatives de la fonctionnelle d'énergie complexifiée (c'est-à-dire les différences d'action entre les géodésiques holomorphes).
• Correspondance Picard–Lefschetz/Étranger : Les auteurs proposent la Conjecture 1.3 (et 2.36), qui stipule que la dérivée étrangère pointée de l'expansion du noyau de la chaleur associée à une géodésique réelle $\gamma_0$ en une singularité $\omega = E(\gamma_k) - E(\gamma_0)$ produit l'expansion formelle associée à une autre géodésique holomorphe $\gamma_k$, pondérée par un coefficient $N$. Ce coefficient $N$ est prédit être le comptage signé de trajectoires de connexion (lignes de flot de Morse) de $\gamma_k$ vers $\gamma_0$ à la phase de Stokes appropriée.
• Vérification sur le Plan Hyperbolique :
  • Calcul de la Résurgence : Dans la Section 3, les auteurs calculent le coefficient étranger pour la transition de la branche réelle principale vers la première branche holomorphe non triviale sur $H^2_\mathbb{R}$. Ils trouvent que le coefficient est exactement 2.
  • Calcul Géométrique : Dans la Section 4, ils analysent le flot de Morse sur l'espace des chemins complexifié. Pour le cas $d=0$, ils montrent que l'espace de modules des trajectoires de connexion consiste en exactement deux éléments (modulo translation). En utilisant la théorie de la perturbation et des arguments de compacité, ils prouvent que pour un $d > 0$ suffisamment petit, le nombre de trajectoires de connexion reste exactement de 2.
  • Conclusion : Le comptage géométrique (2) correspond au coefficient de la résurgence (2), fournissant une confirmation non triviale de la correspondance proposée pour le plan hyperbolique.

Signification et Revendications
L'article affirme fournir le premier test concret et non trivial de la correspondance Picard–Lefschetz/Étranger dans un cadre de dimension infinie (intégrales de chemin). En reliant la structure algébrique des séries divergentes (résurgence) à la topologie des espaces de chemins complexes (théorie de Morse–Floer), ce travail offre une nouvelle perspective sur la manière dont les données géométriques complexes (invisibles depuis la variété réelle) se manifestent dans le comportement asymptotique du noyau de la chaleur.

Les auteurs soulignent que leurs résultats sur $H^2_\mathbb{R}$ servent de « test de confirmation » de leur proposition. Ils ne prétendent pas avoir prouvé la correspondance pour toutes les variétés, mais établissent plutôt le cadre et démontrent sa validité dans un cas spécifique et analytiquement traitable. Le travail suggère que le phénomène de « l'effet tunnel quantique » dans les asymptotiques du noyau de la chaleur peut être compris comme la contribution des géodésiques complexes, leurs poids étant déterminés par les nombres d'intersection (ou les comptages de trajectoires) dans l'espace des chemins complexifié.