Pith. sign in

REVIEW 2 major objections 6 minor 21 references

An Ohsawa-Takegoshi-type $L^2$ extension for upper semi-continuous $L^2$-optimal functions

T0 review · 2 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read The paper establishes an Ohsawa-Takegoshi-type L2 extension theorem for upper semi-continuous L2-optimal functions by replacing the generalized Siu lemma with a Lebesgue-type differentiation theorem, and derives characterizations of…

desk verdict A useful L2 extension theorem for upper semi-continuous weights is undercut by an unjustified step in the paper's headline characterization of plurisubharmonicity. read the letter →

arxiv 2506.22834 v1 pith:4VUS4DOP submitted 2025-06-28 math.CV

Zhuo Liu This is my paper · ORCID
classification math.CV MSC 32U0532D1542B2514F18
keywords L2-optimalOhsawa-Takegoshiextensionuppersemi-continuousfunctionsplurisubharmoniccharacterizationmultiplieridealsheafstrongopennessSkodaintegrabilityLebesguedifferentiation
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

An upper semi-continuous function is called L2-optimal when the sharp weighted ∂-equation estimates that plurisubharmonic weights always satisfy hold for that weight as well. This paper proves that L2-optimality alone yields an Ohsawa-Takegoshi-type extension theorem on Stein products: for almost every slice, every holomorphic function with finite weighted norm extends to the whole product with a logarithmic-pole estimate whose constant depends only on the dimension and the size of the slice factor. The proof replaces the generalized Siu lemma used in earlier extension arguments by a Lebesgue-type differentiation theorem for slice averages. The paper then derives three consequences: a characterization of plurisubharmonic functions as exactly the strongly upper semi-continuous functions satisfying the multiple coarse L2-estimate property, Skoda's integrability theorem for strongly upper semi-continuous L2-optimal functions, and the strong openness property for multiplier ideal sheaves of L2-optimal weights.

What carries the argument

