{"id":"6c0d11dc-bb66-40da-a011-9b29b3094673","arxiv_id":"1909.00839","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new metric d_S on singularity types of θ-psh potentials is defined; on positive-mass classes it is complete, and it governs convergence of solutions and multiplier ideal sheaves.","lead":"This paper defines a way to measure distance between the singularities of potentials on a compact Kähler manifold. The new metric is complete on positive-mass classes and controls convergence of Monge-Ampère solutions and multiplier ideal sheaves.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claims hinge on the identification P[φ]=C(φ), which is imported for positive mass and left as Conjecture 2.5 for zero mass; the abstract's atom claim is therefore unsupported in full generality.","rationale":"The reader correctly identified the imported positive-mass identity P[φ]=C(φ) as the weakest load-bearing assumption. I agree that this identity is used crucially in the completeness proof and in the volume diamond inequality. However, the more precise structural issue is that the paper's formal Theorem 3.3 only characterizes atoms by equality of C, while the abstract and introduction assert equality with relative full mass classes. That stronger assertion requires P=C not only for positive mass but for zero mass as well, and the paper explicitly leaves the zero-mass case as Conjecture 2.5. Thus the advertised atom characterization is not proven in full generality, independent of the correctness of the imported theorem. This does not invalidate the positive-mass completeness theorem if [DDL2, Theorem 3.12] is correct, but it makes the headline claim conditional on an unproved conjecture. I would therefore accept the paper only on condition that the authors either prove the equivalence with relative full mass classes in the zero-mass case or restrict the atom statement to the positive-mass classes S_δ where P=C is available.","tokens_in":30588,"tokens_out":35991,"duration_ms":379674,"concrete_test":"Independently re-derive the identity P[φ]=C(φ) from [DDL2, Theorem 3.12] in the exact normalization used here (φ∈PSH(X,θ), φ≤0, ∫_X θ^n_φ>0) and check the two specific uses: (i) in Lemma 2.4 that P[(1−ε)u+εV_θ] is maximal in F_{(1−ε)u+εV_θ}; (ii) in Lemma 4.3 that v=P[v] follows from v=C(v). If either step requires additional hypotheses, Theorem 4.9 is incomplete. Separately, in the DPS94 example of Section 4.2 compute C(φ_2) and P[φ_2] for the zero-mass potential φ_2; if they differ, the abstract's atom characterization fails, and if they agree, the zero-mass case of the atom claim is still not established without a proof of Conjecture 2.5.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Theorem 3.3 proves that d_S([ψ],[χ])=0 iff C(ψ)=C(χ). The abstract and introduction assert more: that the atoms are exactly the relative full mass classes. The bridge from C-equivalence to relative full mass classes is the equality P[φ]=C(φ). For positive mass this is imported from [DDL2, Remark 2.5, Theorem 3.12] and used in Lemma 2.4, Proposition 2.6, Lemma 4.3, Proposition 4.6, Corollary 4.7, Proposition 4.8, Theorem 4.9, and Proposition 5.3. In particular, Lemma 4.3 replaces v by C(v) and needs v=P[v] to apply Lemma 2.7; Proposition 4.8 and Theorem 4.9 then rely on that step. If the imported identity failed for any positive-mass potential, the completeness proof for S_δ would break. For zero-mass singularity types, which occur in S(X,θ) (e.g., φ_2 in Section 4.2), the equality is not established in this paper and is explicitly left open as Conjecture 2.5. Consequently the paper's formal atom theorem is C-equivalence, not the advertised equivalence with relative full mass classes; the latter is an unproved statement in the zero-mass case. This is a real load-bearing gap in the headline claim, even though the positive-mass completeness theorem may well be correct if the imported theorem is valid.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a pseudometric d_S on the space S(X,θ) of singularity types of θ-psh potentials on a compact Kähler manifold with a big cohomology class. The construction embeds S(X,θ) into the chordal metric space of finite-energy geodesic rays and pulls back the metric d_1^c. The main results are: (i) d_S is a pseudometric whose zero-distance relation is characterized by equality of the ceiling operator C (Theorem 3.3); (ii) for δ>0 the subspace S_δ(X,θ) is complete (Theorem 1.1/4.9), while the full space is incomplete (Section 4.2); (iii) a volume diamond inequality for non-pluripolar masses (Theorem 1.2/5.4); and applications to semicontinuity of multiplier ideal sheaves (Theorem 1.3/6.1) and to stability of complex Monge–Ampère equations with prescribed singularity type (Theorem 1.4/7.1). The proofs are detailed and rely on prior work of the authors, especially the identity P[φ]=C(φ) for positive-mass potentials.","tokens_in":30929,"tokens_out":15846,"duration_ms":132783,"significance":"If the main results hold, this paper provides a natural metric topology on singularity types, filling a gap in the literature where convergence of singularity types was previously treated only in ad-hoc ways. The completeness theorem for positive-mass subspaces and the stability applications are substantial and will likely be useful in pluripotential theory and transcendental algebraic geometry. The paper is carefully written and contains numerous proved lemmas rather than black-box statements. However, the advertised atom characterization in the abstract is stronger than what is formally established, as detailed in the major comment; this does not undermine the positive-mass results but requires a correction of the claimed scope.","major_comments":[{"comment":"The headline assertion that the atoms of d_S are 'exactly the relative full mass classes' (Abstract and §1, p. 2) is stronger than what is proved. Theorem 3.3 shows d_S([ψ],[χ])=0 iff C(ψ)=C(χ), and the identification of C-equivalence classes with relative full mass classes requires the identity P[φ]=C(φ). For positive mass this is imported from [DDL2, Remark 2.5, Theorem 3.12] and is used in Lemma 4.3, Proposition 4.6, Corollary 4.7, Proposition 4.8 and Theorem 4.9. For zero mass the identity is not proved and is explicitly left open as Conjecture 2.5; zero-mass singularity types do occur in S(X,θ) (see φ_2 in §4.2). Consequently the advertised atom characterization is not established in full generality. Please either prove the zero-mass case or reformulate the abstract/introduction to state that for positive mass the atoms are the relative full mass classes, while in general the atoms are exactly the fibers of C, with the identification to relative full mass classes being conjectural (Conjecture 2.5). This change is needed for the central claim to match the formal results.","section":"Abstract and §1; Theorem 3.3; Conjecture 2.5"}],"minor_comments":[{"comment":"In the introduction, the definition of the envelope reads 'P [φ] := sup {v ∈ PSH(X,θ ) : [ v] ≤ [u],v ≤ 0}', using both φ and u; this is a mismatch and should be corrected (likely [v] ≤ [φ]).","section":"§1, p. 2"},{"comment":"In the computation of the mixed mass of φ_t, the inequality '≥ {θ}.{η} = ∫_C η >0' would be clearer if the authors explicitly noted that {θ}.{η} is an intersection number and that ∫_C η >0 because η is positive along the curve C.","section":"§4.2"},{"comment":"In the proof of Lemma 2.4, the sentence 'we used [DDL2, Proposition 2.1, Theorem 2.2]' compresses two different external facts into one citation; a more detailed pointer would improve readability.","section":"§2.1, Lemma 2.4"},{"comment":"The geometric series bound in inequality (18), '∑_{k≥j} 1/C^{k+j−1} ≤ 1/C^{j−1} C/(C−1)', is correct but the intermediate step ∑_{k≥j} C^{-(k+j-1)} = C^{-(2j-1)}/(1-1/C) could be displayed to help the reader verify the estimate.","section":"§4, Proposition 4.2"},{"comment":"The notation w_j := P(u_j,u_{j+1},...) in (30) denotes an infinite envelope; the accompanying text explains it as a decreasing limit of finite envelopes, but stating this explicitly in the theorem statement would prevent confusion.","section":"§5, Theorem 5.6"}],"recommendation":"major_revision","confidential_remarks":"The main gap is the abstract's atom claim: it is proved only up to the identity P=C, which is conjectural in the zero-mass case. The positive-mass completeness theorem and the applications appear sound and are well supported, so I recommend major revision rather than rejection. The authors should be asked to either prove Conjecture 2.5 for zero mass or adjust the statements to match Theorem 3.3."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does something real: it gives the first metric topology on S(X,θ), the space of singularity types, and the main completeness theorem for Sδ with δ>0 appears sound. The construction via chordal L1 geometry of geodesic rays is natural, and the applications—semicontinuity of multiplier ideals and stability of Monge–Ampère solutions—are valuable. The proofs are detailed and mostly self-contained; external results are published and clearly cited.\n\nThe soft spot the stress-test flags is legitimate. The abstract and introduction claim that dS-atoms are exactly the relative full mass classes. What Theorem 3.3 actually proves is dS([ψ],[χ])=0 iff C(ψ)=C(χ). The bridge from C-equivalence to relative full mass classes is the identity P[φ]=C(φ), which is imported for positive mass and left as Conjecture 2.5 for zero mass. So the advertised atom characterization is not established in full generality. The zero-mass case is not a corner: Section 4.2 exhibits singularities with zero mass, so the overstatement touches the paper's stated scope, not just a remoter application.\n\nThat said, the issue is fixable and does not sink the core. For positive mass—the setting of the completeness theorem, the diamond inequality, and the CMAE applications—the identity P=C is proven in the cited literature, and the paper's own arguments are coherent. The zero-mass gap is explicitly acknowledged in the body via Conjecture 2.5. The abstract and intro should be reworded to state the C-equivalence criterion plainly, present the relative-full-mass description for positive mass, and flag the zero-mass case as conjectural. Also worth asking the authors to double-check whether the zero-mass atom claim can be obtained directly, or whether it genuinely needs the conjecture.\n\nThe incompleteness of S(X,θ) and the Demailly–Peternell–Schneider example are good and handled honestly. The volume diamond inequality and its use in the sandwich theorem are thoughtful.\n\nBottom line: this is a strong paper from serious people, with one real overstatement in the presentation. I would send it to a good referee and expect acceptance after the abstract and introduction are aligned with what is actually proven.","headline":"A genuinely useful metric on singularity types, with solid positive-mass theorems, but the abstract overstates the zero-mass atom characterization by relying on the still-open equality P=C.","tokens_in":31458,"tokens_out":3208,"would_cite":true,"duration_ms":149315,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["32U05","32Q15","32W20","53C55"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper introduces a pseudometric on singularity types that becomes a complete metric on positive-mass subspaces, with atoms equal to relative full mass classes.","keywords":["singularity types","theta-plurisubharmonic functions","big cohomology classes","geodesic rays","model potentials","complex Monge-Ampère equations","multiplier ideal sheaves","Kähler manifolds"],"falsifier":"Construct a $d_{\\mathcal S}$-Cauchy sequence $[u_j]$ in $\\mathcal S_\\delta(X,\\theta)$ whose decreasing envelope limit $v=\\lim_j C(v_j)$ is not a fixed point of $C$ or has total mass below $\\delta$; Theorem 1.1 predicts that no such sequence can exist. On the elliptic ruled surface example showing incompleteness for $\\delta=0$, the analogous sequence loses mass precisely at the limit, so the comparison is explicit.","tokens_in":30413,"feed_emoji":"📐","tokens_out":7309,"duration_ms":68666,"temperature":0.7,"pith_summary":"The paper gives singularity types of plurisubharmonic potentials in a big cohomology class a natural pseudometric $d_{\\mathcal S}$, built from finite-energy geodesic rays. It shows that two types are at zero distance exactly when they have the same relative full mass class, so the degenerate directions of the pseudometric are completely understood. On subspaces where the total Monge-Ampère mass is bounded below by $\\delta>0$, the pseudometric is complete. This metric topology makes precise what it means for prescribed singularity types to vary, yielding convergence of Monge-Ampère solutions in capacity and a semicontinuity statement for multiplier ideal sheaves.","feed_headline":"New metric makes Kähler singularity types complete above positive mass","feed_subtitle":"This distance controls convergence of Monge-Ampère solutions and multiplier ideal sheaves as prescribed singularities vary.","key_machinery":"The engine is the map $r[\\,\\cdot\\,]:\\mathcal S(X,\\theta)\\to\\mathcal R(X,\\theta)$ that attaches to each singularity type the geodesic ray with minimal singularity type, along with the ceiling operator $C$ whose fixed points are the model potentials. The metric is the chordal limit $d_{\\mathcal S}([\\psi],[\\chi])=\\lim_{t\\to\\infty} d_1(r[\\psi]_t,r[\\chi]_t)/t$, and the paper repeatedly uses the identity $P[\\psi]=C(\\psi)$ for positive mass, so model potentials are exactly envelope-fixed points. This machinery turns singularity-type questions into geodesic-ray questions, where completeness is already available.","core_discovery":"The paper establishes that $\\mathcal S(X,\\theta)$ admits a pseudometric $d_{\\mathcal S}$ whose zero classes are precisely the relative full mass classes: $d_{\\mathcal S}([\\psi],[\\chi])=0$ iff $C(\\psi)=C(\\chi)$, equivalently the associated geodesic rays coincide. On $\\mathcal S_\\delta(X,\\theta)$, the subspace of types with $\\int_X\\theta_u^n\\ge\\delta>0$, this pseudometric is complete. The paper further proves a volume diamond inequality $\\int_X\\theta_u^n+\\int_X\\theta_v^n\\le \\int_X\\theta_{\\max(u,v)}^n+\\int_X\\theta_{P(u,v)}^n$ when $P(u,v)\\in\\mathrm{PSH}(X,\\theta)$, and derives from it two applications: $d_{\\mathcal S}$-convergence forces eventual inclusion of multiplier ideal sheaves, and solutions of complex Monge-Ampère equations with prescribed singularity converge in capacity when the prescribed types converge.","pith_inferences":["Editorial inference: the $d_{\\mathcal S}$-topology gives a quantitative notion of approximation for singularity types, so the effectiveness of kernel-type or envelope-type approximation schemes could be measured by rates of $d_{\\mathcal S}$-convergence rather than only by stabilization of cohomological invariants.","Editorial inference: if the zero-mass identity $P[\\psi]=C(\\psi)$ stated as Conjecture 2.5 holds, the completeness and diamond arguments may extend below the positive-mass threshold, potentially making selected subspaces of $\\mathcal S(X,\\theta)$ complete even when the full space is not.","Editorial inference: a local analog of $d_{\\mathcal S}$ on singularity germs of plurisubharmonic functions would turn the multiplier-ideal semicontinuity theorem into a quantitative strong-openness statement, though the paper only records this as a motivating question."],"forward_implications":["Increasing sequences of $\\theta$-psh potentials satisfy $d_{\\mathcal S}([u_j],[u])\\to0$, and $d_{\\mathcal S}$-convergence can be characterized by sandwiching a sequence between increasing and decreasing approximating sequences.","For any $\\delta>0$, every $d_{\\mathcal S}$-Cauchy sequence in $\\mathcal S_\\delta(X,\\theta)$ converges to a singularity type whose total Monge-Ampère mass is at least $\\delta$.","The volume diamond inequality $\\int_X\\theta_u^n+\\int_X\\theta_v^n\\le\\int_X\\theta_{\\max(u,v)}^n+\\int_X\\theta_{P(u,v)}^n$ holds whenever the rooftop $P(u,v)$ is $\\theta$-psh, and it is an identity in complex dimension one.","If $d_{\\mathcal S}([u_j],[u])\\to0$, then the multiplier ideal sheaf inclusion $\\mathcal J[u]\\subseteq\\mathcal J[u_j]$ holds for all sufficiently large $j$.","Prescribed singularity types that converge in $d_{\\mathcal S}$ make the solutions of the corresponding complex Monge-Ampère equations converge in capacity and in $L^1$."],"supporting_citations":[{"why":"Supplies model potentials, relative full mass classes, envelope properties, and the external identity $P[\\psi]=C(\\psi)$ for positive mass on which the completeness proof rests.","marker":"[DDL2]"},{"why":"Provides the complete $d_1$-metric geometry of finite-energy classes and the geodesic rays into which singularity types are embedded.","marker":"[DDL3]"},{"why":"Gives the analysis of geodesic rays and the chordal metric on the space of rays that is pulled back to define $d_{\\mathcal S}$.","marker":"[DL18]"},{"why":"Establishes the non-pluripolar product and its basic convergence properties, which underpin all mass and mixed-mass computations in the paper.","marker":"[BEGZ10]"},{"why":"Supplies monotonicity of non-pluripolar Monge-Ampère measures and the mass normalization that is necessary for solving equations with prescribed singularity.","marker":"[WN19]"},{"why":"Provides the local strong-openness result for increasing sequences that the multiplier-ideal semicontinuity theorem extends to the global $d_{\\mathcal S}$-convergence setting.","marker":"[GZh15]"},{"why":"Supplies the elliptic ruled surface example used to show that the full space $\\mathcal S(X,\\omega)$ is not complete when positive mass is not imposed.","marker":"[DPS94]"}],"fun_headline_variants":["Singularity types get a complete metric for positive mass","Pseudometric on singularity types complete above positive mass","Complete metric for singularity types with positive mass","Metric on singularity types: convergence of Monge-Ampère solutions","Positive mass yields complete metric on singularity types"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The completeness proof assumes an imported identity: for every positive-mass potential, the envelope $P[\\psi]$ equals the ceiling $C(\\psi)$; if that external theorem were false, the Cauchy-sequence limit argument in Theorem 4.9 would not go through.","fun_headline_variants_meta":{"raw":{"variants":["Singularity types get a complete metric for positive mass","Pseudometric on singularity types complete above positive mass","Complete metric for singularity types with positive mass","Metric on singularity types: convergence of Monge-Ampère solutions","Positive mass yields complete metric on singularity types"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000942,"raw_usage":{"total_tokens":4001,"prompt_tokens":898,"completion_tokens":3103,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":514,"completion_tokens_details":{"reasoning_tokens":3028}},"tokens_in":514,"tokens_out":3103,"duration_ms":21083,"temperature":1.0,"reasoning_tokens":3028,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T05:35:07.344656+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct a $d_{\\mathcal S}$-Cauchy sequence $[u_j]$ in $\\mathcal S_\\delta(X,\\theta)$ whose decreasing envelope limit $v=\\lim_j C(v_j)$ is not a fixed point of $C$ or has total mass below $\\delta$; Theorem 1.1 predicts that no such sequence can exist. On the elliptic ruled surface example showing incompleteness for $\\delta=0$, the analogous sequence loses mass precisely at the limit, so the comparison is explicit.","supporting_citations":[],"review_version":1}