Upper Bounds for Hessian Matrices of Positive Solutions to Heat Equations on K\"ahler Manifolds

Anqiang Zhu; Wenshuo Zhao

Upper Bounds for Hessian Matrices of Positive Solutions to Heat Equations on K\"ahler Manifolds

T0 review · 0 major / 4 minor · reviewed 2026-07-13 · grok-4.5

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

Pith's one-line read On Kähler manifolds with bisectional curvature bounded below, the Hessian of a positive heat solution is controlled by a universal multiple of (1 + log(A/u))/t.

desk verdict Solid incremental improvement of Hessian upper bounds under weaker curvature; the Kähler cancellation is the real gain and the proofs look clean. read the letter →

arxiv 2607.09034 v1 pith:OMSOL2RA submitted 2026-07-10 math.DG math.SP

Wenshuo Zhao , Anqiang Zhu This is my paper · ORCID

classification math.DGmath.SP MSC 53C5535K0558J35

keywords heatequationHessianestimatelogarithmicboundKählermanifoldbisectionalcurvaturesectionalLi–Yau

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 proves that positive solutions of the heat equation on a Kähler manifold cannot have arbitrarily large second derivatives once the holomorphic bisectional curvature is only bounded from below. Globally, the Hessian matrix of such a solution is at most a universal constant times u(C + Kt)(1 + log(A/u))/t; a local version replaces the 1/t factor by the usual parabolic terms 1/T + 1/R^{2} plus the curvature lower bound. The same style of upper bound is also obtained on ordinary Riemannian manifolds under the weaker hypotheses that sectional curvature is bounded below and the covariant derivative of Ricci is controlled. These estimates improve earlier work that required two-sided curvature bounds, and they remove the need to control the gradient of Ricci in the Kähler setting. A reader who cares about sharp parabolic inequalities on manifolds will see that the classical Li–Yau gradient bound can be upgraded to a full Hessian bound with far milder geometric hypotheses than previously known.

What carries the argument

The auxiliary tensors V = Hess u / (u(1 − f)) and W = du ⊗ du / (u^{2}(1 − f)^{2}) with f = log(u/A), together with the evolution operator L = −∂t + Δ − (f/(1 − f))∇f · ∇ (or its Riemannian analogue). Their combination αV + W is controlled by a maximum-principle argument that absorbs curvature error terms via the Li–Yau differential Harnack inequality.

What would settle it

On a Kähler manifold of constant negative bisectional curvature, exhibit an explicit positive heat solution whose Hessian matrix grows faster than (C + Kt)(1 + log(A/u))/t, or show that the same growth is forced for every such solution.

Watch

Extended reading notes

Core claim

On a Kähler manifold with bisec ≥ −K, every positive solution 0 < u ≤ A of the heat equation satisfies t(ui¯j) ≤ u(C + Kt)(1 + log(A/u)) globally, and a corresponding local bound with an extra (1 + log(A/u)) factor and the usual 1/T + 1/R^{2} terms. The same style of bound holds on Riemannian manifolds under only sec ≥ −K1 and |∇Ric| ≤ K2.

Load-bearing premise

The argument treats the classical Li–Yau gradient estimate (and Hamilton’s matrix gradient estimate on the Riemannian side) as black boxes that hold under only a lower Ricci or sectional bound; if those input estimates fail, the absorption of the curvature error terms collapses.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The punchline is simple: Zhao–Zhu give global and local upper bounds for the Hessian of positive heat solutions under only a lower bisectional bound on Kähler manifolds (no |∇Ric|), and they weaken Han–Zhang’s Riemannian result from two-sided curvature plus |∇Ric| down to sec ≥ −K1 plus |∇Ric| ≤ K2. That is exactly the natural next step after Hamilton, Cao–Ni and Han–Zhang, and they deliver it.

What is new is the upper-bound direction under those weaker hypotheses. Cao–Ni already removed the ∇Ric assumption for lower matrix bounds on Kähler manifolds by curvature symmetries; the authors recycle the same identities (Lemma 3.1) inside the Han–Zhang maximum-principle template for αV + W. The global Kähler statement (Theorem 1.3(a)) is especially clean: t(ui¯j) ≤ u(C + Kt)(1 + log(A/u)). The local versions and the Riemannian improvement are routine but correctly executed. The calculations are written out in detail (eigenvalue comparisons (3.19)–(3.24), (4.9)–(4.15), cutoff estimates), the classical Li–Yau/Hamilton inputs are invoked under precisely the curvature hypotheses that justify them, and there is no circularity or free-parameter fitting.