The load-bearing mechanism is a Lebesgue-type differentiation theorem (Proposition 2.9) for partially integrated functions: for $f \in L^1(\mathbb{C}^n)$, for almost every $z'' \in \mathbb{C}^k$, the ball averages of $\int_{\mathbb{C}^{n-k}} |f(w',w'') - f(w',z'')|\,d\lambda_{n-k}(w')$ tend to zero. This replaces the generalized Siu lemma of earlier extension proofs, and it is what controls the slice averages of $e^{-\varphi}$ and $|f|^2 e^{-\varphi}$ that appear in the extension estimate. The proof then follows the minimal-$L^2$-solution route: it solves $\bar\partial$-equations with weights $\varphi + \tau(\log r)$, where $r = |w''-z''|^2$, and uses a convex auxiliary weight $\chi$ so that the error terms from the cut-off function are absorbed, leaving exactly the logarithmic denominator in the final estimate.

What would settle it

Search for a strongly upper semi-continuous, non-plurisubharmonic function satisfying the multiple coarse L2-estimate property on the unit ball: such a function would disprove Theorem 1.6. A direct way to test the gap is to check whether each multiple mφ is L2-optimal in the sense of Definition 1.1, since the proof of Theorem 4.6 assumes exactly that implication without proving it.

Watch

Extended reading notes

Core claim

The central assertion is Theorem 1.4. On a Stein domain $U \times D \subset \mathbb{C}^{n-k} \times \mathbb{C}^k$ with $D$ bounded, let $\varphi$ be upper semi-continuous and L2-optimal, and assume the support of the quotient sheaf $\mathcal{O}/\mathcal{I}(\varphi)$ lies inside $H \times D$ for some hypersurface $H \subset U$. Then for almost every $z'' \in D$, every holomorphic function $f$ on $U \times \{z''\}$ with finite weighted $L^2$ norm admits an extension $F \in \mathcal{O}(U \times D)$ satisfying $$\int_{U \times D} \frac{|F|^2 $e^{{-\varphi}}$}{|w''-z''|^{2k}(\log |w''-z''|^2)^2}\,d\lambda_n \le C \int_{U \times \{z''\}} |f|^2 $e^{{-\varphi}}$\,d\lambda_{n-k},$$ where $C$ depends only on $k$ and $\sup_{w'' \in D} |w''|^2$. All the paper's applications — the plurisubharmonicity characterization, Skoda's integrability theorem, and strong openness — are derived from this extension statement.

Load-bearing premise

The proof of Theorem 4.6 silently assumes that a function satisfying the multiple coarse L2-estimate property for every multiple mφ is itself L2-optimal for each mφ, because only then can the extension theorem be applied to the weight mφ; the definition of that property gives only a weaker estimate with an extra constant and a mismatched exponential weight, and no step in the paper closes that gap.

Editorial extensions

If this is right

  • For almost every slice $z''$, the weighted Bergman space on $U \times \{z''\}$ embeds into holomorphic functions on $U \times D$ with the stated logarithmic weight; in the single-point case $k=n$ this gives a weighted point-evaluation bound.
  • A measurable function on a domain is plurisubharmonic exactly when it is strongly upper semi-continuous and satisfies the multiple coarse L2-estimate property; if it is only upper semi-continuous, it agrees almost everywhere with a plurisubharmonic function.
  • Any strongly upper semi-continuous L2-optimal function with nonzero multiplier ideal sheaf and Lelong number below 2 at a point has trivial multiplier ideal germ at that point, extending Skoda's integrability theorem.
  • Multiplier ideal sheaves of L2-optimal functions have the strong openness property: for increasing sequences of L2-optimal functions, $\mathcal{I}(\varphi) = \bigcup_j \mathcal{I}(\varphi_j)$, and $\mathcal{I}(\varphi) = \bigcup_{\varepsilon>0} \mathcal{I}((1+\varepsilon)\varphi)$ whenever the plurisubharmonic envelope is not identically $-\infty$.
  • The paper notes that the extension constant obtained is uniform but not sharp enough to resolve the open converse problem that L2-optimality implies plurisubharmonicity for upper semi-continuous functions.

Reading between the lines

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

  • A natural next step, not claimed by the paper, is to use the same slice-differentiation machinery in other $L^2$ estimates with slice integrals, such as $L^2$ division problems, where the delicate part is controlling averages over a family of slices.
  • The proof's almost-everywhere quantification suggests that the exceptional slices are tied to non-Lebesgue points of $e^{-\varphi}$; investigating whether that exceptional set can be described explicitly would sharpen the statement.
  • The paper's Remark 2.20 records that the analogous inequality for vector-bundle Hermitian metrics is still missing, so extending this theorem to the bundle setting remains an open direction rather than a consequence.
  • If the constant in Theorem 1.4 can be refined to a sharp form, the approach would be a direct route to the open converse conjecture, since the known equivalence between optimal $L^2$-extension properties and plurisubharmonicity would then apply.
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

2 major / 6 minor

Summary. The paper proves an Ohsawa-Takegoshi-type L2 extension theorem (Theorem 1.4) for upper semi-continuous L2-optimal functions, replacing the generalized Siu lemma by a new Lebesgue-type differentiation theorem (Proposition 2.9). It then claims three applications: a characterization of plurisubharmonic functions via the multiple coarse L2-estimate property for strongly upper semi-continuous functions (Theorem 4.6), Skoda's integrability theorem for strongly upper semi-continuous L2-optimal functions (Theorem 4.7), and the strong openness property (Theorem 4.8). The proof of Theorem 1.4 is detailed and the differentiation lemma is new, but the proofs of the applications contain load-bearing gaps.

Significance. If the applications were established, the paper would be a substantial contribution: Theorem 1.4 genuinely relaxes the regularity assumptions in the Ohsawa-Takegoshi extension theorem, and the applications would extend Deng-Ning-Wang's characterizations and Skoda-type results to settings beyond plurisubharmonicity. The new Lebesgue-type differentiation tool (Proposition 2.9) and the careful proof of Theorem 1.4 are clear strengths. However, the current proofs of Theorems 4.6 and 4.7 rely on unjustified uses of Theorem 1.4, so the significance is conditional on repairing those steps.

major comments (2)
  1. [Section 4.1, Theorem 4.6 proof] The step 'by Theorem 1.4' applied to the weight mφ is unjustified. Definition 4.4(1) yields only the mixed-weight estimate ∫|u|²e^{-φ-ϕ} ≤ C_m ∫⟨B^{-1}f,f⟩e^{-mφ-ϕ} with log C_m/m→0; it does not imply that mφ is L2-optimal in the sense of Definition 1.1, which requires the constant 1 and matching exponents e^{-mφ-ϕ} on both sides. No lemma in the paper bridges this gap, so the proof does not establish that the multiple coarse L2-estimate property implies plurisubharmonicity.
  2. [Section 4.2, Theorem 4.7 proof] The application of Theorem 1.4 to produce F∈H^0(U,φ) with the unweighted estimate ∫|F|²e^{-φ} ≤ C|F(z)|²e^{-φ(z)} is not valid. In the k=n case Theorem 1.4 gives only ∫_U |F|²e^{-φ}/(|w-z|^{2n}(log|w-z|²)^2) dλ ≤ C|F(z)|²e^{-φ(z)}. Because the weight is singular, finiteness of this weighted integral does not imply finiteness of ∫|F|²e^{-φ}, so the constructed F need not belong to the Bergman space H^0(U,φ). The subsequent Bergman-kernel argument and the conclusion I(φ)_x=O_x are therefore not established as written.
minor comments (6)
  1. [Section 4.2 heading] The heading contains a typo: 'theroem' should be 'theorem'.
  2. [Proposition 2.9 introductory sentence] The phrase 'Now we can strength the Proposition 2.3' should read 'strengthen'.
  3. [Lemma 4.2] The statement of Lemma 4.2 does not explicitly state its conclusion ('then φ is plurisubharmonic'), although the proof provides it.
  4. [Theorem 4.8 proof] The notation I(e^{-φ_1}) should be I(φ_1); the multiplier ideal sheaf depends on the function φ_1, not on the weight e^{-φ_1} as a separate argument.
  5. [Theorem 4.8 proof] The reduction to the case Supp O/I(φ_1) ⊂ {z_1⋯z_n=0} by means of Lemma 2.16 and Lemma 2.17 is only sketched; the use of a modification to achieve normal crossings should be stated explicitly.
  6. [Theorem 4.7 proof] In the displayed estimate 'there is a holomorphic function F∈H^0(U,φ) such that ∫_U |f|²e^{-φ} ≤ C|f(z)|²e^{-φ(z)}', the integrand should involve F rather than f.

Circularity Check

2 steps flagged · score 3.0 of 10

Theorem 4.6 applies Theorem 1.4 to mφ without proving mφ is L2-optimal; Definition 4.4(1) gives only a mixed-weight estimate, so the characterization is not established as written; heavy reliance on self-cited structural results [16,17] prevents a lower score.

  1. self definitional [Section 4.1, Theorem 4.6 proof (application of Theorem 1.4 to mφ)]
    "Since φ satisfies the multiple coarse L2-estimate property, by Theorem 1.4, there is a full-measure subset A of D such that for any z ∈ A, and any holomorphic cylinder z + P ⊂ D, there is a holomorphic function f ∈ O(z + P ) such that f (z) = 1 with the estimate: ∫_{z+P} |f|^2 e^{−mφ} dλ ≤ C e^{−mφ(z)}."

    Definition 4.4(1) only gives ∫|u|²e^{−φ−ϕ} ≤ C_m ∫⟨B^{−1}f,f⟩e^{−mφ−ϕ}; this is not the L2-optimality of mφ (constant 1, same weight e^{−mφ−ϕ} on both sides) that Theorem 1.4 requires. No lemma in the paper shows mφ is L2-optimal; normalizing φ≤0 yields at best a coarse estimate with constant C_m. Thus the multiple coarse extension property—the key step toward Theorem 1.6—is not derived from the stated hypotheses but from an unproved identification of two distinct properties. This is load-bearing because Theorem 4.6 is the paper's headline characterization, and the gap is an omitted proof rather than a reduction by construction.

  2. self citation load bearing [Section 2.2, Lemma 2.11 and its use in Theorem 3.1 Step One]
    "Let D be a domain in Cn and φ be an upper semi-continuous function on D. Assume that (D, φ) is L2-optimal, then I(φ) is coherent. In particular, the support set of the quotient sheaf O/I(φ) is an analytic subset of D."

    The reduction to I(φ)=O in Theorem 3.1 and Lemma 2.19 uses this coherence/support statement. It is cited to [18,17]; [18] is Nadel's theorem for plurisubharmonic weights, while the extension to L2-optimal weights is in the author's own [17]. Thus a load-bearing structural premise of the central extension theorem is imported from prior self-cited work rather than proved or independently verified in this paper. This is reliance on self-citation, not a reduction of the theorem to its own conclusion, but it is the main self-citation burden.

full rationale

The central Theorem 1.4 is not circular in the strict sense: the proof constructs the extension from a Lebesgue-type differentiation theorem and does not assume the extension estimate. Its main external inputs are standard analytic facts plus Lemmas 2.11 and 2.13 from the author's prior work [16,17]; those are load-bearing but not equivalent to the theorem's conclusion, so they raise the score only moderately. The more serious issue is in Theorem 4.6: the proof applies Theorem 1.4 to the weight mφ even though Definition 4.4(1) provides only a mixed-weight estimate with a constant C_m, not L2-optimality of mφ. This is an omitted proof or a conflation of distinct properties rather than a reduction by construction. Because Theorem 4.6 is the paper's primary application, the overall circularity-adjacent confidence is 3/10. No fitted parameters are renamed as predictions, and no uniqueness theorem is imported to force the argument, so a higher score would be disproportionate.

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

No numerical parameters are fitted; the paper is a pure analytic proof. The main external inputs are coherence and stability properties of L2-optimal weights from the author's earlier work, plus the new silent assumption in Theorem 4.6 that m phi is L2-optimal under the multiple coarse property.

assumptions (6)
  • domain assumption The multiplier ideal sheaf I(phi) is coherent for every upper semi-continuous L2-optimal phi (Lemma 2.11, cited from [18,17]).
    Used to reduce Theorem 1.4 to the case I(phi)=O by moving to a Stein complement of a hypersurface; [17] is by the same author.
  • domain assumption L2-optimality is closed under decreasing limits and under addition of plurisubharmonic functions (Lemma 2.13, [16, Proposition 2.14]).
    Needed to conclude phi_tau = phi + k log r is L2-optimal in Step Two of Theorem 1.4.
  • domain assumption L2-optimality is preserved by proper holomorphic modifications (Lemma 2.17).
    Used in the reduction of Theorem 4.8 to simple normal crossing support.
  • ad hoc to paper For every m, the weight m phi is L2-optimal whenever phi satisfies the multiple coarse L2-estimate property.
    Silent premise in the proof of Theorem 4.6; Definition 4.4 does not imply this and no proof is supplied.
  • standard math The Vitali covering lemma and Lebesgue differentiation theorem hold in the form stated (Lemma 2.1, Theorem 2.2).
    These ground Proposition 2.9, the new differentiation tool used throughout the paper.
  • standard math For a Stein domain U and a hypersurface H in U, the complement U\H is Stein.
    Used in Step One of Theorem 1.4 to reduce to I(phi)=O; standard but not proved in the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of An Ohsawa-Takegoshi-type $L^2$ extension for upper semi-continuous $L^2$-optimal functions." pith.science (2026). https://pith.science/paper/4VUS4DOP

@misc{pith2026250622834,
  author       = {Pith},
  title        = {Pith review of: An Ohsawa-Takegoshi-type $L^2$ extension for upper semi-continuous $L^2$-optimal functions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4VUS4DOP}},
  note         = {Machine review of arXiv:2506.22834}
}
abstract

