REVIEW 2 major objections 2 minor
Capacity convergence of model singularities is equivalent to capacity convergence of normalized Monge-Ampère solutions, and the ceiling operator equals the singularity envelope for any big class.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-15 03:16 UTC pith:EYUWEPAZ
load-bearing objection Abstract claims capacity-stability equivalence for moving model singularities under TV measure convergence, plus ceiling=envelope without mass positivity, resolving Darvas–Di Nezza–Lu; only abstract available so proofs uncheckable. the 2 major comments →
Capacity Stability of Complex Monge-Amp\`ere Equations with Moving Prescribed Singularities
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under total-variation convergence of the non-pluripolar measures on the right-hand side, capacity convergence of the prescribed model potentials is equivalent to capacity convergence of the associated normalized solutions of the complex Monge-Ampère equation; moreover the ceiling operator equals the singularity envelope for every potential in a big (1,1)-class, irrespective of Monge-Ampère mass.
What carries the argument
The equivalence between Monge-Ampère capacity convergence of model potentials and capacity convergence of normalized solutions, together with the identification of the ceiling operator with the singularity envelope of a big class.
Load-bearing premise
The stability equivalence requires that the prescribed model singularities have positive Monge-Ampère mass; without that positivity the claimed capacity equivalence is not asserted.
What would settle it
Exhibit a sequence of model potentials of positive mass that converge in capacity while the associated normalized solutions fail to converge in capacity (or vice versa), under total-variation convergence of the right-hand side measures; or produce a potential of a big class whose ceiling differs from its singularity envelope.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies complex Monge–Ampère equations with moving big cohomology classes and prescribed model singularities of positive Monge–Ampère mass. Under total-variation convergence of the right-hand side non-pluripolar positive Radon measures, it claims that convergence of the prescribed model potentials in Monge–Ampère capacity is equivalent to convergence in capacity of the associated normalized solutions. Separately, it claims that the ceiling operator coincides with the singularity envelope for potentials associated to a big (1,1)-class, without any positivity restriction on Monge–Ampère mass, thereby resolving a conjecture of Darvas–Di Nezza–Lu and implying that the singularity envelope is idempotent without that positivity assumption.
Significance. If established, the capacity-stability equivalence would be a useful continuity tool for complex Monge–Ampère equations with moving singularities and cohomology classes. The identification of the ceiling operator with the singularity envelope without a mass-positivity hypothesis would resolve a named conjecture of Darvas–Di Nezza–Lu and clarify the algebraic structure of singularity envelopes (in particular their idempotence). These are standard, high-value targets in pluripotential theory; the abstract presents them as pure existence/stability and operator-identity statements against external benchmarks, with no parameter fitting.
major comments (2)
- Only the abstract is available for this review; the full text, definitions, lemmas, and proofs are not provided. The central claims (capacity equivalence under TV convergence of measures; ceiling = singularity envelope without mass positivity) cannot be checked for correctness, hidden regularity assumptions, or gaps in the capacity-to-capacity implication. A full manuscript is required before any soundness judgment can be made.
- Abstract, opening setup: the stability equivalence is stated only when the prescribed model singularities have positive Monge–Ampère mass. This is an explicit scope condition rather than a concealed gap, but the full text must make clear whether the equivalence fails without positivity, and how the second result (ceiling = envelope) removes precisely that restriction without introducing a different load-bearing hypothesis.
minor comments (2)
- Abstract: the terms “ceiling operator,” “singularity envelope,” and “normalized solutions” are used without brief parenthetical definitions or standard citations; a short clarifying phrase would help non-specialists place the claims.
- Abstract: “moving big cohomology classes” and “moving prescribed singularities” should be tied to a precise mode of convergence (e.g., in capacity, in L¹, or in the space of currents) already in the abstract statement of the main theorem.
Circularity Check
No significant circularity; abstract-only theorems against external capacity/TV benchmarks and a named external conjecture.
full rationale
Only the abstract is available. It states two pure mathematical claims: (i) equivalence between capacity convergence of prescribed model potentials and capacity convergence of normalized solutions under total-variation convergence of the RHS measures (with positive Monge-Ampère mass of the models), and (ii) identity of the ceiling operator with the singularity envelope for big (1,1)-classes without mass positivity, resolving a conjecture of Darvas–Di Nezza–Lu. There is no parameter fitting, no quantity renamed as a prediction after being fitted to data, no self-definition of an object in terms of the claimed output, and no uniqueness theorem or ansatz imported from prior work by the same authors. Citation of the Darvas–Di Nezza–Lu conjecture is external (different authors) and is the target being resolved, not a load-bearing self-citation that forces the result. With no full text, no equation can be exhibited that reduces a claimed derivation to its inputs by construction. Per the analyzer rules, the honest finding is score 0 with empty steps: the abstract presents existence/stability and operator-identity results against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (4)
- domain assumption Non-pluripolar Monge-Ampère products and Monge-Ampère capacity are well-defined for the big (1,1)-classes and model singularities under consideration.
- domain assumption Prescribed model singularities have positive Monge-Ampère mass (for the stability equivalence).
- domain assumption Right-hand sides are non-pluripolar positive Radon measures converging in total variation.
- domain assumption Standard properties of big cohomology classes and singularity envelopes/ceiling operators as in the Darvas–Di Nezza–Lu framework.
read the original abstract
For complex Monge-Amp\`ere equations with moving big cohomology classes and prescribed model singularities of positive Monge-Amp\`ere mass, we prove that, under total variation convergence of the right-hand side non-pluripolar positive Radon measures, convergence of the prescribed model potentials in Monge-Amp\`ere capacity is equivalent to convergence in capacity of the associated normalized solutions. We further prove that the ceiling operator coincides with the singularity envelope for potentials associated to a big $(1,1)$-class, regardless of their Monge-Amp\`ere mass, thereby resolving a conjecture of Darvas-Di Nezza-Lu. Consequently, the singularity envelope is idempotent without the positivity assumption on the mass.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.