Heat Kernel and Resurgence

Si Li; Xinxing Tang; Yong Li

REVIEW 2 major objections 1 minor 45 references

Heat Kernel and Resurgence

T0 review · 2 major / 1 minor · reviewed 2026-06-26 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The heat kernel on real analytic manifolds has a resurgent structure in which alien operators generate formal sectors for holomorphic geodesics from the real geodesic expansion.

desk verdict The paper proposes a heat-kernel version of the alien correspondence via an infinite-dimensional Morse-Floer problem on complexified path space, with a test on H^2, but the general claim rests on unverified analytic control in that setting. read the letter →

arxiv 2606.21909 v1 pith:ZA2IFHUP submitted 2026-06-20 math-ph hep-thmath.CVmath.DGmath.MP

Si Li , Yong Li , Xinxing Tang This is my paper · ORCID

classification math-phhep-thmath.CVmath.DGmath.MP

keywords heatkernelresurgencePicard-LefschetztheoryalienoperatorsMorseflowholomorphicgeodesicsasymptoticexpansionBoreltransform

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper shows that the short-time heat kernel on a real analytic Riemannian manifold has a 1-Gevrey asymptotic expansion. Its Borel transform is claimed to capture geometric data from complexified geodesics beyond the real sector. The authors set up an infinite-dimensional Picard-Lefschetz problem of Morse-Floer type for the holomorphic energy functional on the complexified path space. They propose that pointed alien operators applied to the real geodesic expansion produce the other formal sectors, with coefficients equal to signed counts of connecting Morse flow trajectories. A confirming calculation is performed on the hyperbolic plane.

What carries the argument

the pointed alien operators of the proposed heat-kernel analogue of the Picard-Lefschetz/Alien correspondence, which map the real-geodesic asymptotic expansion to sectors for other holomorphic geodesics using signed Morse-flow trajectory counts

What would settle it

An explicit computation on the hyperbolic plane H^2 in which the coefficients produced by the alien operators fail to equal the signed counts of Morse flow trajectories would falsify the proposed correspondence.

Watch

Extended reading notes

Core claim

We formulate an infinite-dimensional Picard-Lefschetz problem of Morse-Floer type for the holomorphic energy functional on the complexified path space, and propose a heat-kernel analogue of the Picard-Lefschetz/Alien correspondence. In this framework, pointed alien operators acting on the asymptotic expansion associated with the real geodesic are predicted to produce the formal heat-kernel sectors associated with other holomorphic geodesics, with coefficients given by signed counts of connecting trajectories of the Morse flow.

Load-bearing premise

The Borel transform of the 1-Gevrey small-time heat kernel expansion detects complex-geometric data beyond the real geodesic sector.

Editorial extensions

If this is right

The 1-Gevrey expansion's Borel transform detects complex-geometric data from holomorphic geodesics.
An infinite-dimensional Morse-Floer type Picard-Lefschetz problem can be posed for the holomorphic energy functional.
Pointed alien operators generate the formal sectors for other geodesics with coefficients from signed trajectory counts.
The correspondence holds at least in the test case of the hyperbolic plane.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If the correspondence holds, resurgence methods could extract contributions from complex paths in geometric path integrals without direct summation.
The framework might extend to other short-time expansions, such as those for the wave kernel or spectral determinants.
Signed counts of Morse trajectories could provide a new way to organize multi-instanton effects in complex geometry.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The main takeaway is that Li, Li, and Tang outline a framework linking short-time heat kernel asymptotics to resurgence through an infinite-dimensional Picard-Lefschetz problem of Morse-Floer type. They assert a 1-Gevrey expansion whose Borel transform sees complex geodesics, then predict that pointed alien operators on the real sector recover other sectors with coefficients from signed Morse trajectory counts. A check is done on H^2.

What is new is the concrete formulation of this alien correspondence for the heat kernel and the translation of the holomorphic energy functional into that infinite-dimensional Morse setup. The connection between geometric analysis on the path space and resurgence methods has not appeared in this form before, and the H^2 calculation supplies at least one explicit case where the sectors match as expected.