In this article, we obtain an Ohsawa-Takegoshi-type $L^2$-extension for upper semi-continuous $L^2$-optimal functions via a Lebesgue-type differentiation theorem. As applications, we give a characterization of plurisubharmonic functions via the multiple coarse $L^2$-estimate property for (strongly) upper semi-continuous functions and show that (strongly) upper semi-continuous $L^2$-optimal functions satisfy Skoda's integrability theorem and the strong openness property.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 20 canonical work pages

  1. [1]

    Blocki, Suita conjecture and the Ohsawa-Takegoshi extension theorem , Invent

    Z. Blocki, Suita conjecture and the Ohsawa-Takegoshi extension theorem , Invent. Math. 193(1) (2013), 149–158

    work page 2013

  2. [2]

    Boucksom, Singularities of plurisubharmonic functions and multiplier ideals, (2023)

    S. Boucksom, Singularities of plurisubharmonic functions and multiplier ideals, (2023). Avail- able at http://sebastien.boucksom.perso.math.cnrs.fr/notes/L2.pdf

    work page 2023

  3. [3]

    A simple proof of the Ohsawa-Takegoshi extension theorem

    B. Chen, A simple proof of the Ohsawa-Takegoshi extension theorem, (2011) https://arxiv. org/abs/1105.2430

    work page Pith review arXiv 2011

  4. [4]

    Demailly, Multiplier ideal sheaves and analytic methods in algebraic geometry, In School on Vanishing Theorems and Effective Results in Algebraic Geometry, ICTP Lect

    J.-P. Demailly, Multiplier ideal sheaves and analytic methods in algebraic geometry, In School on Vanishing Theorems and Effective Results in Algebraic Geometry, ICTP Lect. Notes, 6 (2001), 1–148

    work page 2001

  5. [5]

    J. P. Demailly, Complex analytic and differential geometry , (2012). Available at https:// www-fourier.ujf-grenoble.fr/ ~demailly/manuscripts/agbook.pdf

    work page 2012

  6. [6]

    J. P. Demailly, Analytic methods in algebraic geometry , International Press, Somerville, MA; Higher Education Press, Beijing (2012)

    work page 2012

  7. [7]

    Demailly, J

    J.-P. Demailly, J. Koll´ ar, Semi-continuity of complex singularity exponents and K¨ ahler- Einstein metrics on Fano orbifolds , Ann. Sci. ´Ecole Norm. Sup.(4) 34(4) (2001), 525–556

    work page 2001

  8. [8]

    F. Deng, J. Ning, Z. Wang, Characterizations of plurisubharmonic functions , Sci. China. Math. 64(9) (2021), 1959–1970

    work page 2021

