Pith. sign in

REVIEW 3 major objections 6 minor 20 references

Relative non-pluripolar product of currents on compact Hermitian manifolds

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

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

Pith's one-line read This paper proves that the relative non-pluripolar product of closed positive currents is well-defined on compact Hermitian manifolds whose Hermitian form $\omega$ satisfies $\partial\bar\partial\omega=0$ and…

desk verdict Solid extension of Vu's relative non-pluripolar product to a restricted Hermitian class, but the main metric condition is misprinted as ∂ω∧∂ω instead of ∂ω∧∂̄ω. read the letter →

arxiv 2505.24702 v1 pith:SGSRBD2D submitted 2025-05-30 math.DG math.CV

Zhenghao Li , Shuang Su This is my paper
classification math.DGmath.CV MSC 32U1532U40
keywords relativenon-pluripolarproductclosedpositivecurrentplurisubharmonicfunctionMonge-AmpèreoperatorcompactHermitianmanifoldpluriclosedmetricBott-Cherncohomology
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

This paper shows that the relative non-pluripolar product of closed positive currents is always defined on a class of compact Hermitian manifolds that properly contains the compact Kähler manifolds. The extra room comes from allowing a Hermitian metric $\omega$ with $\partial\bar\partial\omega=0$ and $\partial\omega\wedge\bar\partial\omega=0$, instead of demanding Kählerity. On such manifolds the truncated approximants of the product have a mass bound that is independent of the truncation level, so the monotone limit that defines the product is guaranteed to exist. The same condition yields a monotonicity result: replacing a factor by a less singular current in the same Bott-Chern class cannot decrease the mass of the relative product.

What carries the argument

The central object is the relative non-pluripolar product $\langle T_1\wedge\cdots\wedge T_m\,\dot\wedge\,T\rangle$, an intersection of closed positive $(1,1)$-currents with an arbitrary closed positive $(p,p)$-current, defined by truncating the potentials at level $k$ and taking the limit of the truncated wedges restricted to the set where all potentials exceed $-k$. The identity carrying the argument is Lemma 3.1: for a smooth $(1,1)$-form $\omega$, the conditions $\partial\bar\partial\omega=0$ and $\partial\omega\wedge\bar\partial\omega=0$ are equivalent to $\partial\bar\partial\omega^k=0$ for every $k\ge 1$. This is what makes the integration-by-parts mass estimate independent of the truncation level and therefore makes the limiting product well-defined.

What would settle it

The central claim is settled by computing, on a compact Hermitian manifold whose metric does not satisfy the two equations, the truncated masses $\|\mathbf{1}_{\cap\{u_j>-k\}}(dd^c u_{1,k}+\theta_1)\wedge\cdots\wedge(dd^c u_{m,k}+\theta_m)\wedge T\|$ for closed positive currents with $m+p\le n$; if these masses diverge as $k\to\infty$, the relative product is not well-defined and the metric condition in Theorem 3.2 is necessary as well as sufficient. A concrete search would start with a compact complex surface that admits no pluriclosed metric, since there the condition reduces to $\partial\bar\partial\omega=0$.

Watch

Extended reading notes

Core claim

On a compact complex manifold $X$ of dimension $n$ with a Hermitian form $\omega$ satisfying $\partial\bar\partial\omega=0$ and $\partial\omega\wedge\bar\partial\omega=0$, for any closed positive $(1,1)$-currents $T_1,\dots,T_m$ and any closed positive $(p,p)$-current $T$ with $p+m\le n$, the relative non-pluripolar product $\langle T_1\wedge\cdots\wedge T_m\,\dot\wedge\,T\rangle$ is a well-defined positive current of finite mass. The proof represents each $T_j=dd^c u_j+\theta_j$, truncates the potentials at level $k$, and shows that the corresponding truncated wedges have mass bounded by the $k$-independent integral $\int_X(\theta_1+C\omega)\wedge\cdots\wedge(\theta_m+C\omega)\wedge T\wedge\omega^{n-m-p}$. The condition on $\omega$ is exactly what lets every integration by parts eliminate the $dd^c$ factors, and Lemma 3.1 rewrites it equivalently as $\partial\bar\partial\omega^k=0$ for all $k\ge 1$. For currents in the same Bott-Chern class, the paper also proves that replacing $T_j$ by a less singular $T_j'$ does not decrease the mass: $\|\langle T_1\wedge\cdots\wedge T_m\,\dot\wedge\,T\rangle\|\le\|\langle T_1'\wedge\cdots\wedge T_m'\,\dot\wedge\,T\rangle\|$.