Soft spots are minor and presentation-level: wrong MSC codes, a placeholder NSF grant number, and the usual constant-tracking that is never machine-checked. The proofs rely on black-box gradient estimates, but those estimates hold under the stated lower bounds, so the absorption steps go through. Nothing load-bearing is broken.

This is for people who work on matrix Harnack inequalities, heat kernels on Kähler manifolds, or Ricci-flow type estimates. It will not change practice outside that circle, but it is a genuine, usable technical advance. I would send it to a serious referee without hesitation; the central claims are supported and the method is standard enough that a referee can check the tensor algebra in a day or two. Worth citing if you need the weaker-curvature statement.

Referee Report

0 major / 4 minor

Summary. The paper establishes global and local upper bounds for the Hessian of positive solutions of the heat equation. On Kähler manifolds with holomorphic bisectional curvature bisec ≥ −K, Theorem 1.3 gives t(ui¯j) ≤ u(C + Kt)(1 + log(A/u)) for 0 < u ≤ A, together with a local version carrying the usual 1/T + 1/R^{2} + K factors and an extra (1 + log(A/u)) power. On Riemannian manifolds the same style of bound is obtained under only sec ≥ −K1 and |∇Ric| ≤ K2 (Theorem 1.1), thereby removing the two-sided curvature and L∞ curvature-operator hypotheses of Han–Zhang. The proofs proceed by a maximum-principle argument on the tensors αV + W (and their cut-off versions), using Kähler curvature symmetries to cancel ∇Ric terms and classical Li–Yau/Hamilton gradient estimates to absorb the remaining curvature errors.

Significance. Upper Hessian bounds for heat solutions are less developed than the classical lower (Li–Yau–Hamilton) bounds. The Kähler result removes the covariant-derivative hypothesis that appears in the Riemannian theory, while the Riemannian improvement weakens the curvature package of Han–Zhang to a pure lower sectional bound plus a bound on |∇Ric|. Both statements are sharp in the model cases of constant curvature and are obtained by a transparent refinement of existing maximum-principle techniques. The work therefore supplies a clean, usable set of estimates for subsequent applications in geometric analysis on Kähler and Riemannian manifolds.

minor comments (4)

In the global Kähler argument the constant α is required to be ≥2 (after (3.9)), yet the final statement of Theorem 1.3(a) absorbs α into a universal C; a one-line remark that any fixed α ≥ 2 works would make the dependence transparent.
The local cut-off estimates (3.26)–(3.28) and (4.18) invoke Laplacian comparison under only a lower Ricci bound; while correct, a brief citation of the precise comparison theorem used would help the reader.
Several typographical slips appear: “HEA T EQUA TIONS”, “K ¨AHLER”, and the MSC codes (Primary 54C40, 14E20) are unrelated to the content. These should be corrected before publication.
In (3.19) and (4.9) the authors note that only an orthogonal-bisectional (resp. sectional) lower bound is needed; this observation is useful and could be elevated to a short remark after each theorem.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: classical maximum-principle Hessian bounds under weaker curvature, with external Li–Yau/Hamilton inputs only.

full rationale

The paper is a pure analytic PDE/geometry estimate. Theorems 1.1 and 1.3 are obtained by evolving the tensors V = (u_ij)/(u(1−f)) and W = (u_i u_j)/(u²(1−f)²) under a parabolic operator L, applying the maximum principle to αV+W−τ/t g (and cut-off versions), and absorbing curvature error terms via Cauchy–Schwarz. The only external load-bearing inputs are classical Li–Yau differential Harnack and Hamilton matrix gradient estimates under lower Ricci/sectional bounds (invoked at (3.20), (3.37), (4.10)–(4.14)); those are independent published results by other authors, not fitted parameters or self-citations. Kähler symmetries cancel ∇Ric terms (Lemma 3.1), which is a genuine structural simplification rather than a definitional tautology. No quantity is defined in terms of the claimed bound, no free parameter is fitted to data, and no uniqueness or ansatz is imported from the present authors’ prior work. The derivation is self-contained once the classical black-box estimates are granted.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper is pure geometric analysis. All curvature lower bounds and the classical differential Harnack estimates are domain assumptions taken from the literature; no free parameters are fitted and no new geometric objects are postulated.

assumptions (4)

domain assumption Li–Yau differential Harnack inequality under Ricci ≥ −C K (or sectional ≥ −K1)
Invoked to control −Δu/u and |∇u|^{2}/u^{2} in (3.20), (3.37), (4.10).
domain assumption Hamilton matrix gradient estimate under sectional curvature bounded below
Used on the Riemannian side to bound |∇u|^{2}/u^{2} by (1/t + C K1) log(A/u) in (4.14).
domain assumption Laplacian comparison theorem under Ricci ≥ −C K
Controls Δρ for the cutoff function in the local estimates (3.28).
standard math Standard Bochner identities and curvature symmetries on Kähler manifolds
Used throughout Lemmas 3.1–3.3 to cancel the ∇Ric terms.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Upper Bounds for Hessian Matrices of Positive Solutions to Heat Equations on K\"ahler Manifolds." pith.science (2026). https://pith.science/paper/OMSOL2RA

