REVIEW 2 major objections 4 minor 1 cited by
Second order estimates for complex Hessian equations on Hermitian manifolds
T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read On compact Hermitian manifolds, χ-plurisubharmonic solutions of complex Hessian equations with gradient-dependent right-hand sides have uniformly bounded second derivatives.
desk verdict Good technical extension of PPZ's second-order estimate to Hermitian manifolds, with one unproved imported inequality that stops the proof from fully closing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The maximum-principle test function is $G = \log P_m + \phi(|Du|^2) + \varphi(u)$, where $P_m = \sum_j \lambda_j^m$ and $\lambda_j$ are the eigenvalues of $g = \chi + \sqrt{-1}\,\partial\bar\partial u$ with respect to $\omega$. Differentiating $G$ twice, contracting with $\sigma_k^{pq}$, and using Hermitian commutation formulas produces a long inequality in which the third-order terms are controlled by a tensor lemma for $\sigma_k$ (Lemma 3.1) and by choosing $\phi$ and $\varphi$ as exponentials with widely separated exponents. The torsion enters through extra terms $T \ast D^3u$; the auxiliary function is modified so that these become absorbable, and the argument closes by invoking the inequality $A_i + B_i + C_i + D_i - E_i \ge 0$ from the Kähler case.
What would settle it
On a compact Hermitian manifold with non-zero torsion, take any smooth $\chi$-plurisubharmonic function with $\chi \ge \varepsilon\omega$ and compute the tensors $A_i, B_i, C_i, D_i, E_i$ defined after (3.22) at a point where the maximum-principle test function $G$ attains its maximum; if $A_i + B_i + C_i + D_i - E_i < 0$ for some $i$, the proof's final step fails, and the eigenvalue bound would need another argument.
Extended reading notes
Core claim
The central claim is Theorem 1.1: every $C^4$ $\chi$-plurisubharmonic solution of the Hermitian Hessian equation with gradient-dependent right-hand side and $\chi \ge \varepsilon\omega$ satisfies $|D\bar D u|_\omega \le C$, with $C$ uniform. The proof achieves this by adapting the Kähler-manifold maximum-principle argument to the Hermitian case, modifying the auxiliary function so that torsion terms of the form $T \ast D^3u$ are absorbed into favorable third-order terms. Theorem 1.3 gives the analogous bound when the Hessian is replaced by $\chi + \sqrt{-1}\, a \wedge \partial u - \sqrt{-1}\, \bar a \wedge \bar\partial u$, so the result covers equations whose coefficients depend on the gradient as well.
Load-bearing premise
The argument leans on an inequality, imported from the Kähler case, that says $A_i + B_i + C_i + D_i - E_i \ge 0$ for every $i$; the paper does not prove this inequality for the torsion-modified tensors of Section 3, and if it fails for some Hermitian manifold, the maximum-principle closure and hence the bound may collapse.
Editorial extensions
If this is right
- For $k=n$, the result gives the second-order estimate for the complex Monge-Ampère equation on Hermitian manifolds when the right-hand side depends on the gradient.
- Together with standard higher-order elliptic estimates, the bound yields $C^\infty$ regularity and existence for fully nonlinear Hessian equations on Hermitian manifolds under the $\chi$-plurisubharmonic admissibility condition.
- The gradient-dependent $\chi$ case (Theorem 1.3) puts equations whose coefficients include first derivatives of the unknown into the same a priori estimate framework.
- The uniform bound gives compactness of admissible solution families, which is exactly what the continuity method needs to cross from the linearized equation to the nonlinear one.
Reading between the lines
- The inequality $A_i + B_i + C_i + D_i - E_i \ge 0$ is imported from the Kähler proof without a Hermitian verification; testing it on explicit torsion-modified tensors would either close the gap or expose a counterexample.
- A natural next step is to relax the $\chi$-plurisubharmonic hypothesis to the $\Gamma_k$ cone; the present technique does not obviously survive that relaxation, since positivity of $g$ is used to control the negative third-order terms.
- The same maximum-principle format should generalize to almost Hermitian manifolds for all $k$, using non-integrable commutation formulas, though the torsion estimates would need to be reworked.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a priori second-order estimates for χ-plurisubharmonic solutions of the complex Hessian equation (χ+√−1∂∂u)^k ∧ ω^{n−k} = ψ(z,Du,u)ω^n on compact Hermitian manifolds, under χ ≥ εω. The proof follows the maximum-principle method of Phong–Picard–Zhang [26], with a test function log P_m + φ(|Du|^2)+φ(u) and a modified auxiliary function to handle torsion terms. Theorem 1.1 is the main result; Theorem 1.3 is an outlined analogue when the form χ is replaced by χ+√−1(a⊗∂u−\bar a⊗\bar ∂u).
Significance. If the proof can be completed, the result would be a natural and useful extension of [26] from Kähler to Hermitian manifolds, providing the missing second-order estimate needed in the continuity method for these equations. The manuscript contains a detailed and mostly careful maximum-principle calculation; the treatment of the torsion terms via the modified test function is a plausible and interesting idea. The main obstacle is a single but load-bearing algebraic inequality that is imported from [26] without verification in the Hermitian setting, so the current manuscript is not yet a complete proof of the stated theorems.
major comments (2)
- [Section 3, after (3.22)] The assertion 'By the arguments as in [26], we may assume without loss of generality that A_i+B_i+C_i+D_i-E_i ≥ 0, for every i=1,...,n' is load-bearing and unproved. Since 1−δ ≥ 1−φ''/(2φ'^2), the negative E_i terms can be neglected only if the stated pointwise inequality holds for each i. The tensors A_i,...,E_i are formed from Hermitian covariant derivatives D_i g_{p\bar p}, and the preceding estimates (e.g., (3.15) and (3.20)) use torsion commutation identities, so it is not automatic that the Kähler proof in [26] carries over verbatim. The authors should state the precise algebraic lemma from [26], prove it (or show that it is a purely algebraic inequality valid for arbitrary v_p = D_i g_{p\bar p}), and specify the range of m for which it holds; m is never fixed in the proof and the inequality may depend on it.
- [Section 4, after (4.7)] Theorem 1.3 is only outlined, and its final step says 'the proof is the same as that of Theorem 1.1.' Because the corresponding step in Theorem 1.1 depends on the unproved inequality in the previous comment, Theorem 1.3 inherits the same gap. Please either provide the full verification for the tensors defined with g̃ = χ+√−1∂∂u+√−1(a⊗∂u−\bar a⊗\bar ∂u), or explicitly say which parts are identical and prove the nontrivial ones.
minor comments (4)
- [Equation (2.3)] The definition of Γ_k(M) contains the typo 'A^{1,1}(M, R^n)'; it should be 'A^{1,1}(M, R)' since σ_k(h) is a real-valued function.
- [References] Reference [11] appears corrupted as 'Dinew-Ko/suppress lodziej'; it should be 'Dinew-Kołodziej'. Reference [20] contains the typo 'Kähler manfold'.
- [Equation (3.23)] The constants in the line '- C/β - C/τ' are not tracked precisely: with β=τ=1/(6e^{M(-u+L)}), one obtains -C/β - C/τ = -12C e^{M(-u+L)}, not simply '-Cφ'. The conclusion is unaffected, but the displayed formula should be corrected.
- [Section 4] Theorem 1.3 is labeled an 'Outline of proof'. If this is intended to be a full proof of a main theorem, the paper should either upgrade the outline to a complete argument or clearly state that the details are analogous and available upon request.
Circularity Check
No significant circularity: the second-order estimate follows from the differentiated equation and maximum principle, with all cited tools external.
full rationale
The central claim, Theorem 1.1, is a uniform second-order bound |D Dbar u| <= C for solutions of the complex Hessian equation. The proof differentiates the equation (2.5), introduces the maximum-principle test function G = log Pm + phi(|Du|^2) + phi(u), and derives chain inequalities (3.7)-(3.23). The one step that might appear suspicious is the assertion after (3.22): 'By the arguments as in [26], we may assume without loss of generality that Ai+Bi+Ci+Di-Ei >= 0, for every i = 1,...,n.' This is an imported result from the external paper [26] (Phong-Picard-Zhang), not from the present authors' own prior work, and it is not a renamed version of the target estimate. The paper does not verify that the Hermitian torsion terms preserve the inequality, so this is a potential correctness gap, but it is not circularity: the cited argument is independent of the present theorem's conclusion and is not defined in terms of the quantity being estimated. Similarly, Lemma 3.1 is quoted from [19], another external source. No parameter is fitted to the data being predicted; the constant C depends only on the stated known quantities, and the estimate is not assumed as an input. Theorem 1.3 is an adaptation of the same argument, not a redefinition of the equation's data. There are no load-bearing self-citations and no construction by which the conclusion equals an input. Therefore the paper is not circular in the sense defined here.
Assumptions & free parameters
assumptions (4)
- standard math Lemma 3.1 from Guan-Ren-Wang [19]: for tensors in the Gamma_k cone, a lower bound on -sigma^{pp,qq}_k w_{ppi} w_{qqi} plus a positive term involving |D_i sigma_k|^2 / sigma_k.
- standard math Commutation formulas (2.8)-(2.9) for covariant derivatives on Hermitian manifolds with torsion, cited from Tosatti-Weinkove [43].
- standard math The identity sigma_l(lambda) = sigma_l(lambda|p) + lambda_p sigma_{l-1}(lambda|p) and concavity properties of sigma_k on the positive cone Gamma_k.
- ad hoc to paper The inequality A_i + B_i + C_i + D_i - E_i >= 0 for every i, imported from Phong-Picard-Zhang [26].
Cite this review
Pith. "Pith review of Second order estimates for complex Hessian equations on Hermitian manifolds." pith.science (2026). https://pith.science/paper/OTMSSFNF
@misc{pith2026190803599,
author = {Pith},
title = {Pith review of: Second order estimates for complex Hessian equations on Hermitian manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/OTMSSFNF}},
note = {Machine review of arXiv:1908.03599}
}
abstract
We derive second order estimates for $\chi$-plurisubharmonic solutions of complex Hessian equations with right hand sides depending on gradients on compact Hermitian manifolds.
Forward citations
Cited by 1 Pith paper
-
The Dirichlet Problem for the $k$-Hessian Equation on a complex manifold
The Dirichlet problem for complex k-Hessian equations on compact Hermitian manifolds with boundary is solved under the assumption that a smooth subsolution exists.
Reference graph
Works this paper leans on
- [26]
- [12]
-
[1]
S. Alekser and M. Verbitsky, Quaternionic Monge-Amp` ere equations and Calabi problem for HKT-manifolds, Israel J. Math. 176 (2010), 109-138
work page 2010
-
[2]
Ball, Differentiability properties of symmetric an d isotropic functions, Duke Math
J.M. Ball, Differentiability properties of symmetric an d isotropic functions, Duke Math. J. 51 (1984), 699-728
work page 1984
-
[3]
Blocki, Weak solutions to the complex Hessian equatio n, Ann
Z. Blocki, Weak solutions to the complex Hessian equatio n, Ann. Inst. Fourier (Grenoble) 55 (2005), 1735-1756
work page 2005
-
[4]
L. Caffarelli, L. Nirenberg and J. Spruck, The Dirichlet p roblem for nonlinear second order elliptic equations, III: Functions of the eigenvalues of th e Hessian, Acta Math. 155 (1985), 261-301
work page 1985
-
[5]
S.Y. Cheng, and S.T. Yau, On the existence of a complete K¨ ahler metric on noncompact complex manifolds and the regularity of Fefferman’s equatio n, Comm. Pure Appl. Math. 33 (1980), 507-544
work page 1980
-
[6]
Cherrier, ´Equations de Monge-Amp` ere sur les vari´ et´ es hermitiennes compactes, Bull
P. Cherrier, ´Equations de Monge-Amp` ere sur les vari´ et´ es hermitiennes compactes, Bull. Sci. Math. (2) 111 (1987), 343-385
work page 1987
Show all 49 references
-
[7]
Chu, L.D
J.C. Chu, L.D. Huang and X.H. Zhu, The Fu-Yau equation in higher dimensions, Peking Math. J. 2 (2019), 71-97
2019
-
[8]
Chu, L.D
J.C. Chu, L.D. Huang and X.H. Zhu, The Fu-Yau equation on c ompact astheno-K¨ ahler man- ifolds, Adv. Math. 346 (2019), 908-945
2019
-
[9]
Chu, L.D
J.C. Chu, L.D. Huang and X.H. Zhu, The 2-nd Hessian type eq uation on almost Hermitian manifolds, preprint, arXiv: 1707.04072
-
[10]
Chu, V.Tosatti and B.Weinkove, The Monge-Amp` ereequation for non-integrable almost complex structures, J
J.C. Chu, V.Tosatti and B.Weinkove, The Monge-Amp` ereequation for non-integrable almost complex structures, J. Eur. Math. Soc. (JEMS) 21 (2019), 194 9-1984
2019
-
[11]
Dinew and S
S. Dinew and S. Ko/suppress lodziej, Liouville and Calabi-Yau type theorems for complex Hessian equations, Amer. J. Math. 139 (2017), 403-415
2017
-
[13]
Fu and S.T
J.X. Fu and S.T. Yau, The theory of superstring with flux o n non-K¨ ahler manifolds and the complex Monge-Amp` ere equation, J. Differential Geom. 78 (2008), 369-428
2008
-
[14]
Fu and S.T
J.X. Fu and S.T. Yau, A Monge-Amp` ere-type equation motivated by string theory, Comm. Anal. Geom. 15 (2007), 29-75
2007
-
[15]
Goldstein and S
E. Goldstein and S. Prokushkin, Geometric model for com plex non-K¨ ahler manifolds with SU (3) structure, Comm. Math. Phys. 251 (2004), 65-78
2004
-
[16]
Guan and H.M
B. Guan and H.M. Jiao, Second order estimates for Hessia n type fully nonlinear elliptic equations on Riemannian manifolds, Calc. Var. Partial Differential Equations 54 (2015), 2693- 2712
2015
-
[17]
Guan and Q
B. Guan and Q. Li, Complex Monge-Amp` ere equations and totally real submanifolds, Adv. Math. 225 (2010), 1185-1223
2010
-
[18]
Guan and X
B. Guan and X. Nie, Fully nonlinear elliptic equations w ith gradient terms on Hermitian manifolds, preprint
-
[19]
Guan, C.Y
P.F. Guan, C.Y. Ren and Z.Z. Wang, Global C2-estimates for convex solutions of curvature equations, Comm. Pure Appl. Math. 68 (2015), 1287-1325
2015
-
[20]
Hou, Complex Hessian equation on K¨ ahler manfold, Int
Z.L. Hou, Complex Hessian equation on K¨ ahler manfold, Int. Math. Res. Not. IMRN 2009, 3098-3111
2009
-
[21]
Hou, X.N
Z.L. Hou, X.N. Ma and D.M. Wu, A second order estimate for complex Hessian equations on a compact K¨ ahler manifold, Math. Res. Lett. 17 (2010), 547-561
2010
-
[22]
Jbilou, ´Equations hessiennes complexes sur des vari´ et´ es k¨ ahl´ eriennes compactes, C
A. Jbilou, ´Equations hessiennes complexes sur des vari´ et´ es k¨ ahl´ eriennes compactes, C. R. Math. Acad. Sci. Paris 348 (2010), 41-46
2010
-
[23]
Kobayashi, K¨ ahler-Einstein metric on an open algeb raic manifold, Osaka J
R. Kobayashi, K¨ ahler-Einstein metric on an open algeb raic manifold, Osaka J. Math. 21 (1984), 399-418
1984
-
[24]
M. Li, C.Y. Ren and Z.Z. Wang, An interior estimate for co nvex solutions and a rigidity theorem, J. Funct. Anal. 270 (2016), 2691-2714
2016
-
[25]
Li, On the Dirichlet problems for symmetric functi on equations of the eigenvalues of the complex Hessian, Asian J
S.Y. Li, On the Dirichlet problems for symmetric functi on equations of the eigenvalues of the complex Hessian, Asian J. Math. 8 (2004), 87-106
2004
-
[27]
Phong, S
D.H. Phong, S. Picard and X.W. Zhang, The Fu-Yau equation with negative slope parameter, Invent. Math. 209 (2017), 541-576
2017
-
[28]
Phong, S
D.H. Phong, S. Picard and X.W. Zhang, On estimates for th e Fu-Yau generalization of a Strominger system, J. Reine Angew. Math. 751 (2019), 243-27 4
2019
-
[29]
Phong, S
D.H. Phong, S. Picard and X.W. Zhang, Fu-Yau Hessian equ ations, preprint, arXiv: 1801.09842, to appear in J. Differential Geom
-
[30]
Phong, J
D.H. Phong, J. Song and J. Sturm, Complex Monge-Amp` ereequations. Surveys in differential geometry. Vol. XVII, 327-410, Surv. Differ. Geom., 17, Int. P ress, Boston, MA, 2012
2012
-
[31]
Song and B
J. Song and B. Weinkove, On the convergence and singularities of the J-flow with applications to the Mabuchi energy, Comm. Pure Appl. Math. 61 (2008), 210- 229
2008
-
[32]
Sun, On a class of fully nonlinear elliptic equations on closed Hermitian manifolds II: L∞ estimate, Comm
W. Sun, On a class of fully nonlinear elliptic equations on closed Hermitian manifolds II: L∞ estimate, Comm. Pure Appl. Math. 70 (2017), 172-199
2017
-
[33]
Sun, On uniform estimate of complex elliptic equatio ns on closed Hermitian manifolds, Commun
W. Sun, On uniform estimate of complex elliptic equatio ns on closed Hermitian manifolds, Commun. Pure Appl. Anal. 16 (2017), 1553-1570
2017
-
[34]
Sz´ ekelyhidi, Fully non-linear elliptic equations on compact Hermitian manifolds, J
G. Sz´ ekelyhidi, Fully non-linear elliptic equations on compact Hermitian manifolds, J. Dif- ferential Geom. 109 (2018), 337-378
2018
-
[35]
Sz´ ekelyhidi, V
G. Sz´ ekelyhidi, V. Tosatti and B. Weinkove, Gauduchonmetrics with prescribed volume form, Acta Math. 219 (2017), 181-211
2017
-
[36]
Tian, On the existence of solutions of a class of Monge -Amp` ere equations, Acta Math
G. Tian, On the existence of solutions of a class of Monge -Amp` ere equations, Acta Math. Sinica (N.S.) 4 (1988), 250-265
1988
-
[37]
Tian, A third derivative estimate for Monge-Amp` ere equations with conic singularities, Chin
G. Tian, A third derivative estimate for Monge-Amp` ere equations with conic singularities, Chin. Ann. Math. Ser. B 38 (2017), 687-694
2017
-
[38]
Tian and S.T
G. Tian and S.T. Yau, Complete K¨ ahler manifolds with ze ro Ricci curvature. I, J. Amer. Math. Soc. 3 (1990), 579-609
1990
-
[39]
Tian and S.T
G. Tian and S.T. Yau, Complete K¨ ahler manifolds with ze ro Ricci curvature. II, Invent. Math. 106 (1991), 27-60
1991
-
[40]
Tosatti, Y
V. Tosatti, Y. Wang, B. Weinkove and X.K. Yang, C2,α estimates for nonlinear elliptic equations in complex and almost complex geometry, Calc. Var . Partial Differential Equations 54 (2015), 431-453. 16 WEISONG DONG AND CHANG LI
2015
-
[41]
Tosatti and B
V. Tosatti and B. Weinkove, Estimates for the complex Monge-Amp` ere equation on Hermitian and balanced manifolds, Asian J. Math. 14 (2010), 19-40
2010
-
[42]
Tosatti and B
V. Tosatti and B. Weinkove, The complex Monge-Amp` ere equation on compact Hermitian manifolds, J. Amer. Math. Soc. 23 (2010), 1187-1195
2010
-
[43]
Tosatti and B
V. Tosatti and B. Weinkove, Hermitian metrics, ( n − 1, n − 1) forms and Monge-Amp` ere equations, preprint, arXiv: 1310.6326, to appear in J. Rein e Angew. Math
-
[44]
Tosatti and B
V. Tosatti and B. Weinkove, The complex Monge-Amp` ere e quation with a gradient term, preprint, arXiv: 1906.10034
1906 arXiv
-
[45]
Yau, On the Ricci curvature of a compact K¨ ahler man ifold and the complex Monge- Amp` ere equation
S.T. Yau, On the Ricci curvature of a compact K¨ ahler man ifold and the complex Monge- Amp` ere equation. I, Comm. Pure Appl. Math. 31 (1978), 339-411
1978
-
[46]
Yuan, On a class of fully nonlinear elliptic equati ons containing gradient terms on compact Hermitian manifolds, Canad
R.R. Yuan, On a class of fully nonlinear elliptic equati ons containing gradient terms on compact Hermitian manifolds, Canad. J. Math. 70 (2018), 943 -960
2018
-
[47]
Yuan, Regularity of fully nonlinear elliptic equa tions on Hermitian manifolds, II, preprint
R.R. Yuan, Regularity of fully nonlinear elliptic equa tions on Hermitian manifolds, II, preprint
-
[48]
Zhang, Hessian equations on closed Hermitian mani folds, Pacific J
D.K. Zhang, Hessian equations on closed Hermitian mani folds, Pacific J. Math. 291 (2017), 485-510
2017
-
[49]
Zhang, A priori estimates for complex Monge-Amp` ere equation on Hermitian manifolds, Int
X.W. Zhang, A priori estimates for complex Monge-Amp` ere equation on Hermitian manifolds, Int. Math. Res. Not. IMRN 2010, 3814-3836. School of Mathematics, Tianjin University, Tianjin, P.R.Ch ina, 300354 E-mail address : dr.dong@tju.edu.cn School of Mathematical Sciences, Pek...
2010
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.