pith. sign in

arxiv: 2606.18689 · v1 · pith:YLYGBSZWnew · submitted 2026-06-17 · 🧮 math.CV

Semi-classical heat kernel asymptotics on complex manifolds with boundary

Chin-Yu Hsiao , George Marinescu , Weixia Zhu This is my paper

Pith reviewed 2026-06-26 19:05 UTC · model grok-4.3

classification 🧮 math.CV
keywords heat kernel asymptoticssemi-classical analysiscomplex manifolds with boundarybar partial-Neumann Laplacianholomorphic Morse inequalitiesWeyl lawcondition Z(q)
0
0 comments X

The pith

Under condition Z(q), the heat kernel of the bar partial-Neumann Laplacian on (0,q)-forms with values in L^k admits a semi-classical asymptotic expansion near the boundary as k tends to infinity.

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

The authors prove that on a complex manifold with boundary, under the condition Z(q), the heat kernel of the bar partial-Neumann Laplacian acting on (0,q)-forms valued in high powers of a line bundle admits a specific asymptotic expansion near the boundary when the semiclassical parameter k becomes large. This work extends previous results by Bismut that applied to closed manifolds without boundary. The asymptotics are then used to give a heat kernel proof of holomorphic Morse inequalities and to obtain a semiclassical version of the Weyl law.

Core claim

The paper claims that the semi-classical asymptotic behavior of the heat kernel e^{-(t/k) □_k^q} near the boundary X is established as k to infinity, assuming Z(q) holds. This extends Bismut's seminal work to the case of manifolds with boundary. As applications, a heat kernel-based proof of the holomorphic Morse inequalities and a semi-classical Weyl law are derived.

What carries the argument

The boundary parametrix for the semi-classical heat kernel of the bar partial-Neumann Laplacian on (0,q)-forms.

If this is right

  • A heat kernel proof of the holomorphic Morse inequalities becomes available for complex manifolds with boundary.
  • A semi-classical Weyl law counting eigenvalues of the bar partial-Neumann Laplacian follows directly from the expansion.
  • The local boundary asymptotics control the contribution of the boundary to global spectral invariants as k grows.
  • The same expansion technique applies to the study of the spectrum in the presence of a boundary for related operators.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The boundary expansion may supply local models useful for gluing constructions in index theory on manifolds with boundary.
  • Similar semi-classical expansions could be tested on non-Kähler complex manifolds where Z(q) still holds.
  • The Weyl law derived here might be compared numerically with eigenvalue counts on explicit bounded domains in low dimensions.

Load-bearing premise

Condition Z(q) holds on the manifold with boundary.

What would settle it

Explicit computation of the heat kernel on a model domain such as the unit ball in complex space satisfying Z(q), followed by direct comparison of its large-k expansion near the boundary against the claimed asymptotic form.

read the original abstract

Let $M$ be a relatively compact open subset of a complex manifold $M'$ with smooth boundary $X$ and let $L$ be a holomorphic line bundle over $M'$. Assuming that condition $Z(q)$ holds, we establish the semi-classical asymptotic behavior of $e^{-\frac{t}{k}\Box^{q}_k}$ near the boundary $X$ as $k\to\infty$, where $\Box^{q}_k$ is the $\bar{\partial}$-Neumann Laplacian acting on $(0,q)$-forms on $M$ with values in $L^k$. Our results extend the seminal work of Bismut to complex manifolds with boundary. As applications of our results, we provide a heat kernel-based proof of the holomorphic Morse inequalities for complex manifolds with boundary and derive a semi-classical Weyl law for the $\bar{\partial}$-Neumann Laplacian.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Circularity Check

0 steps flagged

No circularity; self-contained analytic derivation under external hypothesis

full rationale

The central claim is the semi-classical asymptotic expansion of the heat kernel e^{-(t/k)□_k^q} near the boundary, conditional on the standing hypothesis that condition Z(q) holds. This hypothesis is invoked to make the ar{ar{ heta}}-Neumann Laplacian well-defined and is not derived within the paper. The work explicitly extends Bismut's prior closed-manifold results via analytic methods; no self-citations, fitted parameters renamed as predictions, or ansatzes smuggled through citations appear in the stated derivation chain. The applications (Morse inequalities, Weyl law) are presented as direct consequences of the independent asymptotic analysis rather than reductions to inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only view shows reliance on the standard domain assumption Z(q); no free parameters, invented entities, or ad-hoc constants are mentioned.

axioms (1)
  • domain assumption condition Z(q) holds
    Standing hypothesis required for the ar{ar{ heta}}-Neumann Laplacian to satisfy the necessary estimates near the boundary.

