Continuous local potential functionals and the Dinh-Sibony product

Taeyong Ahn

REVIEW 3 major objections 3 minor 18 references

Continuous local potential functionals and the Dinh-Sibony product

T0 review · 3 major / 3 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read 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

desk verdict 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. read the letter →

arxiv 2607.25657 v1 pith:JGLWTJ2V submitted 2026-07-28 math.CV

Taeyong Ahn This is my paper · ORCID

classification math.CV MSC 32U4032Q15

keywords positiveclosedcurrentsDinh-Sibonyproducttangentcontinuouslocalpotentialfunctionalssuperpotentialsassociativitycomplexmanifoldspluripotentialtheory

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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

What would settle it

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.

Watch

Extended reading notes

Core claim

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

Load-bearing premise

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.

Editorial extensions

If this is right

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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

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.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the 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.

What'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.

Where 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.

If 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.

My recommendation: engage with it, but don't cite it in your own work until the proof is fixed.

Referee Report

3 major / 3 minor

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.

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 (3)

[§3, Proposition 3.5] 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.
[§3, Proposition 3.10] 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.
[§4, Claims 1–2 and §3, Theorem 3.11] 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.

minor comments (3)

[§4, first paragraph] 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.
[References, [1]] The URL for [1] is malformed: 'https://https://arxiv.org/abs/2503.06964' should be 'https://arxiv.org/abs/2503.06964'.
[§3, proof of Proposition 3.5] 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'.

Circularity Check

4 steps flagged · score 4.0 of 10

Proposition 3.5's base case invokes the continuity it is proving; well-definedness and uniqueness are imported from same-author preprint [1].

other [Section 3, Proposition 3.5, proof of the forward direction (p. 8)]
"When i=1, from the compactness of K_j and the continuity of F^1_{S,j}, the finiteness is obvious."

The proposition is proving that the family F^i_{S,j} is defined and continuous on K_j if and only if lim_{\delta\to0}\nu^i_{S,j}(\delta)=0. In the forward direction, the first task is to prove finiteness, i.e., C^i_{S,j}=K_j. For i=1 the proof invokes 'the continuity of F^1_{S,j}'—the very property being established—to conclude finiteness. Compactness alone does not rule out F^1_{S,j}\equiv-\infty on some R\in K_j; the hypothesis \nu^1_{S,j}(\delta)\to0 is meant to supply integrability but no argument is given at this point. Propositions 3.6, 3.7 and Theorem 3.8 depend on Proposition 3.5, so the circular step propagates into Claims 1 and 2 in Section 4.
other [Section 3, Proposition 3.10 (statement without proof), p. 10]
"Proposition 3.10. ... Suppose that F^i_{S,j} is defined and continuous on K_j for i=1,\ldots,n. Then, S and R satisfy Condition (I) on U^n_j."

This statement is not circular by itself, but it is an omitted proof that is load-bearing. It is exactly the bridge from continuity of the local potential functionals of S to Condition (I) for S and R. The next line, 'Together with [1, Theorem 1.1], we get Theorem 3.11', uses it to conclude that the Dinh-Sibony product S\wedge R is well defined, and Theorem 4.1 uses that product as its starting object. No argument or external verification is supplied in the manuscript, so the derivation chain is unsecured at this node.

2 more flagged steps

uniqueness imported from authors [Section 4, proof of Proposition 4.4, after Claims 1 and 2 (p. 12)]
"Together with [1, Proposition 3.10], Claim 2 means that there exists a unique tangent current and the Dinh-Sibony product (S1∧S 2)DS and S 3 is well defined on U^n_j and we have the desired equality."

The uniqueness of the tangent current, which forces the shadow to equal (S1∧(S2∧S3)DS)DS and thereby makes ((S1∧S2)DS∧S3)DS well defined, is not proved here. It is imported from [1, Proposition 3.10], a same-author unpublished preprint, and treated as an external mathematical fact. This is the load-bearing identification in Proposition 4.4, hence in Theorem 4.1; the paper does not supply an independent argument for the uniqueness it relies on.
self citation load bearing [Section 3, Theorem 3.11 (p. 10)]
"Together with [1, Theorem 1.1], we get Theorem 3.11."

