REVIEW 3 major objections 4 minor 27 references
Remarks on Hessian quotient equations on Riemannian manifolds
T0 review · 3 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read A new maximum-principle test function yields unobstructed second-order estimates for the real Hessian quotient equation in dimension two.
desk verdict Genuinely new test-function idea and an honest paper, but the advertised proof has a load-bearing gap in Proposition 2.4 that needs fixing before the new argument can stand. 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 new test quantity $\tilde Q(x)=\log\lambda_1(x)+\sup_v\phi(\frac{1}{2}u_v(x)^2)$, where $\lambda_1$ is the largest eigenvalue of $g^{-1}(\chi+\nabla^2 u)$, the supremum is over unit eigenvectors belonging to $\lambda_1$, and $\phi'$ is taken to be a large constant $A$. At the maximum, this is compared with $Q$ built from a local unit eigenvector field $V$; the extremal equation (3.21) and the explicit derivative formulas (3.22)–(3.29) recast all third-order terms into quadratic forms bounded by the $\mathrm{C}^1$ estimate. The second ingredient is Proposition 2.6, the exact concavity identity $-F^{ii,jj}\xi_i\xi_j=2F^{ii}\xi_i^2/\lambda_i-2(F^{ii}\xi_i)^2/F$ for $F=\sigma_n/\sigma_{n-1}$; it is what turns the linearized operator on $\log\lambda_1$ into the strictly positive term $F^{11}\tilde g_{11,1}^2/\lambda_1^2$. The restriction $n=2$ enters only when solving the $2\times2$ system that controls the derivatives of $\tilde g$ and $V$, which is where the proof would need new ideas in higher dimension.
What would settle it
Compare the asymptotics of both sides of (3.35) as $\lambda_1\to\infty$, substituting $F^{11}=F^2/\lambda_1^2$ and $V^2_1u_2+\tilde g_{11}-\chi_{11}\approx\lambda_1$; if the right-hand side is $O(\phi'^2|u_1|^2)$ rather than growing with $\lambda_1$, the claimed contradiction does not occur. This coefficient check is a finite computation using (2.9), (2.16), and the $\mathrm{C}^1$ bound of Proposition 5.2.
Extended reading notes
Core claim
The central claim is Theorem 2.2: in real dimension two, any admissible solution of (2.3) has a uniform bound on the full Hessian, $|\nabla^2 u|_g\le C(f,g,\chi)$, with no subsolution, superslope, or curvature assumption. The discovery is that this second-order estimate is unconditional for the positive Hessian quotient operator $F=\sigma_2/\sigma_1$, and that the obstruction is absent where the complex analogue has one. The proof identifies a structural reason: writing $F=1/\sigma_1(\lambda^{-1})$ yields the sharp concavity identity (2.16), and the new test function (3.1) lets the maximum principle consume all third-order terms, leaving only the controllable positive term $F^{11}\tilde g_{11,1}^2/\lambda_1^2$. The result implies, by the continuity method, that a single admissible function is enough to solve (2.3) for any positive $f$ up to rescaling.
Load-bearing premise
The proof's final contradiction requires that the big positive term in its last estimate get larger as the largest Hessian eigenvalue gets larger; if that term stays the same size instead, nothing in the estimate stops the eigenvalue from going to infinity.
Editorial extensions
If this is right
- In real dimension two, every admissible solution of (2.3) carries the a priori bound $|\nabla^2 u|_g\le C$, so the second-order estimate is unobstructed and the equation is solvable for any positive right-hand side $f$ up to rescaling.
- No subsolution, superslope, or curvature assumption is needed for the bound; earlier conditional frameworks are bypassed in this case.
- The normalized equation $F(u)=e^{\int_M u\,\mathrm{vol}_g+\Psi}$ has a unique smooth admissible solution whenever at least one admissible reference function exists.
- The real situation is genuinely different from the complex J-equation, which fails to be solvable in known examples even on complex surfaces with constant right-hand side.
- Because only the eigenvector-field derivative estimates use dimension two, the mechanism offers a concrete route toward higher-dimensional Hessian quotients.
Reading between the lines
- Beyond the stated theorem, the proof's asymptotic structure suggests replacing the affine $\phi(t)=At$ by a strictly convex $\phi$ in (3.1); if that makes the leading term of (3.35) grow with $\lambda_1$, the final contradiction would close with no other changes.
- The same concavity identity applies to $\sigma_n/\sigma_l$ for $1\le l<n$, so the test-function mechanism may transfer once higher-dimensional control of the eigenvector-field derivatives is established.
- If the bound extends to all closed manifolds, it would show the real equation has no global topological obstruction, so any failure of the higher-dimensional conjectures would originate in the second-order estimate itself rather than in cohomology.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the Hessian quotient equation F(u)=σ_n/σ_{n-1}(λ(g^{-1}(χ+∇²u)))=f on closed Riemannian manifolds and proves, in dimension two, an a priori second-order estimate for admissible solutions (Theorem 2.2). The proof introduces a test function involving log λ1 and a penalization by the directional derivative of u along an eigenvector of the largest eigenvalue λ1, and uses a concavity identity for the quotient operator (Proposition 2.6). Theorem 2.3 then derives existence of smooth solutions, up to normalization of the right-hand side, by a standard continuity method. The C⁰ and C¹ estimates are collected in the appendix.
Significance. If correct, Theorem 2.2 would establish that the real positive Hessian quotient equation in dimension two is unobstructed, in contrast to the complex J-equation, and the new maximum-principle mechanism could be a promising route to higher dimensions. The paper is largely self-contained: Proposition 2.6 is an explicit, checkable identity, and the C⁰ and C¹ estimates are proved in the appendix. At the same time, the author candidly notes in Remark 4.1 that the C² estimate itself already follows from Heinz's interior estimate, so the main value lies in the new proof. The current manuscript, however, contains a serious gap in the proof of Proposition 2.4 that is load-bearing for the announced argument.
major comments (3)
- [§2.2, Eq. (2.13)] The displayed chain in (2.13) contains the term −Cλ1 on the right-hand side, which is unbounded below as λ1→∞. In the inequality ``≥ (1/λ1)(χ_{ii,11}+u_{ii11}+2Σ...) − Cλ1 + C|∇u|_g + (χ_{11,ii}−χ_{ii,11})/λ1 ≥ (1/λ1)(\tilde g_{ii,11}+2Σ...) − C'', the final ``≥ −C'' is false for large λ1. The commutation of u_{11ii} to u_{ii11} produces an O(λ1) error before division by λ1, hence an O(1) error after division; the manuscript appears to have omitted a factor λ1^{-1} (or to have meant −C rather than −Cλ1). As written, this invalidates the proof of Proposition 2.4 and therefore the lower bound (2.10), which is essential for the maximum-principle step (3.35). This must be corrected and justified explicitly.
- [§2.2, Eq. (2.20)] In the passage from the fourth to the fifth displayed line of (2.20), the term −2(F^{ii}\tilde g_{ii,1})²/(Fλ1) is dropped from a chain of lower bounds. Since it is nonpositive, removing it makes the right-hand side larger, and the displayed inequality ``≥'' between those two lines is in the wrong direction. The term can be absorbed using the differentiated equation (2.14), because F^{ii}\tilde g_{ii,1}=f_1 is bounded, but this absorption is not shown. The proof of Proposition 2.4 is therefore incomplete at this point and needs an explicit justification.
- [§3.4, Eq. (3.35)] The final lower bound in (3.35) replaces (V²₁u₂ + \tilde g₁₁ − χ₁₁)² by a positive universal fraction of λ₁², but this step is not proved. A quantitative form of the separation assumption (3.20), together with the bounds (3.29) and Proposition 5.2, should imply |V²₁u₂ + \tilde g₁₁ − χ₁₁| ≥ cλ₁ for a constant c>0 independent of λ₁; the author should state this explicitly. I do not think that the alleged issue with the right-hand side of (3.35) being independent of λ₁ is decisive: a uniform positive lower bound would already contradict the maximum principle. The real difficulty is the missing justification of that uniform lower bound.
minor comments (4)
- [§2.2, Prop. 2.5] Proposition 2.5 is stated without proof and is cited to reference [18], which is ‚Äúin preparation. Since only Proposition 2.6 is used in the proof of Theorem 2.2, this is not fatal, but it should be clarified whether §2.5 is needed or can be omitted.
- [§2.1, Eq. (2.9)] The display (2.9) appears garbled: the middle line seems intended to read something like `1/n ≤ F := Σ_i F^{ii} ≤ 1`, but as typeset it is hard to parse. Please correct the typography.
- [§3.4, Eq. (3.20)] The condition ``λ1 >> λ2'' in (3.20) is used quantitatively in (3.28), (3.29), and (3.35). It should be quantified, for example as λ1 ≥ (1+δ)λ2 for a fixed δ>0 when λ1 is large, and the resulting constants should be tracked.
- [General notation] The symbol F is used both for the operator value f(u) in (2.3) and for the trace Σ_i F^{ii} in (2.9). In (3.35) this ambiguity could confuse the reader; a different symbol for the sum would help.
Circularity Check
No significant circularity: the C^2 estimate is derived from an independently proved concavity identity and a new test function; the only self-citation (Proposition 2.5 to an in-preparation paper) is not actually used in the proof.
full rationale
The derivation of Theorem 2.2 is self-contained along its actual chain: the key concavity identity (2.16) for sigma_2/sigma_1 is proved in Proposition 2.6 by direct differentiation of F = 1/sigma_1(lambda^{-1}), and the C^1 bound used in (2.13) and later is proved in Appendix Proposition 5.2. The maximum-principle argument combines the new test function (3.1) with the linearized-operator lower bound (2.10), and no fitted parameter or data-dependent quantity is renamed as a prediction. Proposition 2.5 is stated as a general concavity fact and cited to the in-preparation paper [18] by Guan and Sroka, but the proof of Proposition 2.4 uses only the special-case identity (2.16), so this self-citation is not load-bearing. Remark 4.1 notes that the same estimate can also be obtained from Heinz's interior estimate; that admission reduces the novelty claim but does not make the presented proof circular, since Heinz is not invoked as an input. Concerns about the sign or order of terms in (2.13) and (3.35) are mathematical-estimate issues, not circularity.
Assumptions & free parameters
free parameters (1)
- A (test function constant phi'=A) =
sufficiently large constant
assumptions (5)
- ad hoc to paper Proposition 2.5 concavity lower bound (reference [18])
- standard math Standard elliptic regularity: Schauder and Evans-Krylov estimates
- standard math Curvature commutation formulas for fourth-order derivatives of u
- domain assumption Local eigenvector field V exists near the maximum point
- domain assumption Existence of an admissible v for Theorem 2.3
Cite this review
Pith. "Pith review of Remarks on Hessian quotient equations on Riemannian manifolds." pith.science (2026). https://pith.science/paper/A5RQC53G
@misc{pith2026250103386,
author = {Pith},
title = {Pith review of: Remarks on Hessian quotient equations on Riemannian manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/A5RQC53G}},
note = {Machine review of arXiv:2501.03386}
}
abstract
We consider Hessian quotient equations in Riemannian setting related to a problem posed by Delano\"e and Urbas. We prove unobstructed second order a priori estimate for the real Hessian quotient equation via the maximum principle argument on Riemannian manifolds in dimension two. This is achieved by introducing new test function and exploiting some fine concavity properties of quotient operator. This result demonstrates that there is intriguing difference between the real case and the complex case, as there are known obstructions for $J$-equation in complex geometry.
Reference graph
Works this paper leans on
-
[1]
Andrews, Contractions of convex hypersurfaces in Euclidian space , Calc
B. Andrews, Contractions of convex hypersurfaces in Euclidian space , Calc. Var., 2, 151–171, 1994
work page 1994
-
[2]
S. Brendle, K. Choi, and P. Daskalopoulos, Asymptotic behavior of flows by powers of the Gaussian curvature, Acta Math., 219(1), 1–16, 2017
work page 2017
-
[3]
L. Caffarelli, L. Nirenberg, and J. Spruck, The Dirichlet problem for nonlinear second–order elliptic equations. III. Functions of the eigenvalues of the Hessian ., Acta Math., 155(3-4), 261–301, 1985
work page 1985
-
[4]
C. Chen, F. Han, and Q. Ou, The interior C 2 estimate for the Monge-Amp´ ere equation in dimension n = 2, Anal. PDE, 9(6), 1419–1432, 2016
work page 2016
-
[5]
X. X. Chen, On the lower bound of the Mabuchi energy and its application , Internat. Math. Res. Notices (IMRN), 12, 607–623, 2000
work page 2000
-
[6]
S.-Y. Cheng andS.-T. Yau, The real Monge–Amp´ ere equation and affine flat structures , Proceedings of the 1980 Beijing Symposium on Differential Geometry and Diffe rential Equations, Vol. 1, 2, 3 (Beijing, 1980), Science Press Beijing, Beijing, 339–370, 1982
work page 1980
-
[7]
Delano¨ e, ´Equations du type Monge-Amp` ere sur les vari´ et´ es riemanniennes compactes
P. Delano¨ e, ´Equations du type Monge-Amp` ere sur les vari´ et´ es riemanniennes compactes. I. , J. Func- tional Analysis, 40(3), 358–386, 1981
work page 1981
-
[8]
Delano¨ e, ´Equations du type de Monge-Amp` ere sur les vari´ et´ es riema nniennes compactes
P. Delano¨ e, ´Equations du type de Monge-Amp` ere sur les vari´ et´ es riema nniennes compactes. II. , J. Functional Analysis, 41(3), 341–353, 1981
work page 1981
Show all 27 references
-
[9]
Delano¨ e, ´Equations de Monge-Amp` ere invariantes sur les vari´ et´ esriemanniennes compactes, Ann
P. Delano¨ e, ´Equations de Monge-Amp` ere invariantes sur les vari´ et´ esriemanniennes compactes, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire,1(3), 147–178, 1984
1984
-
[10]
Delano¨ e,Remarques sur les vari´ et´ es localement hessiennes, Osaka J
P. Delano¨ e,Remarques sur les vari´ et´ es localement hessiennes, Osaka J. Math., 26(1), 65-69, 1989
1989
-
[11]
Delano¨ e, Hessian equations on compact non–negatively curved rieman nian manifolds , Calc
P. Delano¨ e, Hessian equations on compact non–negatively curved rieman nian manifolds , Calc. Var. Partial Differential Equations, 16(2), 165–176, 2003
2003
-
[12]
S. K. Donaldson, Moment maps and diffeomorphisms in ”Sir Michael Atiyah: a great mathematician of the twentieth century”, Asian J. Math., 3(1), 1–15, 1999
1999
-
[13]
L. C. Evans, Classical solutions of fully nonlinear, convex, second–or der elliptic equations , Comm. Pure Appl. Math., 35(3), 333–363, 1982. 18 MARCIN SROKA
1982
-
[14]
Guan, Second–order estimates and regularity for fully nonlinear elliptic equations on Riemannian manifolds, Duke Math
B. Guan, Second–order estimates and regularity for fully nonlinear elliptic equations on Riemannian manifolds, Duke Math. J., 163 (8), 1491–1524, 2014
2014
-
[15]
Guan, On subsolutions and concavity for fully nonlinear elliptic equations, Adv
B. Guan, On subsolutions and concavity for fully nonlinear elliptic equations, Adv. Nonlinear Stud., 24(1), 15–28, 2024
2024
-
[16]
P. Guan, Q. Li, and X. Zhang, A uniqueness theorem in K¨ ahler geometry, Math. Ann., 345(2), 377–393, 2009
2009
-
[17]
Guan and X
P. Guan and X. Ma, The Christoffel-Minkowski problem I: convexity of solutions of a Hessian equation , Invent. Math., 151 (3), 553–577, 2003
2003
-
[18]
Guan and M
P. Guan and M. Sroka, A special concavity property for positive Hessian quotient operators, in prepara- tion
-
[19]
Guo and J
B. Guo and J. Song, Sup-slopes and sub-solutions for fully nonlinear elliptic equations, preprint https://arxiv.org/abs/2405.03074
-
[20]
Heinz, On elliptic Monge-Amp´ ere equations and Weyl’s embedding p roblem, J
E. Heinz, On elliptic Monge-Amp´ ere equations and Weyl’s embedding p roblem, J. Analyse Math., 7, 1–52, 1959
1959
-
[21]
N. V. Krylov, Boundedly inhomogeneous elliptic and parabolic equations in a domain , Izv. Akad. Nauk SSSR Ser. Mat., 47(1), 75–108, 1983
1983
-
[22]
Y. Y. Li, Some existence results for fully nonlinear elliptic equati ons of Monge–Amp` ere type , Comm. Pure Appl. Math., 43(2), 233–271, 1990
1990
-
[23]
Lu, Interior C 2 estimate for Hessian quotient equation in general dimensio n, preprint https://arxiv.org/abs/2401.12229
S. Lu, Interior C 2 estimate for Hessian quotient equation in general dimensio n, preprint https://arxiv.org/abs/2401.12229
-
[24]
Schulz, Regularity theory for quasilinear elliptic systems and Mon ge-Amp´ ere equations in two dimen- sions, Lecture Notes in Math., 1445, Springer-Verlag, Berlin, 1990
F. Schulz, Regularity theory for quasilinear elliptic systems and Mon ge-Amp´ ere equations in two dimen- sions, Lecture Notes in Math., 1445, Springer-Verlag, Berlin, 1990
1990
-
[25]
Song, Nakai-Moishezon criterions for complex Hessian equations , preprint https://arxiv.org/abs/2012.07956v1
J. Song, Nakai-Moishezon criterions for complex Hessian equations , preprint https://arxiv.org/abs/2012.07956v1
2012 arXiv
-
[26]
Szekelyhidi, Fully non-linear elliptic equations on compact Hermitian m anifolds, J
G. Szekelyhidi, Fully non-linear elliptic equations on compact Hermitian m anifolds, J. Differential Geom., 109(2), 337–378, 2018
2018
-
[27]
Urbas, Hessian equations on compact Riemannian manifolds , Nonlinear problems in mathematical physics and related topics, II, Int
J. Urbas, Hessian equations on compact Riemannian manifolds , Nonlinear problems in mathematical physics and related topics, II, Int. Math. Ser. (N. Y.), 2, Kl uwer/Plenum, New York, 367–377, 2002. Faculty of mathematics and computer science, Jagiellonian University, /suppress...
2002
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.