Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2611.09152

A Dirichlet form approach to the potential theory of $m$-subharmonic functions

Bowoo Kang·Jaechul Lee·Zhenghao Li
View original source ↗Read source document ↗Export metadata ↓

Abstract

On a bounded open subset of $\mathbb{C}^n$, we study the Dirichlet form induced by an admissible pair $(θ,μ)$, where $μ$ is a positive Radon measure and $$θ=dd^c u_1\wedge\cdots\wedge dd^c u_{m-1}\wedge(dd^c \lvert z\rvert^2)^{n-m}$$ for locally bounded $m$-subharmonic functions $u_1,\dots,u_{m-1}$. We prove that locally bounded $m$-subharmonic functions belong locally to the domains of these Dirichlet forms and are quasi-continuous with respect to the induced capacities. We establish a monotonicity property for Dirichlet forms, which motivates the introduction of $μ$-quasi-monotone convergence of $m$-subharmonic functions. The natural embeddings into these domains are continuous with respect to this convergence. These results yield new proofs of the commutativity and continuity of complex Hessian operators. Using this framework, we characterize quasi-continuity with respect to the induced capacity for an arbitrary $m$-subharmonic function in terms of its pole set having zero measure $μ$, or equivalently, zero induced capacity. On bounded strictly $m$-pseudoconvex domains, we prove that the Bedford--Taylor capacity for $m$-subharmonic functions and the capacities induced by the corresponding Dirichlet forms have the same null sets. We further characterize $m$-polar sets in terms of Dirichlet forms and stochastic processes, extending the corresponding characterization of pluripolar sets due to Fukushima and Okada to the $m$-subharmonic setting.

Explore related subjects

math.CVmath.FAmath.PR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bowoo Kang, Jaechul Lee, Zhenghao Li. 2026-11-06. A Dirichlet form approach to the potential theory of $m$-subharmonic functions. https://arxiv.org/abs/2611.09152

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

KEEP EXPLORING

Related papers

arXiv2026

Multiplicity-Weighted Moments of a Two-Monomial Harmonic Map Beyond the Caustic

While the Jacobian of a planar harmonic mapping keeps a constant sign, the signed and the unsigned area elements agree up to that sign, and the two natural moment hierarchies coincide. Once the Jacobian changes sign the critical circle acquires a caustic as its image, part of the plane is covered several times with opposite orientations, and the hierarchies part company: integrating a radial weight against $J_F$ lets overlapping sheets cancel, giving the degree-weighted moments $J_n$, while integrating against $|J_F|$ lets every sheet count positively, giving the multiplicity-weighted moments $J_n^{\pm}$. These are the classical degree and area formulas for the same map, the second weighted by the multiplicity function (Banach indicatrix). It is the second family, the one the caustic threatens, for which a closed form is no longer automatic. For the two-monomial map $F(w)=w+iC\bar w^{k}$ on an annulus we show that it has one anyway: $J_n^{\pm}$ is the total variation of the very same explicit primitive whose endpoint difference gives $J_n$. Crossing the caustic therefore costs exactly one extra evaluation point, the critical radius $r_*=(k|C|)^{-1/(k-1)}$, and it is the same point for every order $n$: the weight $|F|^{2n}$ is nonnegative and so contributes no sign change of its own. On the degree-weighted side $J_n$ has a boundary-only closed form for every $n\ge0$, the zeroth being the signed area of the image counted with degree, and the complex-weighted moments vanish unless $(k+1)\mid(m-\ell)$. Neither weighted integral is a new object, and the caustic of this family has been located before in the literature on harmonic trinomials; what is new is the closed evaluation of the multiplicity-weighted hierarchy across it.

math.CV↗
arXiv2026

Local Characterizations of Oka Manifolds

We prove that strong dominability, the LAP, and the Oka property are equivalent for complex manifolds. The proof turns approximation across an attached disc in one complex variable, uniformly in holomorphic parameters, into convex approximation in arbitrary dimension. We also characterize Oka manifolds by the LEP, formulated in terms of centered holomorphic families of discs. In dimension $n\geq1$, LEP propagates across sets of zero $(2n-1)$-dimensional Hausdorff measure. The Oka property is local in the Euclidean topology, and it descends under surjective holomorphic maps between connected complex manifolds. Deformations of very free rational curves give the Oka property for every smooth connected complex projective rationally connected manifold $X$, and for $X\setminus A$ whenever $A\subset X$ is a closed algebraic subset of codimension at least two. Compact Kähler manifolds admitting a Kähler metric with nonnegative holomorphic sectional curvature, or having nef tangent bundle, are also Oka. For $n\geq1$, the complement of a smooth hypersurface $D\subset\mathbb{P}^n$ of degree $d$ is Oka if and only if $d\leq n+1$.

math.CV↗
arXiv2026

Slice Regular Capacity and Rational Approximation

Approximation theory in the complex plane is a well established area of mathematical research, with extensive contributions documented in the literature, notably through the classical results of Weierstrass, Runge, Mergelyan, and Vitushkin. Approximation theory in quaternionic settings, particularly rational approximation on compact sets, which studies when slice regular functions can be uniformly approximated by rational functions, is one of the recent areas of interest in quaternionic rational approximation theory (See [6,13]). In this paper, we discuss Vitushkin approximation theorem in the quaternionic setting by using the quaternionic analogue of analytic capacity and also we establish Davies modified Vitushkin scheme in quaternionic setting. We also discuss quaternionic analogue of $γ_{+}$- capacity and Cauchy capacity and the remarkable results of Tolsa [35] and Younsi [45] related to these capacities in complex plane setting.

math.CV↗