Load-bearing premise

The load-bearing premise is that the Hermitian metric satisfies $\partial\bar\partial\omega=0$ and $\partial\omega\wedge\bar\partial\omega=0$; without this condition the truncated masses need not be bounded independently of the truncation level, and there are compact Hermitian manifolds on which no such metric exists.

Editorial extensions

If this is right

  • The theorem extends the known Kähler-case well-definedness of relative non-pluripolar products to every compact Hermitian manifold carrying a Hermitian form $\omega$ with $\partial\bar\partial\omega=0$ and $\partial\omega\wedge\bar\partial\omega=0$.
  • In complex dimension two the condition reduces to $\partial\bar\partial\omega=0$, so the result covers every compact complex surface that admits a pluriclosed Hermitian metric.
  • The monotonicity statement holds for masses rather than cohomology classes, since Poincaré duality for Bott-Chern cohomology can fail on Hermitian manifolds.
  • Products formed with less singular representatives of the same Bott-Chern classes carry at least as much mass, which gives a comparison principle for the corresponding Monge-Ampère-type operators in this Hermitian setting.
  • The Hopf-surface product example supplies explicit non-Kähler manifolds to which both theorems apply, so the enlargement beyond Kähler manifolds is nonempty.

Reading between the lines

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

  • Inference: because the mass estimate is local, the same construction should go through on non-compact Hermitian manifolds admitting a complete metric satisfying the two equations, provided a global exhaustion by compact sets with controlled mass is available.
  • Inference: it remains open whether $\partial\bar\partial\omega=0$ alone (without $\partial\omega\wedge\bar\partial\omega=0$) is sufficient in higher dimensions; a natural test is a pluriclosed non-Kähler manifold of dimension at least three, where the extra term need not vanish by degree reasons.
  • Inference: a counterexample on a compact surface admitting no pluriclosed metric (such as an Inoue surface) would show the metric condition is not merely sufficient but necessary, and would pinpoint the obstruction to relative products in general Hermitian geometry.
  • Inference: the truncation-independent mass formula suggests interpreting $\int_X(\theta_1+C\omega)\wedge\cdots\wedge(\theta_m+C\omega)\wedge T\wedge\omega^{n-m-p}$ as a Hermitian analogue of an intersection number, possibly leading to a Chern-class-valued intersection theory for currents on non-Kähler manifolds.
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.

Referee Report

3 major / 6 minor

Summary. The paper studies the relative non-pluripolar product of closed positive currents on compact Hermitian manifolds. It claims that on compact complex manifolds equipped with a Hermitian form satisfying (as the authors intend) ∂∂ω=0 and ∂ω∧∂̄ω=0, the relative non-pluripolar product ⟨T1∧...∧Tm˙∧T⟩ is always well-defined (Theorem 3.2), and that the mass of such products is monotone under replacing each current by a less singular current in the same Bott-Chern class (Theorem 3.4). The main new ingredient is a global mass bound obtained by integrating by parts, using the condition that powers of ω are ∂∂-closed. A Hopf-surface times Kähler example is given to show the class is strictly larger than the Kähler class.

Significance. If the results are correct, they extend the theory of relative non-pluripolar products, previously developed on compact Kähler manifolds by Vu and others, to a family of non-Kähler Hermitian manifolds; this is a meaningful step because such products are used in complex Monge-Ampère theory and analytic intersection theory. The paper gives a self-contained treatment of several technical lemmas from Vu's paper and the core mass-bound argument is an independent contribution. However, as written, the central hypothesis is type-inconsistent and the key algebraic identity in Lemma 3.1 is incorrect, so the main theorem cannot be verified from the printed text. The issues appear fixable, but they are load-bearing.

