{"id":"f31a6640-87f1-43e7-b0d9-f606b24201b2","arxiv_id":"2606.29680","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves analyticity of Lelong number level sets for positive ddc-closed (1,1)-currents on projective manifolds, with Siu decomposition and consequence for cohomology classes in the dual of the effective cone.","lead":"This paper proves that for positive ddc-closed currents of bidimension (1,1) on projective manifolds, the points where the Lelong number is at least c form an analytic subset of dimension at most 1, along with a Siu-type decomposition into curve components plus a residual current. A smart generalist might read it to see how singularity analysis of currents connects to algebraic geometry via the effective cone in cohomology.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader correctly flags the necessary scope restrictions; the claim itself is internally coherent and the non-finding follows directly from the absence of any visible gap in the stated hypotheses or conclusion.","tokens_in":1858,"tokens_out":247,"duration_ms":36771,"concrete_test":"Re-derive the analyticity of the Lelong set in the main theorem (presumably §2-3) starting from the ddc-closed condition alone, confirming that the projectivity hypothesis enters only through the stated lemmas and not through an implicit reduction to the d-closed case.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that on a projective manifold the Lelong sets {nu(T,·) >= c} for c>0 of a positive ddc-closed bidimension-(1,1) current are analytic of dimension at most 1, yielding the stated Siu-type decomposition with remainder having positive Lelong numbers only on a countable set. The projectivity and bidimension hypotheses are explicitly required and match the reader's weakest_assumption; the abstract statement contains no internal inconsistency or unsecured hypothesis visible at the level of the claim.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript proves that on a projective manifold X of dimension n, for any positive ddc-closed current T of bidimension (1,1), the superlevel sets {x ∈ X | ν(T,x) ≥ c} for c > 0 are analytic subsets of dimension at most 1. It establishes the Siu decomposition T = ∑_{i∈I} λ_i [V_i] + T_0, where the V_i are compact analytic curves (finite or countable family), λ_i ≥ 0, and the remainder T_0 has Lelong number vanishing outside a countable set. As a corollary, the cohomology class of any such current that charges no proper analytic set lies in the Poincaré dual of the effective cone of H^{1,1}(X,R).","tokens_in":1936,"tokens_out":343,"duration_ms":36194,"significance":"If the proof holds, the result extends Siu's classical analyticity theorem from positive closed currents to the larger class of positive ddc-closed (pluriharmonic) currents of bidimension (1,1). This supplies a concrete decomposition and analyticity statement under the projectivity hypothesis, together with a direct link between the non-charging condition and membership in the dual effective cone. The bidimension-(1,1) restriction and projectivity assumption are explicitly required and match the scope of the claim.","major_comments":[],"minor_comments":[],"recommendation":"uncertain","confidential_remarks":"Only the abstract was supplied in the review package; the proof steps, any potential gaps in the decomposition argument, and verification of the Lelong-number estimates cannot be evaluated. The soundness rating is therefore low pending access to the full text."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the report and for accurately summarizing the main results of the manuscript. The significance statement correctly identifies the extension of Siu's theorem to positive ddc-closed currents of bidimension (1,1) under the projectivity assumption, along with the Siu decomposition and the consequence for cohomology classes. No specific major comments were listed in the report.","responses":[],"tokens_in":1334,"tokens_out":92,"duration_ms":24740,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main result is that on a projective manifold, the superlevel sets of the Lelong number for a positive ddc-closed bidimension-(1,1) current are analytic of dimension at most 1, and the current admits a Siu-type decomposition into a sum of currents of integration along analytic curves plus a remainder with Lelong numbers vanishing off a countable set. The abstract also records the consequence that such currents without mass on proper analytic sets have cohomology classes in the dual of the effective cone.\n\nWhat is new is the passage from the usual closed case to the ddc-closed (pluriharmonic) case while keeping the analyticity conclusion, plus the explicit link to the effective cone. The statement is precise about the required hypotheses: projectivity of the ambient space and bidimension (1,1). That matches the weakest assumption listed and avoids overclaiming.\n\nThe limitation is that only the abstract is visible here, so the actual proof steps, any use of projectivity, and the handling of the remainder term cannot be checked. If the argument turns out to rely on some reduction that works only in this dimension or only after passing to a resolution, that would need to be spelled out. No circularity is visible at the level of the claim.\n\nThis is a specialized note in complex geometry. Readers already working with positive currents, Lelong numbers, and the effective cone on projective varieties will find the statement useful; others can skip it. The result is narrow enough that it does not need to be groundbreaking to be worth refereeing.\n\nI would send it to peer review. The claim is concrete, the hypotheses are stated up front, and the consequence is stated cleanly. A referee can check whether the proof actually delivers the analyticity and the decomposition without extra assumptions.","headline":"This extends Siu analyticity to positive ddc-closed (1,1)-currents on projective manifolds with a clean decomposition and effective-cone consequence.","tokens_in":2415,"tokens_out":440,"would_cite":false,"duration_ms":25097,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"On projective manifolds, Lelong number superlevel sets of positive ddc-closed (1,1)-currents are analytic subsets of dimension at most 1.","keywords":["positive currents","Lelong numbers","analytic sets","Siu decomposition","projective manifolds","ddc-closed currents","effective cone","cohomology classes"],"falsifier":"A counterexample consisting of a projective manifold and a positive ddc-closed bidimension (1,1) current whose set of points with Lelong number at least some c > 0 fails to be an analytic set of dimension at most 1.","tokens_in":2760,"feed_emoji":"","tokens_out":784,"duration_ms":52219,"temperature":0.7,"pith_summary":"The authors prove an analyticity result for the Lelong numbers of positive ddc-closed currents of bidimension (1,1) on projective manifolds. For any c greater than zero, the set where the Lelong number is at least c is shown to be an analytic subset of dimension no more than 1. This property yields a decomposition of the current into a sum of multiples of analytic curves plus a remainder current with Lelong numbers vanishing except at countably many points. Consequently, the cohomology classes of currents that assign no mass to proper analytic sets lie in the dual of the effective cone in H^{1,1}.","feed_headline":"Lelong number sets of positive currents are analytic of dim at most 1","feed_subtitle":"On projective manifolds this gives a decomposition of ddc-closed (1,1)-currents into curves plus remainder and places classes in the effecti","key_machinery":"The Siu decomposition of the current into a sum of multiples of compact analytic curves plus a remainder current whose Lelong numbers vanish outside a countable set.","core_discovery":"Let T be a positive ddc-closed current of bidimension (1,1) on a projective manifold X of dimension n. For every c > 0 the set of points of X where the Lelong number of T is larger or equal to c is an analytic subset of dimension at most 1 of X. Moreover, T equals the sum over i in I of lambda_i times the current of integration over V_i plus T_0, where the V_i form a finite or countable family of compact analytic curves, and T_0 is a positive ddc-closed current whose Lelong number vanishes outside a countable set. As a consequence, the cohomology class of every positive ddc-closed current of bidimension (1,1) on X which does not give mass to any proper analytic set belongs to the Poincaré du","pith_inferences":["The result relies on the projectivity of the manifold to achieve the analyticity conclusion.","The restriction to bidimension (1,1) is necessary for the dimension bound of at most 1 on the analytic sets.","This extends Siu's original theorem from closed positive currents to the ddc-closed case in this setting."],"forward_implications":["The superlevel sets of the Lelong number are analytic of dimension at most 1 for any c > 0.","The current admits a decomposition into a finite or countable sum of multiples of compact analytic curves plus a remainder current.","The cohomology class of any such current with no mass on proper analytic sets belongs to the Poincaré dual of the effective cone."],"fun_headline_variants":["Analytic Lelong sets for positive currents dim at most 1","Lelong number thresholds yield analytic sets in dim 1","Currents of bidim 1,1 decompose as curves plus singular remainder","No analytic mass positive currents in effective cohomology cone"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The manifold X is projective and the current T is positive and ddc-closed of bidimension (1,1).","fun_headline_variants_meta":{"raw":{"variants":["Analytic Lelong sets for positive currents dim at most 1","Lelong number thresholds yield analytic sets in dim 1","Currents of bidim 1,1 decompose as curves plus singular remainder","No analytic mass positive currents in effective cohomology cone"]},"model":"grok-4.3","cost_usd":0.00906,"raw_usage":{"total_tokens":4120,"prompt_tokens":777,"num_sources_used":0,"completion_tokens":69,"cost_in_usd_ticks":90599500,"prompt_tokens_details":{"text_tokens":777,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3274,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":777,"tokens_out":69,"duration_ms":43865,"temperature":1.0,"reasoning_tokens":3274,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-30T04:28:29.455783+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A counterexample consisting of a projective manifold and a positive ddc-closed bidimension (1,1) current whose set of points with Lelong number at least some c > 0 fails to be an analytic set of dimension at most 1.","supporting_citations":[],"review_version":1}