{"id":"98084398-4b01-4e78-8fc8-b9d3d5f5f435","arxiv_id":"2501.02150","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Generalized Lelong numbers along submanifolds are extended to arbitrary closed forms, linked to Dinh-Sibony classes, and used to give effective criteria for wedgeability and continuity of intersections of positive closed currents.","lead":"This paper extends generalized Lelong numbers to arbitrary closed smooth forms on a submanifold and uses them to derive effective conditions for intersections of positive currents in Dinh-Sibony's tangent-current theory. The conditions are checkable integrals over tubes near the diagonal, so the work gives practical tools for wedgeability and continuity on compact Kähler manifolds.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Intersection criterion depends on imported uniqueness theorem [48, Thm 1.6]; the Lemma 11.4 bridge is dimensionally inconsistent as written, so condition (1) of Theorem 2.18 is not shown to imply uniqueness.","rationale":"Reader's verdict was CONDITIONAL with weakest assumption being approximability classes. I partially agree: for the intersection theorems on compact Kähler manifolds, approximability is less restrictive because Δ has empty boundary and Dinh-Sibony regularization supplies smooth closed approximations; the more vulnerable point is the uniqueness of tangent currents. The paper's own proof of Theorem 2.18 is only a reduction to Theorem 11.1 and [48]. Theorem 11.5 states the imported criterion but its proof is not given. The attempted reduction via Lemma 11.4 contains a dimensional inconsistency that, if not a typographical error, breaks the bridge from the log-tube condition to the integrability condition needed in [48]. Because this uniqueness step is load-bearing for wedgeability, the central claim should stay conditional until the correction and verification are supplied. I do not recommend rejection: the overall framework is plausible and much of the surrounding theory is independently developed; the concern is about an unverified external input, not an internal contradiction.","tokens_in":81178,"tokens_out":14292,"duration_ms":145738,"concrete_test":"Acquire [48, Theorem 1.6] and redo the proof of Theorem 11.1 with the index in Lemma 11.4 replaced by (k−p−j, 0, j, 0). Concretely, verify from the corrected estimate that condition (2.18)(1), i.e. κ^•_j(-log dist(·,Δ)·T, Δ, ωΔ, r, τ, h) < ∞, implies ∫_0^r κ^•_j(T, Δ, ωΔ, s, τ, h)/s ds < ∞ for the indicated j, and that [48]'s hypotheses are satisfied by T = T1⊗...⊗Tm without extra boundary regularity. If the implication fails or needs an additional hypothesis, Theorem 2.18's criterion is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"To define T1 N ... N Tm in Theorem 2.18, the proof requires a unique tangent current for T = T1⊗...⊗Tm along Δ. This is obtained from Theorem 11.1, whose proof reduces to [48, Theorem 1.6] (Theorem 11.5). The reduction asserts that the log-tube finiteness condition (11.2) is equivalent to the integrability condition (11.4) required by [48]. The bridge is Lemma 11.4, but as written Lemma 11.4 sets the multi-index j := (k−j, 0, j, 0). For a current of bidegree (p,p), the admissible indices in (5.22) satisfy j1+j3 ≤ k−p, whereas here j1+j3 = k, which is only possible when p=0. The intended index must be (k−p−j, 0, j, 0) to match the mass indicators K_{j,k−p−j} of Remark 5.11. Until that correction is made and the estimates are proved for it, condition (2.18)(1) has not been shown to imply the uniqueness hypothesis of [48, Theorem 1.6]. Since [48] is not included in the preprint and its hypotheses are not checked for the tensor-product current, the central wedgeability claim is not independently established.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a theory of generalized Lelong numbers for positive plurisubharmonic currents along a Kähler submanifold, with emphasis on closed smooth test forms on the base, and relates these numbers to Dinh-Sibony cohomology classes. It also gives effective sufficient conditions for wedgeability and continuity of intersections of positive closed currents on compact Kähler manifolds, using the language of tangent currents. The main results are contained in Theorems 2.5, 2.7, 2.12, 2.13, 2.14, 2.18, and 2.21. The paper builds on the author's previous work [46] and a companion paper [48] for the uniqueness of tangent currents.","tokens_in":81469,"tokens_out":13770,"duration_ms":119387,"significance":"If the central technical gaps are repaired, the paper would provide a substantial and useful extension of the Dinh-Sibony theory of tangent currents and density currents, introducing quantitative invariants (generalized Lelong numbers) that are effective in questions of wedgeability and continuity of intersections. The explicit nature of the criteria in Theorems 2.18 and 2.21 is particularly valuable, and the paper also offers a Siu-type upper-semicontinuity theorem and a relation between Dinh-Sibony classes and the new numerical invariants. However, the proof of the main wedgeability criterion currently relies on a lemma with an index error and on an imported theorem whose hypotheses are not verified in the manuscript; these issues are load-bearing and must be addressed.","major_comments":[{"comment":"The multi-index j := (k−j, 0, j, 0) does not satisfy the admissibility condition k−p−j1−j3 ≥ 0 imposed in (5.22) for a current of bidegree (p,p), since j1+j3 = k. The correct index matching the mass indicators K_{j,k−p−j} used in (11.5) is (k−p−j, 0, j, 0), which gives j1+j3 = k−p and is admissible for the range m ≤ j ≤ m. As stated, Lemma 11.4 cannot justify the implication from (11.2) to (11.5) in the proof of Theorem 11.1, so the bridge between the finiteness condition in Theorem 2.18(1) and the hypotheses of [48, Theorem 1.6] is not established.","section":"§11, Lemma 11.4 (p. 55), with (5.22) and (2.8)"},{"comment":"The proof of Theorem 11.1 derives the uniqueness of tangent currents by reducing condition (11.2) to condition (11.4) and then invoking [48, Theorem 1.6]. Because the reduction is carried out through the misstated Lemma 11.4, the hypotheses of [48, Theorem 1.6] are not in fact verified for the tensor-product current T = T1 ⊗ ... ⊗ Tm. The central wedgeability theorem (Theorem 2.18) therefore lacks a valid proof as written. The author should correct Lemma 11.4, prove the required estimates for the corrected multi-index, and either state and verify the hypotheses of [48, Theorem 1.6] directly or include a self-contained proof of the uniqueness criterion.","section":"§11, Theorem 11.1 and §2.5, Theorem 2.18"},{"comment":"The proof of assertion (1) is omitted, with the text stating only that the proof is 'quite similar' to that of assertion (2). Assertion (1), which concerns the closed-current case in the Dinh-Sibony context, is used in the proof of Theorem 2.16 and underlies the claimed equivalence in Remark 2.15. A complete proof, or at least a detailed indication of the additional technical issues, is necessary for the announced result.","section":"§10, Theorem 2.14"}],"minor_comments":[{"comment":"The statement 'We leave the proof to the interested reader' appears in a theorem in the main body. Since this variant does not appear to be used later, the author should either provide the proof or reformulate it as a remark with a clear reference.","section":"§8, Theorem 8.5(3)"},{"comment":"The notation in Lemma 11.4 uses j both as the summation index and as the multi-index in (k−j, 0, j, 0). This is confusing; a different symbol (for instance, bold j) should be used for the multi-index after the correction is made.","section":"§11, Lemma 11.4"},{"comment":"In (11.2), the symbol ω appears where the definition (2.8) requires a closed smooth (j,j)-form; the author presumably means ω^j or ω(j). Please make this uniform to avoid ambiguity.","section":"§11, Theorem 11.1"},{"comment":"The manuscript contains numerous typographical and OCR-like errors (e.g., 'for for all', 'in the sense of Definition 2.10' in Remark 2.4, and garbled displays around (12.9)–(12.10)). A careful proofreading pass is needed before the paper can be accepted.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper relies heavily on the author's own previous work [46] and on the companion paper [48], which is not part of this submission. The referee was unable to verify the key reduction in Lemma 11.4 because of the index error; after correction, the author should ensure that the proof of Theorem 2.18 is either self-contained or explicitly verifies the hypotheses of [48, Theorem 1.6] for the tensor-product current. The editor may also wish to consider whether the promised proofs of Theorem 2.14(1) and Theorem 8.5(3) should be required before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a serious paper, not a finished one. The genuinely new content is real: generalized Lelong numbers attached to arbitrary closed (j,j)-forms, the horizontal dimension characterization, a Siu-type semicontinuity theorem, the comparison formula with Dinh-Sibony classes, and effective sufficient conditions for wedgeability and continuity of intersections. The formula (2.14) is a genuine contribution, and the use of Dinh-Nguyen-Vu to get an explicit intersection formula in Section 12 is a nice bridge. The author is also transparent about what comes from [46] and [48]. Self-citation is heavy but not circular; the new claims genuinely go beyond the earlier papers.\n\nThe soft spots are real. The proof of the main wedgeability theorem, Theorem 2.18, is not self-contained. Uniqueness of the tangent current is reduced to [48, Theorem 1.6], and [48] is not included in the preprint. The reduction passes through Lemma 11.4, which as written is not dimensionally sound. The lemma sets j = (k-j, 0, j, 0), but for a current of bidegree (p,p), the admissible multi-indices in (5.22) satisfy j1+j3 <= k-p. Here j1+j3 = k, which is only possible when p=0. The intended index is almost certainly (k-p-j, 0, j, 0), matching the mass indicators in Remark 5.11. Until that is corrected and the estimates are checked, condition (1) of Theorem 2.18 has not actually been shown to imply the uniqueness hypothesis. This is the load-bearing bridge for the whole intersection criterion.\n\nThere are also several smaller delegated steps: Theorem 8.5(3) leaves the proof to the reader, Theorem 2.14(1) says the proof is similar to case (2), and Section 7 repeatedly relies on obvious adaptations of [46]. These do not sink the paper, but they make verification genuinely harder. The standing hypothesis T = T+ - T- with approximability classes is strong and not easy to check in practice, so the advertised effectiveness of the criteria is somewhat qualified.\n\nOverall, the architecture is plausible and the paper deserves engagement. But the central intersection theorem currently rests on a fixable-looking typo plus an unpublished result whose hypotheses are not verified for the tensor-product current. That is a major revision, not a desk reject. I would send it to a serious referee, with explicit instructions to check Lemma 11.4 and the reduction to [48, Theorem 1.6]. I would not cite it until that repair is made.","headline":"A serious but unfinished paper: the generalized Lelong number machinery is credible and useful, but the central wedgeability criterion depends on a load-bearing index error in Lemma 11.4 and an imported uniqueness theorem whose hypotheses are not checked.","tokens_in":81986,"tokens_out":2979,"would_cite":false,"duration_ms":31160,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["32U40","32U25","32Q15","32L05","14J60"],"pacs":[],"model":"deepseek-v4-flash","headline":"Generalized Lelong numbers—limits of tube masses—give effective criteria for the existence and continuity of intersections of positive closed currents on compact Kähler manifolds.","keywords":["generalized Lelong numbers","positive plurisubharmonic currents","tangent currents","horizontal dimension","Dinh-Sibony intersection","Lelong-Jensen formula","compact Kähler manifolds","continuity of intersections"],"falsifier":"A single positive closed current on a compact Kähler manifold for which the logarithmic tube integrals $\\kappa^\\bullet_j(-\\log \\mathrm{dist}(\\cdot,\\Delta)\\,T,\\Delta,\\omega_\\Delta,r,\\tau,h)$ are finite in the required range but two different tangent currents along the diagonal exist would disprove Theorem 11.1 and with it the wedgeability criterion Theorem 2.18.","tokens_in":80975,"feed_emoji":"📐","tokens_out":11848,"duration_ms":116888,"temperature":0.7,"pith_summary":"This paper builds a numerical intersection theory for positive currents on compact Kähler manifolds, the distributional analogues of complex subvarieties. Its central claim is that generalized Lelong numbers—limits of normalized masses of a current over tubes around a submanifold—are well defined, finite, and intrinsic for large classes of plurisubharmonic, pluriharmonic, and closed currents, and that they carry exactly the information contained in Dinh-Sibony's tangent cohomology classes. The paper then turns this into effective criteria: if certain logarithmic tube integrals involving $-\\log \\mathrm{dist}(\\cdot,\\Delta)\\,T$ are finite and the corresponding generalized Lelong numbers vanish in the required range, then $m$ positive closed currents admit a Dinh-Sibony intersection $T_1\\mathbin{N}\\cdots\\mathbin{N}T_m$, and a uniform version for sequences makes the intersection of limits equal to the limit of the intersections. This matters because intersections of currents of higher bidegree lack local potentials in general, so criteria that are checkable by tube masses give a practical route to a notoriously nonconstructive theory.","feed_headline":"Finite tube integrals guarantee intersections exist and converge","feed_subtitle":"Logarithmic tube integrals tell when positive closed currents can be wedged and when limits commute with intersections.","key_machinery":"The load-bearing machinery is the logarithmic tube calculus on the normal bundle. Writing $\\phi(y)=\\|y\\|^2$, $\\alpha=dd^c\\log\\phi$, $\\beta=dd^c\\phi$, and $\\mathrm{Tube}(B,r)$ for the tube of radius $r$ over the base $B$, the paper studies the integrals $\\kappa^\\bullet_j(T,B,\\omega^{(j)},r,\\tau,h)=\\int_{\\mathrm{Tube}(B,r)\\setminus V}\\tau^*T\\wedge\\pi^*\\omega^{(j)}\\wedge\\alpha^{k-p-j}$ and their regularized versions. The Lelong-Jensen formulas relate differences of normalized tube masses to these logarithmic integrals plus boundary terms of order $O(r^2)$, and the admissible estimates of Section 5 control the error when arbitrary strongly admissible maps replace local holomorphic coordinates. The companion Theorem 8.1 expresses each generalized Lelong number as an integral of a tangent current, and Theorem 2.14 identifies the same numbers with the Dinh-Sibony classes via the displayed cohomological formula. Finiteness of the logarithmic integrals is what Theorem 2.18 converts into existence of the tangent-current intersection, using the uniqueness criterion for tangent currents.","core_discovery":"For a positive plurisubharmonic current $T$ on a complex manifold $X$, a Kähler submanifold $V$ of dimension $l$, and a domain $B\\Subset V$, the generalized Lelong number $\\nu(T,B,\\omega^{(j)},h)$ associated to a closed smooth $(j,j)$-form $\\omega^{(j)}$ is the limit as $r\\to0$ of the normalized mass of $\\tau^*T$ over the tube $\\mathrm{Tube}(B,r)$, wedged with $\\pi^*\\omega^{(j)}$ and $\\beta^{k-p-j}$, where $\\beta=dd^c\\|y\\|^2$ is the flat form of the Hermitian metric on the normal bundle. Theorems 2.5 and 2.7 prove that this limit exists, is finite, and is independent of the admissible map used to pull $T$ back to the normal bundle. Theorems 2.12 and 2.13 characterize the horizontal dimension as the smallest index above which all generalized Lelong numbers vanish, and establish a Siu-type upper-semicontinuity theorem for them. Theorem 2.14 gives the exact formula $\\nu(T,V,\\omega^{(j)},h)=\\sum_{i=j}^{m}\\pi_0^*c^{DS}_i(T,V)\\,!\\,\\pi_0^*\\{\\omega^{(j)}\\}\\,!\\,h_E^{k-l+i-j}$ relating the numbers to the Dinh-Sibony classes, so the numerical and cohomological data are equivalent. On a compact Kähler manifold, Theorems 2.18 and 2.21 assert that finiteness of the logarithmic tube integrals $\\kappa^\\bullet_j(-\\log \\mathrm{dist}(\\cdot,\\Delta)\\,T,\\Delta,\\omega_\\Delta,r,\\tau,h)$ and vanishing of $\\nu_j$ in the range $k-p<j\\le k-\\max_i p_i$ imply existence of $T_1\\mathbin{N}\\cdots\\mathbin{N}T_m$ in the tangent-current sense, and that the uniform version implies continuity of this intersection.","pith_inferences":["Extension: the intrinsicness established for pluriharmonic currents suggests that the numbers can serve as local invariants of directed harmonic currents in singular foliations, where closedness typically fails but approximability by pluriharmonic currents is natural.","Extension: since Theorem 2.14 identifies generalized Lelong numbers with Dinh-Sibony classes, one could compute the latter by evaluating one-dimensional limits on tubes instead of constructing tangent currents, which may be easier in examples.","Extension: a quantitative version of Theorem 2.21 should hold: if $\\sup_n\\kappa^\\bullet_j(\\cdots)\\to0$ at a known rate, the weak convergence of the intersections should have a rate controlled by that rate and the masses of the currents.","Extension: testing the finiteness condition on currents of integration along algebraic cycles would translate the wedgeability criterion into intersection-multiplicity computations, connecting the analytic criteria to algebraic intersection theory."],"forward_implications":["Whenever the finiteness and vanishing conditions hold, $T_1\\mathbin{N}\\cdots\\mathbin{N}T_m$ exists without constructing super-potentials; the check is purely numerical, using arbitrary Hermitian metrics and local charts.","The generalized Lelong numbers determine the Dinh-Sibony classes and vice versa, so the cohomological tangent data of a current can be read off from limits of tube masses.","The horizontal dimension of $T$ along $V$ is the smallest $j$ with $\\nu_q(T,B,\\omega,h)=0$ for all $q>j$, giving a numerical definition of minimality of the intersection dimension.","If a sequence of currents satisfies the uniform tube-integral condition, then the tangent-current intersections converge and the intersection of the limit currents equals the limit of the intersections.","For a single point $V=\\{x\\}$, the generalized number $\\nu_0(T,B)$ is the classical Lelong number, so the criteria specialize to familiar local mass conditions."],"supporting_citations":[{"why":"Supplies the earlier generalized Lelong numbers, the tangent theorems for positive plurisubharmonic currents, and the Lelong-Jensen formulas that the present paper extends.","marker":"[46]"},{"why":"Introduces the theory of tangent currents, the Dinh-Sibony cohomology classes, and the definition of wedgeability in the tangent-current sense used by Theorems 2.18 and 2.21.","marker":"[28]"},{"why":"Gives the uniqueness criterion for tangent currents that converts finiteness of tube integrals into existence of the intersection in Theorem 2.18.","marker":"[48]"},{"why":"Provides the super-potential formula and the explicit intersection formula used in the proof of the continuity theorem and in Theorem 12.8.","marker":"[20]"},{"why":"Introduced Lelong numbers of positive plurisubharmonic currents along domains in affine pairs, the setting generalized here to arbitrary Kähler submanifolds.","marker":"[3]"},{"why":"Is the classical Siu upper-semicontinuity theorem for Lelong numbers whose analogue is established as Theorem 2.13.","marker":"[50]"},{"why":"Gives the logarithmic formulation of Lelong numbers for positive plurisubharmonic currents that motivates the tube integrals $\\kappa^\\bullet$ and $\\kappa$.","marker":"[51]"}],"fun_headline_variants":["Tube integrals decide when currents can be intersected","Generalized Lelong numbers control intersections","Logarithmic tube integrals ensure wedge products exist","Finiteness of tube integrals guarantees intersection continuity","New invariants link Lelong numbers to cohomology"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing hypothesis is that the current $T$ splits as $T=T^+-T^-$ with $T^\\pm$ approximable by smooth positive plurisubharmonic, pluriharmonic, or closed forms with boundary control; without such a decomposition, none of the generalized Lelong numbers or intersection criteria are defined.","fun_headline_variants_meta":{"raw":{"variants":["Tube integrals decide when currents can be intersected","Generalized Lelong numbers control intersections","Logarithmic tube integrals ensure wedge products exist","Finiteness of tube integrals guarantees intersection continuity","New invariants link Lelong numbers to cohomology"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00021,"raw_usage":{"total_tokens":1626,"prompt_tokens":1375,"completion_tokens":251,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":991,"completion_tokens_details":{"reasoning_tokens":180}},"tokens_in":991,"tokens_out":251,"duration_ms":2826,"temperature":1.0,"reasoning_tokens":180,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T22:14:16.294901+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A single positive closed current on a compact Kähler manifold for which the logarithmic tube integrals $\\kappa^\\bullet_j(-\\log \\mathrm{dist}(\\cdot,\\Delta)\\,T,\\Delta,\\omega_\\Delta,r,\\tau,h)$ are finite in the required range but two different tangent currents along the diagonal exist would disprove Theorem 11.1 and with it the wedgeability criterion Theorem 2.18.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the uniqueness criterion for tangent currents that converts finiteness of tube integrals into existence of the intersection in Theorem 2.18."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the super-potential formula and the explicit intersection formula used in the proof of the continuity theorem and in Theorem 12.8."},{"cited_title":"(French) [Extension of closed, positive currents of finite mass] Invent","cited_arxiv_id":null,"evidence_quote":"Gives the logarithmic formulation of Lelong numbers for positive plurisubharmonic currents that motivates the tube integrals $\\kappa^\\bullet$ and $\\kappa$."}],"review_version":1}