major comments (3)
  1. [Lemma 3.1, Theorem 3.2, Theorem 1.1] The condition '∂∂ω = ∂ω ∧ ∂ω = 0' used throughout is type-inconsistent: ∂∂ω has bidegree (2,2), while ∂ω∧∂ω has bidegree (4,2). Consequently the expansion in the proof of Lemma 3.1, ∂∂ω^{k+1} = ω∧∂∂ω^k + ω^k∧∂∂ω + 2kω^{k-1}∧∂ω∧∂ω, is not of the correct bidegree; the last term must be ∂ω∧∂̄ω, which has bidegree (3,3) when wedged with ω^{k-1}. As printed, the equivalence (i)⇔(iii) in Lemma 3.1 is false, and the hypothesis of Theorem 3.2 does not imply ddc(ω^{n-m-p})=0, which is exactly what the mass-bound proof uses. The manuscript should consistently replace the condition by ∂∂ω = 0 and ∂ω∧∂̄ω = 0 and re-check the coefficient in the corrected expansion.
  2. [Theorem 3.2, proof of mass bound] The step 'By the assumption on ω and integrating by part' that yields ∫_X (ddc u~_{1,k}+θ1+Cω)∧...∧(ddc u~_{m,k}+θm+Cω)∧T∧ω^{n-m-p} = ∫_X (θ1+Cω)∧...∧(θm+Cω)∧T∧ω^{n-m-p} is not justified as written. It requires ddc(S∧ω^{N})=0 for every closed positive current S and N=n-m-p; this follows from the corrected condition ∂∂ω^N=0 together with dS=0 and d^cS=0, but not from the printed hypothesis. In addition, the functions u~_{j,k} are only bounded quasi-psh, so the integration by parts must be justified by a smoothing argument (for instance, the sequence u~^l_{j,k} already introduced in the proof). Please add a short justification.
  3. [Theorem 3.4, proof] Lemma 3.5 is stated and proved for an open subset U ⊆ C^n, but Theorem 3.4 is on a compact Hermitian manifold. The proof applies Lemma 3.5 directly to conclude 'S ≥ ⟨T1∧...∧Tm˙∧T⟩' without explaining how the local semicontinuity inequality is globalized to the compact manifold. One needs to apply the lemma in coordinate charts and observe that the inequality between positive currents is local, or to prove a global version of the lemma. Without this patch, the monotonicity proof has a gap.
minor comments (6)
  1. [Abstract] The abstract contains a duplicated article: 'the the relative non-pluripolar product'.
  2. [Theorem 1.3 and Theorem 3.4] The statement 'endowed with a Hermitian form ω satisfied {θ1}∂∂,...,{θm}∂∂' is garbled; it should read 'satisfying one of the conditions in Lemma 3.1'.
  3. [Lemma 2.4] The statement contains the typos 'The the following reults hold' instead of 'The following results hold'.
  4. [Proposition 3.6] In the proof, the definition 'T'_{j,k}=ddc u'_j + θ_j' should be 'T'_{j,k}=ddc u'_{j,k} + θ_j'.
  5. [Proposition 3.6, proof] The symbol 'ws.k' in the integration-by-parts argument should be 'w_{s,k}'.
  6. [Proposition 2.7] In item (iv), 'T has non mass' should be 'T has no mass'; in item (v), the expression 'Tm ˙T' is missing a wedge sign, and the notation for the pole set of the difference current should be clarified.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the relative non-pluripolar product construction is imported from Vu [20] with proofs reproduced, and the new mass estimate in Theorem 3.2 is an independent integration-by-parts argument.

full rationale

