Integration by parts formula for non-pluripolar product

Mingchen Xia

arxiv: 1907.06359 · v2 · pith:RYRACVONnew · submitted 2019-07-15 · 🧮 math.DG · math.CV

Integration by parts formula for non-pluripolar product

Mingchen Xia This is my paper

Pith reviewed 2026-05-24 21:30 UTC · model grok-4.3

classification 🧮 math.DG math.CV

keywords integration by partsnon-pluripolar productplurisubharmonic functionscompact Kähler manifoldpositive closed currentspluripotential theoryMonge-Ampère operator

0 comments

The pith

The integration by parts formula holds for the non-pluripolar product on any compact Kähler manifold.

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

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.

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.

What carries the argument

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

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.

Where Pith is reading between the lines

These are 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.

Load-bearing premise

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

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.

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

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

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

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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 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.

axioms (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.

pith-pipeline@v0.9.0 · 5542 in / 1145 out tokens · 20062 ms · 2026-05-24T21:30:04.311414+00:00 · methodology

discussion (0)

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.