REVIEW 3 major objections 5 minor 48 references
The Pogorelov estimates for the sum Hessian equation with rigidity theorem and parabolic versions
T0 review · 3 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The paper establishes Pogorelov-type C^2 estimates and rigidity theorems for (k-1)-convex semi-convex solutions of the sum Hessian equation and its parabolic counterpart.
desk verdict A promising but under-verified extension: the main theorems are not established as stated because Lemma 2.5(a) is false and the constants omit α and K0, though the underlying approach is sound. 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 shifted sum $P_m=\sum_{i=1}^n\kappa_i^m$ with $\kappa_i=\lambda_i+K_0>0$; it replaces the largest eigenvalue as the quantity whose logarithm is maximized, and its positivity is exactly where semi-convexity enters. Around this object, the proof uses an algebraic lemma stating that when $S_k$ is bounded and $\lambda_n\geq -K_0$, the lower-order symmetric functions $\sigma_{k-1}$ and $\sigma_{k-2}$ are controlled from below, $|\lambda_k|\lesssim K_0$, and $\sum_i S^{ii}_k$ grows at least like $\sigma_1^{1/(k-2)}$. These controls let the maximum-principle computation absorb all third-order derivative terms, leaving only $(-u)^{\gamma_0}\Delta u$ on one side.
What would settle it
A decisive test is to search for an entire $(k-1)$-convex solution of $\sigma_k(D^2u)+\alpha\sigma_{k-1}(D^2u)=1$ whose Hessian eigenvalues are all bounded below and which satisfies the quadratic growth condition but is not a quadratic polynomial; the existence of such a function would disprove the rigidity theorem. The paper's explicit n=3 example is the nearest candidate, so computing its growth along the third coordinate and its Hessian eigenvalue bounds would settle whether it lies inside or outside the theorem's hypotheses.
Extended reading notes
Core claim
The central claim is that the sum Hessian operator $S_k=\sigma_k+\alpha\sigma_{k-1}$ still admits a full maximum-principle theory even on the wider $(k-1)$-convex cone, provided the solution is semi-convex. The proof constructs a test function from $P_m=\sum_i(\lambda_i+K_0)^m$, where $\lambda_i$ are the Hessian eigenvalues and $K_0$ is the semi-convexity threshold, and shows that at the maximum point the inequality $(-u)^{\gamma_0}\Delta u\leq C$ holds with constants depending on $n,k,\inf f,\|f\|_{C^{1,1}},\|u\|_{C^1}$, and $\mathrm{diam}(\Omega)$. Rescaling arguments then convert this estimate into rigidity: entire $(k-1)$-convex semi-convex solutions of $S_k(D^2u)=1$ with quadratic growth are quadratic polynomials, and the parabolic analogue splits as $-mt+p(x)$ with $p$ quadratic.
Load-bearing premise
The proof rests on semi-convexity — every Hessian eigenvalue exceeds a fixed negative constant $-K_0$ — because the barrier $P_m=\sum(\lambda_i+K_0)^m$ needs its shifted eigenvalues positive; the theorem's constant list does not include $K_0$, so the statement also implicitly claims the estimate is uniform in that threshold.
Editorial extensions
If this is right
- For the Dirichlet problem (1.1), every $(k-1)$-convex semi-convex solution has a quantitative interior Hessian bound $(-u)^{\gamma_0}\Delta u\leq C$, which upgrades to interior $C^{2,\beta}$ estimates by standard regularity theory.
- The rigidity theorem shows that any entire $(k-1)$-convex semi-convex solution of $\sigma_k(D^2u)+\alpha\sigma_{k-1}(D^2u)=1$ on $\mathbb{R}^n$ with quadratic growth is a quadratic polynomial.
- For the parabolic equation (1.7), $(k-1)$-convex-monotone solutions satisfy $(-u)^{1+\delta}\Delta u\leq C$ when $f$ is independent of the gradient, and $(-u)^{\gamma_0}\Delta u\leq C$ when $f$ depends on the gradient and $u$ is semi-convex.
- The parabolic rigidity theorem says that entire solutions of $-u_t(\sigma_k+\alpha\sigma_{k-1})=1$ with quadratic growth at $t=0$ and $0<m_1\leq -u_t\leq m_2$ have the form $u(x,t)=-mt+p(x)$ with $m>0$ and $p$ a quadratic polynomial.
- The example in the paper shows that some extra assumption beyond $(k-1)$-convexity is needed for rigidity, since there exist non-polynomial entire $(k-1)$-convex solutions of the same equation.
Reading between the lines
- Because the proof uses $K_0$ in essential estimates but the theorem statements do not list it among the constants, the statements implicitly claim uniformity over the semi-convexity threshold; a natural next step is to test whether rescaling the paper's explicit entire solution can make $(-u)^{\gamma_0}\Delta u$ blow up while the listed data stay fixed.
- The same shifted-sum barrier should extend to longer linear combinations of Hessian elementary functions, such as $\sigma_k+\alpha\sigma_{k-1}+\beta\sigma_{k-2}$, and to curvature equations, wherever a lower bound on Hessian eigenvalues is available.
- The elliptic theorem leaves the exponent $\gamma_0$ unspecified while the parabolic gradient-independent theorem gives $1+\delta$; identifying the optimal exponent in both settings is a natural continuation suggested by the slack in the estimates.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies Pogorelov-type interior C^2 estimates for the elliptic sum Hessian equation σ_k(D^2u)+ασ_{k-1}(D^2u)=f(x,u,Du) with u=0 on the boundary, under the assumptions that u is (k−1)-convex and semi-convex. It also states parabolic analogues and rigidity theorems for entire solutions with quadratic growth. The elliptic proof follows the maximum-principle template of Li–Ren–Wang, using the test function φ=M log(−u)+log P_m + A/2|Du|^2 + B/2|x|^2, where P_m is built from the shifted eigenvalues κ_i=λ_i+K_0 arising from semi-convexity. The parabolic proof is analogous. Rigidity theorems are obtained by rescaling and applying the new estimates on expanding domains, following the standard Jörgens–Calabi–Pogorelov strategy.
Significance. If the main estimates were valid with the stated dependencies, the paper would give the first Pogorelov-type interior C^2 estimate for the sum Hessian equation in the (k−1)-convex class under semi-convexity, extending earlier results of Liu–Ren and He–Sheng–Xiang–Zhang. The proof is detailed, uses imported structural lemmas from [28,30] and [29], and involves no fitted parameters or circular reasoning. The accompanying Example 1.8, based on Warren's construction, usefully illustrates that the semi-convexity assumption is not redundant. However, the current version contains a load-bearing error in Lemma 2.5(a), so the stated theorems are not established as written.
major comments (3)
- [§2, Lemma 2.5(a)] Lemma 2.5(a) claims a constant c0(n,k,N0) such that σ_{k−1}(λ)≥c0 under N0≤S_k≤N1, λ_n≥−K0, and λ_1 sufficiently large. This is false as stated. For n=k=2 and α≫1, take λ=(α^{1/3}, −α^{1/3}+α^{−1/3}). Then λ∈Γ_1, λ_2≥−K0 with K_0=α^{1/3}, and S_2=σ_2+ασ_1=(−α^{2/3}+1)+α·α^{−1/3}=1, so N_0=N_1=1; yet σ_1=α^{−1/3}→0. The proof's own second case only yields σ_{k−1}≥N_0/α, so c0 cannot be independent of α. Since Lemma 2.5(c), Lemma 5.1, and Lemma 5.2 all rely on this c0, the rigidity arguments in §5 and the constant lists of Theorems 1.2, 1.3, 1.6, and 1.7 are not established as stated.
- [§3, proof of Theorem 1.2] The constants in Theorem 1.2 are asserted to depend only on n,k, inf f, ||f||_{C^{1,1}}, ||u||_{C^1}, and diam(Ω). But the proof depends essentially on K_0: the test function is built from κ_i=λ_i+K_0, Lemma 2.5(b) introduces K_0 through |λ_k|≤c0K_0, and Lemma 3.2 Case 3 and Lemma 3.4 use K_0 in essential estimates. Moreover, the parameter α appears in the operator and in Lemma 2.5(a), yet is also omitted. No step in the paper shows that K_0 or α is controlled by the listed quantities. In particular, Lemma 3.2 Case 3 requires λ_1≫K_0 for the error estimates, and the maximum-argument constant L would need to involve K_0. Thus the stated dependence is unsupported even if Lemma 2.5(a) were repaired by allowing α-dependence.
- [§5, Lemmas 5.1 and 5.2] The final displayed estimate in Lemma 5.1 uses Lemma 2.5(c), namely ∑_i S^{ii}_k ≥ c0 σ_1^{1/(k−2)} for a constant c0 from Lemma 2.5(a). Since Lemma 2.5(a) is false as stated, the conclusion '−C M/u ≥ ... + c0 B/2 u_{11}^{1/(k−2)}' is unjustified. Lemma 5.2 is the parabolic analogue and inherits the same defect. These lemmas are the key step in the rigidity rescaling proofs of Theorems 1.3 and 1.7, so the rigidity theorems are not established by the current argument.
minor comments (5)
- [§1, Definition 1.1(3)] The phrase 'there condition positive constants a, b' should read 'there exist positive constants a, b'.
- [§1, Theorem 1.6] The word 'smei-convexity' is a typo for 'semi-convexity'.
- [§3, Remark 3.6] The sentence 'We can also derive the estimate bu using λ1' contains a typo; it should be 'by using'.
- [§5, proof of Theorem 1.7] The citation for the parabolic Evans–Krylov regularity theory is given as [33] (Nakamori–Takimoto), while the elliptic version cites [17] (Gilbarg–Trudinger); a standard parabolic reference would be more appropriate and would make the appeal clearer.
- [§4.2] In the sentence 'Based on the analysis in Section 3, we obtain an inequality similar to that in inequality (3.28)', the cross-reference to equation (3.28) is correct but the phrase 'similar to that in inequality (3.28)' is redundant; consider simplifying.
Circularity Check
No circularity: the Pogorelov estimate is derived from the PDE and cone lemmas, not from itself; the K0-dependence concern is a correctness gap, not circularity.
full rationale
The paper's main claim is an interior C^2/Pogorelov estimate for (k-1)-convex semi-convex solutions of the sum Hessian equation. The derivation chain is: differentiate the equation to obtain identities (3.3)-(3.4), contract the Hessian of the test function with the ellipticity matrix S^k_ii, control the third-order terms through Lemmas 3.1-3.4, and absorb the remaining terms by choosing the parameters M, A, B. Lemma 2.3 is quoted from [28,30] and Lemma 2.2 from [2]; these are external structural facts about the cone, not restatements of Theorem 1.2. Lemma 2.5 is proved inside the paper and feeds the linear-algebra estimates; even if one doubts the quantitative independence of K0 in that lemma, that is a proof gap or correctness issue, not a circular identification of the estimate with its assumptions. No parameter is fitted to data and no prediction is a renamed input. The rigidity theorems use the proved estimates together with standard scaling and Evans-Krylov arguments. No load-bearing self-citation chain appears: relevant references [25], [29], [30], and [43] are prior work by other authors used as tools. Hence the circularity score is 0.
Assumptions & free parameters
assumptions (6)
- standard math Garding cone properties: Gamma_k is convex, sigma_k is concave on Gamma_k, Newton-MacLaurin inequalities hold.
- domain assumption Lemma 2.3 from [28,30]: S_k = sigma_k + alpha sigma_{k-1} is elliptic on Gamma_{k-1} intersect {S_k > 0} and satisfies inequalities (2.1)-(2.2).
- domain assumption Semi-convexity K0 > 0 exists for the solution.
- domain assumption f is positive with bounded C^{1,1} norm; for parabolic problems, 0 < m1 <= -u_t <= m2.
- standard math Maximum principle, comparison principle, and Evans-Krylov regularity for fully nonlinear elliptic and parabolic equations.
- standard math Ball's lemma for differentiating symmetric functions (Lemma 2.2).
Cite this review
Pith. "Pith review of The Pogorelov estimates for the sum Hessian equation with rigidity theorem and parabolic versions." pith.science (2026). https://pith.science/paper/UXUVBALH
@misc{pith2026241211822,
author = {Pith},
title = {Pith review of: The Pogorelov estimates for the sum Hessian equation with rigidity theorem and parabolic versions},
year = {2026},
howpublished = {\url{https://pith.science/paper/UXUVBALH}},
note = {Machine review of arXiv:2412.11822}
}
abstract
In this paper, we primarily study the Pogorelov-type $C^2$ estimates for $(k-1)$-convex solutions of the sum Hessian equation under the assumption of semi-convexity, and apply these estimates to obtain a rigidity theorem for global solutions satisfying the corresponding conditions. Furthermore, we investigate the Pogorelov estimates and rigidity theorems for solutions to the parabolic versions under similar conditions. These results extend the works of \cite{He-Sheng-Xiang-Zhang-2022-CCM} and \cite{Liu-Ren-2023-JFA}.
Reference graph
Works this paper leans on
-
[29]
M. Li, C. Ren and Z. Wang, An interior estimate for convex solutions and a rigidity theorem. J. Funct. Anal., 270, (2016), 2691–2714
work page 2016
-
[1]
I. Bakelman and B. Kantor, Existence of a hypersurface homeomorphic to the sphere in Euclidean space with a given mean curvature . Geometry and Topology, Leningrad, 1, (1974), 3–10
work page 1974
-
[2]
Ball, Differentiability properties of symmetric and isotropic fu nctions
J. Ball, Differentiability properties of symmetric and isotropic fu nctions. Duke Math. J., 51, (1984), 699–728
work page 1984
-
[3]
J. Bao, J. Chen, B. Guan, M. Ji, Liouville property and regularity of a Hessian quotient equation. Amer. J. Math., 125(2), (2003), 301–316
work page 2003
-
[4]
J. Bao, J. Qiang, Z. Tang, and C. Wang. Interior estimates of derivatives and a Liouville type theorem for parabolic k-Hessian equations. Commun. Pure Appl. Anal., 22(8), (2023), 2466–2480,
work page 2023
-
[5]
Blocki, Interior regularity of the degenerate Monge-Amp` ere equat ions, Bull
Z. Blocki, Interior regularity of the degenerate Monge-Amp` ere equat ions, Bull. Aus- tral. Math. Soc., 68, (2003), 81–92
work page 2003
-
[6]
S. Brendle, K. Choi and P. Daskalopoulos, Asymptotic behavior of flows by powers of the Gaussian curvature. Acta Math., 219, (2017), 1–16
work page 2017
-
[7]
L. Caffarelli, Y. Li, An extension to a theorem of J ¨orgens. Calabi, and Pogorelov, Comm. Pure Appl. Math., 56(5), (2003), 549–583
work page 2003
Show all 48 references
-
[8]
Caffarelli, L
L. Caffarelli, L. Nirenberg and J. Spruck, The Dirichlet problem for nonlinear second order elliptic equations I. Monge-Amp` ere equations . Comm. Pure Appl. Math., 37, (1984), 369–402
1984
-
[9]
Caffarelli, L
L. Caffarelli, L. Nirenberg and J. Spruck, The Dirichlet problem for nonlinear second order elliptic equations, III: Functions of the eigenvalue s of the Hessian. Comm. Pure Appl. Math., 37, (1984), 369–402
1984
-
[10]
Caffarelli, L
L. Caffarelli, L. Nirenberg and J. Spruck, Nonlinear second order elliptic equations. IV. Starshaped compact Weingarten hypersurfaces . Current topics in partial differen- tial equations, Kinokuniya, Tokyo, (1985), 1–26
1985
-
[11]
Calabi, Imporper affine hyperspheres of convex type and a generalizat ion of a theorem by K.J ¨orgens
E. Calabi, Imporper affine hyperspheres of convex type and a generalizat ion of a theorem by K.J ¨orgens. Michigan Math. J., 5, (1958), 105–126
1958
-
[12]
Chang, Y
S. Chang, Y. Yuan, A Liouville problem for sigma-2 equation. Discrete Contin. Dyn. Syst., 28(2), (2010), 659–664
2010
-
[13]
Cheng, S
S. Cheng, S. Yau, Complete affine hypersurfaces, part I. The completeness of affine metrics, Comm. Pure Appl. Math., 39, (1986), 839–866
1986
-
[14]
K. Chou, X. Wang, A variational theory of the Hessian equation. Comm. Pure Appl. Math., 54, (2001), 1029–1064
2001
-
[15]
Dong, Hessian equations with elementary symmetric functions
H. Dong, Hessian equations with elementary symmetric functions . Comm. Partial Differential Equations, 31, (2006), 1005–1025. 28 WEIZHAO LIANG, JIN YAN, AND HUA ZHU
2006
-
[16]
Espinar, J
J. Espinar, J. G´ alvez, P. Mira, Hypersurfaces in Hn+1 and conformally invariant equations: the generalized Christoffel and Nirenberg probl ems. J. Eur. Math. Soc., 11, (2009), 903–939
2009
-
[17]
Gilbarg, N
D. Gilbarg, N. Trudinger, Elliptic Partial Differential Equations of the Second Order , second edition, Springer, 1998
1998
-
[18]
Guan, The Dirichlet problem for Hessian equations on Riemannian m anifolds
B. Guan, The Dirichlet problem for Hessian equations on Riemannian m anifolds. Calc. Var. Partial Differential Equations., 8, (1999), 45–69
1999
-
[19]
P. Guan, J. Li and Y. Li, Hypersurfaces of Prescribed Curvature Measure. Duke Math. J., 161, (2012), 1927–1942
2012
-
[20]
P. Guan, C. Lin and X. Ma, The Existence of Convex Body with Prescribed Curvature Measures. Int. Math. Res. Not., (11), (2009) 1947–1975
2009
-
[21]
P. Guan, C. Ren and Z. Wang, Global C 2 estimates for curvature equation of convex solution. Comm. Pure Appl. Math., 68(8), (2015), 1287–1325
2015
-
[22]
Guan and X
P. Guan and X. Zhang, A class of curvature type equations . Pure Appl. Math. Q., 17(3), (2021), 865–907
2021
-
[23]
Guti´ errez, Q
C. Guti´ errez, Q. Huang, A generalization of a theorem by Calabi to the parabolic Monge-Amp` ere equation. Indi. Univ. Math. J., 47(4), (1998), 1459–1480
1998
-
[24]
Harvey and H
F. Harvey and H. Lawson Jr, Calibrated geometries. Acta. Math., 148, (1982), 47–157
1982
-
[25]
He, H Sheng, N
Y. He, H Sheng, N. Xiang, and J. Zhang, A Pogorelov estimate and a Liouville-type theorem to parabolic k-Hessian equations. Commun. Contemp. Math., 24(4), (2022)
2022
-
[26]
J¨orgens, ¨U ber die L ¨osungen der Differentialgleichung rs − t2 = 1
K. J¨orgens, ¨U ber die L ¨osungen der Differentialgleichung rs − t2 = 1 . Math. Ann., 127, (1954), 130–134
1954
-
[27]
Krylov, On the general notion of fully nonlinear second order ellipt ic equation
N. Krylov, On the general notion of fully nonlinear second order ellipt ic equation . Trans. Amer. Math. Soc., 347(3), (1995), 857–895
1995
-
[28]
C. Li, C. Ren and Z. Wang, The curvature estimates for convex solutions of some fully nonlinear Hessian-type equations. Calc. Var. Partial Differential Equations., 58(5), (2019)
2019
-
[30]
Y. Liu, C. Ren, Pogorelov type C 2 estimates for sum Hessian equations and a rigidity theorem. J. Funct. Anal., 284(1), (2023)
2023
-
[31]
S. Lu. Curvature estimates for semi-convex solutions of Hessian e quations in hyper- bolic space. Calc. Var. Partial Differential Equations, 62(9), (2023)
2023
-
[32]
X. Mei, H. Zhu. Hypersurfaces of prescribed mixed Weingarten curvature. J. Geom. Anal., 34(2), (2024)
2024
-
[33]
Nakamori, K
S. Nakamori, K. Takimoto, A bernstein type theorem for parabolic k-hessian equa- tions. Nonlinear Anal., 117, (2015), 211–220
2015
-
[34]
Oliker, Hypersurfaces in Rn+1 with prescribed Gaussian curvature and related equa- tions of Monge-Amp` ere type
V. Oliker, Hypersurfaces in Rn+1 with prescribed Gaussian curvature and related equa- tions of Monge-Amp` ere type . Commun. Partial Differ. Equ., 9(8), (1984), 807–838
1984
-
[35]
Pogorelov, On the improper convex affine hyperspheres
A. Pogorelov, On the improper convex affine hyperspheres. Geometriae Dedicata, 1(1), (1972), 33–46
1972
-
[36]
Pogorelov, The Minkowski Multidimensional Problem
A. Pogorelov, The Minkowski Multidimensional Problem . John Wiley, 1978
1978
-
[37]
Ren, A generalization of Newton-Maclaurin ’s inequalities
C. Ren, A generalization of Newton-Maclaurin ’s inequalities. Int. Math. Res. Not., (5), (2024), 3799–3822
2024
-
[38]
Ren and Z
C. Ren and Z. Wang, On the curvature estimates for Hessian equations. Amer. J. Math. 141(5), (2019), 1281–1315
2019
-
[39]
Ren and Z
C. Ren and Z. Wang, The global curvature estimate for the n − 2 Hessian equation. Calc. Var. Partial Differential Equations., 62(9), (2023)
2023
-
[40]
Savin, Pointwise C 2,α estimates at the boundary for the Monge-Amp` ere equation , J
O. Savin, Pointwise C 2,α estimates at the boundary for the Monge-Amp` ere equation , J. Amer. Math. Soc., 26, (2013), 63–99
2013
-
[41]
Sheng, J
W. Sheng, J. Urbas and X. Wang, Interior curvature bounds for a class of curvature equations. Duke Math. J., 123(2), (2004), 235–264. POGORELOV ESTIMATES AND RIGIDITY THEOREMS 29
2004
-
[42]
Trudinger, X
N. Trudinger, X. Wang, The Monge-Amp` ere equation and its geometric applications , in: Hand-book of Geometric Analysis, vol. I, Int. Press, Somerville, MA, 7, (2008), 467–524
2008
-
[43]
Tu, Pogorelov type estimates for semi-convex solutions of hess ian equations and related rigidity theorems , arXiv:2405.02939
Q. Tu, Pogorelov type estimates for semi-convex solutions of hess ian equations and related rigidity theorems , arXiv:2405.02939
-
[44]
Warren, Nonpolynomial entire solutions to σk equations
M. Warren, Nonpolynomial entire solutions to σk equations. Comm. Partial Differen- tial Equations., 41(5), (2016), 848–853
2016
-
[45]
Xiong, J
J. Xiong, J. Bao, On J ¨orgens, Calabi, and Pogorelov type theorem and isolated sing u- larities of parabolic Monge-Amp` ere equations. J. Diff. Equa., 250(1), (2011), 367–385
2011
-
[46]
Yang, Prescribed curvature measure problem in hyperbolic space , Comm
F. Yang, Prescribed curvature measure problem in hyperbolic space , Comm. Pure Appl. Math., 77(1), (2024), 863–898
2024
-
[47]
Zhang, J
W. Zhang, J. Bao and B. Wang, An extension of J ¨orgens-Calabi-Pogorelov theorem to parabolic Monge-Amp` re equation. Calc. Var. Partial Differential Equations., 57(3), (2018), 57–90
2018
-
[48]
Zhang, C 2 estimates for k-hessian equations and a rigidity theorem , arXiv: 2408.10781
R. Zhang, C 2 estimates for k-hessian equations and a rigidity theorem , arXiv: 2408.10781. Department of Mathematics, University of Science and Techn ology of China, Hefei, China. Email address : Lwz740@mail.ustc.edu.cn Department of Mathematics, University of Science and Tec...
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.