Search arXivSearch

arXiv · 2607.21144

Some Integrability Properties of $m$-Subharmonic Functions

Abstract

Let $1\le m<n$ and let $u$ be an $m$-subharmonic function on a domain in $\mathbb{C}^n$. We study local exponential and polynomial integrability, with particular attention to the sharp polynomial exponent predicted by Błocki's conjecture. Explicit radial examples show that direct analogues of the Guan--Zhou strong openness theorem and Skoda's integrability criterion formulated in terms of the $m$-Lelong number fail when $m<n$. We classify a family of radial power-logarithmic singularities and determine the exact $L^p$-integrability range for each member, including endpoint behavior. We resolve two problems posed by Benali--Ghiloufi. The normalized limit of the ball maximum always equals the $m$-Lelong number; this follows by combining their spherical-mean formula with the strong uniqueness theorem for tangents. The pointwise integrability exponent is lower semicontinuous in the base point. However, even when restricted to $SH_m$, it is not lower semicontinuous with respect to the $L^1_{\loc}$ topology. We also disprove their polynomial openness conjecture using an explicit power-logarithmic endpoint example. Finally, we introduce a scale of local Hessian-capacity conditions, denoted by $C_{m,δ}$. The volume-capacity inequality and the layer-cake formula yield $$u\in L^s_{loc}\quad\text{for every}\quad s<\frac{(m+δ)n}{n-m}.$$ The critical condition $\mathrm C_{m,0}=\mathrm C_m$ holds for negative functions of finite total Hessian mass with relatively compact deep sublevel sets, and for radial functions. More generally, functions in the energy class $\mathcal E_{p,m}$ satisfy $\mathrm C_{m,p}$, recovering the full Åhag--Czy{ż} Sobolev exponent. These results provide partial progress toward Błocki's conjecture, which has remained open for more than two decades.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Genglong Lin. 2026-08-07. Some Integrability Properties of $m$-Subharmonic Functions. https://arxiv.org/abs/2607.21144

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Product Principle for Harmonic Schwarz Lemmas: Boxes, Polydiscs, and Metric Geometry

We establish an exact product principle for the Euclidean operator norm of differentials of harmonic maps. For a bounded domain \(G\subset\R^m\) and \(p\in G\), let \(M_G(p)\) denote the supremum of \(\|dF_0\|\) over harmonic maps \(F:\D\to G\) with \(F(0)=p\). For bounded domains \(G_j\subset\R^{m_j}\), we prove \[ M_{G_1\times\cdots\times G_N}(p_1,\ldots,p_N)^2 =\sum_{j=1}^N M_{G_j}(p_j)^2. \] The theorem separates the geometry of the individual factors from the Euclidean geometry of the product: the factor extremal constants combine by a sum-of-squares law, while equality is governed by a single compatibility condition, namely a common maximizing direction for the component differentials. Neither convexity nor attainment of the factor suprema is required. Combining the product principle with the sharp interval and disk factor problems yields exact operator-norm estimates and all equality cases for harmonic maps into boxes and polydiscs. In both families, for every extremal map, the real differential at the origin has one-dimensional image. The same factor constants also define coordinatewise metrics for which the harmonic contraction estimate is sharp when the source disk is equipped with its Poincaré metric of curvature \(-1\). For boxes, the resulting metric is complete and equals twice the restriction of the Kobayashi-Royden metric of the product of vertical strips. For polydiscs, the harmonic product metric is pointwise maximal among contracting metrics of the form \(\max_j a_j(p)|v_j|\), with \(a_j(p)>0\). It is strictly smaller than twice the Kobayashi-Royden metric on every nonzero tangent vector, and its induced path metric is incomplete.

math.CV

Convolution Regularization Preserves the $L^2$-Estimate Property for $(1,n)$-Forms

In this paper, we prove that the \(L^2\)-estimate property for \((1,n)\)-forms is preserved under the standard convolution regularization. As applications, we show that any singular Hermitian metric satisfying the optimal or multiple coarse \(L^2\)-estimate property for \((n,1)\) or \((1,n)\)-forms is Griffiths semi-positive. This resolves a question posed by Deng--Ning--Wang and a question by Inayama.

math.CV