Pith. sign in

REVIEW 55 references

Semi-classical heat kernel asymptotics on complex manifolds with boundary

T0 review · reviewed 2026-06-26 · grok-4.3

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

Pith's one-line read 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.

desk verdict This paper extends Bismut's semi-classical heat kernel asymptotics to the boundary setting for the ar{\partial}-Neumann Laplacian under condition Z(q). read the letter →

arxiv 2606.18689 v1 pith:YLYGBSZW submitted 2026-06-17 math.CV

Chin-Yu Hsiao , George Marinescu , Weixia Zhu This is my paper · ORCID
classification math.CV
keywords heatkernelasymptoticssemi-classicalanalysiscomplexmanifoldswithboundarybarpartial-NeumannLaplacianholomorphicMorseinequalitiesWeyllawconditionZ(q)
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 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.

What carries the argument

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

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.

Watch

Extended reading notes

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.

Load-bearing premise

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

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Request a human review

A listed scientist reviews the paper for a fee and the review publishes here regardless of verdict. See the reviewers or get listed.

Editorial analysis

A structured set of objections, weighed in public.

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

Circularity Check

0 steps flagged · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 1 assumptions · 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.

assumptions (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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Semi-classical heat kernel asymptotics on complex manifolds with boundary." pith.science (2026). https://pith.science/paper/YLYGBSZW

@misc{pith2026260618689,
  author       = {Pith},
  title        = {Pith review of: Semi-classical heat kernel asymptotics on complex manifolds with boundary},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YLYGBSZW}},
  note         = {Machine review of arXiv:2606.18689}
}
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

55 extracted references · 32 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

Show all 55 references
  1. [9]

    2022 , note =

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

    2022

  2. [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 =

    2016 doi

  3. [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

  4. [12]

    , booktitle =

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

  5. [13]

    Acta Math

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

    1965 doi

  6. [14]

    Marinescu, George , journal =

  7. [15]

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

    2025

  8. [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 =

  9. [17]

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

    1989

  10. [18]

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

    1962

  11. [19]

    2004 , PAGES =

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

    2004

  12. [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 =

    1949 doi

  13. [21]

    Das asymptotische

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

    1912 doi

  14. [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 =

    2024

  15. [23]

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

    1971

  16. [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

  17. [25]

    From local index theory to

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

    2020

  18. [26]

    , date-added =

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

    1975

  19. [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 =

    1985 doi

  20. [28]

    Asymptotic results for

    Bouche, Thierry , booktitle =. Asymptotic results for

  21. [29]

    Demailly's asymptotic

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

    1987

  22. [30]

    Holomorphic

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

    2005

  23. [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

  24. [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

  25. [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

  26. [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 =

    1973 doi

  27. [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 =

    1992 doi

  28. [36]

    , booktitle =

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

  29. [37]

    Nonrealizable

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

    1982 doi

  30. [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 =

    2023 doi

  31. [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 =

    1997 doi

  32. [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 =

    1981 doi

  33. [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 =

    1981 doi

  34. [43]

    An analogue of

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

    1989

  35. [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 =

    2007 doi

  36. [45]

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

  37. [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 =

    2021 doi

  38. [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 =

    2018 doi

  39. [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 =

    2012 doi

  40. [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 =

    2022 doi

  41. [50]

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

  42. [51]

    Holomorphic

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

    1991 doi

  43. [52]

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

    1995 doi

  44. [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 =

    2001 doi

  45. [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 =

    1987 doi

  46. [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 =

    1985 doi

  47. [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 =

    2022 doi

Pith tools

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