The well-definedness of the Dinh-Sibony product S∧R—the object that Theorem 1.1/4.1 then compares—is not established in this paper; it is taken from [1, Theorem 1.1], the author's own preprint. Since the associativity statement concerns products whose existence is supplied by this same-author citation, the central claim inherits any gap in [1]. This is a load-bearing self-citation rather than an equivalence, but it means the derivation is not self-contained.

full rationale

The main associativity theorem has genuine independent content: the paper supplies substantial local estimates in Claims 1–4 and a localization argument, and the statement is not a mere restatement of the hypotheses. However, the proof chain contains a real internal circular step in Proposition 3.5, where the base case of the finiteness/continuity equivalence uses the continuity that is being proved. In addition, the exact bridge from continuity of local potential functionals to Condition (I) is Proposition 3.10, which is stated without proof, and the well-definedness and uniqueness of the Dinh-Sibony products are imported from the same-author preprint [1] (Theorems 1.1 and Proposition 3.10). These are load-bearing self-citations rather than definitional equivalences, so the central claim still has independent mathematical content; but the derivation is not self-contained and inherits any gap in [1] and in the unproved Proposition 3.10. Score 4 reflects this partial, rather than total, circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No new physical or formal entities are postulated; 'continuous local potential functionals' are a new class of functionals but are defined within the existing framework. The main unstated burden is the reliance on the author's previous preprint [1] and the undischarged Condition (I).

assumptions (6)

domain assumption The framework of local potential functionals, Condition (I), and well-definedness theorems from Ahn's preprint [1] are valid.
The paper uses [1, Theorem 1.1], [1, Theorem 6.10], [1, Lemma 2.16], and [1, Proposition 3.10] as black boxes; this is the author's own unpublished work, so the reader must accept those results to accept Theorem 1.1.
domain assumption Existence of localizing data on arbitrary complex manifolds.
Section 2.2 requires nested relatively compact charts U^0_j ⊃ ... ⊃ U^n_j biholomorphic to bounded simply connected domains, with cut-offs; used to define all local functionals and to glue local DS products.
standard math Dinh-Sibony tangent current/shadow formalism and the reduction to s1+s2+s3 = n.
Imported from the published work [8]; Section 4 states 'Due to [8, Proposition 3.5 and Remark 4.9], we may assume that s1+s2+s3 = n'.
domain assumption S2 and S3 satisfy Condition (I).
A hypothesis of Theorems 1.1 and 1.3, not derived; the proof depends on the resulting well-definedness of pairwise DS products.
domain assumption Compactness and density results for the local current classes (Prop 2.8).
Prop 2.8 is proved in-text using Alaoglu's theorem and convolution regularization; all approximation arguments in Section 4 depend on it.
standard math [4, Proposition 2.7] characterization of continuous superpotentials by vanishing ν^X_S(δ).
Used in the proof of Theorem 5.1/1.2 to connect continuous superpotentials to the local potential functionals.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Continuous local potential functionals and the Dinh-Sibony product." pith.science (2026). https://pith.science/paper/JGLWTJ2V

@misc{pith2026260725657,
  author       = {Pith},
  title        = {Pith review of: Continuous local potential functionals and the Dinh-Sibony product},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JGLWTJ2V}},
  note         = {Machine review of arXiv:2607.25657}
}

read the original abstract

In this article, we generalize the notion of continuous superpotentials on compact K\"ahler manifolds to arbitrary complex manifolds in terms of local potential functionals and study related properties. In particular, we study the associativity of the Dinh-Sibony product and also a sufficient condition for the continuity of the Dinh-Sibony product.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 4 linked inside Pith

[1]

T. AHN. Intersection of positive closed currents, 2025. Preprint athttps://https://arxiv.org/abs/2503. 06964

2025
[2]

BEDFORD and B

T. BEDFORD and B. A. TAYLOR. The dirichlet problem for a complex Monge-Amp `ere equation.Invent. math., 37:1–44, 1976

1976
[3]

BOUCKSOM, P

S. BOUCKSOM, P. EYSSIDIEUX, V. GUEDJ, and A. ZERIAHI. Monge-Amp`ere equations in big cohomology classes. Acta Math., 205(2):199–262, 2010

2010
[4]

T. C. DINH, V. A. NGUYEN, and D. V. VU. Super-potentials, densities of currents and number of periodic points for holomorphic maps.Adv. Math., 331:874–907, 2018

2018
[5]