The soft spots sit in the analytic foundations. The infinite-dimensional Morse-Floer problem on the complexified path space inherits the usual difficulties with Palais-Smale condition, compactness of connecting orbits, and the definition of signed counts. The paper does not appear to supply new arguments that resolve these for general real-analytic manifolds. The H^2 test works because the geodesics are explicit and the flow can be integrated directly, so it confirms the prediction only in a case where the general theory is not really needed. That leaves the correspondence as a plausible but still conjectural statement outside the symmetric example.

The work is aimed at people already comfortable with both resurgence and geometric analysis who want to see how the two might interact on heat kernels. A reader looking for fresh asymptotic tools in mathematical physics could extract the proposal and the H^2 check, though they would need to supply the missing compactness and transversality details themselves.

It is worth sending to referees. The idea is substantive enough and the test concrete enough that a serious review could clarify whether the framework can be made rigorous or whether it stays limited to special cases.

Referee Report

2 major / 1 minor

Summary. The manuscript studies the resurgent structure of short-time heat kernel asymptotics on real analytic Riemannian manifolds from the viewpoint of Picard-Lefschetz theory. It establishes that the heat kernel admits a 1-Gevrey small-time expansion whose Borel transform detects complex-geometric data beyond the real geodesic sector. The authors formulate an infinite-dimensional Picard-Lefschetz problem of Morse-Floer type for the holomorphic energy functional on the complexified path space and propose a heat-kernel analogue of the Picard-Lefschetz/Alien correspondence: pointed alien operators acting on the real-geodesic asymptotic expansion are predicted to generate the formal sectors associated with other holomorphic geodesics, with coefficients given by signed counts of Morse-flow connecting trajectories. A confirming test of the proposal is carried out on the hyperbolic plane H².

Significance. If the proposed correspondence can be placed on a rigorous footing that extends beyond highly symmetric cases, the work would furnish a concrete bridge between resurgence theory, alien calculus, and infinite-dimensional Morse-Floer theory applied to geometric analysis. The explicit 1-Gevrey property, the Borel-transform detection of complex data, and the H² verification constitute the concrete strengths of the manuscript.

major comments (2)

[Abstract and the section formulating the infinite-dimensional problem] The central claim rests on the formulation of an infinite-dimensional Picard-Lefschetz/Morse-Floer problem for the holomorphic energy on the complexified path space, yet the manuscript does not address the standard analytic obstructions (failure of Palais-Smale, absence of a priori compactness for connecting orbits, necessity of virtual fundamental classes). This issue is load-bearing because the H² test exploits explicitly integrable geodesics where the Morse flow can be solved by hand rather than by the general theory.
[The confirming test on H²] The confirming test on H² is presented as verification of the alien correspondence, but the high symmetry and explicit solvability of H² make it insufficient to substantiate the general prediction; a load-bearing gap remains between the special-case verification and the claimed infinite-dimensional framework.

minor comments (1)

The term 'pointed alien operators' is introduced without a self-contained definition or pointer to the relevant alien-calculus literature; a short clarifying sentence would improve readability.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for the detailed and constructive report. The comments correctly identify that our manuscript proposes a conjectural infinite-dimensional framework rather than establishing its full analytic foundations, and that the H² example is a special-case illustration. We address each point below and indicate the revisions we will make to clarify scope and limitations.

read point-by-point responses

Referee: [Abstract and the section formulating the infinite-dimensional problem] The central claim rests on the formulation of an infinite-dimensional Picard-Lefschetz/Morse-Floer problem for the holomorphic energy on the complexified path space, yet the manuscript does not address the standard analytic obstructions (failure of Palais-Smale, absence of a priori compactness for connecting orbits, necessity of virtual fundamental classes). This issue is load-bearing because the H² test exploits explicitly integrable geodesics where the Morse flow can be solved by hand rather than by the general theory.