The paper's derivation chain is not circular. The relative non-pluripolar product is defined via Vu's construction (Definition 2.6), and the technical machinery (Theorem 2.1, Lemmas 2.3-2.4, Lemma 3.5, Proposition 3.6) is either quoted from [20] with proofs included or proved directly; none of these inputs is equivalent to the paper's conclusions. The central new result, Theorem 3.2, proves well-definedness by reducing the truncation-level mass to an integral independent of the truncation parameter: after choosing smooth closed (1,1)-forms θj and a constant C with Cω+θj > 0, the proof bounds the truncated currents by products of positive currents and then uses integration by parts to obtain equality with ∫_X (θ1+Cω)∧...∧(θm+Cω)∧T∧ω^{n-m-p}. This is an independent estimate, not a restatement of the desired conclusion. Theorem 3.4 transfers Vu's monotonicity strategy to the Hermitian setting using Proposition 3.6 and Lemma 3.5, again via external results with supplied proofs. The printed hypothesis '∂∂ω = ∂ω∧∂ω = 0' is type-inconsistent and should read '∂∂ω = 0 and ∂ω∧∂̄ω = 0' (as the expansion in Lemma 3.1 and the bidegree of the torsion term indicate), but this is a presentation/verifiability issue, not a circularity. No fitted parameter is called a prediction, and no load-bearing self-citation chain appears; the authors' reliance on Vu [20] is transparent and external, not self-referential.

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

No free parameters or invented entities appear. The paper's contribution is the observation that a specific Hermitian metric condition, ∂∂ω^k = 0, suffices to make Vu's relative product well-defined and mass-monotone. The framework and most analytic lemmas are imported from [20].

assumptions (5)
  • standard math Any closed positive (1,1) current on a compact complex manifold can be written as ddc u + θ with θ a smooth closed (1,1) form and u quasi-psh.
    Used in Theorem 3.2 to decompose each Tj and to define the truncation ũj,k.
  • standard math Błocki-Kołodziej regularization: quasi-psh functions on compact Hermitian manifolds can be approximated from above by smooth quasi-psh functions.
    Invoked in Theorem 3.2 to prove positivity of the modified product (ddc ũj,k + θj + Cω) ∧ ... ∧ T.
  • domain assumption The relative non-pluripolar product construction and its local properties from Vu [20] (Lemmas 2.3, 2.4, Theorem 2.1).
    The paper adopts the definition and basic properties of the relative product verbatim from [20]; the main work is the Hermitian mass estimate.
  • domain assumption Semicontinuity Lemma 3.5 and equality for same-singularity-type products (Proposition 3.6) follow the proofs in [20].
    These are the analytical tools used in the proof of Theorem 3.4; the paper reproduces their proofs, but the strategy is from [20].
  • domain assumption The Hermitian metric satisfies ∂∂ω^k = 0 for all k ≥ 1, equivalently ∂∂ω = 0 and ∂ω ∧ ∂barω = 0.
    This is the central geometric assumption that makes the integration-by-parts mass bound independent of the truncation level.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Relative non-pluripolar product of currents on compact Hermitian manifolds." pith.science (2026). https://pith.science/paper/SGSRBD2D

@misc{pith2026250524702,
  author       = {Pith},
  title        = {Pith review of: Relative non-pluripolar product of currents on compact Hermitian manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SGSRBD2D}},
  note         = {Machine review of arXiv:2505.24702}
}
read the original abstract

