REVIEW 4 major objections 4 minor 45 references
Second order estimates for $\chi$-semi convex solutions of Hessian equations on Hermitian manifolds
T0 review · 4 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read The paper proves that admissible, χ-semi-convex solutions of complex Hessian equations on compact Hermitian manifolds satisfy a uniform second-order bound.
desk verdict A plausible and useful weakening of the convexity assumption for complex Hessian second-order estimates, held up by a non-self-contained concavity lemma that needs referee verification. 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 load-bearing object is the modified concavity inequality (Lemma 1.2) for the $k$-th elementary symmetric function $\sigma_k$ of the eigenvalues of a Hermitian tensor. The inequality says that when the eigenvalues lie in the Gårding cone $\Gamma_k$ with $\lambda_1\ge\cdots\ge\lambda_n>-A$ and $\lambda_1$ is large, the negative second-derivative terms from differentiating the equation twice are bounded below by a positive multiple of $\sigma_k^{11}|\omega_{11j}|^2/(\lambda_1\sigma_k)$ plus lower-order terms, with the loss factor $(1-\epsilon_0)$ for arbitrarily small $\epsilon_0$. The proof transfers the real-case estimates (3.27) and (3.73) of [43] to complex Hermitian tensors, and the final section feeds this inequality into the auxiliary function $Q=\log\lambda_1+\varphi(|\nabla u|^2)+\phi(u)$, using the perturbation argument of [6] to make the largest eigenvalue smooth and the Hermitian commutation formulas of [37] together with the symmetric-function identities of [2] to control all third-order terms.
What would settle it
The most direct check is algebraic: for $n=2$ and $k=2$, compute both sides of (1.5) explicitly for a Hermitian matrix $W$ with eigenvalues in $\Gamma_k$, $\lambda_n>-A$, and $\lambda_1$ large, for each index $j$ and for arbitrarily small $\epsilon_0>0$; a single violation would refute Lemma 1.2, and since that lemma is the step importing the real estimates, Theorem 1.1 would be left without proof.
Extended reading notes
Core claim
The central claim is Theorem 1.1: on a compact Hermitian manifold $(M,\omega)$ of complex dimension $n$, if $\chi'(z,u)\ge\epsilon\omega$ and $u$ is an admissible, $\chi$-semi-convex $C^\infty$ solution of the Hessian equation $\chi^k\wedge\omega^{n-k}=\psi(z,Du,u)\omega^n$, then all second covariant derivatives of $u$ are bounded by a constant depending only on $(M,\omega)$, $n$, $k$, $\epsilon$, $\chi'$, $\psi$, $a$, $\sup_M|u|$, and $\sup_M|Du|$. The proof establishes a complex version of the real-variable concavity inequality, adjusting the coefficients so that the good third-order terms are retained even though complex conjugacy removes some terms that the real proof could use. A direct consequence is that the second-order estimate survives under the weaker and more natural semi-convexity assumption instead of the full cone condition $\chi\in\Gamma_{k+1}(M)$.
Load-bearing premise
The load-bearing premise is that the real-variable concavity estimates (3.27) and (3.73) of [43] continue to hold for complex Hermitian tensors with torsion, a transfer the proof invokes rather than reproduces; if that transfer fails, the key inequality (1.5) and with it Theorem 1.1 collapse.
Editorial extensions
If this is right
- If Theorem 1.1 is correct, the uniform second-order estimate requires only semi-convexity of $\chi$, not the stronger condition $\chi\in\Gamma_{k+1}(M)$ used in earlier second-order estimates.
- Corollary 1 follows directly: the same estimate holds whenever $\sigma_{k+1}(\chi)>-A$, since this lower bound implies $\chi$-semi-convexity.
- The bound is the main a priori estimate in the continuity method, so a proof of existence of smooth admissible solutions of (1.2) reduces to establishing zero-order and gradient estimates.
- The estimate covers equations with the gradient term $\psi(z,Du,u)$ on the right-hand side and with torsion terms from the Hermitian metric, extending the earlier $\Gamma_{k+1}$ result to the semi-convex regime.
- The constant in the estimate does not depend on higher derivatives of $u$, only on the fixed data and on $\sup_M|u|$ and $\sup_M|Du|$, so the bound remains stable along a continuity path.
Reading between the lines
- If the transferred real-variable estimates genuinely survive in the complex Hermitian setting, the same concavity inequality should be reusable for parabolic or degenerate variants of (1.2) where the $\Gamma_{k+1}$ assumption was previously the bottleneck.
- The coefficient optimization from $2$ to $1-\epsilon_0$ suggests the method may tolerate position-dependent lower bounds on the eigenvalues, which would be useful for geometric applications where curvature terms enter the estimates.
- One could stress-test the inequality in the model case $n=k=2$ with explicit formulas for $\sigma_k$; if the constants are not sharp, the proof may yield stronger estimates, and if a violation appears, it would pinpoint the transfer from the real case as the fragile step.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies uniform second-order a priori estimates for admissible, χ-semi-convex solutions of the complex Hessian equation (1.2) on compact Hermitian manifolds, where the right-hand side depends on the gradient and the unknown function. The main result, Theorem 1.1, asserts a bound |DDu| ≤ C under χ′ ≥ εω and χ-semi-convexity, generalizing earlier estimates that required χ ∈ Γ_{k+1}. The proof follows the standard maximum-principle route with an auxiliary function Q = log λ1 + φ(|Du|²) + ϕ(u), a perturbation argument for the largest eigenvalue, and a new 'modified concavity inequality' (Lemma 1.2) that is meant to control the bad third-order terms. The paper is organized into a preliminary section, a section proving Lemma 1.2, and a section proving Theorem 1.1.
Significance. If the proof is correct, the result is a meaningful improvement: it replaces the convexity assumption χ ∈ Γ_{k+1} by the weaker χ-semi-convexity, matching recent developments for real k-Hessian equations, and it does so in the presence of gradient terms and torsion on Hermitian manifolds. The paper is clearly written and follows a natural strategy, with a sensible choice of auxiliary functions and a perturbation argument for the eigenvalue degeneracy. The main weakness is that the central Lemma 1.2 is not self-contained: it imports the key inequalities (3.27) and the deduction of (3.73) from Zhang's real-case paper [43] without reproducing the Hermitian adaptation, and the application of Lemma 1.2 in (4.15) involves a normalization and sign rearrangement that is not explained. These points are load-bearing because Theorem 1.1 rests directly on (1.5). No machine-checked proofs or code are supplied; the contribution is a classical analytic proof whose verification currently depends on unavailable details.
major comments (4)
- [3, Lemma 1.2 and Eq. (1.5)] The proof of Lemma 1.2 is not self-contained. The first line invokes (3.27) of Zhang [43], and the nontrivial case (3.4) is dismissed with 'refer to the deduction of (3.73) in [43]' without reproducing the argument. Zhang's inequalities are proved for real k-Hessian equations with symmetric Hessians and real test vectors, whereas the present setting involves a Hermitian tensor W with non-symmetric covariant derivatives and torsion terms coming from (2.4). Since (1.5) is the engine behind (4.15) and hence behind Theorem 1.1, the paper must either prove the Hermitian version of these inequalities or state and prove a precise transfer lemma. As written, the central estimate rests on an unverified import.
- [3, proof of Lemma 1.2, display before (3.5)] The displayed calculation preceding (3.5) uses parameters a and M and constants C1, C2, C3, C3' without defining them or explaining their dependencies. The text says 'by assuming λ1 > Mk and M large enough' and later 'by choosing M ≥ 2C3'(c0+1)/(c0ε0)', but the order of choices is not fixed and the parameter a is never assigned a value. Because the final comparison in (3.5) depends on these choices, the proof of (1.5) under the assumption (3.4) cannot be checked as written.
- [4, Eq. (4.15)] The application of Lemma 1.2 in (4.15) does not match the statement of the lemma. Lemma 1.2 contains the term -∑ σ^{pp,qq}ω_{ppj}ω_{qqj}/σ_k, while (4.15) has -λ1^{-1}∑σ^{pp,qq}D1χ_{pp}D1χ_{qq} without the /σ_k factor. The lemma's positive K|Djσk|²/σk² term becomes -K|D1ψ|²/(λ1σk) in (4.15), and the lemma's positive (1-ε0)∑_{i>1}... term appears with a negative sign. These discrepancies can be reconciled by multiplying (1.5) by σ_k, moving terms to the other side, and using D1σk = D1ψ, but this rearrangement is not stated. Moreover, such a step needs the boundedness and positivity of σk = ψ, which is available but not explicitly invoked at that point. As written, (4.15) does not follow by direct substitution.
- [2, Lemma 2.3] Lemma 2.3, in particular inequalities (2.9) and (2.10), is imported from Dong [10] without proof. These formulas encode the commutator and torsion terms that are specific to the Hermitian setting and are used directly in the proof of Theorem 1.1. The paper should either prove them in an appendix or state the precise hypotheses under which they apply to equation (1.2); relying on a computation lemma with no verification of the current hypotheses leaves a gap in the main proof.
minor comments (4)
- [1, Introduction, p.2] There is a typo: 'a natural problem is weather we can weaken' should read 'whether we can weaken'.
- [2, Notation] The notation σ^{pq}_k is introduced in (2.6) for ∂σ_k/∂χ_{pq}, but the connection to F^{ij} in Lemma 2.1 is not explicit; this creates confusion in formulas such as (2.9) and (4.4) where σ^{pq}_k and F are used interchangeably.
- [4, Eq. (4.16)] The chain σ^{ii}_k ≥ σ^{11}_k ≥ kσ_k/(nλ1) used in (4.16) is asserted without proof. It can be justified from Proposition 2.1(8) together with the eigenvalue ordering, but the paper should spell this out.
- [References, [43]] Reference [43] is an arXiv preprint (arXiv:2408.10781v1, 2024). Since the proof of Lemma 1.2 depends critically on inequalities (3.27) and (3.73) of that paper, the authors should clarify the version used and, ideally, cite the published version if one exists.
Circularity Check
No significant circularity: Theorem 1.1 is not assumed as an input, and the external dependencies are prior results by non-overlapping authors.
full rationale
The paper's derivation is not circular under the audit criteria. The target second-order estimate (Theorem 1.1) is never used as an input; it is a genuine a priori bound on |DDu| under the weaker χ-semi-convex hypothesis. The two load-bearing external dependencies—Zhang's real-case concavity inequalities (3.27)/(3.73) in [43] and Dong's computation lemmas (2.9)-(2.10) in [10]—are cited results by authors with no overlap with Chen, Tu, and Xiang, and neither cited result contains the target estimate. Section 3 proves Lemma 1.2 by reducing the complex Hermitian inequality to those real-case inequalities, and Section 4 applies Lemma 1.2 to control third-order terms; this is an ordinary dependency on prior work, not a circular reduction. The semi-convex assumption is a hypothesis, not the conclusion, and no fitted parameter is renamed as a prediction. The main caveats, such as the proof of Lemma 1.2 saying 'refer to the deduction of (3.73) in [43]' without reproducing the real-case argument, are completeness or robustness concerns about whether the cited inequalities survive in the Hermitian setting, not circularity.
Assumptions & free parameters
free parameters (4)
- A =
A > 0, exists by hypothesis (Definition 1.1)
- N =
large, unspecified
- Lambda =
large, unspecified
- beta and epsilon_0 =
small, related by epsilon_0 = 3 beta
assumptions (3)
- ad hoc to paper The concavity inequalities (3.27) and the deduction (3.73) from Zhang [43] for real k-Hessian equations transfer to the complex Hermitian setting after the conjugacy modifications sketched in Section 3.
- domain assumption The local computation lemmas (2.9) and (2.10) from Dong [10] hold for equation (1.2) on a Hermitian manifold with gradient terms on both sides.
- ad hoc to paper The auxiliary functions phi(s)=e^{Ns} and phi(t)=e^{Lambda(-t+T)} with N, Lambda large satisfy the coefficient inequalities (4.1), (4.16), and (4.17).
Cite this review
Pith. "Pith review of Second order estimates for $\chi$-semi convex solutions of Hessian equations on Hermitian manifolds." pith.science (2026). https://pith.science/paper/E4ZXQACU
@misc{pith2026250101017,
author = {Pith},
title = {Pith review of: Second order estimates for $\chi$-semi convex solutions of Hessian equations on Hermitian manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/E4ZXQACU}},
note = {Machine review of arXiv:2501.01017}
}
read the original abstract
In this paper, we establish the modified concavity inequality for complex Hessian equations under the semi-convexity assumption inspired by Lu \cite{Lu23} and Zhang \cite{Z24} for real case. Then second order estimates for admissible solutions of complex Hessian equations on compact Hermitian manifolds with both sides of equations depending on gradient terms are obtained by taking advantage of the crucial inequality.
Reference graph
Works this paper leans on
-
[43]
$C^2$ estimates for $k$-Hessian equations and a rigidity theorem
R. Zhang, C 2 estimates for k-Hessian equations and a rigidity theorem, arXiv: 2408.10781v1, 2024. 18
work page Pith review arXiv 2024
-
[10]
Dong, Second order estimates for complex Hessian equations with gradient terms on both sides, J
W. Dong, Second order estimates for complex Hessian equations with gradient terms on both sides, J. Differ. Equ., 271(2021), 128-151
work page 2021
-
[1]
S. Alesker, M. Verbitsky, Quaternionic Monge-Amp` ere equation and Calabi problem for HKT- manifolds, Israel J. Math., 176(2010), 109-138
work page 2010
-
[2]
Ball, Differentiability properties of symmetric and isotropic functions, Duke Math
J. Ball, Differentiability properties of symmetric and isotropic functions, Duke Math. J., 51(1984), 699-728
work page 1984
-
[3]
Blocki, Weak solutions to the complex Hessian equation, Ann
Z. Blocki, Weak solutions to the complex Hessian equation, Ann. Inst. Fourier (Grenoble), 55(2005), 1735-1756
work page 2005
-
[4]
L. Caffarelli, L. Nirenberg, J. Spruck, The Dirichlet problem for nonlinear second order elliptic equations, III: Functions of the eigenvalues of the Hessian, Acta Math., 155(1985), 261-301
work page 1985
-
[5]
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. Sc. Math., 111(1987), 343-385
work page 1987
-
[6]
Chu, A simple proof of curvature estimates for convex solution of k-Hessian equation, Proc
J. Chu, A simple proof of curvature estimates for convex solution of k-Hessian equation, Proc. Amer. Math. Soc., 149(2021), 3541-3552
work page 2021
Show all 45 references
-
[7]
J. Chu, L. Huang, X. Zhu, The Fu-Yau equation in higher dimensions, Peking Math. J., 2(2019), 71-97
2019
-
[8]
J. Chu, L. Huang, X. Zhu, The Fu-Yau equation on compact astheno-K¨ ahler manifolds, Adv. Math., 346(2019), 908-945
2019
-
[9]
Dinew, S
S. Dinew, S. Kolodziej, A priori estimates for complex Hessian equations, Anal. PDE, 7(2014), 227-244
2014
-
[11]
Dong, Second order estimates for a class of complex Hessian equations on Hermitian mani- folds, J
W. Dong, Second order estimates for a class of complex Hessian equations on Hermitian mani- folds, J. Funct. Anal., 281(2021), 109121
2021
-
[12]
W. Dong, C. Li, Second order estimates for complex Hessian equations on Hermitian manifolds, Discre. Cont. Dyna. Syst., 41(2021), 2619-2633
2021
-
[13]
K. Feng, H. Ge, T. Zheng, The Dirichlet Problem of Fully Nonlinear Equations on Hermitian Manifolds, arXiv: 1905.02412, 2019
1905 arXiv
-
[14]
A. Fino, Y. Li, S. Salamon, L. Vezzoni, The Calabi-Yau equation on 4-manifolds over 2-tori, Trans. Amer. Math. Soc., 365(2013), 1551-1575
2013
-
[15]
J. Fu, S. Yau, A Monge-Amp` ere-type equation motivated by string theory, Comm. Anal. Geom., 15(2007), 29-75
2007
-
[16]
J. Fu, S. Yau, The theory of superstring with flux on non-K¨ ahler manifolds and the complex Monge-Amp` ere equation, J. Differ. Geom., 78(2008), 369-428
2008
-
[17]
Gerhardt, Curvature problems, Series in Geometry and Topology, vol., International Press of Boston Inc., Sommerville, 39(2006)
C. Gerhardt, Curvature problems, Series in Geometry and Topology, vol., International Press of Boston Inc., Sommerville, 39(2006)
2006
-
[18]
B. Guan, Q. Li, Complex Monge-Amp` ere equations on Hermitian manifolds, arXiv: 0906.3548, 2009
2009 arXiv
-
[19]
B. Guan, X. Nie, Fully nonlinear elliptic equations with gradient terms on Hermitian manifolds, Int. Math. Res. Not., 16(2023), 14006-14042. 17
2023
-
[20]
Hanani, ´Equations du type de Monge-Amp` ere sur les vari´ et´ es hermitiennes compactes, J
A. Hanani, ´Equations du type de Monge-Amp` ere sur les vari´ et´ es hermitiennes compactes, J. Funct. Anal., 137(1996), 49-75
1996
-
[21]
Hou, Complex Hessian equation on K¨ ahler manifold, Int
Z. Hou, Complex Hessian equation on K¨ ahler manifold, Int. Math. Res. Not., 2009(2009), 3098- 3111
2009
-
[22]
Z. Hou, X. Ma, D. Wu, A second order estimate for complex Hessian equations on a compact K¨ ahler manifold, Math. Res. Lett., 17(2010), 547-561
2010
-
[23]
Huisken, C
G. Huisken, C. Sinestrari, Convexity estimates for mean curvature flow and singularities of mean convex surfaces, Acta Math., 183(1999), 45-70
1999
-
[24]
Kolodziej, N
S. Kolodziej, N. Nguyen, Weak solutions of complex Hessian equations on compact Hermitian manifolds, Compos. Math., 2016
2016
-
[25]
Li, On the Dirichlet problems for symmetric function equations of the eigenvalues of the complex Hessian, Asian J
S. Li, On the Dirichlet problems for symmetric function equations of the eigenvalues of the complex Hessian, Asian J. Math., 8(2004), 87-106
2004
-
[26]
Lu, Curvature estimates for semi-convex solutions of Hessian equations in hyperbolic space, Calc
S. Lu, Curvature estimates for semi-convex solutions of Hessian equations in hyperbolic space, Calc. Var. Partial Differ. Equ., 62(2023), 23
2023
-
[27]
Lieberman, Second order parabolic differential equations, World Scientific, 1996
G. Lieberman, Second order parabolic differential equations, World Scientific, 1996
1996
-
[28]
Phong, S
D. Phong, S. Picard, X. Zhang, A second order estimate for general complex Hessian equations, Anal. PDE, 9(2016), 1693-1709
2016
-
[29]
Phong, S
D. Phong, S. Picard, X. Zhang, The Fu-Yau equation with negative slope parameter, Invent. Math., 209(2017), 541-576
2017
-
[30]
Phong, S
D. Phong, S. Picard, X. Zhang, On estimates for the Fu-Yau generalization of a Strominger system, J. Reine Angew. Math., 751(2019), 243-274
2019
-
[31]
Phong, S
D. Phong, S. Picard, X. Zhang, Fu-Yau Hessian equations, J. Differ. Geom., 118(2021), 147-187
2021
-
[32]
J. Song, 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
-
[33]
Spruck, Geometric aspects of the theory of fully nonlinear elliptic equations, Clay Mathe- matics Proceedings, 2(2005), 283-309
J. Spruck, Geometric aspects of the theory of fully nonlinear elliptic equations, Clay Mathe- matics Proceedings, 2(2005), 283-309
2005
-
[34]
Sun, On uniform estimate of complex elliptic equations on closed Hermitian manifolds, arXiv: 1412.5001, 2014
W. Sun, On uniform estimate of complex elliptic equations on closed Hermitian manifolds, arXiv: 1412.5001, 2014
2014 arXiv
-
[35]
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. Differ. Geom., 109(2018), 337-378
2018
-
[36]
Sz´ ekelyhidi, V
G. Sz´ ekelyhidi, V. Tosatti, B. Weinkove, Gauduchon metrics with prescribed volume form, Acta Math., 219(2017), 181-211
2017
-
[37]
Tosatti, B
V. Tosatti, B. Weinkove, Hermitian metrics, ( n − 1, n− 1) forms and Monge-Amp` ere equations, J. Reine Angew. Math., 755(2019), 67-101
2019
-
[38]
Tosatti, B
V. Tosatti, B. Weinkove, The complex Monge-Amp` ere equation with a gradient term, arXiv: 1906.10034, 2019
1906 arXiv
-
[39]
Tosatti, B
V. Tosatti, B. Weinkove, The complex Monge-Amp` ere equation on compact Hermitian mani- folds, J. Amer. Math. Soc., 23(2010), 1187-1195
2010
-
[40]
Yuan, On a class of fully nonlinear elliptic equations containing gradient terms on compact Hermitian manifolds, Canad
R. Yuan, On a class of fully nonlinear elliptic equations containing gradient terms on compact Hermitian manifolds, Canad. J. Math., 70(2018), 943-960
2018
-
[41]
Yuan, Regularity of fully nonlinear elliptic equations on Hermitian manifolds
R. Yuan, Regularity of fully nonlinear elliptic equations on Hermitian manifolds. II, arXiv: 2001.09238, 2020
2001 arXiv
-
[42]
Zhang, Hessian equations on closed Hermitian manifolds, Pacific Journal of Mathematics, 291(2017), 485-510
D. Zhang, Hessian equations on closed Hermitian manifolds, Pacific Journal of Mathematics, 291(2017), 485-510
2017
-
[44]
Zhang, A priori estimates for complex Monge-Amp` ere equation on Hermitian manifolds, Int
X. Zhang, A priori estimates for complex Monge-Amp` ere equation on Hermitian manifolds, Int. Math. Res. Not., 2010(2010), 3814-3836
2010
-
[45]
Zhang, X
X. Zhang, X. Zhang, Regularity estimates of solutions to complex Monge-Amp` ere equations on Hermitian manifolds, J. Funct. Anal., 260(2011), 2004-2026. Institute of Mathematics, Hunan University, Changsha 410082, China Email address : cxj@hnu.edu.cn F aculty of Mathematics an...
2011
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.