REVIEW 2 major objections 5 minor 2 cited by
Wall-chamber decompositions for generalised Monge-Amp\`ere equations
T0 review · 2 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read A finite list of subvarieties decides when generalized Monge-Ampère equations are solvable.
desk verdict Real finiteness theorem for destabilizing subvarieties in higher dimensions, but the optimal-destabilizer extension has a repairable gap for curves. 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 engine is the non-Kähler locus $E_{nK}(\tau)$ of a big $(1,1)$-class and the modified Kähler cone, meaning classes whose non-Kähler locus contains no subvarieties of dimension at least $p+1$. The key positivity lemma says that if a $p$-dimensional subvariety $V$ has non-positive intersection with a big class $\tau$, then $V$ lies in $E_{nK}(\tau)$. Hence, when $\tau_p$ is $(p+1)$-modified Kähler, every destabilizing $p$-dimensional subvariety must be one of the finitely many $p$-dimensional components of $E_{nK}(\tau_p)$. For generalized Monge-Ampère equations, factor classes $\tau_p$ are extracted from the polynomial $Q_p(x,y) = (\exp(x)(1-P(y)))[p]$, and these carry the same finiteness argument.
What would settle it
Look for a compact Kähler manifold and Kähler classes $\alpha,\beta$ satisfying the $(p+1)$-modified Kähler condition for every $p$, yet having infinitely many irreducible subvarieties $V$ with $\mu(V) \ge \mu(X)$. A direct intersection-theoretic computation on any such example would refute Theorem 3.9; conversely, the paper's own blow-up example, where $\mu\alpha - (n-1)\beta$ is not big, already shows the hypothesis cannot simply be dropped.
Extended reading notes
Core claim
The central claim is Theorem 3.9: if for every $p = 1,\dots,n-1$ the class $\tau_p = \mu\alpha - p\beta$ is $(p+1)$-modified Kähler, then the set of irreducible subvarieties $V$ with $\mu(V) \ge \mu(X)$ is finite. Combined with the known equivalence between solvability and J-stability, this yields Theorem 1.6: the J-equation is solvable exactly when a finite list $V_1,\dots,V_r$ satisfies the strict slope inequalities $\mu > \mu(V_i)$. The same mechanism, once a generalized Monge-Ampère equation is shown to be factorizable into classes $\tau_p$, gives finite effective testing for these equations and locally finite wall-chamber decompositions.
Load-bearing premise
The load-bearing assumption is that each class $\tau_p = \mu\alpha - p\beta$ (or the corresponding factor class) is $(p+1)$-modified Kähler, meaning its non-Kähler locus contains no subvarieties of dimension $p+1$ or higher; if this fails, infinitely many destabilizing subvarieties can occur.
Editorial extensions
If this is right
- The J-equation can be decided by checking strict slope inequalities on a finite list of subvarieties, not on all subvarieties.
- The boundary of the J-stable locus is a locally finite union of codimension-one walls, each cut out by one destabilizing subvariety.
- The same holds for generalized Monge-Ampère equations, including inverse Hessian equations, under the factor-class positivity assumption.
- On threefolds, destabilizing subvarieties are rigid: surfaces are unique effective cycles in their homology class, and curves have negative self-intersection after resolution.
- Explicit families of compact Kähler manifolds in every dimension satisfy the hypotheses, giving the first higher-dimensional PDE wall-chamber decompositions.
Reading between the lines
- The paper leaves open whether the modified Kähler hypothesis can be weakened; the blow-up example shows some positivity is necessary, but the optimal condition is not identified.
- A consequence the authors only hint at is that the finite list could be turned into an algorithm: compute the finitely many components of the non-Kähler loci and test only those subvarieties.
- If the wall-chamber picture is correct, one should expect the J-flow's bubbling locus to coincide with the finite destabilizing set; checking this on the explicit projective-bundle examples would be a natural testable extension.
- The factorizability of all generalized Monge-Ampère equations suggests that the finiteness phenomenon is ultimately a property of the polynomial data defining the equation, not of the individual PDE.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies generalized Monge-Ampère (gMA) equations on compact Kähler manifolds, focusing on the algebraic structure of subvarieties that violate the Nakai–Moishezon type numerical criteria for solvability. The main results assert that, under modified-Kähler positivity assumptions, the set of destabilizing subvarieties is finite, that optimal destabilizers are finite, that such subvarieties are rigid in a suitable sense, and that these finiteness statements imply locally finite wall-chamber decompositions for the J-equation and certain gMA/dHYM equations. The main theorems are Theorem 3.1 (threefolds), Theorem 3.9 (arbitrary dimension under (p+1)-modified Kähler assumptions), and Theorem 3.10 (finiteness of optimal destabilizers). Applications include effective solvability criteria, examples on projective bundles and blow-ups, and wall-chamber decompositions.
Significance. If the main results are correct, this is a substantial advance: it reduces the infinite Nakai–Moishezon type test for a large class of geometric PDE to a finite list of subvarieties, and it provides the first higher-dimensional examples of PDE analogues of Bridgeland's locally finite wall-chamber decompositions. The proof strategy is conceptually clean, reducing the problem to the non-Kähler locus of certain cohomology classes and using finiteness of irreducible components of analytic sets. The paper also contains explicit and checkable examples, especially the Wu-type projective bundle constructions, and the proof of Theorem 3.9 is short and correct as written. The main advertised applications, however, rely on Theorem 3.10 and Lemma 4.4, both of which have proof gaps that are load-bearing.
major comments (2)
- [§3.3, Theorem 3.10] The proof of Theorem 3.10 does not handle the case p=1, which is required for finiteness of optimally destabilizing curves. The proof passes to β' = β − Δ_{β}(α)α, so that (X,α,β') is semistable and Δ_{β'}(α)=0. For p≥2 the argument via Lemma 2.4 works, but for p=1 the hypothesis (6) is not imposed on τ₁ = μ α − β'. A curve C with equality μ(C)=μ satisfies ∫_C(μ α − β')=0, hence Lemma 2.4 only shows C ⊆ EnK(τ₁). Since τ₁ = τ₂ + β' with τ₂ ∈ M₃K and β' Kähler, τ₁ is in M₃K but not necessarily in M₂K; EnK(τ₁) may therefore contain surface components, and nothing in the proof shows that (μ α − β')|_S is big on such a surface S, nor that only finitely many curves in S achieve equality. Thus the claims of finiteness of Destopt in Theorem 1.1(4), Corollary 4.5, and Corollary 4.7 are not established. The non-emptiness assertion, attributed to [28], also appears to assume the finiteness it is meant to prove; a precise citation or proof is needed.
- [§4.3, Lemma 4.4] The proof of Lemma 4.4 is incomplete as written. The text reaches "Putting it all together we find that L(s) = R(s) for all s ≥ 0" and then "Thus, we have the inequality", but no derivation of L(s)=R(s) is given, and the displayed inequality is missing. The logical steps L(0)=R(0), the implication L(s)≥0 ⇒ R(s)≥0, and the existence of some s with L(s)≤0 do not by themselves imply identity of the two affine functions. The first inequality in (9) is asserted to follow "similarly" but is not proved. Since Lemma 4.4 is the key input for Proposition 4.2 and hence for the theorems producing finite optimal destabilizers (Corollaries 4.5 and 4.7, Theorem 4.6), this gap must be repaired with a complete argument.
minor comments (5)
- [§3.3, Theorem 3.9 proof] In the proof of Theorem 3.9, the inclusion is written as Z ⊆ EnK(µα,βα − pα), but the class should be µα,βα − pβ; this appears to be a typo.
- [§4.3, Proposition 4.2] The notation θ ≥ θ′ for θ − θ′ nef is used in the computation following equation (10) but is not defined before its first use; please define it explicitly.
- [§4.3, Lemma 4.4 proof] The definition of the second path β_s := (1−s)α_{t_s} + sη* with t_s chosen so that α_{t_s}=α_t for all s ∈ [0,1) is hard to follow; the dependence of t_s on s should be spelled out, and the assertion that L(s) is linear in the relevant argument should be justified by a precise reference to [28] or by an argument.
- [Abstract and references] The abstract contains a typo, "familes"; also, reference [2] has an unusual combined entry (thesis and journal pages) that should be cleaned up.
- [§5.2, Theorem 5.15] In the proof of Theorem 5.15, the claim that the classes α − cot((φ+πl)/p)β are Kähler for l=1,...,p−1 under the stated hypotheses is correct, but the verification for p=2 and p=3 is compressed; a short sentence listing the ranges of the cotangents would improve readability.
Circularity Check
No significant circularity: the finiteness theorems are conditional on explicit modified-Kähler hypotheses and reduce to non-Kähler loci via Lemma 2.4; the cited prior work is independent published mathematics.
full rationale
The paper's central claims are conditional statements: if the classes τ_p = μ α − pβ (or their shifted versions) are (p+1)-modified Kähler, then the set of p-dimensional destabilizing subvarieties is finite. The reduction is direct: μ(V) ≥ μ is rewritten as ∫_V (μ α − pβ)·α^{p−1} ≤ 0, and Lemma 2.4 (proved from Boucksom's and Demailly's results) forces V ⊆ EnK(μ α − pβ). Because τ_p ∈ M_{p+1}K, Lemma 2.3 says EnK(τ_p) has no component of dimension ≥ p+1, so the p-dimensional subvarieties contained in it are among finitely many irreducible components. No parameter is fitted to the data being predicted, and the target statement is not used as an input; the modified-Kähler condition is an assumption, not a consequence of the conclusion. The paper does cite the authors' earlier work: [22] for the surface case and [28] for the stability threshold and its linearity. These are published, independently proved results that do not assume the present theorems, so under the review rules they are real evidence rather than circularity. The factor classes τ_p for generalized Monge-Ampère equations are obtained from an explicit polynomial factorization (Lemma 5.6), not by defining the answer into the input. One non-circular concern should be flagged: the proof of Theorem 3.10 explicitly does not impose the modified-Kähler condition for p=1, and the argument 'this combined implies Destopt_{α,β′} is finite' does not handle curves contained in surface components of EnK(μ α − β′); this is a proof gap or correctness issue, not a circularity, and it does not raise the circularity score.
Assumptions & free parameters
assumptions (6)
- domain assumption Compact Kähler manifold X with Kähler classes α,β; the numerical criteria of [5], [12], [19] characterize solvability by testing all proper subvarieties.
- standard math For a big class τ, the non-Kähler locus EnK(τ) is a proper analytic subset, and if V is not contained in it then ∫_V τ·ω1·...·ω_{p-1}>0 (Lemma 2.4).
- domain assumption On a smooth projective surface, for a big class L, only finitely many irreducible curves C satisfy L·C≤0 (from [22, Prop 3.1, Thm 5.3]).
- domain assumption The stability threshold Δ is linear in β and its infimum is realized by finitely many subvarieties ([28]).
- standard math Hironaka resolution of singularities exists for compact Kähler surfaces and preserves the relevant intersection numbers (projection formula).
- standard math The p-modified Kähler cones are open, and Lemma 2.3 characterizes them via dimensions of components of EnK.
Cite this review
Pith. "Pith review of Wall-chamber decompositions for generalised Monge-Amp\`ere equations." pith.science (2026). https://pith.science/paper/ATFEMDXU
@misc{pith2026241220089,
author = {Pith},
title = {Pith review of: Wall-chamber decompositions for generalised Monge-Amp\`ere equations},
year = {2026},
howpublished = {\url{https://pith.science/paper/ATFEMDXU}},
note = {Machine review of arXiv:2412.20089}
}
read the original abstract
Generalised Monge-Amp\`ere equations form a large class of PDE including Donaldson's J-equation, inverse Hessian equations, some supercritical deformed Hermitian-Yang Mills equations, and some Z-critical equations. Solvability of these equations is characterised by numerical criteria involving intersection numbers over all subvarieties, and in this paper, we aim to characterise algebraically what happens when these nonlinear Nakai-Moishezon type criteria fail. As a main result, we show that under mild positivity assumptions, there is a finite number of subvarieties violating the Nakai type criterion, and such subvarieties are moreover rigid in a suitable sense. This gives first effective solvability criteria for these families of PDE, thus improving on work of Gao Chen, Datar-Pingali, Song and Fang-Ma, and provides first existence results in higher dimension of compact K\"ahler manifolds exhibiting a natural PDE analog of Bridgeland's locally finite wall-chamber decomposition.
Forward citations
Cited by 2 Pith papers
-
On the Datar-Mete-Song minimal slope conjecture
The paper proves the Datar-Mete-Song conjecture: a pair of Kähler classes is semi-stable exactly when its minimal J-slope equals the topological J-slope.
-
Polynomial stability conditions for vector bundles: Positivity, equivariance and blow-ups
P-critical connections generalize Z-critical connections; on toric varieties P-positivity is checked finitely, and uniform P-positivity survives point blow-ups.
Reference graph
Works this paper leans on
- [22]
-
[28]
Sjöström Dyrefelt, Optimal lower bounds for Donalds on’s J-functional, Adv
Z. Sjöström Dyrefelt, Optimal lower bounds for Donalds on’s J-functional, Adv. Math. 374 (2020), 107271, 37 pp
work page 2020
-
[1]
Bayer, Polynomial Bridgeland stability conditions a nd the large volume limit, Geom
A. Bayer, Polynomial Bridgeland stability conditions a nd the large volume limit, Geom. Topol. 13 (2009), no. 4, 2389–2425
work page 2009
-
[2]
Boucksom, Cônes positifs des variétés complexes comp actes, PhD thesis, Mathématiques [math]
S. Boucksom, Cônes positifs des variétés complexes comp actes, PhD thesis, Mathématiques [math]. Université Joseph-Fourier-Grenoble I, 2002. tel-0000226 8. 67 (2017) no. 2, 743-841
work page 2017
-
[3]
Bridgeland, Stability conditions on triangulated ca tegories, Ann
T. Bridgeland, Stability conditions on triangulated ca tegories, Ann. of Math. (2) 166 (2007), no. 2, 317–345
work page 2007
-
[4]
Bridgeland, Stability conditions on K3 surfaces, Duk e Math
T. Bridgeland, Stability conditions on K3 surfaces, Duk e Math. J. 141 (2008), no. 2, 241-291
work page 2008
-
[5]
Chen, The J-equation and the supercritical deformed H ermitian-Yang-Mills equation, Invent
G. Chen, The J-equation and the supercritical deformed H ermitian-Yang-Mills equation, Invent. Math. 225 (2021), no. 2, 529–602
work page 2021
-
[6]
E. Calabi, The space of Kähler metrics, Proceedings of th e International Congress of Mathematics 1954 2 (1954), 206–
work page 1954
Show all 37 references
-
[7]
J. Chu, T. Collins, M. Lee, The space of almost calibrated (1, 1) forms on a compact Kähler manifold, Geom. Topo. 25 (2021), no. 5, 2573-2619
2021
-
[8]
J. Chu, M. Lee, R. Takahashi, A Nakai-Moishezon type crit erion for supercritical deformed Hermitian-Yang-Mills equation, to appear in J. Differentia l Geom. Preprint arXiv:2105.10725v3 [math.DG]
-
[9]
Collins, A
T. Collins, A. Jacob, S.-T. Yau, (1, 1) forms with specified Lagrangian phase: a priori estimates and algebraic obstructions, Camb. J. Math. 8 (2020), 407-45 2
2020
-
[10]
Collins, G
T. Collins, G. Székelyhidi, Convergence of the J-flow on toric manifolds, J. Differential Geom. 107 (2017) no. 1, 47-81
2017
-
[11]
Collins, D
T. Collins, D. Xie, S.-T. Yau, The deformed Hermitian-Y ang-Mills equation in geometry and physics, Geometry and physics. Vol. I, 69-90, Oxford Univ. P ress, Oxford, 2018
2018
-
[12]
Datar, V
V. Datar, V. Pingali, A numerical criterion for general ized Monge-Ampère equations on projec- tive manifolds, Geom. Funct. Anal. 31 (2021), no. 4, 767–814
2021
-
[13]
Datar, R
V. Datar, R. Mete, J. Song. Minimal slopes and bubbling f or complex Hessian equations. Preprint arXiv:2312.03370
-
[14]
Demailly, Regularization of closed positive cur rents and intersection theory
J.-P. Demailly, Regularization of closed positive cur rents and intersection theory. J. Algebraic Geom. 1 (1992), no. 3, 361–409
1992
-
[15]
Demailly and M
J.-P. Demailly and M. Păun, Numerical characterizatio n of the Kähler cone of a compact Kähler manifold, Ann. of Math. (2) 159 (3) (2004), 1247-1274
2004
-
[16]
Dervan, Stability conditions in geometric invarian t theory, Preprint arXiv:2207.04766v1 [math.AG]
R. Dervan, Stability conditions in geometric invarian t theory, Preprint arXiv:2207.04766v1 [math.AG]
-
[17]
Dervan, J.B
R. Dervan, J.B. McCarthy, L.M. Sektnan, Z-critical connections and Bridgeland stability condi- tions, Preprint arXiv:2012.10426v3 [math.DG]
2012 arXiv
-
[18]
S. K. Donaldson, Moment maps and diffeomorphisms, Asian J. Math. 3 (1999), no. 1, 1–15
1999
-
[19]
H. Fang, B. Ma. On a fully nonlinear elliptic equation wi th differential forms. Preprint arXiv:2309.15451
-
[20]
H. Fang, M. Lai, and X. Ma. On a class of fully nonlinear flo ws in Kähler geometry. J. fur die reine ang. Math. 653 (2011): 189-220
2011
-
[21]
Jacob, S.-T
A. Jacob, S.-T. Yau, A special Lagrangian type equation for holomorphic line bundles, Math. Ann. 369 (2017), no. 1-2, 869–898
2017
-
[23]
Lamari, Le cône kählérien d’une surface, J
A. Lamari, Le cône kählérien d’une surface, J. Math. Pur es Appl. (9) 78 (1999), no. 3, 249–263
1999
-
[24]
Lejmi, G
M. Lejmi, G. Székelyhidi, The J-flow and stability, Adv. Math. 274 (2015), 404–431
2015
-
[25]
J. B. McCarthy, Stability conditions and canonical met rics, PhD thesis (2022). W ALL-CHAMBER DECOMPOSITIONS FOR GMA EQUATIONS 35
2022
-
[26]
Pingali, The deformed Hermitian Yang-Mills equatio n on three-folds, Anal
P. Pingali, The deformed Hermitian Yang-Mills equatio n on three-folds, Anal. PDE 15 (2022), no. 4, 921–935
2022
-
[27]
Sektnan, C
L.M. Sektnan, C. Tipler, Analytic K-semistability and wall-crossing, Preprint arXiv:2212.08383 [math.DG]
-
[29]
J. Song, B. Weinkove, On the convergence and singularit ies of the J-flow with applications to the Mabuchi energy, Comm. Pure Appl. Math. 61 (2008), no. 2, 2 10–229
2008
-
[30]
Song, Nakai-Moishezon criterions for complex Hessi an equations, Preprint arXiv:2012.07956v1 [math.DG]
J. Song, Nakai-Moishezon criterions for complex Hessi an equations, Preprint arXiv:2012.07956v1 [math.DG]
2012 arXiv
-
[31]
Tian, Kähler-Einstein metrics with positive scalar curvature, Invent
G. Tian, Kähler-Einstein metrics with positive scalar curvature, Invent. Math. 130 (1997), no. 1, 1–37
1997
-
[32]
Wu, A study of nefness in higher codimension, Bull
X. Wu, A study of nefness in higher codimension, Bull. So c. Math. Fr. 150 (2022), no. 1, 209-249
2022
-
[33]
Yau, On the Ricci curvature of a compact Kähler man ifold and the complex Monge-Ampère equation I, Comm
S.-T. Yau, On the Ricci curvature of a compact Kähler man ifold and the complex Monge-Ampère equation I, Comm. Pure Appl. Math. 31 (1978), no. 3, 339–411
1978
-
[34]
Zariski, The theorem of Riemann-Roch for high multip les of an effective divisor on an algebraic surface, Ann
O. Zariski, The theorem of Riemann-Roch for high multip les of an effective divisor on an algebraic surface, Ann. of Math. (2) 76 (1962), 560–615
1962
-
[35]
Zhang, Optimal destabilizing centers and equivaria nt K-stability, Invent
Z. Zhang, Optimal destabilizing centers and equivaria nt K-stability, Invent. Math. 226 (2021), no. 1, 195–223
2021
-
[36]
Zhou, On the shape of K-semistable domain and wall cro ssing for K-stability, Preprint arXiv:2302.13503 [math.AG]
C. Zhou, On the shape of K-semistable domain and wall cro ssing for K-stability, Preprint arXiv:2302.13503 [math.AG]
-
[37]
Zhou, Chamber decomposition for K-semistable domai ns and VGIT, Preprint arXiv:2303.10963 [math.AG]
C. Zhou, Chamber decomposition for K-semistable domai ns and VGIT, Preprint arXiv:2303.10963 [math.AG]. Sohaib Khalid, Scuola Internazionale Superiore di Studi A v anzati (SISSA), Via Bonomea, 265, 34136 Trieste TS, Italy. Email address : mkhalid@sissa.it Zakarias Sjöström Dyr...
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.