On a class of compact Hermitian manifolds including compact K\"{a}hler manifolds, we prove that the the relative non-pluripolar product is always well-defined. We also prove the monotonicity of the relative non-pluripolar product in terms of masses on such manifolds.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    B EDFORD AND B

    E. B EDFORD AND B. A. T AYLOR , The Dirichlet problem for a complex Monge-Amp` ere equation, Invent. Math., 37 (1976). [2] , A new capacity for plurisubharmonic functions , Acta Math., 149 (1982), pp. 1– 40

    work page 1976

  2. [3]

    , Fine topology, ˇSilov boundary, and (ddc)n, J. Funct. Anal., 72 (1987), pp. 225– 251

    work page 1987

  3. [4]

    B Ł OCKI AND S

    Z. B Ł OCKI AND S. A. K OŁ ODZIEJ , On regularization of plurisubharmonic functions on manifolds, Proc. Amer . Math. Soc., 135 (2007), pp. 2089–2093

    work page 2007

  4. [5]

    B OUCKSOM , P

    S. B OUCKSOM , P. E YSSIDIEUX , V. G UEDJ , AND A. Z ERIAHI , Monge-Amp` ere equations in big cohomology classes , Acta Math., 205 (2010), pp. 199–262

    work page 2010

  5. [6]

    S. S. C HERN , H. I. L EVINE , AND L. N IRENBERG , Intrinsic norms on a complex mani- fold, in Global Analysis (Papers in Honor of K. Kodaira), Univ . T o kyo Press, T okyo, 1969, pp. 119–139

    work page 1969

  6. [7]

    C OMAN AND V

    D. C OMAN AND V. G UEDJ , Quasiplurisubharmonic Green functions , J. Math. Pures Appl. (9), 92 (2009), pp. 456–475

    work page 2009

  7. [8]

    D ARVAS , E

    T. D ARVAS , E. D I NEZZA , AND C. H. L U, Monotonicity of nonpluripolar products and complex Monge-Amp` ere equations with prescribed singular ity, Anal. PDE, 11 (2018), pp. 2049–2087. 13

    work page 2018

  8. [9]

    T. D. D ARVAS AND M. X IA, The volume of pseudoeffective line bundles and partial equilibrium, Geom. and T opol., 28 (2024), pp. 1957–1993

    work page 2024

Show all 20 references
  1. [10]

    D EMAILLY , Monge-Amp` ere operators, Lelong numbers and intersection theory, in Complex analysis and geometry , Univ

    J.-P. D EMAILLY , Monge-Amp` ere operators, Lelong numbers and intersection theory, in Complex analysis and geometry , Univ . Ser . Math., Plenum, New Y ork, 1993, pp. 115–193

    1993

  2. [11]

    D INH AND N

    T.-C. D INH AND N. S IBONY , Super-potentials of positive closed currents, intersecti on theory and dynamics , Acta Math., 203 (2009), pp. 1–82

    2009

  3. [12]

    Algebraic Geom., 19 (2010), pp

    , Super-potentials for currents on compact K¨ ahler manifold s and dynamics of automorphisms, J. Algebraic Geom., 19 (2010), pp. 473–529

    2010

  4. [13]

    Alge- braic Geom., 27 (2018), pp

    , Density of positive closed currents, a theory of non-generi c intersections, J. Alge- braic Geom., 27 (2018), pp. 497–551

    2018

  5. [14]

    J. E. F ORNÆ SS AND N. S IBONY , Oka’s inequality for currents and applications, Math. Ann., 301 (1995), pp. 399–419

    1995

  6. [15]

    G UEDJ AND A

    V. G UEDJ AND A. Z ERIAHI , The weighted Monge-Amp` ere energy of quasiplurisubhar- monic functions, J. Funct. Anal., 250 (2007), pp. 442–482

    2007

  7. [16]

    R UDIN , Real and complex analysis , McGraw-Hill Book Co., New Y ork, third ed., 1987

    W. R UDIN , Real and complex analysis , McGraw-Hill Book Co., New Y ork, third ed., 1987

    1987

  8. [17]

    S U AND D.-V

    S. S U AND D.-V. V U, Volumes of components of lelong upper level sets II , Math. Ann., 391 (2025), pp. 6451—-6465

    2025

  9. [18]

    D. D. T HAI AND D.-V. V U, Volume of components of lelong upper-level sets , J. Geom. Anal., 33 (2023)

    2023

  10. [19]

    T OSATTI AND B

    V. T OSATTI AND B. W EINKOVE , Estimates for the complex Monge-Amp` ere equation on Hermitian and balanced manifolds , Asian J. Math., 14 (2010), pp. 19–40

    2010

  11. [20]

    V U, Relative non-pluripolar product of currents , Ann

    D.-V. V U, Relative non-pluripolar product of currents , Ann. Global Anal. Geom., 60 (2021), pp. 269–311

    2021

  12. [21]

    W ITT NYSTR ¨OM, Monotonicity of non-pluripolar Monge-Amp` ere masses , Indiana Univ

    D. W ITT NYSTR ¨OM, Monotonicity of non-pluripolar Monge-Amp` ere masses , Indiana Univ . Math. J., 68 (2019), pp. 579–591. ZHENGHAO LI. A CADEMY OF MATHEMATICS AND SYSTEMS SCIENCE , C HINESE ACADEMY OF SCIENCES , 100190 B EIJING , C HINA . U NIVERSITY OF CHINESE ACADEMY OF SC...

    2019

Pith tools

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