Authors: We agree that the manuscript does not resolve the analytic obstructions to a rigorous infinite-dimensional Morse-Floer theory (Palais-Smale failure, lack of compactness, virtual classes). Our formulation is presented as a proposal for such a problem, modeled on the finite-dimensional Picard-Lefschetz correspondence, with the H² calculation serving as an explicit verification where the flow equations are integrable by hand. We will revise the abstract and the relevant section to state explicitly that the general analytic foundations remain open and that the proposal is conjectural pending further work on these issues. revision: partial
Referee: [The confirming test on H²] The confirming test on H² is presented as verification of the alien correspondence, but the high symmetry and explicit solvability of H² make it insufficient to substantiate the general prediction; a load-bearing gap remains between the special-case verification and the claimed infinite-dimensional framework.

Authors: We accept that the H² test, while confirming the proposed alien correspondence in an explicitly solvable case, does not constitute a general substantiation due to the manifold's symmetry. The manuscript already describes the calculation as a 'confirming test' rather than a proof. To address the concern we will add a paragraph clarifying the illustrative role of this example, its dependence on integrability, and the gap to the general infinite-dimensional setting. revision: partial

standing simulated objections not resolved

Establishing the analytic foundations (Palais-Smale, compactness, virtual fundamental classes) for the proposed infinite-dimensional Morse-Floer problem on the complexified path space lies beyond the scope of the present work.

Circularity Check

0 steps flagged · score 0.0 of 10

Proposed correspondence and H^2 test show no reduction to inputs by construction

full rationale

The manuscript proposes a new infinite-dimensional Picard-Lefschetz/Morse-Floer setup for the holomorphic energy functional and states a predicted alien correspondence whose coefficients are signed trajectory counts. It then reports a confirming test on H^2. No equations or self-citations are shown that define the predicted sectors or coefficients in terms of the real-geodesic input, no fitted parameters are relabeled as predictions, and the central claim is not justified solely by prior work of the same authors. The derivation chain therefore remains self-contained against external benchmarks.

Assumptions & free parameters 0 free parameters · 2 assumptions · 1 invented entities

Ledger extracted from abstract statements only; full text unavailable so many background assumptions from resurgence theory and complex geometry remain implicit.

assumptions (2)

domain assumption A real analytic Riemannian manifold admits a 1-Gevrey small-time heat kernel expansion whose Borel transform detects complex-geometric data
Stated directly as the object of study in the abstract.
domain assumption Picard-Lefschetz theory extends to an infinite-dimensional Morse-Floer problem on the holomorphic energy functional over the complexified path space
Formulated as the central technical setup in the abstract.

invented entities (1)

pointed alien operators
purpose: Operators that map the real-geodesic asymptotic sector to holomorphic geodesic sectors
Introduced as part of the proposed heat-kernel analogue of the Picard-Lefschetz/Alien correspondence.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Heat Kernel and Resurgence." pith.science (2026). https://pith.science/paper/ZA2IFHUP

@misc{pith2026260621909,
  author       = {Pith},
  title        = {Pith review of: Heat Kernel and Resurgence},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZA2IFHUP}},
  note         = {Machine review of arXiv:2606.21909}
}

abstract

We study the resurgent structure of short-time heat kernel asymptotics from the viewpoint of Picard-Lefschetz theory. For a real analytic Riemannian manifold, we show the heat kernel admits a 1-Gevrey small-time expansion whose Borel transform detects complex-geometric data beyond the real geodesic sector. We formulate an infinite-dimensional Picard-Lefschetz problem of Morse-Floer type for the holomorphic energy functional on the complexified path space, and propose a heat-kernel analogue of the Picard-Lefschetz/Alien correspondence. In this framework, pointed alien operators acting on the asymptotic expansion associated with the real geodesic are predicted to produce the formal heat-kernel sectors associated with other holomorphic geodesics, with coefficients given by signed counts of connecting trajectories of the Morse flow. We perform a confirming test of this proposal on the hyperbolic plane $H^2$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

45 extracted references · 4 canonical work pages

[1]

D. N. Akhiezer and S. G. Gindikin.On Stein extensions of real symmetric spaces. Math. Ann. 286 (1990), No. 1-3, 1-12

1990
[2]

Azad.Levi-curvature of manifolds with a Stein rational fibration

