Heat Kernel and Resurgence

Technical Summary: Heat Kernel and Resurgence

Problem Statement
This paper investigates the resurgent structure of the short-time asymptotic expansion of the heat kernel on a real analytic Riemannian manifold $(M, g)$. The central problem is to understand how the global analytic properties of the divergent asymptotic series (specifically its Borel singularities) reflect the geometry of the complexified path space. The authors aim to establish a rigorous correspondence between the "resurgent side" (Alien calculus acting on asymptotic expansions) and the "Picard–Lefschetz side" (Morse–Floer theory on infinite-dimensional complex path spaces). Specifically, they seek to verify that the coefficients of the Alien operators, which relate asymptotic expansions associated with different geodesic branches, correspond to signed counts of connecting trajectories (instantons) between critical points of the holomorphic energy functional.

Methodology
The authors employ a dual approach combining analytic resurgence theory with infinite-dimensional Morse–Floer theory:

1. Resurgent Analysis (The "Resurgent Side"):

   • They establish that for a real analytic manifold, the coefficients of the short-time heat kernel expansion form a 1-Gevrey series.
   • Using the Borel–Laplace transform, they analyze the analytic continuation of the Borel transform of the heat kernel.
   • They define "pointed Alien operators" ($\dot{\Delta}^+_\omega$) which act on the formal asymptotic expansion associated with a minimal real geodesic. These operators extract the local variation of the Borel transform at singularities $\omega$ and re-center it to produce formal expansions associated with other holomorphic geodesic branches.
   • The singularities $\omega$ in the Borel plane are identified with the differences in the complexified energy (action) between the minimal real geodesic and other holomorphic geodesics in the complexification $M_\mathbb{C}$.

2. Picard–Lefschetz Theory (The "Geometric Side"):

   • The authors formulate an infinite-dimensional Picard–Lefschetz problem on the Sobolev path space $P_{a,b}(M_\mathbb{C})$ of paths connecting two points $a, b \in M$.
   • They define a holomorphic energy functional $E_\mathbb{C}$ on this space. Critical points of $E_\mathbb{C}$ correspond to holomorphic geodesics.
   • They study the downward gradient flow of the real part of the twisted action $\text{Re}(e^{-i\theta}E_\mathbb{C})$.
   • They define Lefschetz thimbles as stable manifolds of these critical points. The "Picard–Lefschetz/Alien correspondence" posits that the coefficient relating two asymptotic sectors (via an Alien operator) equals the signed count of connecting trajectories (solutions to the Morse flow equation) between the corresponding critical geodesics at a Stokes phase.

3. Case Study ($H^2_\mathbb{R}$):

   • To test their theoretical framework, the authors perform a detailed analysis on the hyperbolic plane $H^2_\mathbb{R}$.
   • They explicitly compute the Borel singularities and the Alien coefficients using the exact heat kernel formula and radial heat equations.
   • They independently solve the Morse flow equations on the complexified path space for small geodesic distances $d$, utilizing perturbation methods around the $d=0$ case (where the problem reduces to heat flow on a sphere $S^2$) and employing backward uniqueness and no-escape arguments.

Key Contributions and Results

• Borel Summability: Theorem 2.5 proves that the short-time heat kernel asymptotic expansion on a real analytic manifold is 1-Gevrey, ensuring the existence of a convergent Borel transform near the origin.
• Conjecture on Singularities: The paper formulates and proves a version of Conjecture 1.2 (attributed to Kontsevich), establishing that the Borel singularities of the heat kernel correspond precisely to the relative critical values of the complexified energy functional (i.e., the action differences between holomorphic geodesics).
• Picard–Lefschetz/Alien Correspondence: The authors propose Conjecture 1.3 (and 2.36), which states that the pointed Alien derivative of the heat kernel expansion associated with a real geodesic $\gamma_0$ at a singularity $\omega = E(\gamma_k) - E(\gamma_0)$ yields the formal expansion associated with another holomorphic geodesic $\gamma_k$, scaled by a coefficient $N$. This coefficient $N$ is predicted to be the signed count of connecting trajectories (Morse flow lines) from $\gamma_k$ to $\gamma_0$ at the relevant Stokes phase.
• Verification on Hyperbolic Plane:
  • Resurgent Calculation: In Section 3, the authors compute the Alien coefficient for the transition from the principal real branch to the first non-trivial holomorphic branch on $H^2_\mathbb{R}$. They find the coefficient to be exactly 2.
  • Geometric Calculation: In Section 4, they analyze the Morse flow on the complexified path space. For the case $d=0$, they show the moduli space of connecting trajectories consists of exactly two elements (modulo translation). Using perturbation theory and compactness arguments, they prove that for sufficiently small $d > 0$, the number of connecting trajectories remains exactly 2.
  • Conclusion: The geometric count (2) matches the resurgent coefficient (2), providing a non-trivial confirmation of the proposed correspondence for the hyperbolic plane.

Significance and Claims
The paper claims to provide the first concrete, non-trivial test of the Picard–Lefschetz/Alien correspondence in an infinite-dimensional setting (path integrals). By linking the algebraic structure of divergent series (resurgence) to the topology of complex path spaces (Morse–Floer theory), the work offers a new perspective on how complex geometric data (invisible from the real manifold) manifests in the asymptotic behavior of the heat kernel.

The authors emphasize that their results on $H^2_\mathbb{R}$ serve as a "confirming test" of their proposal. They do not claim to have proven the correspondence for all manifolds but rather establish the framework and demonstrate its validity in a specific, analytically tractable case. The work suggests that the "quantum tunneling" phenomenon in heat kernel asymptotics can be understood as the contribution of complex geodesics, with their weights determined by the intersection numbers (or trajectory counts) in the complexified path space.