REVIEW 2 major objections 1 minor 1 cited by
A Numerical Criterion for the 2-Hessian Equation on Compact K\"ahler Manifolds
T0 review · 2 major / 1 minor · reviewed 2026-07-14 · grok-4.5
Pith's one-line read In complex dimension three, a Nakai–Moishezon-type numerical criterion is equivalent to solvability of the complex 2-Hessian equation.
desk verdict Claims to settle Murakami and Székelyhidi conjectures for the 2-Hessian in complex dim 3 via a Nakai–Moishezon criterion, but we only have the abstract so the key analytic bridge is unchecked. 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 Nakai–Moishezon-type numerical criterion associated with the complex 2-Hessian equation, which is shown to produce a Gauduchon class that, in dimension three, is equivalent to 2-admissibility and solvability.
What would settle it
An explicit compact Kähler threefold on which the stated Nakai–Moishezon-type numerical criterion holds but no smooth 2-admissible form exists (or the 2-Hessian equation fails to admit a smooth solution).
Extended reading notes
Core claim
A Nakai–Moishezon-type numerical criterion for the complex 2-Hessian equation produces a Gauduchon class; in complex dimension three this criterion is equivalent to the existence of a smooth 2-admissible representative and hence to solvability of the 2-Hessian equation, settling the corresponding conjectures of Murakami and of Székelyhidi in that dimension.
Load-bearing premise
The claim that the numerical criterion produces a Gauduchon class, which is the analytic bridge used to reach 2-admissibility and solvability in dimension three.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that a Nakai–Moishezon-type numerical criterion associated with the complex 2-Hessian equation produces a Gauduchon class on a compact Kähler manifold. In complex dimension three this numerical condition is asserted to be equivalent to the existence of a smooth 2-admissible representative and therefore to solvability of the 2-Hessian equation. As consequences the authors claim to settle the corresponding conjectures of Murakami (complex Hessian equation) and of Székelyhidi (Hessian quotient equation) in dimension three, and they also announce a boundary version of the same results.
Significance. If the arguments hold, the work would supply a genuine numerical criterion for solvability of the complex 2-Hessian equation in dimension three and would resolve two well-known conjectures in that dimension. Such a criterion would be a substantial contribution to the analytic theory of fully nonlinear equations on compact Kähler manifolds and would parallel the classical Nakai–Moishezon theorem in a non-linear setting. The boundary extension would further enlarge the geometric scope of the results.
major comments (2)
- [Abstract (full manuscript unavailable)] Only the abstract is available for review. The central load-bearing step—that the stated Nakai–Moishezon-type numerical criterion produces a Gauduchon class—cannot be inspected. All subsequent claims (the dimension-three equivalence with 2-admissibility and solvability, the resolution of Murakami’s and Székelyhidi’s conjectures, and the boundary version) rest on this conversion. Without the analytic estimates, positivity arguments, and closedness properties that effect the conversion, soundness cannot be verified.
- [Abstract (full manuscript unavailable)] The abstract asserts an equivalence in complex dimension three between the numerical criterion and the existence of a smooth 2-admissible representative. The precise hypotheses under which this equivalence holds, the role of the ambient Kähler class, and the a-priori estimates that close the argument are invisible from the abstract alone; any hidden restriction would immediately limit the claimed resolution of the two conjectures.
minor comments (1)
- [Abstract] The abstract is clear and well-written, but a complete referee report requires the full text, including statements of the precise numerical criterion, the definition of the associated Gauduchon class, and the statements of the conjectures being settled.
Circularity Check
Abstract-only review: no circularity detectable; equivalence theorem with no fitted parameters or self-definitional reduction visible from the abstract.
full rationale
Only the abstract is available. From it, the paper claims a Nakai–Moishezon-type numerical criterion produces a Gauduchon class, and that in complex dimension three this criterion is equivalent to existence of a smooth 2-admissible representative (hence solvability of the 2-Hessian equation), settling Murakami’s and Székelyhidi’s conjectures in dim 3, plus a boundary version. This is a standard existence/equivalence theorem in complex geometry: a numerical positivity condition is shown to imply a geometric object (Gauduchon class / 2-admissible form) and, under the dimensional restriction, to be equivalent to solvability. There is no fitting of free parameters to data, no renaming of a known empirical pattern as a prediction, and no indication that the conclusion is forced by a normalization chosen by the authors. Self-citation cannot be audited without the bibliography or body, so no load-bearing self-citation chain can be exhibited. Per the hard rules, circularity may be claimed only when a specific reduction can be quoted and exhibited; with only the abstract, no such reduction is available. The honest finding is therefore score 0 with empty steps. (Correctness risk of the unaudited analytic step that converts the numerical criterion into a Gauduchon class is a separate concern and is not circularity.)
Assumptions & free parameters
assumptions (3)
- domain assumption Background theory of compact Kähler manifolds, Gauduchon metrics, and the complex 2-Hessian / Hessian-quotient equations as developed in the cited literature.
- ad hoc to paper A Nakai–Moishezon-type numerical criterion associated with the complex 2-Hessian equation produces a Gauduchon class.
- domain assumption Standard elliptic and pluripotential estimates needed to pass from a Gauduchon class with numerical positivity to a smooth 2-admissible representative in complex dimension three.
Cite this review
Pith. "Pith review of A Numerical Criterion for the 2-Hessian Equation on Compact K\"ahler Manifolds." pith.science (2026). https://pith.science/paper/SGVFD37O
@misc{pith2026260711296,
author = {Pith},
title = {Pith review of: A Numerical Criterion for the 2-Hessian Equation on Compact K\"ahler Manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/SGVFD37O}},
note = {Machine review of arXiv:2607.11296}
}
abstract
We show that a Nakai--Moishezon-type criterion associated with the complex $2$-Hessian equation produces a Gauduchon class. In complex dimension three, this numerical criterion is equivalent to the existence of a smooth $2$-admissible representative and hence to the solvability of the $2$-Hessian equation. As consequences of these results, we prove the corresponding conjectures of Murakami for the complex Hessian equation and of Sz\'ekelyhidi for the Hessian quotient equation in dimension three. We also establish a boundary version of the above results.
Forward citations
Cited by 1 Pith paper
-
A numerical criterion for complex Hessian type equations on projective manifolds
Existence of solutions to complex Hessian-type equations on projective manifolds is equivalent to uniform positivity of certain subvariety integrals when the associated polynomial is strictly right-Noetherian.
Reviewed July 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.