H. Azad.Levi-curvature of manifolds with a Stein rational fibration. Manuscr. Math. 50 (1985), 269-311

1985
[3]

Balser.From Divergent Power Series to Analytic Functions: Theory and Application of Multisummable Power Series

W. Balser.From Divergent Power Series to Analytic Functions: Theory and Application of Multisummable Power Series. Lecture Notes in Mathematics, Vol. 1582, Springer-Verlag, Berlin–Heidelberg, 1994

1994
[4]

Biswas and S

I. Biswas and S. Dumitrescu.Holomorphic Riemannian metric and the fundamental group, Bulletin de la Soci ´et´e Math´ematique de France147(2019), no.3, 455–468

2019
[5]

Bleistein and R

N. Bleistein and R. A. Handelsman,Asymptotic Expansions of Integrals. Dover Publications, 1986

1986
[6]

Costin.Asymptotics and Borel Summability

O. Costin.Asymptotics and Borel Summability. Monographs and Surveys in Pure and Applied Mathematics, Vol. 141, Chap- man & Hall/CRC, Boca Raton, FL, 2008

2008
[7]

Costin, H

O. Costin, H. Park and Y. Takei.Borel summability of the heat equation with variable coefficients. J. Differential Equations 252 (2012), no. 4, 3076–3092

2012
[8]

G. V . Dunne.Borel Summation and Analytic Continuation of the Heat Kernel on Hyperbolic Space. InPeter Suranyi Festschrift: A Life in Quantum Field Theory, pp. 167–189, World Scientific, 2022

2022

Show all 45 references

[9]

´Ecalle,Les fonctions r´ esurgentes

J. ´Ecalle,Les fonctions r´ esurgentes. Tome I: Les alg` ebres de fonctions r´ esurgentes, Publications Math´ematiques d’Orsay, 81-05, Universit´e de Paris-Sud, D´epartement de Math´ematique, Orsay, 1981

1981
[10]

´Ecalle,Les fonctions r´ esurgentes

J. ´Ecalle,Les fonctions r´ esurgentes. Tome II: Les fonctions r´ esurgentes appliqu´ ees ` a l’it´ eration, Publications Math´ematiques d’Orsay, 81-06, Universit´e de Paris-Sud, D´epartement de Math´ematique, Orsay, 1981

1981
[11]

´Ecalle,Les fonctions r´ esurgentes

J. ´Ecalle,Les fonctions r´ esurgentes. Tome III: L’´ equation du pont et la classification analytique des objets locaux, Publications Math´ematiques d’Orsay, 85-05, Universit´e de Paris-Sud, D´epartement de Math´ematique, Orsay, 1985

1985
[12]

Eells, Jr

J. Eells, Jr. and J. H. Sampson.Harmonic mappings of Riemannian manifolds. Amer. J. Math. 86 (1964), No. 1, 109–160

1964
[13]

Grauert.On Levi’s problem and the imbedding of real-analytic manifolds

H. Grauert.On Levi’s problem and the imbedding of real-analytic manifolds. Ann. Math. 68 (1958), 460-472

1958
[14]

Guillemin and M

V . Guillemin and M. Stenzel.Grauert tubes and the homogeneous Monge-Amp´ ere equation. J. Differential Geom. 34 (1991), no.2, 561-570. 72 SI LI, YONG LI, AND XINXING TANG

1991
[15]

R. S. Hamilton.Harmonic maps of manifolds with boundary. Lecture Notes in Mathematics, Vol. 471. Springer-Verlag, Berlin– New York, 1975

1975
[16]

Harg ´e.Borel summation of the small time expansion of the heat kernel

T. Harg ´e.Borel summation of the small time expansion of the heat kernel. The scalar potential case.. arXiv:1301.7742, 2013

2013 arXiv
[17]

Harg ´e.Borel summation of the small time expansion of the heat kernel with a vector potential

T. Harg ´e.Borel summation of the small time expansion of the heat kernel with a vector potential. arXiv:1302.0604, 2013

2013 arXiv
[18]

Henry.Geometric Theory of Semilinear Parabolic Equations

