{"id":"bf9abe6e-7e4b-4ae4-982e-b295b58aa517","arxiv_id":"2607.25657","paper_version":1,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"On any complex manifold, the Dinh-Sibony product of three positive closed currents is well defined and associative when the first current has continuous local potential functionals and the other two satisfy Condition (I).","lead":"This paper extends 'continuous superpotentials' for positive closed currents from compact Kähler spaces to all complex manifolds using local potential functionals, and proves that the Dinh-Sibony intersection product is associative when one current is continuous in this sense and the other two satisfy an integrability condition. The result gives a practical criterion for when three currents can be intersected in an order-independent way.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 3.5 base case is circular and Proposition 3.10 is an unproved bridge; Theorem 1.1 inherits an unsecured foundation.","rationale":"The reader's conditional verdict already flags the dependence on the unpublished preprint [1] and the circularity in Proposition 3.5. My stress test agrees that the paper is conditionally acceptable but identifies as the most load-bearing issue the internal proof chain: Proposition 3.5's base case is circular, and Proposition 3.10 is an unproved bridge that converts continuity of local potential functionals into Condition (I), which is then used to obtain the well-definedness of the Dinh-Sibony products in Theorem 1.1. These gaps are not just cosmetic; they are invoked in the proof of Theorem 1.1's two main claims. The theorem is plausible and may be repairable, but as written the proof does not close the route from its hypotheses to its conclusion. I do not see a reason to reject the paper outright, so the verdict remains conditional/unchanged. The concrete test is a single check that would settle whether the base case of Proposition 3.5 can be repaired without importing the conclusion; if it cannot, the proof needs substantial revision before the central claim is established.","tokens_in":35082,"tokens_out":8166,"duration_ms":81451,"concrete_test":"Rewrite the base case of the induction in Proposition 3.5: for a general R∈K_j, approximate by R_m∈\\tilde K_j and derive |F^1_{S,j}(R)|<∞ using only lim_{δ→0} ν^1_{S,j}(δ)=0 and the uniform ∗-mass bound of K_j. If this derivation cannot be completed, then Proposition 3.6/3.7 and the use of (S1∧S2)_DS in Theorem 1.1 are not justified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The weakest point is not the use of [1] per se but the internal chain that converts continuity of local potential functionals into the Dinh-Sibony products used in Theorem 1.1. In Proposition 3.5, the proof of the forward direction begins: 'When i=1, from the compactness of K_j and the continuity of F^1_{S,j}, the finiteness is obvious.' Continuity is exactly what is being proved; compactness alone does not exclude F^1_{S,j} ≡ −∞ on K_j. The hypothesis lim_{δ→0} ν^1_{S,j}(δ)=0 is designed to give diagonal integrability, but the paper never supplies the approximation argument that would turn this uniform bound over smooth currents into finiteness for every R∈K_j. Since Proposition 3.6, 3.7, and Theorem 3.8 all invoke Proposition 3.5, this gap propagates to the proof of Claim 1 and Claim 2 in Section 4. Separately, Proposition 3.10 is stated without proof and is the exact bridge from continuity of F^i to Condition (I) for S and R; Theorem 3.11 then uses [1, Thm 1.1] to make (S1∧S2)_DS well-defined, which is the starting object of Theorem 1.1. If either the base case cannot be repaired or Proposition 3.10 requires a non-obvious estimate, Theorem 1.1 is unsupported.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces continuous local potential functionals on arbitrary complex manifolds as a generalization of continuous superpotentials, and uses them to prove an associativity statement for Dinh–Sibony products of three positive closed currents (Theorem 1.1). Section 3 characterizes continuity of these functionals by vanishing of the diagonal mass functions ν^i_{S,j} (Proposition 3.5) and states a bridge result, Proposition 3.10, connecting this continuity to Condition (I). Section 4 proves the main theorem through two propositions and four claims, relying on several results from the author's unpublished preprint [1]. Section 5 specializes to compact Kähler manifolds and proves Theorems 1.2 and 1.3. Section 6 gives a sufficient condition for continuity of the Dinh–Sibony product.","tokens_in":35420,"tokens_out":8732,"duration_ms":91593,"significance":"If the main theorem is correct, it would give a genuinely local, non-Kähler generalization of continuous superpotentials and would establish order-independence of triple Dinh–Sibony intersections under explicit regularity hypotheses. The characterization in Proposition 3.5 and the connection to compact Kähler superpotentials in Theorem 1.2 are attractive and potentially useful. However, the paper as written has load-bearing gaps: the proof of Proposition 3.5 is circular in the base case and omits the case i=1 in the continuity argument; Proposition 3.10 is stated without proof; and the proof of Theorem 1.1 depends heavily on unverified results from the same-author preprint [1]. These issues prevent the manuscript from being accepted in its present form.","major_comments":[{"comment":"The proof of the forward direction begins the induction with: 'When i=1, from the compactness of K_j and the continuity of F^1_{S,j}, the finiteness is obvious.' This uses the conclusion being proved. Under the hypothesis lim_{δ→0} ν^1_{S,j}(δ)=0 alone, F^1_{S,j} is only defined as a decreasing limit of F^1_{S,j,θ}, and compactness plus upper semicontinuity (Proposition 2.12) do not exclude F^1_{S,j} ≡ −∞ on K_j. A direct estimate controlling ∫_{Δ_δ} −χ^1_j u π_1^*S ∧ π_2^*R from ν^1_{S,j}(δ) for arbitrary R∈K_j is needed. Moreover, the continuity claim for i=1 is not covered by Proposition 3.2, which explicitly assumes i≥2, and no separate argument is supplied. Since Proposition 3.5 is used in Theorem 3.8 and in Claims 1–2 of Section 4, this gap propagates to Theorem 1.1.","section":"§3, Proposition 3.5"},{"comment":"Proposition 3.10 is stated without proof. It is the exact bridge asserting that continuity of F^i_{S,j} on K_j implies Condition (I) for S and R on U^n_j. Theorem 3.11 then invokes [1, Theorem 1.1] to conclude that the Dinh–Sibony product (S∧R)_DS is well defined. In particular, the well-definedness of (S1∧S2)_DS in Theorem 1.1 depends on this unproved statement. This is not a routine verification, since Condition (I) requires inductive local integrability of u with respect to the wedges. The proposition needs either a proof or an explicit reference to a proved result.","section":"§3, Proposition 3.10"},{"comment":"The proof of Theorem 1.1 uses [1, Theorem 1.1], [1, Theorem 6.10], [1, Lemma 2.16] and [1, Proposition 3.10] as black boxes. These results belong to an unpublished same-author preprint, and the current manuscript neither states nor proves the needed versions. For instance, the first equality in the proof of Claim 1 relies on [1, Theorem 6.10] to justify replacing a bracket with a double limit, and the construction of (S1∧S2)_DS relies on [1, Theorem 1.1]. The present paper is therefore not self-contained, and its central theorem is conditional on the validity of [1]. At minimum, the required statements should be quoted precisely, or the preprint should be made publicly available in final form and its results verified.","section":"§4, Claims 1–2 and §3, Theorem 3.11"}],"minor_comments":[{"comment":"The sentence 'Let s_1 ∈ {1,...,n} and S_1 ∈ C^{s_1}(X) be such that S_2 admits continuous local potential functionals on (K_j)' appears to contain a typo: it should say S_1, not S_2, in light of Theorem 1.1 and the subsequent proof.","section":"§4, first paragraph"},{"comment":"The URL for [1] is malformed: 'https://https://arxiv.org/abs/2503.06964' should be 'https://arxiv.org/abs/2503.06964'.","section":"References, [1]"},{"comment":"The function χ_{Δ,δ} is used before it is defined in the same proof; please define it before the first use. Also, Theorem 3.12 says 'positive closed (p,p)-currents on S', which should presumably be 'on X'.","section":"§3, proof of Proposition 3.5"}],"recommendation":"major_revision","confidential_remarks":"The two main technical gaps — the circular base case in Proposition 3.5 and the unproved Proposition 3.10 — are load-bearing. The paper also leans on the author's own unpublished preprint [1] for core ingredients. If these cannot be repaired or replaced by self-contained arguments, Theorem 1.1 is not supported. The author should be asked to supply the missing i=1 estimates and a full proof of Proposition 3.10, and to clarify the status of [1]."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing to know: this paper claims associativity of the Dinh-Sibony product under a continuity assumption on local potential functionals. The idea is good and the theorem is likely true, but the written proof has at least one circular step and one unproved proposition, so I wouldn't take Theorem 1.1 as established yet.\n\nWhat's new: Ahn generalizes continuous superpotentials to arbitrary complex manifolds via local potential functionals, and proves a consistency result for triple DS products. On compact Kähler manifolds he ties this back to continuous superpotentials. The framework is natural and extends his earlier preprint [1]. The examples (pullbacks under finite maps, Monge-Ampère masses) are useful.\n\nWhere it gets soft. Proposition 3.5 is the backbone: continuity of local potential functionals is equivalent to vanishing of the ν integrals. In the forward direction, the base case i=1 says finiteness follows from compactness of K_j and continuity of F^1, but continuity is exactly what the proposition is proving. That's circular. The fix is probably routine—use the ν^1 condition and approximation by smooth currents as the paper does for i>1—but as written it doesn't go through. Proposition 3.10, which is the bridge from continuity of F^i to Condition (I), is stated without proof. That's a gap in an essential step, not a minor omission. The paper also leans hard on the author's unpublished preprint [1] for core ingredients; that's not a flaw by itself, but it means Theorem 1.1's validity depends on [1] being correct, and the reader can't check it independently here. Finally, the compact Kähler theorems (1.2 and 1.3) are given as sketches, with handwaves about local coordinate comparisons. A sketch can be acceptable, but for a main advertised result it's thin.\n\nIf the gaps are repairable—and I think they are—this will be a solid contribution to pluripotential theory. The associativity result is the kind of natural consistency statement people will want. As it stands, I'd send it to a competent referee, not desk-reject it, but I'd expect the referee to demand a full proof of Proposition 3.10 and a repaired Proposition 3.5 before publication.\n\nMy recommendation: engage with it, but don't cite it in your own work until the proof is fixed.","headline":"A useful associativity theorem for Dinh-Sibony products, but the proof has a circular base case and an unproved bridge; worth refereeing, not worth citing yet.","tokens_in":35873,"tokens_out":3597,"would_cite":false,"duration_ms":39076,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["32U40","32Q15"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that, on any complex manifold, if one of three positive closed currents has continuous local potential functionals and the other two satisfy an integrability condition, then the triple Dinh-Sibony product is well defined an","keywords":["positive closed currents","Dinh-Sibony product","tangent currents","continuous local potential functionals","continuous superpotentials","associativity","complex manifolds","pluripotential theory"],"falsifier":"Take S1, S2, S3 to be simple positive closed currents of the form dd^c u_i with u_i bounded plurisubharmonic, as in the paper's Example 3.13, and compute the two iterated Dinh-Sibony products and the direct triple product explicitly; if the two iterated products differ, Theorem 1.1 is false. A more direct check is to verify the companion preprint's Theorem 1.1 in this model case, since the present proof inherits that result as a black box.","tokens_in":34962,"feed_emoji":"📐","tokens_out":6076,"duration_ms":59998,"temperature":0.7,"pith_summary":"Intersecting positive closed currents in higher dimensions is delicate: the binary Dinh-Sibony product is not obviously associative, and the order of pairwise intersections could matter. This paper establishes that, under a continuity hypothesis on one current and an integrability hypothesis on the other two, the triple Dinh-Sibony product is well defined and independent of the order in which the binary products are performed. To do this it introduces continuous local potential functionals, a local version of superpotentials that works on arbitrary complex manifolds, and shows that on compact Kähler manifolds this notion coincides with the existing notion of continuous superpotentials. That matters because it makes intersection computations order-independent under checkable conditions, and because the continuity condition can be read off from local integrals near the diagonal.","feed_headline":"A regularity condition makes triple current products associative","feed_subtitle":"For positive closed currents, iterated and direct intersections coincide under one continuity condition.","key_machinery":"The central objects are local potential functionals: functions defined on compact families of positive currents by logarithmic integrals of the form ∫ u (dd^c u)^{i-1} ∧ S ∧ R near the diagonal. Their continuity is equivalent to the vanishing of quantities ν_{S,j}(δ) that measure the mass of these integrals in a δ-neighborhood of the diagonal. The Dinh-Sibony product itself is defined as the shadow of a tangent current along the diagonal in the product manifold, and Condition (I) is an L^1 integrability condition on log|x−y| with respect to the relevant wedge products; it guarantees that the kernel limits defining the product exist. The proof uses continuity of local potential functionals to","core_discovery":"The central claim is that the Dinh-Sibony product is associative under explicit regularity conditions: if S1 admits continuous local potential functionals and S2, S3 satisfy Condition (I), then (S1∧(S2∧S3)DS)DS = ((S1∧S2)DS∧S3)DS = (S1∧S2∧S3)DS on the whole manifold. The paper also proves that on a compact Kähler manifold, a current has continuous superpotentials if and only if it has continuous local potential functionals, and in that setting the same associativity holds when S1 has a continuous superpotential and S2, S3 satisfy Condition (I). A separate result gives a sufficient condition, phrased as vanishing of local integrals near the diagonal, for the Dinh-Sibony product to be continuo","pith_inferences":["The paper does not show whether Condition (I) on S2 and S3 follows from the other assumptions; a proof that it is automatically satisfied, or a relaxation of it, would make the associativity theorem unconditional.","Because the proof is built from localizing data rather than global positivity, the same machinery may extend to singular or non-compact spaces where global tangent-current theorems are unavailable.","In the compact Kähler setting, the equivalence between continuous local potential functionals and continuous superpotentials suggests that Condition (I) can be verified by checking uniform vanishing of the ν_{S,j}(δ) integrals, turning the associativity theorem into a more computational criterion.","The uniform convergence of the approximating kernels in Proposition 3.6 could serve as a numerical or analytic test: approximate the kernels with small θ and check uniform sup-norm convergence to certify continuity of the product."],"forward_implications":["When the hypotheses hold, the triple Dinh-Sibony product can be computed as any iterated binary product, so the most convenient order can be chosen.","Continuous superpotentials, previously mostly a compact-Kähler tool, become a special case of a local construction available on arbitrary complex manifolds.","The domination principle transfers: if S has continuous local potential functionals and S′≤S, then S′ also has them, giving stability of the class under smaller currents.","The continuity criterion in Theorem 6.1 gives a practical way to check that Dinh-Sibony products behave continuously along sequences of currents: uniform vanishing of local diagonal integrals suffices."],"fun_headline_variants":["Associativity holds for Dinh-Sibony product under regularity","Regularity yields associativity of Dinh-Sibony products","Continuous local potentials guarantee associative current products","New condition for associativity of Dinh-Sibony product"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof relies, as a black box, on the companion preprint's theorem that Condition (I) makes the binary Dinh-Sibony product well defined; if that theorem is incomplete, the associativity conclusion inherits the gap, and the paper does not derive Condition (I) from the other hypotheses.","fun_headline_variants_meta":{"raw":{"variants":["Associativity holds for Dinh-Sibony product under regularity","Regularity yields associativity of Dinh-Sibony products","Continuous local potentials guarantee associative current products","New condition for associativity of Dinh-Sibony product"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000658,"raw_usage":{"total_tokens":2772,"prompt_tokens":595,"completion_tokens":2177,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":339,"completion_tokens_details":{"reasoning_tokens":2110}},"tokens_in":339,"tokens_out":2177,"duration_ms":14757,"temperature":1.0,"reasoning_tokens":2110,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T01:48:59.464718+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take S1, S2, S3 to be simple positive closed currents of the form dd^c u_i with u_i bounded plurisubharmonic, as in the paper's Example 3.13, and compute the two iterated Dinh-Sibony products and the direct triple product explicitly; if the two iterated products differ, Theorem 1.1 is false. A more direct check is to verify the companion preprint's Theorem 1.1 in this model case, since the present proof inherits that result as a black box.","supporting_citations":[],"review_version":1}