@misc{pith2026260709034,
  author       = {Pith},
  title        = {Pith review of: Upper Bounds for Hessian Matrices of Positive Solutions to Heat Equations on K\"ahler Manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OMSOL2RA}},
  note         = {Machine review of arXiv:2607.09034}
}

read the original abstract

We prove global and local upper bounds for the Hessian matrices of positive solutions to the heat equation on K\"ahler manifolds whose bisectional curvature is bounded from below. We also improve a result of Han and Zhang by weakening the curvature assumptions in their Hessian estimates on Riemannian manifolds. More precisely, we extend their global and local upper bounds, originally obtained under two-sided curvature bounds, to Riemannian manifolds with sectional curvature bounded from below.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 19 canonical work pages

[1]

Bailesteanu, Mihai and Cao, Xiaodong and Pulemotov, Artem , TITLE =. J. Funct. Anal. , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.jfa.2009.12.003 , URL =

work page doi:10.1016/j.jfa.2009.12.003 2010
[2]

Baudoin, Fabrice and Garofalo, Nicola , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2017 , NUMBER =. doi:10.4171/JEMS/663 , URL =

work page doi:10.4171/jems/663 2017
[3]

, TITLE =

Cao, Xiaodong and Hamilton, Richard S. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00039-009-0024-4 , URL =

work page doi:10.1007/s00039-009-0024-4 2009
[4]

Chang, Shu-Cheng and Kuo, Ting-Jung and Lai, Sin-Hua , TITLE =. J. Differential Geom. , FJOURNAL =. 2011 , NUMBER =

2011
[5]

Chang, Shu-Cheng and Fan, Yen-Wen and Tie, Jingzhi and Wu, Chin-Tung , TITLE =. Math. Ann. , FJOURNAL =. 2014 , NUMBER =. doi:10.1007/s00208-014-1036-4 , URL =

work page doi:10.1007/s00208-014-1036-4 2014
[6]

Chang, Der-Chen and Chang, Shu-Cheng and Kuo, Ting-Jung and Lai, Sin-Hua , TITLE =. Asian J. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.4310/ajm.2018.v22.n2.a2 , URL =

work page doi:10.4310/ajm.2018.v22.n2.a2 2018
[7]

Bony, Jean-Michel , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 1969 , PAGES =

1969
[8]

Pacific Journal of Math , VOLUME =

Liu Shiping , TITLE =. Pacific Journal of Math , VOLUME =. 2009 , NUMBER =

2009

Show all 32 references

[9]

, TITLE =

Han, Qing and Zhang, Qi S. , TITLE =. J. Geom. Anal. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s12220-015-9569-7 , URL =

2016 doi
[10]

, TITLE =

Souplet, Philippe and Zhang, Qi S. , TITLE =. Bull. London Math. Soc. , FJOURNAL =. 2006 , NUMBER =. doi:10.1112/S0024609306018947 , URL =

2006 doi
[11]

Potential Anal

Qian, Bin , TITLE =. Potential Anal. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s11118-014-9448-z , URL =

2015 doi
[12]

, TITLE =

Lee, John M. , TITLE =. Amer. J. Math. , FJOURNAL =. 1988 , NUMBER =. doi:10.2307/2374543 , URL =

1988 doi
[13]

Acta Math

Li, Peter and Yau, Shing-Tung , TITLE =. Acta Math. , FJOURNAL =. 1986 , NUMBER =. doi:10.1007/BF02399203 , URL =

1986 doi
[14]

Cao, Huai-Dong and Ni, Lei , TITLE =. Math. Ann. , FJOURNAL =. 2005 , NUMBER =. doi:10.1007/s00208-004-0605-3 , URL =

2005 doi
[15]

Ni, Lei and Tam, Luen-Fai , TITLE =. Amer. J. Math. , FJOURNAL =. 2003 , NUMBER =

2003
[16]

, TITLE =

Hamilton, Richard S. , TITLE =. Comm. Anal. Geom. , FJOURNAL =. 1993 , NUMBER =. doi:10.4310/CAG.1993.v1.n1.a6 , URL =

1993 doi
[17]

, TITLE =

Hamilton, Richard S. , TITLE =. J. Differential Geom. , FJOURNAL =. 1993 , NUMBER =

1993
[18]

and Yau, S.-T

Schoen, R. and Yau, S.-T. , TITLE =. 1994 , PAGES =

1994
[19]

2012 , PAGES =

Li, Peter , TITLE =. 2012 , PAGES =. doi:10.1017/CBO9781139105798 , URL =

2012 doi
[20]

and Garofalo, Nicola and Salsa, Sandro , TITLE =

Fabes, Eugene B. and Garofalo, Nicola and Salsa, Sandro , TITLE =. Illinois J. Math. , FJOURNAL =. 1986 , NUMBER =

1986
[21]

, TITLE =

Zhang, Qi S. , TITLE =. Int. Math. Res. Not. , FJOURNAL =. 2006 , PAGES =. doi:10.1155/IMRN/2006/92314 , URL =

2006 doi
[22]

, TITLE =

Li, Xiaolong and Zhang, Qi S. , TITLE =. Calc. Var. Partial Differential Equations , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00526-024-02668-x , URL =

2024 doi
[23]

Li, Jiayu , TITLE =. J. Funct. Anal. , FJOURNAL =. 1991 , NUMBER =. doi:10.1016/0022-1236(91)90003-N , URL =

1991 doi
[24]

Pacific J

Sun, Jun , TITLE =. Pacific J. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.2140/pjm.2011.253.489 , URL =

2011 doi
[25]

2006 , PAGES =

Chow, Bennett and Lu, Peng and Ni, Lei , TITLE =. 2006 , PAGES =. doi:10.1090/gsm/077 , URL =

2006 doi
[26]

, TITLE =

Chow, Bennett and Hamilton, Richard S. , TITLE =. Invent. Math. , FJOURNAL =. 1997 , NUMBER =. doi:10.1007/s002220050162 , URL =

1997 doi
[27]

Zhao, Biqiang , TITLE =. J. Geom. Anal. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s12220-024-01681-y , URL =

2024 doi
[28]

Chong, Tian and Dong, Yuxin and Ren, Yibin and Zhang, Wei , TITLE =. J. Geom. Anal. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s12220-019-00206-2 , URL =

2020 doi
[29]

Chang, Shu-Cheng and Kuo, Ting-Jung and Lin, Chien and Tie, Jingzhi , TITLE =. J. Geom. Anal. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s12220-018-0056-9 , URL =

2019 doi
[30]

Chow, Wei-Liang , TITLE =. Math. Ann. , FJOURNAL =. 1939 , PAGES =. doi:10.1007/BF01450011 , URL =

1939 doi
[31]

2006 , PAGES =

Dragomir, Sorin and Tommasoli, Andrea , TITLE =. 2006 , PAGES =

2006
[32]

and Wainger, Stephen , TITLE =

Nagel, Alexander and Stein, Elias M. and Wainger, Stephen , TITLE =. Acta Math. , FJOURNAL =. 1985 , PAGES =

1985

Pith tools

Reviewed July 13, 2026 · model on record in the stance chip above.

[1] [1]

Bailesteanu, Mihai and Cao, Xiaodong and Pulemotov, Artem , TITLE =. J. Funct. Anal. , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.jfa.2009.12.003 , URL =

work page doi:10.1016/j.jfa.2009.12.003 2010

[2] [2]

Baudoin, Fabrice and Garofalo, Nicola , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2017 , NUMBER =. doi:10.4171/JEMS/663 , URL =

work page doi:10.4171/jems/663 2017

[3] [3]

, TITLE =

Cao, Xiaodong and Hamilton, Richard S. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00039-009-0024-4 , URL =

work page doi:10.1007/s00039-009-0024-4 2009

[4] [4]

Chang, Shu-Cheng and Kuo, Ting-Jung and Lai, Sin-Hua , TITLE =. J. Differential Geom. , FJOURNAL =. 2011 , NUMBER =

2011

[5] [5]

Chang, Shu-Cheng and Fan, Yen-Wen and Tie, Jingzhi and Wu, Chin-Tung , TITLE =. Math. Ann. , FJOURNAL =. 2014 , NUMBER =. doi:10.1007/s00208-014-1036-4 , URL =

work page doi:10.1007/s00208-014-1036-4 2014

[6] [6]

Chang, Der-Chen and Chang, Shu-Cheng and Kuo, Ting-Jung and Lai, Sin-Hua , TITLE =. Asian J. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.4310/ajm.2018.v22.n2.a2 , URL =

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

[7] [7]

Bony, Jean-Michel , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 1969 , PAGES =

1969

[8] [8]

Pacific Journal of Math , VOLUME =

Liu Shiping , TITLE =. Pacific Journal of Math , VOLUME =. 2009 , NUMBER =

2009