Integration by parts formula for non-pluripolar product

Mingchen Xia

Integration by parts formula for non-pluripolar product

T0 review · 0 major / 2 minor · reviewed 2026-05-24 · grok-4.3

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

Pith's one-line read The integration by parts formula holds for the non-pluripolar product on any compact Kähler manifold.

desk verdict The paper extends the integration by parts formula for non-pluripolar products to general potentials on compact Kähler manifolds. read the letter →

arxiv 1907.06359 v2 pith:RYRACVON submitted 2019-07-15 math.DG math.CV

Mingchen Xia This is my paper · ORCID

classification math.DGmath.CV

keywords integrationbypartsnon-pluripolarproductplurisubharmonicfunctionscompactKählermanifoldpositiveclosedcurrentspluripotentialtheoryMonge-Ampèreoperator

checked against Cost.FunctionalEquation

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

The paper proves that the integration by parts formula applies to the non-pluripolar product of positive closed currents formed from plurisubharmonic potentials. This product provides a way to multiply such currents even when the potentials are unbounded. The result removes the earlier restriction that the potentials must have small unbounded loci, while retaining the compactness and Kähler condition on the manifold. A reader would care because the formula is a basic tool for computing integrals and deriving inequalities in pluripotential theory.

What carries the argument

The non-pluripolar product of positive closed (1,1)-currents, which multiplies the currents while ignoring their polar sets.

What would settle it

An explicit pair of plurisubharmonic potentials on a compact Kähler surface whose non-pluripolar product violates the integration-by-parts identity.

Watch

Extended reading notes

Core claim

On a compact Kähler manifold the integration by parts formula is valid for the non-pluripolar product without any small-unbounded-locus assumption on the potentials, thereby extending the special case already known from BEGZ10.

Load-bearing premise

The non-pluripolar product must already be well-defined for the given currents on the compact Kähler manifold.

Editorial extensions

If this is right

The formula now applies to potentials whose unbounded loci are not small.
Integrals involving non-pluripolar products can be evaluated by parts in greater generality.
Results that previously required the BEGZ10 hypothesis can be restated without that hypothesis.

Reading between the lines

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

The same technique may apply to non-compact Kähler manifolds if suitable integrability conditions are added.
The formula could simplify proofs of comparison principles or energy estimates that rely on integration by parts.
It opens the possibility of deriving the formula directly from the definition of the non-pluripolar product rather than from approximation arguments.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The paper proves the integration by parts formula for the non-pluripolar product on a compact Kähler manifold, generalizing the special case already handled in BEGZ10 for potentials with small unbounded loci. This is the main new thing. The authors remove the restriction on the size of the unbounded loci and claim the formula holds more generally as long as the non-pluripolar product is defined. It is a legitimate extension of the earlier result rather than a completely new approach. The paper does well at identifying a gap in the existing literature and addressing it directly. In the context of pluripotential theory, having this formula available without extra assumptions on the potentials makes it easier to apply in a wider range of situations on Kähler manifolds. The soft spots are that the abstract gives almost no information about the proof method or how the singularities are controlled in the general case. This leaves some uncertainty about the technical details until the full argument is examined. The stress-test note suggests there is no obvious problem with the statement of the result itself, which is reassuring. There is no sign of circular reasoning or reliance on unstated assumptions beyond the standard setup of compact Kähler manifolds and the definition of the non-pluripolar product. This paper is for specialists in complex geometry who work with pluripotential theory and need these kinds of integration formulas. A reader who is already up to speed on BEGZ10 will see the value right away, while others might find it too narrow. It deserves a serious referee because the claim is a clear and useful generalization, and the field can benefit from having the details checked.

Referee Report

0 major / 2 minor

Summary. The manuscript proves an integration-by-parts formula for the non-pluripolar product of positive closed (1,1)-currents on a compact Kähler manifold. The result is presented as a direct generalization of the special case already established in BEGZ10, which required the unbounded loci of the potentials to have small capacity.

Significance. If the derivation is correct, the formula supplies a useful technical tool that removes the small-capacity restriction on singularities, thereby broadening the range of potentials to which Stokes-type identities can be applied in pluripotential theory and Kähler geometry.

minor comments (2)

The abstract states the claim but supplies no proof steps, error estimates, or explicit handling of singularities; the full manuscript should include a self-contained outline of the key estimates that replace the capacity assumption of BEGZ10.
Notation for the non-pluripolar product and the associated measures should be introduced with a brief reminder of the definition from BEGZ10 to make the generalization transparent.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript and for recommending minor revision. The report does not list any specific major comments requiring changes.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; direct generalization of independent prior result

full rationale

The paper proves an integration-by-parts formula for the non-pluripolar product on compact Kähler manifolds by generalizing the special case already established in BEGZ10 (different authors). No equations, fitted parameters, self-definitions, or load-bearing self-citations appear in the abstract or claimed derivation chain. The result is presented as a mathematical extension relying on the well-definedness of the product and the prior independent theorem, with no reduction of the central claim to its own inputs by construction. This is the normal case of a self-contained proof against external benchmarks.

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

The claim rests on the standard definition of the non-pluripolar product from prior literature and on the compactness and Kähler property of the manifold.

assumptions (2)

domain assumption The manifold is compact and Kähler.
Explicitly stated as the ambient space in the abstract.
domain assumption The non-pluripolar product is defined in the sense of BEGZ10 and its extensions.
The result is described as a generalization of the special case proved in BEGZ10.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Integration by parts formula for non-pluripolar product." pith.science (2026). https://pith.science/paper/RYRACVON

@misc{pith2026190706359,
  author       = {Pith},
  title        = {Pith review of: Integration by parts formula for non-pluripolar product},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RYRACVON}},
  note         = {Machine review of arXiv:1907.06359}
}

read the original abstract

In this paper, we prove the integration by parts formula for the non-pluripolar product on a compact K\"ahler manifold. Our result generalizes the special case of potentials with small unbounded loci proved in [BEGZ10].

Discussion (0). Continue with ORCID to comment.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 2.7 … ∫_X u ddc v ∧ θ_γ1 ∧ ⋯ ∧ θ_γ_{n−1} = ∫_X v ddc u ∧ θ_γ1 ∧ ⋯ ∧ θ_γ_{n−1}

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Complex Hessian equations with prescribed singularity on compact K\"ahler manifolds
math.CV 2019-09 conditional novelty 7.0 of 10

The total Hessian mass is monotone in singularity type, and Hessian equations H_m(u)=µ have unique solutions in prescribed singularity classes on compact Kähler manifolds.

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.