REVIEW 3 major objections 5 minor 25 references
Maximal subextension of $m$-subharmonic functions
T0 review · 3 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read A quasi-m-hyperconvex domain inside a compact Kähler manifold admits, for every function in the weighted Hessian energy class with bounded mass, a maximal m-subharmonic subextension to the whole manifold that preserves the weighted energy a
desk verdict A plausible m-subharmonic analogue of CKZ2 that is worth refereeing, but the energy-preservation step in Theorem 3.4 rests on an unstated convergence theorem and needs a rewritten proof. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the complex Hessian operator H_m(u) = (ω+dd^c u)^m ∧ ω^{n−m} acting on ω-m-subharmonic functions, together with the weighted energy class E_χ^m(Ω,ω) defined by finiteness of ∫ −χ(u)H_m(u). The proof is carried by a three-step mechanism: (1) solve, on the whole manifold, degenerate complex Hessian equations H_m(u_j) = 1_Ω H_m(φ_j) + ε_j ω^n with fixed total mass equal to ∫X ω^n, using a known existence theorem for measures that do not charge m-polar sets; (2) a comparison principle forces φ_j ≥ u_j on Ω, so the upper envelopes of the approximating subextensions are well-defined subextensions; (3) monotonicity of the Hessian measure along decreasing sequences (established
What would settle it
Find a quasi-m-hyperconvex domain Ω ⊂ P^n and φ ∈ E_χ^m(Ω, ω_FS) with ∫_Ω H_m(φ) ≤ ∫_{P^n} ω_FS^n for which the maximal subextension φ̃ satisfies ∫_{P^n} −χ(φ̃)H_m(φ̃) > ∫_Ω −χ(φ)H_m(φ); Theorem 3.4(i) would be false. More directly, exhibit a measure μ on P^n that does not charge m-polar sets, with μ(P^n) = ∫ ω_FS^n, such that the degenerate Hessian equation H_m(u) = μ has no solution u with sup u = −1; this would break the key existence step.
Extended reading notes
Core claim
The central claim is Theorem 3.4 (Main Theorem 1.1): if Ω is a quasi-m-hyperconvex domain in a compact Kähler manifold (X,ω) with ∫_Ω ω^n < ∫_X ω^n, χ is a convex weight, and φ ∈ E_χ^m(Ω,ω) satisfies ∫_Ω H_m(φ) ≤ ∫_X ω^n, then the upper envelope φ̃ := sup{ψ ∈ SH_m(X,ω) : ψ ≤ φ on Ω} lies in E_χ^m(X,ω). It satisfies ∫_X −χ(φ̃)H_m(φ̃) ≤ ∫_Ω −χ(φ)H_m(φ), the Hessian control 1_Ω H_m(φ̃) ≤ 1_Ω H_m(φ) as measures, and supp H_m(φ̃) ⊂ {φ̃ = φ} ∪ ∂Ω. The proof approximates φ by bounded functions in E_0^m, uses solutions of degenerate complex Hessian equations on X to build approximating subextensions, and passes to the limit via monotone convergence of Hessian measures.
Load-bearing premise
The proof relies on a black-box existence theorem for degenerate complex Hessian equations on compact Kähler manifolds: any measure that does not charge m-polar sets and has the right total mass must be the Hessian measure of some m-subharmonic function normalized to have supremum −1; if that theorem needs extra integrability, the approximation scheme producing the subextension collapses.
Editorial extensions
If this is right
- For any φ in the weighted energy class with total Hessian mass no larger than the manifold's volume, there is a canonical extension φ̃ that is maximal: the largest m-subharmonic minorant of φ on X.
- The weighted energy inequality transfers a variational principle from the domain to the ambient manifold: extensions never increase the weighted Hessian energy, so energy minimizers behave well under restriction of the domain.
- The support containment means the extension's Hessian measure is zero off the contact set and the boundary; any extra mass appears only as a boundary jump of size ∫X ω^n − ∫Ω H_m(φ), as the paper notes in Remark 3.5.
- In the projective case, the correspondence between m-subharmonic functions of logarithmic growth on C^n and ω_FS-m-subharmonic functions on P^n yields global subextensions with prescribed Hessian measure normalized to mass one (Theorem 4.4).
- The results provide the m-subharmonic analogue of the classical maximal subextension theory for plurisubharmonic functions, so methods that used that theory can now be attempted for m-subharmonic functions.
Reading between the lines
- One could test whether the volume inequality ∫_Ω ω^n < ∫_X ω^n can be weakened to ≤, allowing a zero boundary jump; the proof's reliance on the existence theorem might still hold under a matching condition.
- The energy inequality could be sharpened: when the volume deficit is zero, one might ask whether ∫_X −χ(φ̃)H_m(φ̃) equals ∫_Ω −χ(φ)H_m(φ), recovering a conservation law for weighted energy.
- On P^1 with m=1, the construction should reproduce the known maximal subextension; checking whether the Hessian measure jumps exactly at ∂Ω by the volume deficit would validate the boundary-charge mechanism.
- The support containment suggests defining a fine boundary measure of φ with respect to X—the residual measure ν in the decomposition H_m(φ̃) = f·1_Ω H_m(φ) + ν from Remark 3.5—which could be studied as a new invariant of the domain embedding.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that if Ω is a quasi-m-hyperconvex domain in a compact Kähler manifold (X,ω) with ∫_Ω ω^n < ∫_X ω^n, and χ is a convex weight function, then every φ in the weighted Hessian energy class E_χ^m(Ω,ω) with ∫_Ω H_m(φ) ≤ ∫_X ω^n admits a maximal ω-m-subharmonic subextension φ̃ to X. The main theorem asserts that φ̃ ∈ E_χ^m(X,ω), the weighted energy does not increase, the local Hessian domination 1_Ω H_m(φ̃) ≤ 1_Ω H_m(φ) holds, and H_m(φ̃) is supported on {φ̃ = φ} ∪ ∂Ω. The proof follows the CKZ2 strategy: approximate φ by functions in E_0^m, construct approximate subextensions via the solvability of degenerate complex Hessian equations on X, and pass to decreasing limits. Section 4 adapts the result to C^n via the Fubini–Study correspondence and introduces an m-Lelong class.
Significance. If the proof is completed, this would be a natural and useful extension of the CKZ2 maximal-subextension theorem to m-subharmonic functions and weighted energy classes, with potential applications to complex Hessian operators on compact Kähler manifolds. The paper contains coherent comparison principles, mass estimates, and approximation arguments, and the statement of the main theorem is precise and falsifiable. The main weakness is that the decisive limit passage in Theorem 3.4 is delegated to an unnamed convergence theorem, and the support argument uses undefined approximations; these are load-bearing verification gaps rather than stylistic issues.
major comments (3)
- [Theorem 3.4(i)] The proof states: "Since φ̃_j ↘ φ̃ on X, the convergence theorem in [CN] implies φ̃ ∈ E_χ^m(X,ω)" and gives the weighted measure inequality. No such theorem is stated, and the paper's own Theorem 2.25 is proved only for domains Ω and for approximating sequences in E_0^m(Ω,ω); the φ̃_j are bounded ω-m-subharmonic functions on X without vanishing boundary data. To conclude the energy-preservation claim, one needs a precise convergence theorem for weighted Hessian measures along decreasing sequences on X, including convergence of −χ(φ̃_j)H_m(φ̃_j) to −χ(φ̃)H_m(φ̃), convergence of −χ(φ_j)1_ΩH_m(φ_j), and preservation of the measure inequality. Please state the theorem from [CN], verify its hypotheses for the present sequence, or supply a proof. This is the central claim (i) of the main theorem.
- [Theorem 3.4(iii)] The support statement uses several undefined objects. The proof reuses the symbol φ_j for the truncations max{φ,−j}, conflicting with the approximating sequence φ_j ∈ E_0^m(Ω,ω) used earlier. Later "for fixed s and t" the functions φ_s and φ̃_s are not defined. The passage 1_{φ>−j}H_m(φ_j) ↗ 1_{φ>−∞}H_m(φ) is asserted by reference to [CN] without stating hypotheses, and Lemma 2.11 is invoked without checking the required uniform capacity control. Since claim (iii) is part of the main theorem, these gaps must be fixed.
- [Theorem 3.2] The construction of the approximate subextensions rests on the black-box solvability statement [CN, Theorem 1.3], used to produce u_j with H_m(u_j) = 1_Ω H_m(φ_j) + ε_j ω^n and sup_X u_j = −1. The exact hypotheses of that theorem are not stated. In particular, the paper should verify that 1_Ω H_m(φ_j) + ε_j ω^n does not charge m-polar sets and satisfies whatever integrability or regularity conditions [CN, Theorem 1.3] requires. If the theorem needs additional hypotheses beyond "does not charge m-polar sets", the approximation scheme collapses and the existence of φ̃ is not established.
minor comments (5)
- [Throughout] There are numerous typos and notation slips: Theorem 3.2 says "quasi-hyperconvex" instead of "quasi-m-hyperconvex"; Proposition 2.17(3) has ω^{m−n} where it should be ω^{n−m}; the abstract says "a good control properties"; Proposition 3.3 uses "eφ" and "eφ_j" for φ̃ and φ̃_j.
- [Theorem 2.9] The proof begins "Since P(f)^* ≤ f, then P(f) = P(f)^*", but P(f) is not known to be upper semicontinuous before the proof. This step needs justification or rewording.
- [Lemma 3.1] The symbol \hat φ appears before the subextension φ̃ is introduced, and the argument with the characteristic function χ_K should specify that K is compact (hence closed) and explain the approximation by continuous functions more carefully.
- [Theorem 4.3] The hypothesis says H_m(u) "charges no pluripolar sets", while elsewhere the relevant notion is m-polar sets. Please align the terminology and clarify whether the stronger condition is needed in the C^n-to-P^n transfer.
- [Remark 3.5] The decomposition H_m(φ̃) = f · 1_Ω H_m(φ) + ν with ν supported on ∂Ω is asserted without saying with respect to which reference measure the density f is taken. A short explanation would improve readability.
Circularity Check
No significant circularity; the central derivation rests on external theorems and an independent citation, not on its own conclusions.
full rationale
The paper's main theorem is an existence and energy-inequality result for a maximal subextension, where the subextension is defined independently as the supremum of all admissible subextensions, not by the target inequality. The Hessian measure control (ii) is derived in Lemma 3.1 through balayage, comparison, and weak convergence, then upgraded in Theorem 3.4 using bounded weighted-energy estimates; no fitted parameter is introduced and no quantity is renamed as a prediction. The weighted-energy preservation step in Theorem 3.4(i) cites an external convergence theorem from [CN] after establishing the uniform bounds ∫X −χ(φ̃j)H_m(φ̃j) ≤ C; [CN] is a separate published work by Lu and Nguyen, not the present authors' earlier result, so this is an external dependency rather than a self-citation chain. The only self-citation, [AE], appears in Theorem 4.5 as '[AE, Lemma 3.2] or [MV]', with [MV] an independent source providing the same estimate, so the self-citation is not load-bearing. There are genuine verification/correctness gaps: the precise hypotheses and conclusions of [CN, Theorem 1.3] and the invoked convergence theorem are not restated or checked, and the passage of weighted Hessian measures to the limit is asserted rather than proved from stated assumptions. These are gaps of support and rigor, but they do not make the derivation equivalent to its inputs by construction. No circular step satisfying the required evidentiary standard is present.
Assumptions & free parameters
assumptions (6)
- domain assumption The Bedford–Taylor-style complex Hessian operator H_m is well-defined for bounded ω-m-sh functions and is continuous under decreasing sequences (Definitions 2.4–2.6, Remark 2.5).
- domain assumption Degenerate complex Hessian equations on compact Kähler manifolds are solvable for measures not charging m-polar sets with total mass ∫X ω^n ([CN, Theorem 1.3]).
- domain assumption The Dirichlet problem for the complex Hessian equation on balls admits smooth solutions ([GN, Lemma 3.16]) with the a priori estimates of [DK, Theorem 2.7].
- domain assumption Weighted Hessian energy theory on compact Kähler manifolds, including convergence properties of E_χ(X, ω), follows [GZ], [CGZ], and the unstated 'convergence theorem in [CN]'.
- standard math Comparison principle and integration-by-parts identities for bounded ω-m-sh functions (Propositions 2.12, 2.13, Theorem 2.19).
- domain assumption The m-subharmonic subextension theorem for F^m classes ([MV, Theorem 1]) and the analogue recorded in [AE, Lemma 3.2].
Cite this review
Pith. "Pith review of Maximal subextension of $m$-subharmonic functions." pith.science (2026). https://pith.science/paper/APKKPI53
@misc{pith2026260719132,
author = {Pith},
title = {Pith review of: Maximal subextension of $m$-subharmonic functions},
year = {2026},
howpublished = {\url{https://pith.science/paper/APKKPI53}},
note = {Machine review of arXiv:2607.19132}
}
abstract
In this paper, we prove that given a quasi-$m$-hyperconvex domain $\Omega \subset X$ in a compact K\"ahler manifold $(X, \omega)$, and a function $\varphi $ in the weighted energy class $\mathcal{E}_\chi^m(\Omega, \omega)$ with respect to a convex weight function $\chi : \mathbb{R} \to \mathbb{R}$, then there exists a maximal $\omega$-$m$-subharmonic subextension $\tilde{\varphi}$ to $X$ that preserves the weighted energy and satisfies a good control properties for its Hessian measure $ \mathbf{1}_\Omega H_m(\tilde{\varphi}) \leq \mathbf{1}_\Omega H_m(\varphi) $. In the last part, we study the particular case where $(X,\omega)=(\mathbb{P}^n,\omega_{FS}).$
Reference graph
Works this paper leans on
-
[1]
Ahag and R
P. Ahag and R. Czyz, On the Cegrell classes, Math. Z. 256 (2007), 243–264
2007
-
[2]
Subextension and approximation of m -subharmonic functions with given boundary values
AMAL H., El-Gasmi A. Subextension and approximation of m -subharmonic functions with given boundary values. Ukrainian Mathematical Journal, Vol. 77, No. 2, 2025. https://doi.org/10.3842/umzh.v77i2.8215
-
[3]
Weighted Green functions for complex Hessian operators
El Aini, Hadhami; Zeriahi, Ahmed. Weighted Green functions for complex Hessian operators. Ann. Polon. Math. 130 (2023), no. 1, 1--32
2023
-
[4]
Bedford, Eric; Taylor, B. A. The Dirichlet problem for a complex Monge-Ampère equation. Invent. Math. 37 (1976), no. 1, 1--44
1976
-
[5]
Bedford, Eric; Taylor, B. A. A new capacity for plurisubharmonic functions. Acta Math. 149 (1982), no. 1-2, 1--40
1982
-
[6]
Bedford, Eric; Taylor, B. A. Fine topology, Šilov boundary, and (dd^c)^n . J. Funct. Anal. 72 (1987), no. 2, 225--251
1987
-
[7]
Benelkourchi, Weighted pluricomplex energy, Potential Anal., 31(2009), 1-20
S. Benelkourchi, Weighted pluricomplex energy, Potential Anal., 31(2009), 1-20
2009
-
[8]
Pluripolar sets and the subextension in Cegrell’s classes
Hiep PH. Pluripolar sets and the subextension in Cegrell’s classes. Complex Var. Elliptic Equ. 2008;53:675–684
2008
Show all 25 references
-
[9]
Pluricomplex energy
Cegrell, Urban. Pluricomplex energy. Acta Math. 180 (1998), no. 2, 187--217
1998
-
[10]
Domains of definition of Monge-Ampère operators on compact Kähler manifolds
Coman, Dan; Guedj, Vincent; Zeriahi, Ahmed. Domains of definition of Monge-Ampère operators on compact Kähler manifolds. Math. Z. 259 (2008), no. 2, 393--418
2008
-
[11]
Subextension of plurisubharmonic functions with weak singularities
Cegrell, U.; Kolodziej, S.; Zeriahi, A. Subextension of plurisubharmonic functions with weak singularities. Math. Z. 250 (2005), no. 1, 7--22
2005
-
[12]
Maximal subextensions of plurisubharmonic functions
Cegrell, U.; Kołodziej, S.; Zeriahi, A. Maximal subextensions of plurisubharmonic functions. Ann. Fac. Sci. Toulouse Math. (6) 20 (2011), Fascicule Spécial, 101--122
2011
-
[13]
Cegrell, A
U. Cegrell, A. Zeriahi, Subextension of plurisubharmonic functions with bounded MongeAmp`ere mass, C. R., Math., Acad. Sci. Paris 336, No.4, 305-308 (2003)
2003
-
[14]
The weighted Monge-Ampère energy of quasiplurisubharmonic functions
Guedj, Vincent; Zeriahi, Ahmed. The weighted Monge-Ampère energy of quasiplurisubharmonic functions. J. Funct. Anal. 250 (2007), no. 2, 442--482
2007
-
[15]
Approximation of negative plurisubharmonic functions with given boundary values
Hed, Lisa. Approximation of negative plurisubharmonic functions with given boundary values. Internat. J. Math. 21 (2010), no. 9, 1135–1145
2010
-
[16]
Subextension and approximation of negative plurisubharmonic functions
Cegrell, Urban; Hed, Lisa. Subextension and approximation of negative plurisubharmonic functions. Michigan Math. J. 56 (2008), no. 3, 593--601
2008
-
[17]
Degenerate complex Hessian equations on compact Kähler manifolds
Lu, Chinh H.; Van-Dong Nguyen. Degenerate complex Hessian equations on compact Kähler manifolds. Indiana Univ. Math. J. 64 (2015), no. 6, 1721--1745
2015
-
[18]
El Mir, Fonctions plurisousharmoniques et ensembles polaires, in: S´eminaire Pierre Lelong–Henri Skoda (Analyse), Ann´ees 1978/79, Lecture Notes in Math
H. El Mir, Fonctions plurisousharmoniques et ensembles polaires, in: S´eminaire Pierre Lelong–Henri Skoda (Analyse), Ann´ees 1978/79, Lecture Notes in Math. 822, Springer, Berlin, 1980, 61–76
1978
-
[19]
The Dirichlet problem for a complex Hessian equation on compact Hermitian manifolds with boundary
Gu, Dongwei; Nguyen, Ngoc Cuong. The Dirichlet problem for a complex Hessian equation on compact Hermitian manifolds with boundary. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 18 (2018), no. 4, 1189--1248
2018
-
[20]
Dinew, S
S. Dinew, S. Kolodziej. A priori estimates for complex Hessian equations. Anal. PDE 7 (2014), no. 1, 227–244
2014
-
[21]
L. M. Hai, T. V. Long, The subextension problem for the class E _ , Vietnam Journal of Math. 39:3(2011) 251-266
2011
-
[22]
Subextension of m-subharmonic functions
Hai, Le Mau; Dung, Trieu Van. Subextension of m-subharmonic functions. Vietnam J. Math. 48 (2020), no. 1, 47–57
2020
-
[23]
N. V. Phu, Approximation of m-subharmonic function with given boundary values, J. Math. Anal. Appl., 534, no. 2, 128097 (2024)
2024
-
[24]
Pliś, The smoothing of m -subharmonic functions, arXiv:1312.1906v2, 2013
S. Pliś, The smoothing of m -subharmonic functions, arXiv:1312.1906v2, 2013
2013 arXiv
-
[25]
Vu Viet Hung, Local property of a class of m-subharmonic functions, Vietnam J. Math. 44 (2016), no. 3, 603-621
2016
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.