REVIEW 2 major objections 5 minor 36 references
On the Datar-Mete-Song minimal slope conjecture
T0 review · 2 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read A Kähler pair is semi-stable exactly when its minimal birational slope equals the topological J-slope μ, and is strictly smaller otherwise.
desk verdict Resolves the Datar–Mete–Song minimal slope conjecture in full Kähler generality, but the semi-stable direction leans on an unstated envelope-regularity theorem; worth a serious referee. 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 relative envelope $u=r+\varphi_D$, where $\varphi_D$ is the divisorial log potential of an effective divisor $D$ and $r$ is the $\theta_L$-psh envelope with prescribed singularities, i.e. the upper envelope of potentials $s$ with $\varphi_D+s\le 0$. A regularity theorem for such envelopes (imported from the literature) gives that $u$ has locally bounded real Hessian on $\mathrm{Amp}(L)\setminus \mathrm{Supp}\,D$ and that the Monge-Ampère measure of $T=\theta+i\partial\bar\partial u$ is supported on the contact set $\{u=0\}$, with density $\theta^n$ there. Because $u\le 0$ and $u=0$ on the contact set, the eigenvalues of $T$ at twice-differentiable contact points lie in $[0,1]$, so for any smooth semipositive $\Theta$ with $\mathrm{tr}_\theta\Theta=n$ the pointwise inequality $\Theta\wedge T_{\mathrm{ac}}^{n-1}\ge T_{\mathrm{ac}}^n$ holds after diagonalization. Integrating over $Y$ converts this pointwise comparison into the intersection inequality $n\,L^{n-1}\cdot\pi^*\beta\ge L^n$ that drives Theorem 1.
What would settle it
Exhibit any semi-stable pair $(\alpha,\beta)$ together with a birational modification $\pi:Y\to X$ and an effective $\mathbb{R}$-divisor $D$ for which $L=\pi^*\alpha-[D]$ is big and nef but $n\,L^{n-1}\cdot\pi^*\beta < \mu\,L^n$; the paper predicts no such data exist. A concrete place to test this is a toric surface with a semi-stable pair and $D$ supported on torus-invariant curves, where all intersection numbers are explicit.
Extended reading notes
Core claim
The central discovery is that the infimum $\zeta_{\min}(\alpha,\beta)$ of slopes over all birational modifications $\pi:Y\to X$ and effective $\mathbb{R}$-divisors $D$ with $L=\pi^*\alpha-[D]$ big and nef is either exactly $\mu$ when the pair is semi-stable, or strictly smaller when the pair is unstable. Concretely, Theorem 1 proves the two directions: for a semi-stable pair, every admissible test satisfies $n\,L^{n-1}\cdot\pi^*\beta \ge \mu\,L^n$, so $\zeta_{\min}(\alpha,\beta)=\mu$; and for an unstable pair, a destabilizing subvariety $Z$ can be blown up to produce a test class whose slope is strictly below $\mu$, so $\zeta_{\min}(\alpha,\beta)<\mu$. The proof of the semi-stable direction goes by perturbing to a stable pair, solving the $J$-equation to obtain Kähler forms, and constructing an envelope current with divisorial singularities along $D$; the inequality then follows from a pointwise comparison on the contact set of the envelope.
Load-bearing premise
The semi-stable direction of the proof rests on an existing envelope-regularity result that is asserted to apply to a big and nef class with a divisorial potential having analytic singularities; if that theorem does not hold under these exact hypotheses, the key inequality in Lemma 4, and with it the whole equivalence, falls apart.
Editorial extensions
If this is right
- For a semi-stable pair, every birational test class has slope at least the topological $J$-slope, so the minimal slope $\zeta_{\min}$ is a genuine numerical invariant of the pair and equals $\mu$.
- An unstable pair is detected by an explicit destabilizing blow-up: blowing up a destabilizing subvariety and subtracting a small multiple of the exceptional divisor gives a test class with slope strictly below $\mu$.
- Semi-stability of a Kähler pair can now be checked by intersection numbers alone, bypassing the analysis of the $J$-equation, in both the projective and Kähler settings.
- On toric Kähler manifolds, the set of optimally destabilizing subvarieties is a finite union of torus-orbit closures, hence an analytic subset, for arbitrary (not necessarily torus-invariant) Kähler classes.
- In the torus-invariant case, the weak solution of the $J$-equation in the semi-stable case is smooth and Kähler on the big torus $(\mathbb{C}^*)^n$.
Reading between the lines
- The same envelope-comparison strategy may apply to other fully nonlinear equations whose stability thresholds are governed by the positivity of intersection numbers, such as the deformed Hermitian-Yang-Mills equation, although the paper does not state such an extension.
- The analyticity of the optimally destabilizing set for general Kähler manifolds likely needs a mechanism beyond torus symmetry; the paper only proves the toric case.
- Because the proof reduces the semi-stable direction to a pointwise inequality on the contact set of an envelope, the regularity of the weak solution outside the destabilizing set may be approachable by refining the envelope's Hessian bounds, a direction the paper explicitly leaves open.
- The equality $\zeta_{\min}=\mu$ could serve as a practical numerical test for semi-stability in explicit examples, since computing slopes of torus-invariant test classes is a finite combinatorial problem on toric varieties.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves the Datar-Mete-Song conjecture characterizing J-slope semi-stability by the minimal J-slope: for a semi-stable pair of Kähler classes (α, β) every birational test class has slope at least the topological J-slope, and for an unstable pair there is a test class with strictly smaller slope. The proof of the semi-stable direction uses a stable perturbation argument and a current with divisorial singularities, whose key estimates are imported from an envelope-regularity theorem of McCleerey. The unstable direction is based on blow-up intersection computations and appears self-contained. The paper also proves in the toric case that the union of optimally destabilizing subvarieties is analytic, and in the toric invariant case that Murakami's weak solution is smooth on the big torus.
Significance. If the results are correct, the paper settles Conjecture 1 of Datar-Mete-Song in full generality, going beyond the previously known surface and projective cases. The toric analyticity result for the optimally destabilizing locus is a substantial step beyond the two-dimensional case, and the partial regularity on the big torus is a natural continuation of Murakami's existence theorem. The unstable direction and the toric cycle-compactness argument are concrete and checkable. The main uncertainties are the unverified imported regularity result in Lemma 4 and the missing identification of the limiting current in Theorem 3(2); both are load-bearing but appear repairable.
major comments (2)
- [Section 2.1, Lemma 4] The proof of Lemma 4 imports [23, Theorem 1.1 and formula (1.4)] without stating the hypotheses of that theorem or verifying them for the present data. The manuscript asserts that the theorem applies directly because φ_D has analytic singularities, [θ] is big, [θ_D] is pseudoeffective, and [θ]−[θ_D] is big and nef, but it does not state the exact conditions under which [23] yields locally bounded real Hessian of u on Amp(L)\SuppD and the measure identity ⟨T^n⟩|_U = 1_{u=0}θ^n|_U. In particular, the manuscript only assumes that θ is Kähler on Y\E for an analytic set E containing SuppD and the complement of Amp(L), while θ is merely semipositive on all of Y. If [23] requires θ to be Kähler everywhere, or if formula (1.4) has a different normalization, then the identity ⟨T^n⟩|_U = 1_{u=0}θ^n|_U, and hence the global inequality in Lemma 4, fails as written. This identity is the entire mechanism converting the pointwise inequality on the contact set into the inequality ∫Θ∧⟨T^{n-1}⟩≥∫⟨T^n⟩, so the proof of Theorem 1(1) is incomplete unless the precise theorem is stated and its hypotheses are checked.
- [Section 3, proof of Theorem 3(2)] The proof constructs a subsequence of smooth solutions ψ_ε of the perturbed stable J-equations and shows that the limit ψ is smooth on the big torus. However, the proof never verifies that the limiting current T=ω+i∂∂̄ψ satisfies the global weak J-equation n⟨T^{n-1}⟩∧ω=μ⟨T^n⟩, nor that T coincides with Murakami's weak solution from [25]. Convergence of the approximating equations to the limiting equation is not automatic because non-pluripolar products are not continuous under L^1 convergence of potentials, and the C^{1,1} bounds are only local in the torus. Therefore the statement that 'there is a weak solution T of the J-equation' with the claimed smoothness does not follow from the given argument. The author must either prove directly that the limit satisfies the global weak equation, or appeal to a uniqueness theorem for the semi-stable weak solution and show that the constructed limit is that solution.
minor comments (5)
- [Abstract] The arXiv abstract and the full-text abstract are inconsistent: the former says the J-null locus is an analytic subset, while the latter says the set of optimally destabilizing subvarieties is finite. Theorem 3(1) proves analyticity of the union; finiteness of the collection of subvarieties is not proved. The terminology should be made consistent and precise.
- [Lemma 3] The hypothesis 'θ^n>0' is ambiguous: if interpreted pointwise it forces θ to be Kähler, which is false for the pullback forms θ=π^*ω_ε used in the proof of Theorem 1(1); if interpreted cohomologically it should be written as [θ]^n>0. Please clarify.
- [Proof of Theorem 1(1)] The sentence 'By lemma 2, one may assume that the divisor D has rational coefficient' is not literally justified by Lemma 2, which produces a sequence of rational divisors on a further modification with convergent slopes. The argument should instead apply the inequality to the rational approximations and then pass to the limit using the continuity of intersection numbers.
- [Proof of Theorem 3(2)] The final sentence 'the higher-order regularity follows by a standard argument' is too terse for a journal paper; the author should indicate which estimate (e.g., Evans-Krylov or Schauder) is used, given that the C^{1,1} bound is only local.
- [Definition 2] There is a typo in 'destablizing' which should read 'destabilizing'; the same typo appears in the statement of Lemma 7.
Circularity Check
No circular derivation: Theorem 1 is proved by perturbing to the stable case and invoking external envelope-regularity theorems, not by assuming the conjecture.
full rationale
The paper does not define its target in terms of its inputs, fit any parameter and rename it a prediction, or lean on self-citations. The central semi-stable direction (Theorem 1(1)) reduces the desired inequality nL^{n-1}·π^*β ≥ μL^n to the stable perturbed case via Theorem 4 [29], constructs a current T with divisorial singularities (Lemma 3) using non-pluripolar products, and then obtains the key integration inequality in Lemma 4 from the external envelope-regularity theorem of McCleerey [23] and formula (1.4) there. That cited result is not by the present author and is not the Datar-Mete-Song conjecture; it is imported as an independent analytic theorem. The unstable direction (Theorem 1(2)) is self-contained: it exhibits a test divisor from the destabilizing subvariety and computes slope asymptotics via Lemma 5. There is no fitted input, no renaming of a known conjecture, and no load-bearing self-citation: references [10], [29], [25], and [23] are external, and the author's own work is not used as an assumption. Whether [23]'s hypotheses exactly cover semipositive θ and big-nef L is a correctness/verification concern, not a circularity.
Assumptions & free parameters
assumptions (8)
- standard math Song's Nakai-Moishezon criterion for the J-equation (Theorem 4).
- standard math BEGZ non-pluripolar product theory in big cohomology classes.
- standard math McClereey's envelope regularity theorem and formula (1.4).
- standard math Bishop-Lieberman compactness for analytic cycles.
- standard math Demailly-Paun numerical characterization of the Kähler cone.
- standard math Varouchas Grauert-Kähler class stability under blow-up.
- standard math Collins-Szekelyhidi toric J-flow existence.
- standard math Rockafellar convex analysis theorem.
Cite this review
Pith. "Pith review of On the Datar-Mete-Song minimal slope conjecture." pith.science (2026). https://pith.science/paper/D3JHUHQG
@misc{pith2026260801198,
author = {Pith},
title = {Pith review of: On the Datar-Mete-Song minimal slope conjecture},
year = {2026},
howpublished = {\url{https://pith.science/paper/D3JHUHQG}},
note = {Machine review of arXiv:2608.01198}
}
abstract
We prove a conjecture of Datar-Mete-Song \cite{DMS} characterizing $J$-slope semi-stability by the minimal $J$-slope. More precisely, for a semi-stable pair of K\"ahler classes $(\alpha,\beta)$ on a compact K\"ahler manifold $X$, every big and nef birational test class has slope at least the topological $J$-slope, whereas an unstable pair admits a test class with strictly smaller slope. We also introduce the $J$-null locus of a semi-stable pair and prove that it is an analytic subset of $X$ if $X$ is a compact K\"ahler surface or a compact toric K\"ahler manifold. In the toric invariant case, we show that Murakami's \cite{Murakami} weak solution to the $J$-equation is smooth and K\"ahler on the dense big torus $(\mathbb{C}^*)^n$ of $X$.
Reference graph
Works this paper leans on
-
[23]
McCleerey, N.,Envelopes with prescribed singularities, J. Geom. Anal. 30 (2020), no. 4, 3716–3741
work page 2020
-
[25]
Murakami, R.,Weak solutions of the generalized Monge–Amp` ere equation and the supercritical de- formed Hermitian–Yang–Mills equation: boundary cases, arXiv:2605.29258
-
[1]
and Zeriahi, A.,Monge–Amp` ere equations in big cohomology classes, Acta Math
Boucksom, S., Eyssidieux, P., Guedj, V. and Zeriahi, A.,Monge–Amp` ere equations in big cohomology classes, Acta Math. 205 (2010), no. 2, 199–262
work page 2010
-
[2]
Math., 296, Birkh¨ auser/Springer, New York, 201 ON THE DATAR–METE–SONG MINIMAL SLOPE CONJECTURE 17
Berman, R.J., Demailly, J.-P.Regularity of plurisubharmonic upper envelopes in big cohomol- ogy classes, in Perspectives in analysis, geometry, and topology, 39–66, Progr. Math., 296, Birkh¨ auser/Springer, New York, 201 ON THE DATAR–METE–SONG MINIMAL SLOPE CONJECTURE 17
-
[3]
Chen, G.,TheJ-equation and the supercritical deformed Hermitian–Yang–Mills equation, Invent. Math. 225 (2021), no. 2, 529–602
work page 2021
-
[4]
X.,On the lower bound of the Mabuchi energy and its application, Internat
Chen, X. X.,On the lower bound of the Mabuchi energy and its application, Internat. Math. Res. Notices 2000 (2000), no. 12, 607–623
work page 2000
-
[5]
X.,A new parabolic flow in K¨ ahler manifolds, Comm
Chen, X. X.,A new parabolic flow in K¨ ahler manifolds, Comm. Anal. Geom. 12 (2004), no. 4, 837–852
work page 2004
-
[6]
Chu, J.C, Lee M.C, and Takahashi, RA Nakai–Moishezon Type criterion for supercritical deformed Hermitian–Yang–Mills equation, J. Differential Geom. 126(2): 583-632
Show all 36 references
-
[7]
Chu, J.C and Zhou, B.Optimal regularity of plurisubharmonic envelopes on compact Hermitian man- ifolds, arXiv:1702.05230
-
[8]
Collins, T. C. and Sz´ ekelyhidi, G.,Convergence of theJ-flow on toric manifolds, J. Differential Geom. 107 (2017), no. 1, 47–81
2017
-
[9]
Collins, T. C. and Tosatti, V.,K¨ ahler currents and null loci, Invent. Math. 202 (2015), no. 3, 1167– 1198
2015
-
[10]
and Datar, V.,Minimal slopes and bubbling for complex Hessian equations, Adv
Song, J., Mete, R. and Datar, V.,Minimal slopes and bubbling for complex Hessian equations, Adv. Math. 491 (2026), Paper No. 110865
2026
-
[11]
Datar, V. V. and Pingali, V. P.,A numerical criterion for generalised Monge–Amp` ere equations on projective manifolds, Geom. Funct. Anal. 31 (2021), no. 4, 767–814
2021
-
[12]
Demailly, J.-P.,Complex Analytic and Differential Geometry, Online textbook, version of June 21, 2012,https://www-fourier.univ-grenoble-alpes.fr/ ~demailly/manuscripts/agbook.pdf
2012
-
[13]
and P˘ aun, M.,Numerical characterization of the K¨ ahler cone of a compact K¨ ahler manifold, Ann
Demailly, J.-P. and P˘ aun, M.,Numerical characterization of the K¨ ahler cone of a compact K¨ ahler manifold, Ann. of Math. (2) 159 (2004), no. 3, 1247–1274
2004
-
[14]
K.,Moment maps and diffeomorphisms, Asian J
Donaldson, S. K.,Moment maps and diffeomorphisms, Asian J. Math. 3 (1999), no. 1, 1–15
1999
-
[15]
and Lai, M.Convergence of general inverseσ-flow on K¨ ahler manifolds with Calabi ansatz, Trans
Fang, H. and Lai, M.Convergence of general inverseσ-flow on K¨ ahler manifolds with Calabi ansatz, Trans. Amer. Math. Soc. 365 (2013), no. 12, 6543–6567
2013
-
[16]
and Weinkove, B.,TheJ-flow on K¨ ahler surfaces: a boundary case, Anal
Fang, H., Lai, M., Song, J. and Weinkove, B.,TheJ-flow on K¨ ahler surfaces: a boundary case, Anal. PDE 7 (2014), no. 1, 215–226
2014
-
[17]
and Ma, B.On a fully nonlinear elliptic equation with differential forms, Adv
Fang, H. and Ma, B.On a fully nonlinear elliptic equation with differential forms, Adv. Math. 454 (2024), Paper No. 109867, 89 pp
2024
-
[18]
and Song, J.,Sup-slopes and sub-solutions for fully nonlinear elliptic equations, arXiv:2405.03074
Guo, B. and Song, J.,Sup-slopes and sub-solutions for fully nonlinear elliptic equations, arXiv:2405.03074
-
[19]
Khalid,S. and Sj¨ ostr¨ om-Dyrefelt, Z.The Set of Destabilizing Curves for Deformed Hermitian Yang–Mills and Z-Critical Equations on Surfaces, IMRN, Volume 2024, Issue 7, April 2024, 5773–5814
2024
-
[20]
and Sj¨ ostr¨ om-Dyrefelt, Z.Wall-chamber decompositions for generalised Monge-Amp` ere equa- tions, arXiv:2412.20089
Khalid,S. and Sj¨ ostr¨ om-Dyrefelt, Z.Wall-chamber decompositions for generalised Monge-Amp` ere equa- tions, arXiv:2412.20089
-
[21]
and Sz´ ekelyhidi, G.,TheJ-flow and stability, Adv
Lejmi, M. and Sz´ ekelyhidi, G.,TheJ-flow and stability, Adv. Math. 274 (2015), 404–431
2015
-
[22]
I.,Compactness of the Chow scheme: applications to automorphisms and deformations of K¨ ahler manifolds, inFonctions de plusieurs variables complexes, III (S´ em
Lieberman, D. I.,Compactness of the Chow scheme: applications to automorphisms and deformations of K¨ ahler manifolds, inFonctions de plusieurs variables complexes, III (S´ em. Fran¸ cois Norguet, 1975– 1977), Lecture Notes in Math. 670, Springer, Berlin, 1978, 140–186
1975
-
[24]
Global Anal
Murakami, R.,Weak limits of theJ-flow and the deformed Hermitian–Yang–Mills flow on K¨ ahler surfaces: boundary cases, Ann. Global Anal. Geom. 69 (2026), Paper No. 7
2026
-
[26]
T.,Convex Analysis, Princeton Mathematical Series, No
Rockafellar, R. T.,Convex Analysis, Princeton Mathematical Series, No. 28, Princeton University Press, Princeton, NJ, 1970
1970
-
[27]
and Witt-Nystr¨ om, D.Envelopes of positive metrics with prescribed singularities, Annales de la facult´ e des sciences de Toulouse Volume XXVI, no 3, 2017 pp
Ross, J. and Witt-Nystr¨ om, D.Envelopes of positive metrics with prescribed singularities, Annales de la facult´ e des sciences de Toulouse Volume XXVI, no 3, 2017 pp. 687-727
2017
-
[28]
Sj¨ ostr ¨ m-Dyrefelt, Z.Optimal lower bounds for Donaldson ’s J-functional, Adv. Math. 374 (2020), 107271, 37 pp
2020
-
[29]
Song, J.,Nakai–Moishezon criterions for complex Hessian equations, arXiv:2012.07956
2012 arXiv
-
[30]
and Weinkove, B.,On the convergence and singularities of theJ-flow with applications to the Mabuchi energy, Comm
Song, J. and Weinkove, B.,On the convergence and singularities of theJ-flow with applications to the Mabuchi energy, Comm. Pure Appl. Math. 61 (2008), no. 2, 210–229. 18 XIN FU
2008
-
[31]
Differential Geom
Szekelyhidi, G.Fully non-linear elliptic equations on compact Hermitian manifolds, J. Differential Geom. 109 (2) (2018), 337–378
2018
-
[32]
D.,DegenerateJ-flow on compact K¨ ahler manifolds, Math
Tˆ o, T. D.,DegenerateJ-flow on compact K¨ ahler manifolds, Math. Z. 303 (2023), no. 4, Paper No. 97
2023
-
[33]
Tosatti, V.Regularity of envelopes in K¨ ahler classes, Math. Res. Lett. 25 (2018), no.1, 281-289
2018
-
[34]
Varouchas, J.,K¨ ahler spaces and proper open morphisms, Math. Ann. 283 (1989), no. 1, 13–52
1989
-
[35]
Weinkove, B.,Convergence of theJ-flow on K¨ ahler surfaces, Comm. Anal. Geom. 12 (2004), no. 4, 949–965
2004
-
[36]
Differential Geom
Weinkove, B.On the J-flow in higher dimensions and the lower boundedness of the Mabuchi energy, J. Differential Geom. 73 (2006), no. 2, 351–358
2006
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.