T. C. DINH and N. SIBONY. Regularization of currents and entropy .Ann. Sci.´Ec. Norm. Sup´er., 37:959–971, 2004

2004
[6]

T. C. DINH and N. SIBONY. Super-potentials of positive closed currents, intersection theory and dynamics.Acta Math., 203:1–82, 2009

2009
[7]

T. C. DINH and N. SIBONY. Super-potentials for currents on compact K ¨ahler manifolds and dynamics of auto- morphisms.J. Algebraic Geom., 19(3):473–529, 2010

2010
[8]

T. C. DINH and N. SIBONY. Density of positive closed currents: A theory of non-generic intersections.J. Algebraic Geom., 27(3):497–551, 2018

2018

Show all 18 references

[9]

J. E. FORNÆSS and N. SIBONY. Oka’s inequality for currents and applications.Math. Ann., 301(3):399–419, 1995. CONTINUOUS LOCAL POTENTIAL FUNCTIONALS 29

1995
[10]

KAUFFMAN and D.-V

L. KAUFFMAN and D.-V. VU. Density and intersection of(1,1)-currents.J. Funct. Anal., 277:392–417, 2019

2019
[11]

LUO and Q

M. LUO and Q. ZHOU. Equidistribution of saddle periodic points for H ´enon-like maps, 2025. Preprint athttps: //arxiv.org/abs/2502.20103

2025 arXiv
[12]

V. A. NGUYEN. The generalized Lelong numbers and intersection theory , 2025. Preprint athttps://arxiv.org/ abs/2501.02150

2025 arXiv
[13]

V. A. NGUYEN. Positive plurisubharmonic currents: generalized Lelong numbers and tangent theorems, 2025. Preprint athttps://arxiv.org/abs/2111.11024

2025 arXiv
[14]

V. A. NGUYEN and T. T. TRUONG. Uniqueness of tangent currents for positive closed currents, 2025. Preprint at https://arxiv.org/abs/2502.06532

2025 arXiv
[15]

D. V. VU. Intersection of positive closed currents of higher bidegrees.Michigan Math. J., 65(4):863–872, 2016

2016
[16]

D. V. VU. Densities of currents on non-K¨ahler manifolds.Int. Math. Res. Not., (17):13282–13304, 2021

2021
[17]

D. V. VU. Density currents and relative non-pluripolar products.Bull. Lond. Math. Soc., 53(2):548–559, 2021

2021
[18]

D. V. VU. Relative non-pluripolar product of currents.Ann. Global Anal. Geom., 60(2):269–311, 2021. (AHN) DEPARTMENT OFMATHEMATICSEDUCATION, INHAUNIVERSITY, 100 INHA-RO, MICHUHOL-GU, INCHEON 22212, REPUBLIC OFKOREA Email address:t.ahn@inha.ac.kr

2021

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.

[1] [1]

T. AHN. Intersection of positive closed currents, 2025. Preprint athttps://https://arxiv.org/abs/2503. 06964

2025

[2] [2]

BEDFORD and B

T. BEDFORD and B. A. TAYLOR. The dirichlet problem for a complex Monge-Amp `ere equation.Invent. math., 37:1–44, 1976

1976

[3] [3]

BOUCKSOM, P

S. BOUCKSOM, P. EYSSIDIEUX, V. GUEDJ, and A. ZERIAHI. Monge-Amp`ere equations in big cohomology classes. Acta Math., 205(2):199–262, 2010

2010

[4] [4]

T. C. DINH, V. A. NGUYEN, and D. V. VU. Super-potentials, densities of currents and number of periodic points for holomorphic maps.Adv. Math., 331:874–907, 2018

2018

[5] [5]

T. C. DINH and N. SIBONY. Regularization of currents and entropy .Ann. Sci.´Ec. Norm. Sup´er., 37:959–971, 2004

2004

[6] [6]

T. C. DINH and N. SIBONY. Super-potentials of positive closed currents, intersection theory and dynamics.Acta Math., 203:1–82, 2009

2009

[7] [7]

T. C. DINH and N. SIBONY. Super-potentials for currents on compact K ¨ahler manifolds and dynamics of auto- morphisms.J. Algebraic Geom., 19(3):473–529, 2010

2010

[8] [8]

T. C. DINH and N. SIBONY. Density of positive closed currents: A theory of non-generic intersections.J. Algebraic Geom., 27(3):497–551, 2018

2018