D. Henry.Geometric Theory of Semilinear Parabolic Equations. Lecture Notes in Mathematics, Vol. 840. Springer-Verlag, Berlin–New York, 1981

1981
[19]

Hilgert and K.-H

J. Hilgert and K.-H. Neeb.Structure and Geometry of Lie Groups. Springer Monographs in Mathematics. Springer, New York, 2012

2012
[20]

Hochschild.The Structure of Lie Groups

G. Hochschild.The Structure of Lie Groups. Holden-Day, San Francisco, 1965

1965
[21]

Hochschild.Complexification of real analytic groups

G. Hochschild.Complexification of real analytic groups. Trans. Amer. Math. Soc. 125 (1966), no. 3, 406–413

1966
[22]

Huckleberry and D

A. Huckleberry and D. Snow.A classification of strictly pseudoconcave homogeneous manifold. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 8 (1981), no. 2, 231–255

1981
[23]

Kontsevich.Private discussion, YMSC & BIMSA, 2023

M. Kontsevich.Private discussion, YMSC & BIMSA, 2023

2023
[24]

Kontsevich.Talk Slides: Exponential integrals, Lefschetz thimbles and linear resurgence, 30 June, 2020

M. Kontsevich.Talk Slides: Exponential integrals, Lefschetz thimbles and linear resurgence, 30 June, 2020

2020
[25]

Kontsevich, and Y

M. Kontsevich, and Y. Soibelman.Analyticity and resurgence in wall-crossing formulas.Lett. Math. Phys. 112 (2022), no. 2, Paper No. 32

2022
[26]

Kontsevich, and Y

M. Kontsevich, and Y. Soibelman.Holomorphic Floer theory I: exponential integrals in finite and infinite dimensions.arXiv preprint arXiv:2402.07343 [math.SG], 2024

2024
[27]

R. S. Kulkarni.On complexifications of differentiable manifolds. Invent. Math. 44 (1978), 49–64

1978
[28]

Lempert.Complex structures on the tangent bundle of Riemannian manifolds

L. Lempert.Complex structures on the tangent bundle of Riemannian manifolds. InComplex Analysis and Geometry, The Univer- sity Series in Mathematics, Springer/Plenum, 1993, pp. 235–251

1993
[29]

Lempert and R

L. Lempert and R. Sz ¨oke.Global solutions of the homogeneous complex Monge-Amp´ ere equation and complex structures on the tangent bundle of Riemannian manifolds. Math. Ann. 290 (1991), no.4, 689–712

1991
[30]

S. Li, Y. Li, and X. Tang,Picard–Lefschetz Theory and Alien Calculus: A Case Study, arXiv:2605.08867v1 [math-ph], 2026

2026 arXiv
[31]

Lin.Exponential dichotomies and homoclinic orbits in functional differential equations

X.-B. Lin.Exponential dichotomies and homoclinic orbits in functional differential equations. J. Differential Equations 63 (1986), no. 2, 227–254

1986
[32]

Lions and B