Show all 21 references
  1. [9]

    F. Deng, J. Ning, Z. Wang, X. Zhou, Positivity of holomorphic vector bundles in terms of Lp-estimates for ∂, Math. Ann. 385 (2023), 575–607

    2023

  2. [10]

    F. Deng, Z. Wang, L. Zhang, X. Zhou, New characterizations of plurisubharmonic functions and positivity of direct image sheaves , Amer. J. Math. 146(3) (2024), 751–768

    2024

  3. [11]

    Q. Guan, X. Zhou, A solution of an L2 extension problem with an optimal estimate and applications, Ann. of Math. (2) 181(3) (2015), 1139–1208

    2015

  4. [12]

    Q. Guan, X. Zhou, A proof of Demailly’s strong openness conjecture , Ann. of Math. (2) 182(2) (2015), 605–616

    2015

  5. [13]

    Heinonen, Lectures on analysis on metric spaces, Universitext

    J. Heinonen, Lectures on analysis on metric spaces, Universitext. Springer-Verlag, New York, (2001), x+140 pp

    2001

  6. [14]

    H¨ ormander,L2 estimates and existence theorems for the ¯∂ operator, Acta Math., 113 (1965), 89–152

    L. H¨ ormander,L2 estimates and existence theorems for the ¯∂ operator, Acta Math., 113 (1965), 89–152

    1965

  7. [15]

    Lempert, Modules of square integrable holomorphic germs , Trends Math

    L. Lempert, Modules of square integrable holomorphic germs , Trends Math. (2017), 311–333

    2017

  8. [16]

    Z. Liu, B. Xiao, H. Yang, X. Zhou, Multiplier submodule sheaves and a problem of Lempert , (2024) https://arxiv.org/abs/2111.13452v2

    2024 arXiv

  9. [17]

    Z. Liu, X. Zhang, Skoda’s L2 division for L2-optimal pairs, (2024) https://arxiv.org/abs/ 2411.15670

    2024

  10. [18]

    A. M. Nadel, Multiplier ideal sheaves and K¨ ahler-Einstein metrics of positive scalar curva- ture, Ann. of Math. (2) 132(3) (1990), 549–596

    1990

  11. [19]

    Ohsawa, K

    T. Ohsawa, K. Takegoshi, On the extension of L2 holomorphic functions , Math. Z. 195(2) (1987) 197–204

    1987

  12. [20]

    Skoda, Sous-ensembles analytiques d’ordre fini ou infini dans Cn, Bull

    H. Skoda, Sous-ensembles analytiques d’ordre fini ou infini dans Cn, Bull. Soc. Math. France 100 (1972), 353–408

    1972

  13. [21]

    X. Zhou, L. Zhu, A generalized Siu’s lemma , Math. Res. Lett. 24(6) (2017), 1897–1913. Mathematical Science Research Center, Chongqing University of Technology, No. 69, Hongguang A venue, Banan District, Chongqing 400054, China. Email address : liuzhuo@cqut.edu.cn; liuzhuo@amss.ac.cn

    2017

Pith tools

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