Pith. sign in

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 →

arxiv 2607.12797 v1 pith:EYUWEPAZ submitted 2026-07-14 math.CV math.AP

Capacity Stability of Complex Monge-Amp\`ere Equations with Moving Prescribed Singularities

classification math.CV math.AP MSC 32W2032U1532U20
keywords complex Monge-Ampère equationMonge-Ampère capacitymodel singularitiessingularity envelopeceiling operatorbig cohomology classesnon-pluripolar measurescapacity stability
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies complex Monge-Ampère equations whose cohomology classes may move and whose singularities are prescribed by model potentials of positive mass. It proves that, once the right-hand side measures converge in total variation, the model potentials converge in Monge-Ampère capacity if and only if the corresponding normalized solutions do. Separately, it shows that the ceiling operator coincides with the singularity envelope for every potential belonging to a big (1,1)-class, whether or not that potential has positive Monge-Ampère mass. The second result settles a conjecture of Darvas–Di Nezza–Lu and immediately implies that the envelope is idempotent without any positivity assumption on mass. Together the two statements give a clean capacity-stability theory for singular equations and remove a long-standing restriction on the envelope.

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.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 2 minor

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)
  1. 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.
  2. 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)
  1. 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.
  2. 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

0 steps flagged

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

0 free parameters · 4 axioms · 0 invented entities

Abstract-only pure-math paper. No free numerical parameters. Background is standard pluripotential theory on big (1,1)-classes (non-pluripolar products, Monge-Ampère capacity, model singularities). The positive-mass hypothesis for the stability theorem is a domain assumption of the setup; the conjecture resolution claims to remove a related positivity assumption for the ceiling/envelope identity. No new physical or geometric entities are invented.

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.
    Standard pluripotential-theory background invoked by the abstract's setup; not re-derived here.
  • domain assumption Prescribed model singularities have positive Monge-Ampère mass (for the stability equivalence).
    Explicitly part of the problem setting in the abstract; the equivalence is claimed only in that regime.
  • domain assumption Right-hand sides are non-pluripolar positive Radon measures converging in total variation.
    Hypothesis under which the capacity equivalence is stated.
  • domain assumption Standard properties of big cohomology classes and singularity envelopes/ceiling operators as in the Darvas–Di Nezza–Lu framework.
    The conjecture being resolved lives in that framework; the paper relies on it as background.

pith-pipeline@v1.1.0-grok45 · 6021 in / 2511 out tokens · 29019 ms · 2026-07-15T03:16:19.156658+00:00 · methodology

0 comments
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.