J.-L. Lions and B. Malgrange.Sur l’unicit´ e r´ etrograde dans les probl` emes mixtes paraboliques. Math. Scand. 8 (1960), 277–286

1960
[33]

D. A. Lutz, M. Miyake and R. Sch ¨afke.On the Borel summability of divergent solutions of the heat equation. Nagoya Math. J. 154 (1999), 1–29

1999
[34]

Mitschi and D

C. Mitschi and D. Sauzin,Divergent Series, Summability and Resurgence I: Monodromy and Resurgence, Lecture Notes in Mathematics, Vol. 2153, Springer, Cham, 2016

2016
[35]

Morimoto and T

A. Morimoto and T. Nagano.On pseudo-conformal transformations of hypersurfaces. J. Math. Soc. Japan 15 (1963), no.3, 289- 300

1963
[36]

Neeb.Holomorphy and Convexity in Lie Theory

K.-H. Neeb.Holomorphy and Convexity in Lie Theory. de Gruyter Expositions in Mathematics, Vol. 28. Walter de Gruyter, Berlin, 2000

2000
[37]

Patrizio and P-M

G. Patrizio and P-M. Wong.Stein manifolds with compact symmetric center. Math. Ann. 289 (1991), no. 3, 355–382

1991
[38]

Peterhof, B

D. Peterhof, B. Sandstede and A. Scheel.Exponential dichotomies for solitary-wave solutions of semilinear elliptic equations on infinite cylinders. J. Differential Equations 140 (1997), no. 2, 266–308

1997
[39]

Pham,Vanishing homologies and the n variable saddlepoint method

F. Pham,Vanishing homologies and the n variable saddlepoint method. In Singularities, Part 2 (Arcata, Calif., 1981), Proc. Sympos. Pure Math., Vol. 40, Amer. Math. Soc., 1983, pp. 319–333

1981
[40]

Sauzin.Resurgent functions and splitting problems

D. Sauzin.Resurgent functions and splitting problems. RIMS K ˆoky ˆuroku1493(2006), 48–117

2006
[41]

Schnaubelt.Sufficient conditions for exponential stability and dichotomy of evolution equations

R. Schnaubelt.Sufficient conditions for exponential stability and dichotomy of evolution equations. Forum Math. 11 (1999), no. 5, 543–566

1999
[42]

Sz ¨oke.Complex structures on tangent bundles of Riemannian manifolds

R. Sz ¨oke.Complex structures on tangent bundles of Riemannian manifolds. Math. Ann. 291 (1991), no. 3, 409–428

1991
[43]

Whitney and F

H. Whitney and F. Bruhat.Quelques propri´ et´ es fondamentales des ensembles analytiques-r´ eels. Comment. Math. Helv. 33 (1959) 132-160

1959
[44]

Witten.A new look at the path integral of quantum mechanics

E. Witten.A new look at the path integral of quantum mechanics. InSurveys in Differential Geometry. Volume XV . Perspectives in Mathematics and Physics, Int. Press, Somerville, MA, 2011, 345–419

2011
[45]

Wu,Resurgence theory on the heat kernel of Riemann surfaces

Y. Wu,Resurgence theory on the heat kernel of Riemann surfaces. Undegraduate thesis (2024), Qiuzhen college, Tsinghua University

2024

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.

[1] [1]

D. N. Akhiezer and S. G. Gindikin.On Stein extensions of real symmetric spaces. Math. Ann. 286 (1990), No. 1-3, 1-12

1990

[2] [2]

Azad.Levi-curvature of manifolds with a Stein rational fibration

H. Azad.Levi-curvature of manifolds with a Stein rational fibration. Manuscr. Math. 50 (1985), 269-311

1985

[3] [3]

Balser.From Divergent Power Series to Analytic Functions: Theory and Application of Multisummable Power Series

W. Balser.From Divergent Power Series to Analytic Functions: Theory and Application of Multisummable Power Series. Lecture Notes in Mathematics, Vol. 1582, Springer-Verlag, Berlin–Heidelberg, 1994

1994

[4] [4]

Biswas and S

I. Biswas and S. Dumitrescu.Holomorphic Riemannian metric and the fundamental group, Bulletin de la Soci ´et´e Math´ematique de France147(2019), no.3, 455–468

2019

[5] [5]

Bleistein and R

N. Bleistein and R. A. Handelsman,Asymptotic Expansions of Integrals. Dover Publications, 1986

1986

[6] [6]

Costin.Asymptotics and Borel Summability

O. Costin.Asymptotics and Borel Summability. Monographs and Surveys in Pure and Applied Mathematics, Vol. 141, Chap- man & Hall/CRC, Boca Raton, FL, 2008

2008

[7] [7]

Costin, H

O. Costin, H. Park and Y. Takei.Borel summability of the heat equation with variable coefficients. J. Differential Equations 252 (2012), no. 4, 3076–3092

2012

[8] [8]

G. V . Dunne.Borel Summation and Analytic Continuation of the Heat Kernel on Hyperbolic Space. InPeter Suranyi Festschrift: A Life in Quantum Field Theory, pp. 167–189, World Scientific, 2022

2022