REVIEW 3 major objections 5 minor
A numerical criterion for complex Hessian type equations on projective manifolds
T0 review · 3 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read The paper proves that, on projective manifolds, solvability of complex Hessian-type equations is equivalent to a uniform numerical positivity condition on all analytic subvarieties.
desk verdict A genuinely new uniform Nakai-Moishezon criterion for strictly right-Noetherian equations, but the singular extension step in Section 9 is asserted rather than proved, so the paper is conditional pending a complete proof of Lemma 9.3 and Remark 8.2. 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 right-Noetherian property of the univariate polynomial f: the largest real roots of f, f′, …, f^{(d-1)} exist and form a nonincreasing (strict, for the main results) sequence. This root condition makes f a Fang-Ma-Gårding polynomial, and its polarization F is a multi-affine polynomial whose positivity cone Υ_F (defined by eigenvalue conditions on χ^{-1}ω) is convex, permutation-invariant, and Kähler-implying. The proof also uses two cone-inclusion lemmas: multiplying f by x+T keeps the class and shrinks the cone, and subtracting ε f′ makes the polynomial strongly strictly right-Noetherian while enlarging the cone; these allow perturbations along the continuity
What would settle it
Check Lemma 9.3 on a singular subvariety whose canonical resolution needs at least two blowups, and see whether inequality (19) can be established by iterating the one-step argument. If the 'r=1' reduction fails, the closedness argument fails. Alternatively, run the gluing proof of Theorem 8.1 with the Fang-Ma-Gårding cone of this paper in place of the cone used in [11]; if any step uses a property that the cone lacks, the transfer in Remark 8.2 is the point of failure.
Extended reading notes
Core claim
The central claim is Theorem 1.2: for a compact connected smooth projective manifold of complex dimension n, if f(x)=x^d − Σ a_k x^k is strictly right-Noetherian and the integral of the equation matches, then the following are equivalent: (1) there is ε₀>0 such that every p-dimensional irreducible subvariety V satisfies the intersection inequality (3) with the uniform lower bound ε₀∫_V χ^p; (2) for every sufficiently small ε>0 there is a form ω_ε in the same class satisfying the cone condition for the perturbed polynomial f+ε. This is then specialized to Hessian quotient equations (Corollary 1.3) and complex k-Hessian equations (Corollary 1.5), giving uniform Nakai-Moishezon criteria. The pr
Load-bearing premise
The proof of closedness rests on an extension step that, for singular subvarieties, reduces resolution of singularities to a single blowup without a supplied induction, and transfers a gluing theorem to the present cone by assertion; if either is not valid, closedness is incomplete.
Editorial extensions
If this is right
- For complex k-Hessian equations on projective manifolds, a smooth solution exists iff there is an ε₀-uniform lower bound ∫_V ω^{k−n+p}∧χ^{n−k} ≥ ε₀∫_V χ^p for every subvariety V of dimension n−k ≤ p < n.
- For complex Hessian quotient equations, the uniform positivity condition (with two families of inequalities) is equivalent to smooth solvability, and this direction does not require a priori existence of a C-subsolution.
- For degree-n strongly strictly right-Noetherian equations, the three conditions — existence of a unique smooth cone solution, existence of a cone form, and the integral inequality (3) for all p<n — coincide.
- For any strictly right-Noetherian polynomial of degree d≤n, the uniform inequality for f implies solvability of f+ε for every small ε, giving a perturbation-friendly criterion.
- In the degree-n case, the cone condition itself is equivalent to solvability by prior work, so the new content is the numerical detection of the cone condition.
Reading between the lines
- If the proof closes, the same strategy should extend to other strictly right-Noetherian equations, since the cone-inclusion lemmas are purely polynomial and the analytic steps (mass concentration, gluing) appear equation-independent.
- The known counterexample shows the projective assumption is essential; the uniform ε₀ condition may fail exactly in the non-projective regime where a path-condition is needed, so testing (3) on those examples would delimit the criterion's boundary.
- The reduction of c₀(z) to a constant by a point value suggests a dimension-counting heuristic: for strongly right-Noetherian equations, variable coefficients may matter only through a single mean in a way that could extend to lower-order coefficients.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves numerical (Nakai–Moishezon type) criteria for complex Hessian-type equations ω^d∧χ^{n−d} = Σ a_k ω^k∧χ^{n−k} on compact connected smooth projective manifolds. Theorem 1.1 treats degree-n polynomials that are strongly strictly right-Noetherian, with variable coefficient c_0, and establishes equivalence among existence of a smooth solution in the cone, existence of a C-subsolution, and a numerical positivity condition on all subvarieties of dimension p<n. Theorem 1.2 extends this to strictly right-Noetherian polynomials of any degree d≤n under a uniform ε_0-condition on all p-dimensional subvarieties (n−d≤p<n). Corollaries deduce uniform criteria for Hessian quotient equations and complex k-Hessian equations, removing a priori assumptions made in earlier formulations. The proof follows a continuity-path scheme: a normalized path from the given equation to the Monge–Ampère equation, openness via the implicit function theorem, mass concentration à la Demailly–Paun producing a positive current with prescribed Lelong numbers, and a gluing theorem of Datar–Pingali to obtain a smooth solution. The local extension property needed by the gluing step is proved in Section 9.
Significance. If the proof can be completed, this is a substantial contribution: it gives a purely numerical characterization of solvability for a broad class of fully nonlinear equations on projective manifolds, and it strengthens Székelyhidi’s and Murakami’s conjectures by removing a priori C-subsolution/path conditions and providing a uniform positivity condition. The paper builds on independent, previously established results (Yau, Demailly–Paun, Lin, Fang–Ma, Datar–Pingali) rather than circular reasoning, and many of the cone-inclusion and positivity arguments are careful and plausible. The main caveat is that two critical steps in the closedness argument—the local extension theorem in the singular case and the transfer of the Datar–Pingali gluing theorem—are asserted rather than fully proved, leaving the central implication (3)⇒(2) of Theorem 1.1 incomplete as written.
major comments (3)
- [§9, Lemma 9.3] The proof invokes a canonical resolution π: M̃_r → … → M̃_0 = M and then states “We only need to assume that r=1.” This is not justified and is false as a general statement about resolving singular subvarieties: an arbitrary subvariety may require a composition of several blowups along smooth centers, and a single blowup does not in general make the proper transform smooth. The subsequent construction of ω̃_s, χ̃_s, the expansion (19), and the gluing argument are all written for one blowup with one exceptional divisor. Since Lemma 9.3 supplies the neighborhoods U and cone forms ω_U required by Theorem 8.1, and Theorem 8.1 is what closes the continuity set I in §8, the implication (3)⇒(2) of Theorem 1.1 depends on this reduction. An induction over the resolution sequence, or a genuine substitute argument, must be supplied.
- [§9, Lemma 9.3 and Lemma 9.4] In verifying the numerical inequality (19), the proof treats only the cases 1≤p≤m−1; the case p=m, i.e. Ṽ=Z̃, is handled by the sentence “If Ṽ=Z̃, we get the inequality as long as s is small.” This inequality is exactly what is needed to conclude d_0>0 in Lemma 9.4 and hence to obtain the smooth solutions ω̃_{s,t} on Z̃. The claim is plausible—the leading term Φ_m((1+s)π*ω_0,π*χ) has positive integral by the original numerical condition and the error terms are O(s)—but no uniform-in-s estimate is written out. Because Lemma 9.4 is then used to produce the current Θ̃_s and complete the extension argument, this omission is load-bearing.
- [§8, Remark 8.2] Theorem 8.1 is presented as Proposition 4.1 of [11], but Remark 8.2 transfers it to the present general cone by asserting that the proof “goes through without any changes because the only condition used there is the convexity of the cone condition, and that the cone condition implies the Kähler condition.” The original proposition is not quoted, and no verification is given that the gluing/regularized-maximum argument depends only on those two properties in the exact form needed here, particularly for currents with positive Lelong numbers along Y and strict cone condition off Y. Since Theorem 8.1 is the step that converts the mass concentration of §7 into closedness of I, the transfer needs to be documented explicitly or the original theorem stated with all hypotheses checked.
minor comments (5)
- [§4, proof of Corollary 1.3] Notation: “ω_ϵ ⊂ [ω]∩Υ_{F_ϵ}” and similar expressions should be “ω_ϵ ∈ [ω]∩Υ_{F_ϵ}.”
- [§2, Lemma 2.15] The proof says “By Lemma 2.5 of [18],” but Lemma 2.5 is not stated. Please include its statement or give a precise reference so the reduction is self-contained.
- [§5, Proposition 5.1] The proposition includes p=n, but the proof uses condition (3) for that value, which is not part of Theorem 1.2 and is not implied by integrability for a general g. The later uses in Theorem 1.2 only need p<n; restricting the statement to 1≤p≤n−1 and separately justifying the positivity of the normalization constant c (from ∫_M H_g(ω_0)>0) would fix this.
- [§6] The reduction from variable c_0 to constant c′_0 says the cone condition and numerical condition are “the same” for the two equations. This is true for Υ^1 because that cone depends only on derivatives of the polarization, hence not on c_0, but the point deserves one sentence of explanation.
- [§9, Lemma 9.4] In the estimate near the end of the lemma, “s_2 is a fixed number” is introduced without definition; please specify the choice of s_2 and why the integral with χ̃_{s_2} controls the corresponding integral with χ̃_s.
Circularity Check
No circularity: the main derivation rests on independent external theorems; the sole self-citation is contextual and non-load-bearing.
full rationale
I find no circular step in the paper's derivation chain. The central conclusion—a numerical positivity condition equivalent to solvability of a complex Hessian-type equation—is not an input to itself. Condition (3) is a uniform integral inequality over subvarieties, while the desired object is a smooth form in a prescribed cohomology class satisfying a cone condition. The proof of (3)⇒(2) proceeds by a continuity path opened by Yau's Calabi conjecture and Lin's results, with closedness supplied by mass-concentration estimates from Demailly–Paun and Skoda–El Mir and by the Datar–Pingali gluing theorem. The local extension lemmas in Section 9 are proved rather than assumed. The only author-overlap citation, reference [3], is mentioned in the introduction as background and is never used to justify a load-bearing step. There are no fitted parameters renamed as predictions, and no equation is assumed as its own conclusion. One passage, Lemma 9.3, asserts 'We only need to assume that r=1'; even if this is an unsupported reduction and an omitted proof for singular resolutions, it is a correctness gap, not a circular identification of input and output. Therefore the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption Datar-Pingali gluing theorem holds in the present setting.
- domain assumption Lin's Theorem 1.4 of [19] supplies the equivalence of solution existence and C-subsolution existence in the degree-n case.
- standard math Yau's solution of the Calabi conjecture gives the t=0 endpoint of the continuity path.
- ad hoc to paper A single blowup with r=1 suffices for the singular extension lemma.
- standard math Convexity and positive ray property of Fang-Ma-Garding components.
Cite this review
Pith. "Pith review of A numerical criterion for complex Hessian type equations on projective manifolds." pith.science (2026). https://pith.science/paper/Z4EQHDCF
@misc{pith2026260803815,
author = {Pith},
title = {Pith review of: A numerical criterion for complex Hessian type equations on projective manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/Z4EQHDCF}},
note = {Machine review of arXiv:2608.03815}
}
abstract
We prove a Nakai-Moishezon-type criterion for complex Hessian-type equations on projective manifolds whose associated degree-$n$ polynomials are strongly strictly right-Noetherian. For strictly right-Noetherian polynomials of arbitrary degree, we prove a uniform Nakai-Moishezon-type criterion. This class includes the complex Hessian and Hessian quotient equations.
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.