REVIEW 4 major objections 4 minor 1 cited by
Weak convergence of complex Monge-Amp\`ere operators on compact Hermitian manifolds
T0 review · 4 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read Bounded subsolution forces weak continuity of Monge-Ampere measures on Hermitian manifolds.
desk verdict A genuine extension of the weak-continuity criterion to bounded-subsolution Hermitian classes, but the proof leans on a Kähler-only import at the load-bearing step. 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 of the proof is a new envelope for the possibly non-smooth current $\beta + dd^c\rho$: $P_{\beta + dd^c\rho}(h) = \sup\{\phi \in PSH(X,\beta + dd^c\rho) : \phi \leq h \text{ quasi-everywhere}\}$, which the paper proves equals $P_\beta(h+\rho) - \rho$. This envelope is the Hermitian, non-semipositive substitute for the classical Balayage envelope; it is monotone under decreasing limits, and its non-pluripolar Monge-Ampere measure is carried on the contact set $\{P_{\beta + dd^c\rho}(h) = h\}$. The envelope inequalities and the domination principle built from them let the authors pass from uniform control of Monge-Ampere mass to $L^1$-closeness of exponentials, then to convergence in capacity, and finally to weak convergence of measures.
What would settle it
Find a compact Hermitian manifold and a class $\beta$ with a bounded $\beta$-psh potential for which a sequence $u_j \in E(X,\beta)$ with $\langle(\beta + dd^c u_j)^n\rangle \leq \mu$ converges in $L^1$ to $u$ but not in capacity; Theorem 1.1 says no such example exists. A more local test is to check whether the inequality used in Theorem 3.2, that the convergence-in-capacity limit of the measures has total mass at least the limsup of the total masses, fails when $d\omega \neq 0$; a counterexample there would pinpoint exactly which imported step breaks.
Extended reading notes
Core claim
The central claim, stated as Theorem 1.1, is a compactness-continuity statement: on a compact Hermitian manifold $(X,\omega)$, for a smooth closed real $(1,1)$-form $\beta$ with $\int_X \beta^n > 0$ and a bounded $\beta$-psh function $\rho$, any sequence $u_j$ in the full mass class $E(X,\beta)$ satisfying $\langle(\beta + dd^c u_j)^n\rangle \leq \mu$ for a positive non-pluripolar Radon measure $\mu$, with $u_j \to u$ in $L^1$, must have $u \in E(X,\beta)$, have $u_j \to u$ in capacity, and have $\langle(\beta + dd^c u_j)^n\rangle \to \langle(\beta + dd^c u)^n\rangle$ weakly. The paper then uses this continuity to solve the degenerate equation $\langle(\beta + dd^c u)^n\rangle = e^{\lambda u}\mu$ for $\mu = f\omega^n$ with $f \in L^1$, and to prove an a priori $L^\infty$ estimate for solutions when $\mu$ is a finite Radon measure whose integrability class controls a compact family of normalized potentials.
Load-bearing premise
The load-bearing premise is that two convergence-in-capacity facts proved for compact Kähler manifolds and quoted from the paper's reference [DDL23] remain valid on compact Hermitian manifolds when the metric form is not closed; if they need extra hypotheses there, the proof of continuity in Section 3 loses its foundation.
Editorial extensions
If this is right
- If Theorem 1.1 holds, then non-pluripolar Monge-Ampere measures are continuous under $L^1$ convergence whenever the measures are uniformly dominated by one non-pluripolar measure and the limit candidate is $\beta$-psh.
- The degenerate equation $\langle(\beta + dd^c u)^n\rangle = e^{\lambda u} f\omega^n$ has a unique solution in the full mass class $E(X,\beta)$ for any nonnegative $f \in L^1(\omega^n)$.
- A finite positive Radon measure $\mu$ satisfying $PSH(X,\beta + dd^c\rho) \subset L^m(\mu)$ for some $m>n$ and $\mu(X)=\int_X\beta^n$ forces any bounded solution to have oscillation bounded by a constant depending only on $X$, $\beta$, and an $L^m$-normalized constant $A_m(\mu)$.
- The same machinery yields, for any such measure $\mu$, a unique constant $c>0$ and $u \in E(X,\beta)$ with $\langle(\beta + dd^c u)^n\rangle = c\mu$.
Reading between the lines
- An implicit consequence is that the obstruction to weak continuity is not the Hermitian character of $\omega$ but the absence of a global bounded subsolution; searching for counterexamples would naturally focus on classes $\beta$ with no bounded $\beta$-psh function at all.
- The $L^1$-density solvability might be iterable to build solutions for measures that are absolutely continuous with respect to the non-pluripolar Monge-Ampere measure of a reference potential, rather than with respect to $\omega^n$.
- The $L^\infty$ bound's independence from Skoda-type uniform integrability could support a priori control in families where only compactness of normalized $\beta$-psh potentials is available, as in degenerating or collapsing Hermitian classes.
- A testable extension would be to relax the fixed domination $\langle(\beta + dd^c u_j)^n\rangle \leq \mu$ to a sequence of measures with controlled exponential moments, since the exponential-weighting argument in the proof appears tolerant of such a change.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies weak continuity of non-pluripolar complex Monge-Ampere operators on compact Hermitian manifolds. The main result, Theorem 1.1 (= Theorem 3.1), states: if (X, omega) is compact Hermitian, beta is a smooth closed real (1,1)-form with positive total mass, rho is a bounded beta-psh function, u_j in E(X, beta+dd^c rho) satisfy a uniform bound by a non-pluripolar measure mu, and u_j converges to u in L^1, then u is in E(X, beta+dd^c rho), u_j converges to u in capacity, and the non-pluripolar Monge-Ampere measures converge weakly. The proof follows the strategy of Alehyane--Lu--Salouf, using a new envelope P_{beta+dd^c rho}. Applications include solving a degenerate Monge-Ampere equation with L^1 density (Corollary 1.3) and an L^infty estimate for finite Radon measures (Theorem 1.5).
Significance. If correct, the main theorem substantially extends known weak-continuity results for non-pluripolar Monge-Ampere operators: it removes semipositivity of beta, allowing any closed real (1,1)-form with a bounded psh weight, and it works on compact Hermitian manifolds rather than only Kahler manifolds. The paper also provides a useful envelope calculus for the relative class beta+dd^c rho, with several lemmas stated in a parameter-free way. The applications to degenerate equations with L^1 densities and to L^infty estimates are natural and potentially useful. The manuscript does not rely on fitted parameters or on assumptions that force the conclusion; its main debt is to prior work, which is cited clearly.
major comments (4)
- [Proof of Theorem 3.1] This is the most load-bearing gap. The proof of (2) => (1) uses [DDL23, Theorem 3.3] to assert that, from A^{-1}P_{beta+dd^c rho}(Au) <= u, one obtains the lower bound int <(beta+dd^c rho+dd^c u)^n> >= (1-1/A)^n int beta^n. However, [DDL23] is a compact Kahler paper, and the manuscript does not cite a Hermitian analogue at this step. Since the whole point of the paper is to allow beta that is not semipositive and rho merely bounded, it is not automatic that this relative pluripotential comparison theorem carries over to the Hermitian setting. Lemma 3.5 uses exactly this implication to conclude u in E(X, beta+dd^c rho), and the proof of Theorem 3.1 depends on Lemma 3.5. The authors should either provide a proof of this inequality in the Hermitian setting or cite a published Hermitian version.
- [Corollary 2.28] The proof invokes [DDL23, Lemma 2.5] to pass from v_{j,k} -> v_j in capacity to convergence of v_{j,k} (beta+dd^c rho+dd^c v_{j,k})^n to v_j (beta+dd^c rho+dd^c v_j)^n, and later applies the same lemma to the limit v. No Hermitian analogue is cited for this lemma, unlike Theorem 3.2, where [LLZ24, Theorem 2.6] is cited in parallel. Since Theorem 3.13 is used in the proof of Theorem 3.8 and Theorem 3.9, the lack of justification for the Hermitian validity of [DDL23, Lemma 2.5] leaves a gap in the auxiliary convergence-in-capacity results.
- [Throughout Section 2] There are many unresolved 'Remark ??' references, including in the proof of Proposition 2.26 (lines near equations (6) and (8)), in Corollary 2.28, and in Theorem 2.31. These placeholders make it impossible for the reader to verify the cited properties, such as the mass concentration of the envelope on the contact set and the comparison principle for the relative class. The proofs of Proposition 2.26 and Theorem 2.31 are directly affected, so these references must be resolved before the manuscript is complete.
- [Section 3] The proof of Theorem 3.1 is concluded with: 'The proof follows from Theorem 3.3 in [ALS24] using contradiction and applying Lemma 3.6.' This is not a self-contained argument. The contradiction step, in particular, is not described, and the reader cannot check how Lemma 3.6 combines with the uniform measure bound and L^1 convergence to yield the weak convergence of the Monge-Ampere measures. This is load-bearing for the main theorem and should be written out in detail.
minor comments (4)
- [Section 3] The statement of Theorem 3.1 says '<(beta+dd^c u_j)^n>' converges weakly to '<(beta+dd^c u)^n>', but the theorem is formulated with u_j, u in PSH(X, beta+dd^c rho); the measures should be <(beta+dd^c rho+dd^c u_j)^n> and <(beta+dd^c rho+dd^c u)^n>. This appears to be a typo, since the proof uses the relative measures, but it should be corrected.
- [Section 2.2] In the proof of Lemma 2.11, the phrase 'h is bounded above by C outside a pluripolar set P' is slightly imprecise: since h is bounded above on X, one can simply say h <= C on X. The subsequent integral over B_0 \ P is fine, but the wording could be clarified.
- [Section 4] The first sentence reads 'Let mu be a positive Radon measure vanishingand assume mu is absolutely continuous...' The word 'vanishing' is incomplete; presumably it should say 'vanishing on pluripolar sets'. This should be fixed.
- [Section 5] The authors state 'We can't make use of this fact in this paper as it is still hard to verify the uniform boundedness in order to use Theorem 3.9 when we are solving equations, but we believe that it will be useful in the future.' This is an honest limitation, but as written it suggests that the L^infty estimate is not applied to the existence theorem in this paper. If so, the relationship between Theorem 5.2 and the earlier sections should be stated more clearly in the introduction.
Circularity Check
No significant circularity: the central continuity theorem is derived from external pluripotential-theory inputs, and the self-citations are to published, independent results that do not contain the target theorem.
full rationale
The main derivation chain is: Theorem 3.1 is proved via Lemma 3.5 (membership u in E(X,beta+ddc rho) through the envelope criterion of Proposition 2.26) and Lemma 3.6 (capacity convergence through the envelopes v_{j,k}), with weak convergence of the Monge-Ampere measures following from Theorem 3.2 via [DDL23, Theorem 2.6] and [LLZ24, Theorem 2.6]. Each of these load-bearing inputs is external to the paper, and the Hermitian transfer of the [DDL23] results is a possible correctness gap, not a circularity. The envelope P_{beta+ddc rho}(h) is defined by a supremum of subfunctions and is proved to have its mass concentrated on the contact set (Theorem 2.20); it is not defined in terms of the conclusion of Theorem 1.1. Proposition 2.26 gives an envelope characterization of E, but the equivalence is proved using [ALS24, Proposition 2.5] and [DDL23, Theorem 3.3], not assumed. The self-citations to [LWZ24a] are used for the construction of the non-pluripolar product and for the bounded-solution existence theorem in the L^infty-density case; neither result states or is equivalent to the L^1-density weak-continuity claim, and both are published parameter-free theorems with stated hypotheses. No fitted parameter is renamed as a prediction, no known empirical pattern is repackaged as a new coordinate system, and no same-author uniqueness theorem is invoked to force the choice. The proof would be non-circular if the imported Kähler theorems are valid in the Hermitian setting; if they are not, the failure is a gap in support, not a circular derivation.
Assumptions & free parameters
assumptions (4)
- domain assumption There exists rho in PSH(X,beta) cap L-infinity(X) and integral_X beta^n > 0.
- standard math The non-pluripolar Monge-Ampere operator for arbitrary closed real (1,1)-forms with a bounded beta-psh subsolution is well-behaved per [LWZ24a].
- ad hoc to paper Kaehler pluripotential theorems from [DDL23] apply verbatim to compact Hermitian manifolds.
- standard math Standard local potential theory: Bedford-Taylor convergence, fine topology lemmas, Hartogs lemma, and Choquet's lemma.
Cite this review
Pith. "Pith review of Weak convergence of complex Monge-Amp\`ere operators on compact Hermitian manifolds." pith.science (2026). https://pith.science/paper/3CLP6MSK
@misc{pith2026241211547,
author = {Pith},
title = {Pith review of: Weak convergence of complex Monge-Amp\`ere operators on compact Hermitian manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/3CLP6MSK}},
note = {Machine review of arXiv:2412.11547}
}
abstract
Let $(X,\omega)$ be a compact Hermitian manifold and let $\{\beta\}\in H^{1,1}(X,\mathbb R)$ be a real $(1,1)$-class with a smooth representative $\beta$, such that $\int_X\beta^n>0$. Assume that there is a bounded $\beta$-plurisubharmonic function $\rho$ on $X$. First, we provide a criterion for the weak convergence of non-pluripolar complex Monge-Amp\`ere measures associated to a sequence of $\beta$-plurisubharmonic functions. Second, this criterion is utilized to solve a degenerate complex Monge-Amp\`ere equation with an $L^1$-density. Finally, an $L^\infty$-estimate of the solution to the complex Monge-Amp\`ere equation for a finite positive Radon measure is given.
Forward citations
Cited by 1 Pith paper
-
Degenerate complex Monge-Amp\`ere type equations on compact Hermitian manifolds and applications II
On compact Hermitian manifolds, degenerate Monge-Ampere equations are solvable for non-closed pseudoeffective (1,1)-forms with positive Bott-Chern volume and a bounded potential, with stability estimates.
Reference graph
Works this paper leans on
-
[1]
O. Alehyane, C. Lu, and M. Salouf, Degenerate complex Monge-Amp\`ere equations on some compact Hermitian manifolds. J Geom Anal 34 , 320 (2024). https://doi.org/10.1007/s12220-024-01772-w
-
[2]
Bedford and B
E. Bedford and B. A. Taylor, A new capacity for plurisubharmonic functions, Acta Math. 149 (1982), no. 1-2, 1--40; MR0674165
1982
-
[3]
Bedford and B
E. Bedford and B. A. Taylor, Fine topology, Silov boundary, and (dd^c)^n , J. Funct. Anal. 72 (1987), no. 2, 225--251; MR0886812
1987
-
[4]
S. Boucksom, J.-P. Demailly, M. P aun and T. Peternell, The pseudo-effective cone of a compact K\"ahler manifold and varieties of negative Kodaira dimension, J. Algebraic Geom. 22 (2013), no. 2, 201--248; MR3019449
work page 2013
-
[5]
S. Boucksom, P. Eyssidieux, V. Guedj and A. Zeriahi, Monge-Amp\`ere equations in big cohomology classes. Acta Math. 205 (2010), no. 2, 199--262
work page 2010
- [6]
-
[7]
U. Cegrell and S. Ko odziej, The equation of complex Monge-Amp\`ere type and stability of solutions, Math. Ann. 334 (2006), no. 4, 713--729; MR2209253
work page 2006
-
[8]
J.-P. Demailly and M. P aun, Numerical characterization of the K\"ahler cone of a compact K\"ahler manifold, Ann. of Math. (2) 159 (2004), no. 3, 1247--1274; MR2113021
work page 2004
Show all 35 references
-
[9]
Demailly and N
J.-P. Demailly and N. Pali, Degenerate complex Monge-Amp\`ere equations over compact K\"ahler manifolds, Internat. J. Math. 21 (2010), no. 3, 357--405; MR2647006
2010
-
[10]
Dinew and H
S. Dinew and H. H. Ph am, Convergence in capacity on compact K\"ahler manifolds, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 11 (2012), no. 4, 903--919; MR3060705
2012
-
[11]
Do and D
H. Do and D. Vu, Quantitative stability for the complex Monge-Amp\`ere equations, arXiv:2209.00248
-
[12]
Eyssidieux, V
P. Eyssidieux, V. Guedj and A. Z\'eriahi, A priori L^ -estimates for degenerate complex Monge-Amp\`ere equations, Int. Math. Res. Not. IMRN 2008 , Art. ID rnn 070, 8 pp.; MR2439574
2008
-
[13]
Eyssidieux, V
P. Eyssidieux, V. Guedj and A. Z\'eriahi, Singular K\"ahler-Einstein metrics, J. Amer. Math. Soc. 22 (2009), no. 3, 607--639; MR2505296
2009
-
[14]
Salouf, Degenerate complex Monge-Amp?¡§re equations with non-K\" ahler forms in bounded domains, arXiv:2303.04897, 2023
M. Salouf, Degenerate complex Monge-Amp?¡§re equations with non-K\" ahler forms in bounded domains, arXiv:2303.04897, 2023
2023 arXiv
-
[15]
Guedj and C
V. Guedj and C. Lu, Quasi-plurisubharmonic envelopes 1: Uniform estimates on K\"ahler manifolds J. Eur. Math. Soc, 2024. http://DOI 10.4171/JEMS/1460
2024 doi
-
[16]
Guedj and C
V. Guedj and C. H. Lu, Quasi-plurisubharmonic envelopes 2: Bounds on Monge-Amp\`ere volumes, Algebr. Geom. 9 (2022), no. 6, 688--713; MR4518244
2022
-
[17]
Guedj and C
V. Guedj and C. H. Lu, Quasi-plurisubharmonic envelopes 3: Solving Monge-Amp\`ere equations on hermitian manifolds, J. Reine Angew. Math. 800 (2023), 259--298; MR4609828
2023
-
[18]
Guedj, C
V. Guedj, C. H. Lu and A. Z\'eriahi, Plurisubharmonic envelopes and supersolutions, J. Differential Geom. 113 (2019), no. 2, 273--313; MR4023293
2019
-
[19]
B. Guo, D. H. Phong and F. Tong, On L^ estimates for complex Monge-Amp\`ere equations, Ann. of Math. (2) 198 (2023), no. 1, 393--418; MR4593734
2023
-
[20]
Guedj and A
V. Guedj and A. Trusiani, K\"ahler-Einstein metrics with hpositive curvature near an isolated log terminal singularity, arXiv: 2306.07900
-
[21]
Guedj and A
V. Guedj and A. Z\'eriahi, The weighted Monge-Amp\`ere energy of quasiplurisubharmonic functions, J. Funct. Anal. 250 (2007), no. 2, 442--482; MR2352488
2007
-
[22]
Guedj and A
V. Guedj and A. Z\'eriahi, Regularizing properties of the twisted K\"ahler-Ricci flow, J. Reine Angew. Math. 729 (2017), 275--304; MR3680377
2017
-
[23]
Guedj and A
V. Guedj and A. Z\'eriahi, Degenerate complex Monge-Amp\`ere equations , EMS Tracts in Mathematics, 26, Eur. Math. Soc., Z\"urich, 2017; MR3617346
2017
-
[24]
Ko odziej, The complex Monge-Amp\`ere equation, Acta Math
S. Ko odziej, The complex Monge-Amp\`ere equation, Acta Math. 180 (1998), no. 1, 69--117; MR1618325
1998
-
[25]
Nguyen V an Khu\^e and H. H. Ph am, A comparison principle for the complex Monge-Amp\`ere operator in Cegrell's classes and applications, Trans. Amer. Math. Soc. 361 (2009), no. 10, 5539--5554; MR2515822
2009
-
[26]
Ko odziej and N
S. Ko odziej and N. C. Nguyen, The Dirichlet problem for the Monge-Amp\`ere equation on Hermitian manifolds with boundary, Calc. Var. Partial Differential Equations 62 (2023), no. 1, Paper No. 1, 39 pp.; MR4505144
2023
-
[27]
Ko odziej and N
S. Ko odziej and N. C. Nguyen, Weak solutions to Monge-Amp\`ere type equations on compact Hermitian manifold with boundary, J. Geom. Anal. 33 (2023), no. 1, Paper No. 15, 20 pp.; MR4502776
2023
-
[28]
Weak convergence of Monge-Amp\`ere measures on compact Hermitian manifolds, arXiv:2212.11550, 2022
Kolodziej S, Nguyen N C. Weak convergence of Monge-Amp\`ere measures on compact Hermitian manifolds, arXiv:2212.11550, 2022
2022 arXiv
-
[29]
Y. Li, G. Lin, and X. Zhou, Monge-Amp\`ere equation on compact Hermitian manifolds, arXiv:2311.14958
-
[30]
Y. Li, Z. Wang and X. Zhou, Degenerate complex Monge-Amp\`ere type equations on compact Hermitian manifolds and applications, Trans. Amer. Math. Soc. 377 (2024), no. 8, 5947--5992; MR4771241
2024
-
[31]
Y. Li, Z. Wang and X. Zhou, On the Range of a class of Complex Monge-Amp\`ere operators on compact Hermitian manifolds, J. Funct. Anal. 288 (2025), 110787, 1--26
2025
-
[32]
H. H. Ph am, On the convergence in capacity on compact Kahler manifolds and its applications, Proc. Amer. Math. Soc. 136 (2008), no. 6, 2007--2018; MR2383507
2008
-
[33]
M. Salouf. Degenerate complex Monge-Amp\`ere equations on some compact Hermitian manifolds, arXiv:2401.03440
-
[34]
Xing, Continuity of the complex Monge-Amp\`ere operator on compact K\"ahler manifolds, Math
Y. Xing, Continuity of the complex Monge-Amp\`ere operator on compact K\"ahler manifolds, Math. Z. 263 (2009), no. 2, 331--344; MR2534121
2009
-
[35]
Yau, On the Ricci curvature of a compact K\"ahler manifold and the complex Monge-Amp\`ere equation
S.-T. Yau, On the Ricci curvature of a compact K\"ahler manifold and the complex Monge-Amp\`ere equation. I, Comm. Pure Appl. Math. 31 (1978), no. 3, 339--411; MR0480350
1978
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.