pith-pipeline@v0.9.1-grok · 5679 in / 1217 out tokens · 25516 ms · 2026-06-26T19:05:01.087884+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

55 extracted references · 30 canonical work pages

  1. [1]

    and Henkin, Gennadi M

    Epstein, Charles L. and Henkin, Gennadi M. , TITLE =. Acta Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/BF02392810 , URL =

    work page doi:10.1007/bf02392810 2000

  2. [2]

    Lempert, L\'aszl\'o , TITLE =. Invent. Math. , FJOURNAL =. 1995 , NUMBER =. doi:10.1007/BF01884302 , URL =

    work page doi:10.1007/bf01884302 1995

  3. [3]

    Lempert, L\'aszl\'o , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 1992 , NUMBER =. doi:10.2307/2152715 , URL =

    work page doi:10.2307/2152715 1992

  4. [4]

    , TITLE =

    Epstein, Charles L. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1998 , NUMBER =. doi:10.2307/120982 , URL =

    work page doi:10.2307/120982 1998

  5. [5]

    Lempert, L\'aszl\'o , TITLE =. Math. Ann. , FJOURNAL =. 1994 , NUMBER =. doi:10.1007/BF01450472 , URL =

    work page doi:10.1007/bf01450472 1994

  6. [6]

    Schneider, Michael , TITLE =. Abh. Math. Sem. Univ. Hamburg , FJOURNAL =. 1978 , PAGES =. doi:10.1007/BF02941359 , URL =

    work page doi:10.1007/bf02941359 1978

  7. [7]

    Col. On the. Math. Ann. , FJOURNAL =. 1998 , NUMBER =. doi:10.1007/s002080050160 , URL =

    work page doi:10.1007/s002080050160 1998

  8. [8]

    and Tomassini, G

    Andreotti, A. and Tomassini, G. , TITLE =. Compositio Math. , FJOURNAL =. 1969 , PAGES =

    1969

  9. [9]

    2022 , note =

    Hsiao, Chin-Yu and Li, Xiaoshan and Marinescu, George , title =. 2022 , note =

    2022

  10. [10]

    Existence of holomorphic sections and perturbation of positive line bundles over

    Marinescu, George , date-added =. Existence of holomorphic sections and perturbation of positive line bundles over. Bull. Inst. Math. Acad. Sin. (N.S.) , mrclass =. 2016 , bdsk-url-1 =. doi:10.21915/BIMAS.2016304 , fjournal =

    work page doi:10.21915/bimas.2016304 2016

  11. [11]

    A vanishing theorem for semipositive line bundles over non-

    Siu, Yum Tong , date-added =. A vanishing theorem for semipositive line bundles over non-. J. Differential Geom. , mrclass =. 1984 , bdsk-url-1 =

    1984

  12. [12]

    , booktitle =

    Rossi, H. , booktitle =. Attaching analytic spaces to an analytic space along a pseudoconcave boundary , year =

  13. [13]

    , year =

    H. Acta Math. , FJOURNAL =. 1965 , PAGES =. doi:10.1007/BF02391775 , URL =

    work page doi:10.1007/bf02391775 1965

  14. [14]

    Marinescu, George , journal =

  15. [15]

    Bingxiao Liu and George Marinescu and Huan Wang , journal =. Nakano-. 2025 , url=. 2506.00879 , archivePrefix=

    arXiv 2025

  16. [16]

    Projective embedding of pseudoconcave spaces , volume =

    Andreotti, Aldo and Siu, Yum-Tong , date-added =. Projective embedding of pseudoconcave spaces , volume =. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) , mrclass =

  17. [17]

    Bouche, Thierry , date-added =. In\'. Ann. Sci. \'. 1989 , bdsk-url-1 =

    1989

  18. [18]

    Andreotti, Aldo and Grauert, Hans , date-added =. Th\'. Bull. Soc. Math. France , mrclass =. 1962 , bdsk-url-1 =

    1962

  19. [19]

    2004 , PAGES =

    Berline, Nicole and Getzler, Ezra and Vergne, Mich\`ele , TITLE =. 2004 , PAGES =

    2004

  20. [20]

    and Pleijel,

    Minakshisundaram, S. and Pleijel, . , date-added =. Some properties of the eigenfunctions of the. Canad. J. Math. , mrclass =. 1949 , bdsk-url-1 =. doi:10.4153/cjm-1949-021-5 , fjournal =

    work page doi:10.4153/cjm-1949-021-5 1949

  21. [21]

    Das asymptotische

    Weyl, Hermann , date-added =. Das asymptotische. Math. Ann. , mrclass =. 1912 , bdsk-url-1 =. doi:10.1007/BF01456804 , fjournal =

    work page doi:10.1007/bf01456804 1912

  22. [22]

    2024 , bdsk-url-1 =

    Heat kernel asymptotics for Kodaira Laplacians of high power of line bundle over complex manifolds , url =. 2024 , bdsk-url-1 =. arXiv , author =:2311.02548 , journal =

    arXiv 2024

  23. [23]

    Patodi, V. K. , date-added =. Curvature and the eigenforms of the. J. Differential Geometry , mrclass =. 1971 , bdsk-url-1 =

    1971

  24. [24]

    McKean, Jr., H. P. and Singer, I. M. , date-added =. Curvature and the eigenvalues of the. J. Differential Geometry , mrclass =. 1967 , bdsk-url-1 =

    1967

  25. [25]

    From local index theory to

    Ma, Xiaonan , booktitle =. From local index theory to. 2020 , bdsk-url-1 =

    2020

  26. [26]

    , date-added =

    Gilkey, Peter B. , date-added =. The spectral geometry of a. J. Differential Geometry , mrclass =. 1975 , bdsk-url-1 =

    1975

  27. [27]

    Champs magn\'etiques et in\'egalit\'es de

    Demailly, Jean-Pierre , date-added =. Champs magn\'etiques et in\'egalit\'es de. Ann. Inst. Fourier (Grenoble) , mrclass =. 1985 , bdsk-url-1 =. doi:10.5802/aif.1034 , fjournal =

    work page doi:10.5802/aif.1034 1985

  28. [28]

    Asymptotic results for

    Bouche, Thierry , booktitle =. Asymptotic results for

  29. [29]

    Demailly's asymptotic

    Bismut, Jean-Michel , date-added =. Demailly's asymptotic. J. Funct. Anal. , mrclass =. 1987 , bdsk-url-1 =

    1987

  30. [30]

    Holomorphic

    Berman, Robert , date-added =. Holomorphic. Ann. Inst. Fourier (Grenoble) , mrclass =. 2005 , bdsk-url-1 =

    2005

  31. [31]

    , date-added =

    Beals, Richard and Stanton, Nancy K. , date-added =. The heat equation for the. Canad. J. Math. , mrclass =. 1988 , bdsk-url-1 =

    1988

  32. [32]

    , date-added =

    Beals, Richard and Stanton, Nancy K. , date-added =. The heat equation for the. Comm. Partial Differential Equations , mrclass =. 1987 , bdsk-url-1 =

    1987

  33. [33]

    The asymptotics of the

    Bismut, Jean-Michel and Vasserot, \'Eric , date-added =. The asymptotics of the. Comm. Math. Phys. , mrclass =. 1989 , bdsk-url-1 =

    1989

  34. [34]

    and Bott, R

    Atiyah, M. and Bott, R. and Patodi, V. K. , date-added =. On the heat equation and the index theorem , url =. Invent. Math. , mrclass =. 1973 , bdsk-url-1 =. doi:10.1007/BF01425417 , fjournal =

    work page doi:10.1007/bf01425417 1973

  35. [35]

    A note on the instability of embeddings of

    Catlin, David and Lempert, L\'. A note on the instability of embeddings of. J. Geom. Anal. , mrclass =. 1992 , bdsk-url-1 =. doi:10.1007/BF02921383 , fjournal =

    work page doi:10.1007/bf02921383 1992

  36. [36]

    , booktitle =

    Nirenberg, L. , booktitle =. On a problem of

  37. [37]

    Nonrealizable

    Jacobowitz, Howard and Tr\`eves, Fran. Nonrealizable. Invent. Math. , mrclass =. 1982 , bdsk-url-1 =. doi:10.1007/BF01389393 , fjournal =

    work page doi:10.1007/bf01389393 1982

  38. [38]

    Heat kernel asymptotics for

    Hsiao, Chin-Yu and Zhu, Weixia , date-added =. Heat kernel asymptotics for. J. Funct. Anal. , mrclass =. 2023 , bdsk-url-1 =. doi:10.1016/j.jfa.2022.109755 , fjournal =

    work page doi:10.1016/j.jfa.2022.109755 2023

  39. [39]

    The explicit solution of the

    Tie, Jingzhi , date-added =. The explicit solution of the. Canad. J. Math. , mrclass =. 1997 , bdsk-url-1 =. doi:10.4153/CJM-1997-064-4 , fjournal =

    work page doi:10.4153/cjm-1997-064-4 1997

  40. [40]

    , date-added =

    Stanton, Nancy K. , date-added =. The solution of the. Invent. Math. , mrclass =. 1981/82 , bdsk-url-1 =. doi:10.1007/BF01389299 , fjournal =

    work page doi:10.1007/bf01389299 1981

  41. [42]

    , date-added =

    Stanton, Nancy K. , date-added =. The heat equation for the. J. Analyse Math. , mrclass =. 1981 , bdsk-url-1 =. doi:10.1007/BF02803335 , fjournal =

    work page doi:10.1007/bf02803335 1981

  42. [43]

    An analogue of

    Getzler, Ezra , date-added =. An analogue of. J. Differential Geom. , mrclass =. 1989 , bdsk-url-1 =

    1989

  43. [44]

    Holomorphic Morse inequalities and Bergman kernels , url =

    Ma, Xiaonan and Marinescu, George , date-added =. Holomorphic Morse inequalities and Bergman kernels , url =. 2007 , bdsk-url-1 =. doi:10.1007/978-3-7643-8115-8 , isbn =

    work page doi:10.1007/978-3-7643-8115-8 2007

  44. [45]

    Kohn, J. J. , booktitle =. Boundaries of complex manifolds , year =

  45. [46]

    Equivariant

    Hsiao, Chin-Yu and Li, Xiaoshan and Marinescu, George , date-added =. Equivariant. Michigan Math. J. , mrclass =. 2021 , bdsk-url-1 =. doi:10.1307/mmj/1587628815 , fjournal =

    work page doi:10.1307/mmj/1587628815 2021

  46. [47]

    Hsiao, Chin-Yu and Li, Xiaoshan , date-added =. Szeg\". Asian J. Math. , mrclass =. 2018 , bdsk-url-1 =. doi:10.4310/AJM.2018.v22.n3.a2 , fjournal =

    work page doi:10.4310/ajm.2018.v22.n3.a2 2018

  47. [48]

    Hsiao, Chin-Yu and Marinescu, George , date-added =. Szeg\". Math. Z. , mrclass =. 2012 , bdsk-url-1 =. doi:10.1007/s00209-011-0875-x , fjournal =

    work page doi:10.1007/s00209-011-0875-x 2012

  48. [49]

    Herrmann, Hendrik and Hsiao, Chin-Yu and Li, Xiaoshan , date-added =. Szeg\". Math. Res. Lett. , mrclass =. 2022 , bdsk-url-1 =. doi:10.4310/mrl.2022.v29.n1.a6 , fjournal =

    work page doi:10.4310/mrl.2022.v29.n1.a6 2022

  49. [50]

    Folland, G. B. and Kohn, J. J. , date-added =. The

  50. [51]

    Holomorphic

    Demailly, Jean-Pierre , booktitle =. Holomorphic. 1991 , bdsk-url-1 =. doi:10.4310/pamq.2011.v7.n4.a6 , mrclass =

    work page doi:10.4310/pamq.2011.v7.n4.a6 1991

  51. [52]

    Davies, E. B. , date-added =. Spectral theory and differential operators , url =. 1995 , bdsk-url-1 =. doi:10.1017/CBO9780511623721 , isbn =

    work page doi:10.1017/cbo9780511623721 1995

  52. [53]

    Partial differential equations in several complex variables , url =

    Chen, So-Chin and Shaw, Mei-Chi , date-added =. Partial differential equations in several complex variables , url =. 2001 , bdsk-url-1 =. doi:10.1090/amsip/019 , isbn =

    work page doi:10.1090/amsip/019 2001

  53. [54]

    Demailly's asymptotic

    Bismut, Jean-Michel , date-added =. Demailly's asymptotic. J. Funct. Anal. , mrclass =. 1987 , bdsk-url-1 =. doi:10.1016/0022-1236(87)90089-9 , fjournal =

    work page doi:10.1016/0022-1236(87)90089-9 1987

  54. [55]

    Baouendi, M. S. and Rothschild, Linda Preiss and Tr\`eves, F. , date-added =. C. Invent. Math. , mrclass =. 1985 , bdsk-url-1 =. doi:10.1007/BF01388808 , fjournal =

    work page doi:10.1007/bf01388808 1985

  55. [56]

    Hsiao, Chin-Yu and Marinescu, George and Wang, Huan , date-added =. Szeg\". J. Geom. Anal. , mrclass =. 2022 , bdsk-url-1 =. doi:10.1007/s12220-022-00990-4 , fjournal =

    work page doi:10.1007/s12220-022-00990-4 2022