{"id":"190c3495-63aa-4e16-8c53-57d3d66a6c35","arxiv_id":"2601.18741","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Conical Kähler–Einstein metrics along SNC divisors are RCD spaces; in dimension 4, ALE Ricci-flat RCD spaces exist with any space-form link at infinity.","lead":"This paper shows that Kähler–Einstein metrics with mild cone-shaped singularities along normal-crossing divisors are RCD spaces, the modern synthetic framework for Ricci curvature lower bounds. This yields many new 'weak Einstein' examples, including 4-dimensional Ricci-flat spaces whose asymptotic cones can have any spherical space form as cross-section.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.4's verification of the Honda–Sun hypotheses is asserted rather than demonstrated; the QL condition is only checked for small balls and the perturbation argument near D is not written out, so the RCD conclusion rests on an unverified correspondence.","rationale":"The reader's CONDITIONAL verdict already identifies the Honda–Sun correspondence as a key weak assumption. I agree with that emphasis, but I focus narrowly on the unverified QL condition and the skipped perturbation argument, which is the most technical and least secure part of the proof. The minimal resolution cone-angle assertion is also unproved, but it is a concrete, checkable and likely true fact, so it is less load-bearing than the exact fit to [HS25]. The concern does not move the verdict because it is an exposition/reliance gap rather than a demonstrated error; it reinforces the need for the CONDITIONAL status until the correspondence is checked line-by-line.","tokens_in":10048,"tokens_out":27327,"duration_ms":265232,"concrete_test":"Obtain the statement of [HS25, Theorem 1.1], Definitions 2.19/2.28, and Remark 2.30. Rewrite the proof of Theorem 3.4 as a checklist, verifying each item with explicit constants: (i) show the QL estimate (8) for all balls whose radius is bounded by the r0 given in [HS25, Def. 2.28] (or explain why a fixed r0 suffices); (ii) make the perturbation argument near D explicit by writing g = gβ + η with ∥η∥_{C^{α,β}} < 1/100 and deriving the gradient bound for g-harmonic functions from [GS24, Lemma 3.2] via a Schauder/Moser iteration; (iii) give the global SL argument using the ALE decomposition and a finite cover of the compact set where the metric is not uniformly flat/cone, verifying the Lipschitz representative is globally 1-Lipschitz. If any step fails, state whether [HS25] itself requires a stronger condition.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Both main theorems rest on external characterizations: [Hon18, Cor. 3.10] for the compact case and [HS25, Thm 1.1] for the ALE case. The proof of Theorem 3.4 lists properties (1)–(5) and asserts that they match the hypotheses of [HS25, Thm 1.1], but the match is not made line-by-line. The weakest spot is property (4), the quantitative Lipschitz condition. The text says 'it is enough to do so in balls of radius 0<r≤r0 ... (see [HS25, Remark 2.30])' and then proves (8) by combining standard estimates away from D and C^{α,β}-closeness to the model gβ near D plus [GS24, Lemma 3.2]. Two steps are left implicit: (a) why a uniform bound for balls of radius ≤r0 suffices for [HS25, Def. 2.28], whose range of scales and constants is not reproduced; (b) why the C^{α,β} closeness of g to gβ yields the same gradient bound for g-harmonic functions as for gβ-harmonic functions, i.e. the stability of [GS24, Eq. 3.5] under perturbation. Similarly, property (1) (Sobolev-to-Lipschitz) is dismissed as 'exactly as in the compact case', but the global non-compact argument needs a systematic geodesic chaining with uniform constants across the compact transition region; this is not given. Since [HS25] is a recent preprint and the RCD conclusion in Theorem 1.2 (and by a parallel route Theorem 1.1) depends on this correspondence, the central claim is only conditionally established.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper establishes that conical Kähler–Einstein metrics with cone angles < 2π along a simple normal crossing divisor define RCD spaces, both in the compact setting (Theorem 1.1) and in a non-compact ALE setting (Theorem 1.2). The compact proof reduces to Honda's characterization of RCD spaces for almost-smooth compact metric measure spaces, verifying Sobolev-to-Lipschitz, L2-strong compactness, Lipschitz eigenfunctions, and the Ricci lower bound on the smooth part. The non-compact proof invokes the Honda–Sun local characterization and verifies (or claims to verify) volume doubling, local Poincaré, Sobolev-to-Lipschitz, and quantitative Lipschitz regularity for harmonic functions. Combining these results with the authors' earlier existence theorem [dBS21], the paper derives examples of ALE Ricci-flat RCD(0,4) spaces homeomorphic to smooth 4-manifolds whose tangent cone at infinity has any prescribed spherical space form S^3/Γ as link, answering a question of Semola.","tokens_in":10464,"tokens_out":13549,"duration_ms":147929,"significance":"If the proofs are fully supplied, this is a valuable contribution: it produces a large family of Einstein RCD spaces with singularities along SNC divisors, and it shows that the RCD category contains smooth-manifold ALE spaces with arbitrary S^3/Γ links, a phenomenon impossible in the smooth ALE category under the classical conjecture. A strength of the paper is that it uses independent characterization theorems (Honda, Honda–Sun) rather than attempting a circular proof; the existence input [dBS21] is a peer-reviewed theorem used as a black box. The compact argument is short and elegant. The main reservation is that the non-compact route rests on a recent preprint [HS25] whose hypotheses are not verified line-by-line, and one geometric input about minimal resolutions of quotient singularities is asserted without proof. These issues are local and fixable, but they are load-bearing for the central non-compact claim.","major_comments":[{"comment":"The verification of the quantitative Lipschitz (QL) property is asserted rather than demonstrated. The text says it is enough to prove (8) for balls of radius r ≤ r0, referring to [HS25, Remark 2.30], but the precise scale range and constants of [HS25, Definition 2.28] are not reproduced, so the reduction is not checkable. More seriously, [GS24, Lemma 3.2] gives gradient control for gβ-harmonic functions, not for g-harmonic functions. The passage from C^{α,β}-closeness of g to gβ to the same estimate for g-harmonic functions requires a perturbation/stability argument that is not written. Since [HS25, Theorem 1.1] is the only bridge to the RCD conclusion in Theorem 3.4, this is a load-bearing gap.","section":"Section 3.3, proof of Theorem 3.4, property (4)"},{"comment":"The Sobolev-to-Lipschitz property is dismissed with 'follows exactly as in the compact case.' In the non-compact setting a geodesic between two arbitrary points may pass through infinitely many local model patches, so the compact finite-subcover argument does not apply verbatim. One needs a uniform chaining argument with controlled constants across the ALE end, the transition region, and the conical divisor. This is not supplied. Since SL is one of the explicit hypotheses of [HS25, Theorem 1.1], the proof should contain at least a lemma with the global statement.","section":"Section 3.3, proof of Theorem 3.4, property (1)"},{"comment":"The proof asserts without proof that the minimal resolution of every quotient singularity C^2/Γ has all discrepancies β_j−1 in (−1,0), i.e. β_j∈(0,1). This is essential because Theorem 3.6 requires β_j∈(0,1); if some discrepancy were outside this range, the cone-angle condition would fail and Theorem 3.4 would not apply. A short argument via adjunction and Hirzebruch–Jung continued fractions, or a precise reference, should be provided.","section":"Section 3.3, proof of Theorem 1.2"},{"comment":"The proof of the two-sided volume estimate (6) is sketched. In particular, the conditions on the compact set K are stated informally ('one necessarily has r ≥ r*', 'μg(K0) ≤ r^{2n}'), and the lower bound for balls with radius just above r* requires an argument: such a ball contains a fixed-size ball in the Euclidean end. Since Proposition 3.2 is used in the proof of Proposition 3.3 and in Theorem 3.4, these constants should be made precise.","section":"Section 3.2, Proposition 3.2"}],"minor_comments":[{"comment":"Typo: 'Quantative' should be 'Quantitative'.","section":"Section 3.3, property (4) heading"},{"comment":"The notion of Hölder continuity in Definition 3.1 is introduced qualitatively via local potentials, but property (4) of Theorem 3.4 requires a quantitative C^{α,β}-closeness to gβ on balls of a fixed radius. The norm and the radius r0 should be made explicit.","section":"Definition 3.1 and Theorem 3.4"},{"comment":"The remark states that item (i) in Definition 2.9 is redundant but supplies no proof. Either provide a reference or an argument, or remove the claim; as written it is an unsupported assertion.","section":"Remark 2.10"},{"comment":"The claim that the non-compact arguments would also imply the compact case is not expanded. It is not needed for the main theorems, but the sentence is misleading unless justified.","section":"Remark 3.5"},{"comment":"For Γ⊂SU(2), the metrics are smooth; for general Γ they are conical along the exceptional divisor. The phrase 'homeomorphic to a smooth manifold' should clarify that the underlying topological manifold is smooth, not that the metric is smooth.","section":"Theorem 1.2 statement"}],"recommendation":"major_revision","confidential_remarks":"The main issue is not correctness but completeness: Theorem 3.4 depends on a precise match with [HS25, Theorem 1.1], and that match is not demonstrated. If the authors supply the missing perturbation argument for the QL property, a global chaining argument for SL, and a reference or proof for the minimal-resolution discrepancies, the paper should be acceptable. The reliance on the recent preprint [HS25] is a practical risk; the editor may wish to confirm its status."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is worth a look. It proves two things: conical KE metrics on compact SNC pairs are RCD (Theorem 1.1), and for every spherical space form S^3/Γ there is an ALE Ricci-flat RCD(0,4) space with that link (Theorem 1.2), answering Semola's question. The second result is the headline; the first extends the smooth-divisor case to SNC. The arguments are mostly honest applications of Honda's and Honda–Sun's characterizations, and the existence input from the authors' own IMRN paper is used as a black box, not as a consequence. No circularity there.\n\nThe compact part is in reasonable shape. Lemma 2.4's geodesic chaining is a little quick but standard, and the use of Honda's Cor 3.10 is appropriate.\n\nThe non-compact part is the real soft spot. The proof of Theorem 3.4 lists five properties and asserts they match [HS25, Thm 1.1]. Property (4), the quantitative Lipschitz condition, is the one that needs work. The paper reduces to small balls, then combines estimates away from D with C^{α,β} closeness to the model near D, citing [GS24, Lemma 3.2]. The transfer from gβ-harmonic to g-harmonic functions is plausible but not written out, and the reader has to take on faith that the small-ball reduction hits the definition in [HS25]. I think this is fixable, not fatal, but the theorem is conditional as written. The stress-test note is on target about this.\n\nTwo smaller things: Remark 2.10 claims Hölder continuity in Definition 2.9 is redundant, with no proof. It isn't load-bearing because the definition includes it, but it should be either proved or removed. And in Theorem 1.2, the claim that the minimal resolution of C^2/Γ has all discrepancies in (−1,0) is stated without proof or reference. It's likely standard, but a referee will want a citation.\n\nWho gets value: people working on RCD spaces, singular Kähler metrics, and ALE geometry. The paper is short and clear, and the results are real. I'd send it to a serious referee with a request to expand the Honda–Sun verification and to add the missing supporting arguments.","headline":"New results, compact proof solid, non-compact proof needs more detail before it's fully convincing; deserves referee time.","tokens_in":10953,"tokens_out":4025,"would_cite":true,"duration_ms":39127,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C21","53C25","53C55","32Q20"],"pacs":[],"model":"deepseek-v4-flash","headline":"Conical Kähler–Einstein metrics on simple normal crossing divisors define RCD spaces, and ALE Ricci-flat RCD(0,4) examples realize every sphere space form as their asymptotic link.","keywords":["Kähler–Einstein","conical singularity","simple normal crossing","RCD space","ALE space","Ricci-flat","tangent cone at infinity","spherical space form"],"falsifier":"Compute the discrepancies of the minimal resolution of a specific quotient singularity $\\mathbb{C}^2/\\Gamma$ for a group $\\Gamma$ acting freely on $S^3$; if any discrepancy is $\\geq 0$, the cone-angle condition in the ALE construction fails, and the theorem would not apply to that link. Alternatively, test whether a conical KE metric with some cone angle $\\geq 2\\pi$ satisfies volume doubling or Lipschitz continuity of harmonic functions.","tokens_in":9934,"feed_emoji":"📐","tokens_out":6623,"duration_ms":58791,"temperature":0.7,"texified_at":"2026-08-05T20:49:19.795859+00:00","pith_summary":"Conical Kähler–Einstein metrics on simple normal crossing (SNC) divisors, with cone angles in $(0, 2\\pi)$, are shown to define RCD spaces – the synthetic notion of Ricci curvature bounded below. This holds for compact pairs and for certain non-compact ALE spaces, where the metrics are Ricci-flat and asymptotic to a cone. In the non-compact setting, the authors construct 4-dimensional ALE Ricci-flat $\\mathrm{RCD}(0,4)$ spaces homeomorphic to smooth manifolds, whose tangent cone at infinity has any spherical space form $S^3/\\Gamma$ as its link, resolving an open question about which links can occur. The proofs verify the hypotheses of a structural characterization of RCD spaces for almost-smooth spaces, using local model cone metrics and Schauder estimates.","texify_model":"deepseek-v4-flash","texify_usage":{"total_tokens":4856,"prompt_tokens":761,"completion_tokens":4095,"prompt_tokens_details":{"cached_tokens":0},"prompt_cache_hit_tokens":0,"prompt_cache_miss_tokens":761,"completion_tokens_details":{"reasoning_tokens":3372}},"feed_headline":"Cone-singular Kähler–Einstein metrics are RCD spaces","feed_subtitle":"They satisfy synthetic Ricci bounds and yield new examples with prescribed cone at infinity.","key_machinery":"The load-bearing object is the conical Kähler metric $g$ on $X\\setminus D$ with local model $g_\\beta = \\sum |z_i|^{2\\beta_i-2}|dz_i|^2 + \\text{Euclidean terms}$, where $\\beta_i \\in (0,1)$. Because $\\beta_i < 1$, this model is uniformly equivalent to the Euclidean metric in polar coordinates, so Euclidean Sobolev, Poincaré, and volume estimates transfer to the singular space. The almost-smooth RCD characterization converts these local estimates plus the smooth Ricci bound into the RCD condition; Schauder estimates for cone metrics give the needed Lipschitz control of harmonic functions.","core_discovery":"The paper's central claim is that conical Kähler–Einstein metrics on SNC pairs are RCD spaces. Theorem 1.1 states that any conical KE metric on a compact SNC pair $(X^n, \\Sigma(1-\\beta_i)D_i)$ with $\\beta_i \\in (0,1)$ defines an $\\mathrm{RCD}(\\lambda, 2n)$ space. Theorem 1.2 states that for any Riemannian spherical space form $S^3/\\Gamma$ there exist ALE Ricci-flat $\\mathrm{RCD}(0,4)$ spaces homeomorphic to smooth manifolds whose tangent cone at infinity has $S^3/\\Gamma$ as link. The proof strategy is to check the list of conditions in the almost-smooth RCD characterization: Sobolev-to-Lipschitz, $L^2$-strong compactness (compact case), volume doubling and local Poincaré inequality, quantitative Lipschitz continuity of harmonic functions, and the Ricci low","pith_inferences":["The same verification likely extends to conical KE metrics along more general (non-SNC) divisors, as the paper's proof only uses local model metrics and Schauder estimates.","RCD recognition of these singular metrics may open a path to studying degenerations and compactifications of moduli spaces of conical KE metrics via Gromov–Hausdorff limits.","A direct proof of the RCD property not relying on the structural characterization would be more self-contained; currently the result inherits the full strength and any hidden hypotheses of that characterization."],"forward_implications":["Conical KE metrics on SNC pairs now come with the full analytic machinery of RCD spaces: heat flow, tangent cones, and functional inequalities.","The RCD category contains non-trivial Einstein spaces in arbitrarily high dimension that are not constant curvature but carry cone singularities.","Every spherical space form S^3/Γ occurs as the link of an ALE Ricci-flat RCD(0,4) space, showing the synthetic category allows asymptotic cones that smooth ALE metrics may not realize.","These RCD spaces are homeomorphic to smooth manifolds and have zero ADM mass, so the RCD condition does not force the space to be nonsingular in the usual geometric sense."],"fun_headline_variants":["Conical KE metrics define RCD spaces, compact and beyond","SNC conical KE metrics produce RCD spaces, even ALE Ricci-flat","Answering Semola: ALE Ricci-flat RCD(0,4) metrics with any space form link","Conical KE metrics on SNC pairs satisfy RCD conditions","ALE Ricci-flat RCD(0,4) metrics with prescribed link at infinity"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The argument rests on the validity of the structural characterization of RCD spaces for almost-smooth spaces and on the assumption that all cone angles are strictly less than $2\\pi$, so the local model metrics are uniformly Euclidean.","fun_headline_variants_meta":{"raw":{"variants":["Conical KE metrics define RCD spaces, compact and beyond","SNC conical KE metrics produce RCD spaces, even ALE Ricci-flat","Answering Semola: ALE Ricci-flat RCD(0,4) metrics with any space form link","Conical KE metrics on SNC pairs satisfy RCD conditions","ALE Ricci-flat RCD(0,4) metrics with prescribed link at infinity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00067,"raw_usage":{"total_tokens":2861,"prompt_tokens":687,"completion_tokens":2174,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":431,"completion_tokens_details":{"reasoning_tokens":2068}},"tokens_in":431,"tokens_out":2174,"duration_ms":13308,"temperature":1.0,"reasoning_tokens":2068,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T07:55:08.763025+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the discrepancies of the minimal resolution of a specific quotient singularity $\\mathbb{C}^2/\\Gamma$ for a group $\\Gamma$ acting freely on $S^3$; if any discrepancy is $\\geq 0$, the cone-angle condition in the ALE construction fails, and the theorem would not apply to that link. Alternatively, test whether a conical KE metric with some cone angle $\\geq 2\\pi$ satisfies volume doubling or Lipschitz continuity of harmonic functions.","supporting_citations":[],"review_version":1}