Alexander Brudnyi
The main objective of this paper is to prove a new inequality for plurisubharmonic functions estimating their supremum over a ball by their supremum over a measurable subset of the ball. We apply this result to study local properties of polynomial, algebraic and analytic functions. The paper has much in common with an earlier paper of the author.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
First we prove a new inequality comparing uniformly the relative volume of a Borel subset with respect to any given complex euclidean ball $\B \sub \C^n$ with its relative logarithmic capacity in $\C^n$ with respect to the same ball $\B$. An analoguous comparison inequality for Borel subsets of euclidean balls of any generic real subspace of $\C^n$ is also proved. Then we give several interesting applications of these inequalities. First we obtain sharp uniform estimates on the relative size of \psh lemniscates associated to the Lelong class of \psh functions of logarithmic singularities at in…
By comparing Green functions of multi-circled plurisubharmonic singularities in the n-domensional complex space to their indicators, we obtain formulas for the higher Lelong numbers and integrability index for such singularities and extend Howald's result on multiplier ideals for monomial ideals to multi-circled singularities. This also leads to an elementary proof of the relations between the k-th Lelong numbers and the integrability index. For k=1 and arbitrary plurisubharmonic functions the inequality is due to Skoda, and for k=n and any plurisubharmonic function with isolated singularity t…
Necessary conditions for a domain $Ω\subset \mathbb C^n$ admitting a local plurisubharmonic defining function on the boundary are given. In tandem, we give an algorithm to construct a local plurisubharmonic defining function on the boundary when one exists. In some cases we show that the necessary conditions are also sufficient.
In this note we study the plurifinely locally maximal plurifinely plurisubharmonic functions and improve some known results on these functions. We prove in particular that any locally bounded plurifinely locally maximal plurifinely plurisubharmonic function is maximal, and that any finite plurisubharmonic function on an open subset of $\mathbb{C}^n$ is maximal if and only if it is plurifinely locally maximal.
In this paper, we prove that a continuous $\mathcal F$-plurisubharmonic functions defined in an $\mathcal F$-open set in $\mathbb C^n$ is $\mathcal F$-maximal if and only if it is $\mathcal F$-locally $\mathcal F$-maximal.
A notion of local indicator for a plurisubharmonic function is introduced. The indicator is a certain plurisubharmonic function in the unit polydisc, which controls the behavior of the considered function near a fixed point of its singularity, as well as the residual Monge-Ampere mass of the function at this point. A pluricomplex Green function with respect to given indicators is constructed and applied to the Dirichlet problem for the Monge- Ampere operator in the class of plurisubharmonic functions with isolated singularities.
Our interest is the behavior of weak geodesics between two plurisubharmonic functions on pseudoconvex domains. We characterize the convergence condition along the geodesic between toric psh functions with a pole at origin on a unit ball in $\mathbb{C}^n$ by means of Lelong numbers.
Comparison principles for local plurisubharmonic potentials on complex manifolds and applications
本文证明了复流形上Cegrell类局部多重次调和势的加权比较原理，并应用于$\mathbb C^2$中具有特定奇异性的函数，得出极大性等价于Monge-Ampère测度消失且为局部性质。
We show that on almost complex surfaces plurisubharmonic functions can be locally approximated by smooth plurisubharmonic functions. The main tool is the Poletsky type theorem due to U. Kuzman.
We study the masses charged by $(dd^cu)^n$ at isolated singularity points of plurisubharmonic functions $u$. It is done by means of the local indicators of plurisubharmonic functions. As a consequence, bounds for the masses are obtained in terms of the directional Lelong numbers of $u$, and the notion of the Newton number for a holomorphic mapping is extended to arbitrary plurisubharmonic functions. We also describe the local indicator of $u$ as the logarithmic tangent to $u$.
We will define the Monge-Ampère operator on finite (weakly) plurifinely plurisubharmonic functions in plurifinely open sets in complex n-space and show that it defines a positive measure. Ingredients of the proof include a direct proof for bounded strongly plurifinely plurisubharmonic functions, which is based on the fact that such functions can plurifinely locally be written as difference of ordinary plurisubharmonic functions, and an approximation result stating that weakly plurifinely plurisubharmonic functions are locally limits of strongly finely plurisubharmonic functions in the Dirichle…
We generalize the Poletsky disc envelope formula for the function $\sup \{u \in \PSH(X,ω) ; u\leq ϕ\}$ on any complex manifold $X$ to the case where the real (1,1)-current $ω=ω_1-ω_2$ is the difference of two positive closed (1,1)-currents and $ϕ$ is the difference of an $ω_1$-upper semicontinuous function and a plurisubharmonic function.
We prove that every bounded finely plurisubharmonic function can be locally (in the pluri-fine topology) written as the difference of two usual plurisubharmonic functions. As a consequence finely plurisubharmonic functions are continuous with respect to the pluri-fine topology. Moreover we show that -infinity sets of finely plurisubharmonic functions are pluripolar, hence graphs of finely holomorphic functions are pluripolar.
Like the classical potential theory, it was conjectured that there exists equivalence between locally and globally pluripolar and complete pluripolar sets, namely, Problem I of Lelong, and was solved by Josefson, Bedford - Taylor and Colţoiu. In this article, we consider complements of complete Kähler domains as the generalization of closed complete pluripolar sets and prove that there exists an equivalence between local and global existence of these sets.
Local-to-global maximality for plurisubharmonic functions with locally analytic singularities
本文证明了具有局部解析奇点的局部极大多次调和函数在满足解析扩张界时即为极大，并通过Monge--Ampère测度消失条件刻画极大性。
Let $Ω=\{r<0\}\subset\mathbb C^2$, with $r$ plurisubharmonic on $bΩ=\{r=0\}$. Let $ρ$ be another defining function for $Ω$. A formula for the determinant of the complex Hessian of $ρ$ in terms of $r$ is computed. This formula is used to give necessary and sufficient conditions that make $ρ$ (locally) plurisubharmonic.
Let $φ$ be a plurisubharmonic function on a pseudoconvex domain $D \subset \mathbb C^n$. We show that there exists a nonzero holomorphic function $f$ on $D$ such that some local mean value of $φ$ with logarithmic additional terms majorizes $\log |f|$. A similar problem is discussed for a locally integrable function on $D$ in terms of balayage of positive measures. Key words: holomorphic function, plurisubharmonicity, minorant, balayage, Jensen inequality, mean value in the ball.
We prove several results on homogeneous plurisubharmonic polynomials on $\mathbb{C}^n$, $n\in\mathbb{Z}_{\geq 2}$. Said results are relevant to the problem of constructing local bumpings at boundary points of pseudoconvex domains of finite D'Angelo $1$-type in $\mathbb{C}^{n+1}$.
We study geodesics for plurisubharmonic functions from the Cegrell class ${\mathcal F}_1$ on a bounded hyperconvex domain of ${\mathbb C}^n$ and show that, as in the case of metrics on Kähler compact menifolds, they linearize an energy functional. As a consequence, we get a uniqueness theorem for functions from ${\mathcal F}_1$ in terms of total masses of certain mixed Monge-Ampère currents. Geodesics of relative extremal functions are considered and a reverse Brunn-Minkowski inequality is proved for capacities of multiplicative combinations of multi-circled compact sets. We also show that fun…
Two properties of plurisubharmonic functions are proven. The first result is a Skoda type integrability theorem with respect to a Monge-Ampère mass with Hölder continuous potential. The second one says that locally, a p.s.h. function is $k$-Lipschitz outside a set of Lebesgue measure smaller that $c/k^2$.
The goal of this work is to prove the regularity of certain quasi-plurisubharmonic upper envelopes. Such envelopes appear in a natural way in the construction of hermitian metrics with minimal singularities on a big line bundle over a compact complex manifold. We prove that the complex Hessian forms of these envelopes are locally bounded outside an analytic set of singularities. It is furthermore shown that a parametrized version of this result yields a priori inequalities for the solution of the Dirichlet problem for a degenerate Monge-Ampere operator; applications to geodesics in the space o…
The main purpose of this paper is to introduce and study the notion of plurifinely-maximal plurifinely plurisubharmonic functions, which extends the notion of maximal plurisubharmonic functions on a Euclidean domain to a plurifine domain of C^n in a natural way. Our main result is that a finite plurifinely plurisubharmonic function u on a plurifine domain U satisfies (dd^c u)^n=0 if and only if u is plurifinely-locally plurifinely-maximal outside some pluripolar set. In particular, a finite plurifinely-maximal plurisubharmonic function u satisfies (dd^c u)^n=0.
In this paper we prove the pluricomplex counterpart of the Moser-Trudinger and Sobolev inequalities in complex space. We consider these inequalities for plurisubharmonic functions with finite pluricomplex energy, and we estimate the concerned constants.
We investigate the question of existence of plurisubharmonic defining functions for smoothly bounded, pseudoconvex domains in $\mathbb{C}^2$. In particular, we construct a family of simple counterexamples to the existence of plurisubharmonic smooth local defining functions. Moreover, we give general criteria equivalent to the existence of plurisubharmonic smooth defining functions on or near the boundary of the domain. These equivalent characterizations are then explored for some classes of domains.
The complex Monge-Ampère operator has been defined for locally bounded plurisubharmonic functions by Bedford-Taylor in the 80's. This definition has been extended to compact complex manifolds, and to various classes of mildly unbounded quasi-plurisubharmonic functions by various authors. As this operator is not continuous for the $L^{1}$-topology, several stronger topologies have been introduced over the last decades to remedy this, while maintaining efficient compactness criteria. The purpose of this note is to show that these stronger topologies are essentially equivalent to the natural quas…
Equivalence between VMO functions and plurisubharmonic functions with zero Lelong numbers
本文证明了全纯函数与具有零Lelong数的VMO函数之间的等价性，并探讨了残余Monge-Ampère质量与VMO函数的关系。
We prove a disc formula for the largest plurisubharmonic subextension of an upper semicontinuous function on a domain $W$ in a Stein manifold to a larger domain $X$ under suitable conditions on $W$ and $X$. We introduce a related equivalence relation on the space of analytic discs in $X$ with boundary in $W$. The quotient, if it is Hausdorff, is a complex manifold with a local biholomorphism to $X$. We use our disc formula to generalise Kiselman's minimum principle. We show that his infimum function is an example of a plurisubharmonic subextension.
An approach to complex interpolation of compact subsets of $\Bbb C^n$, including Brunn-Minkowski type inequalities for the capacities of the interpolating sets, was developed recently by means of plurisubharmonic geodesics between relative extremal functions of the given sets. Here we show that a much better control can be achieved by means of the geodesics between weighted relative extremal functions. In particular, we establish convexity properties of the capacities that are stronger than those given by the Brunn-Minkowski inequalities.
Based on Harnack's inequality and convex analysis we show that each plurisubharmonic function is locally BUO (bounded upper oscillation) with respect to polydiscs of finite type but not for arbitrary polydiscs. We also show that each function in the Lelong class is globally BUO with respect to all polydiscs. A dimension-free BUO estimate is obtained for the logarithm of the modulus of a complex polynomial. As an application we obtain an approximation formula for the Bergman kernel that preserves all directional Lelong numbers. For smooth plurisubharmonic functions we derive a new asymptotic id…
In this paper we are concerned with the problem of local and global subextensions of (quasi-)plurisubharmonic functions from a "regular" subdomain of a compact Kähler manifold. We prove that a precise bound on the complex Monge-Ampère mass of the given function implies the existence of a subextension to a bigger regular subdomain or to the whole compact manifold. In some cases we show that the maximal subextension has a well defined complex Monge-Ampère measure and obtain precise estimates on this measure. Finally we give an example of a plurisubharmonic function with a well defined Monge-Ampè…
On Lelong numbers of plurisubharmonic functions on complex spaces
本文引入强局部不可约复空间概念，证明Lelong数与射影质量及重数的关系，并表明上水平集的闭包为子簇。
We introduce a new type of pluricomplex Green function which has a logarithmic pole along a complex subspace A of a complex manifold X. It is the largest negative plurisubharmonic function on X whose Lelong number is at least the Lelong number of log max{|f_1|,...,|f_m|}, where f_1,...,f_m are local generators for the ideal sheaf of A. The pluricomplex Green function with a single logarithmic pole or a finite number of weighted poles is a very special case of our construction. We give several equivalent definitions of this function and study its properties, including boundary behaviour, contin…
Let $Ω$ be a strongly pseudoconvex domain. We introduce the Mabuchi space of strongly plurisubharmonic functions in $Ω$. We study metric properties of this space using Mabuchi geodesics and establish regularity properties of the latter, especially in the ball. As an application we study the existence of local Kähler-Einstein metrics.
We give a sufficient condition on the Monge-Ampère mass of a plurisubharmonic function $u$ for $\exp (- 2 u)$ to be locally integrable. This gives a pluripotential theoretic proof of a theorem by J-P. Demailly.
We show that the monodromy theorem holds on arbitrary connected free sets for noncommutative free analytic functions. Applications are numerous-- pluriharmonic free functions have globally defined pluriharmonic conjugates, locally invertible functions are globally invertible, and there is no nontrivial cohomology theory arising from analytic continuation on connected free sets. We describe why the Baker-Campbell-Hausdorff formula has finite radius of convergence in terms of monodromy, and solve a related problem of Martin-Shamovich. We generalize the Dym-Helton-Klep-McCullough-Volcic theorem--…
We say that a symmetric noncommutative polynomial in the noncommutative free variables (x_1, x_2, ..., x_g) is noncommutative plurisubharmonic on a noncommutative open set if it has a noncommutative complex hessian that is positive semidefinite when evaluated on open sets of matrix tuples of sufficiently large size. In this paper, we show that if a noncommutative polynomial is noncommutative plurisubharmonic on a noncommutative open set, then the polynomial is actually noncommutative plurisubharmonic everywhere and has the form p = \sum f_j^T f_j + \sum k_j k_j^T + F + F^T where the sums are f…
Let $(M,ω)$ be a Kahler manifold. An integrable function on M is called $ω^q$-plurisubharmonic if it is subharmonic on all q-dimensional complex subvarieties. We prove that a smooth $ω^q$-plurisubharmonic function is q-convex. A continuous $ω^q$-plurisubharmonic function admits a local approximation by smooth, $ω^q$-plurisubharmonic functions. For any closed subvariety $Z\subset M$, $\dim Z < q$, there exists a strictly $ω^q$-plurisubharmonic function in a neighbourhood of $Z$ (this result is known for q-convex functions). This theorem is used to give a new proof of Sibony's lemma on integrabi…
We show that if $X$ is a Banach space with a Schauder basis, $Ω\subset X$ is a pseudoconvex open subset, and $u:\,Ω\to(-\infty,\infty)$ is a locally bounded function, then there are a Banach space $Z$ and a holomorphic function $h:\,Ω\to Z$ with $u(x)<\|h(x)\|$ for all $x\inΩ$.
Log canonical singularities of plurisubharmonic functions
本文研究多重次调和权的对数典范奇点，证明局部存在具有相同不可积轨迹的对数典范全纯权，并由此推出不可积轨迹的半正规性。
In this note we investigate the regularity of geodesics in the space of convex and plurisubharmonic functions. In the real setting we prove (optimal) local C^{1,1} regularity. We construct examples which prove that the global C^{1,1} regularity fails both in the real and complex case in contrast to the Kähler manifold setting. Finally we show a necessary and sufficient conditions for existence of a smooth geodesic between two smooth strictly convex functions.
Strong localization of invariant metrics
本文研究了复空间域边界点附近不变度量与挤压函数的局部化问题，给出了峰值点处的定量强局部化及反峰值点处的弱局部化，并分析了严格伪凸边界点附近度量的行为。
Characterization of Sobolev regularity of plurisubharmonic functions
本文刻画了由全纯芽构造的多次调和函数的局部Sobolev正则性，给出尖锐判据，并应用于Calderón-Zygmund理论反例与Monge-Ampère定义域刻画。
We prove the reversed Alexandrov-Fenchel inequality for mixed Monge-Ampère masses of plurisubharmonic functions, which generalizes a result of Demailly and Pham. As applications to convex geometry, this gives a complex analytic proof of the reversed Alexandrov-Fenchel inequality for mixed covolumes, which generalizes recent results in convex geometry of Kaveh-Khovanskii, Khovanskii-Timorin, Milman-Rotem and R. Schneider on reversed (or complemented) Brunn-Minkowski and Alexandrov-Fenchel inequalities. Also for toric plurisubharmonic functions in the Cegrell class, we confirm Demailly's conject…
Exponential mixing of all orders on Kähler manifolds: (quasi-)plurisubharmonic observables
本文证明紧致Kähler流形上具有简单上同调作用的全纯自同构的最大熵测度对所有d.s.h.可观测函数具有全阶指数混合性，并由此推导出中心极限定理。
The goal of this note is to present some recent results of our research concerning multiplier ideal sheaves on complex spaces and singularities of plurisubharmonic functions. We firstly introduce multiplier ideal sheaves on complex spaces (\emph{not} necessarily normal) via Ohsawa's extension measure, as a special case of which, it turns out to be the so-called Mather-Jacobian multiplier ideals in the algebro-geometric setting. As applications, we obtain a reasonable generalization of (algebraic) adjoint ideal sheaves to the analytic setting and establish some extension theorems on Kähler mani…
This note establishes smooth approximation from above for J-plurisubharmonic functions on an almost complex manifold (X,J). The following theorem is proved. Suppose X is J-pseudoconvex, i.e., X admits a smooth strictly J-plurisubharmonic exhaustion function. Let u be an (upper semi-continuous) J-plurisubharmonic function on X. Then there exists a sequence {u_j} of smooth, strictly J-plurisubharmonic functions point-wise decreasing down to u. On any almost complex manifold (X,J) each point has a fundamental neighborhood system of J-pseudoconvex domains, and so the theorem above establishes loca…
Answering a question of Lindholm, we prove strict density inequalities for sampling and interpolation in Fock spaces of entire functions in several complex variables defined by a plurisubharmonic weight. In particular, these spaces do not admit a set that is simultaneously sampling and interpolating. To prove optimality of the density conditions, we construct sampling sets with a density arbitrarily close to the critical density. The techniques combine methods from several complex variables (estimates for $\bar \partial$) and the theory of localized frames in general reproducing kernel Hilbert…
In this paper, we establish the quaternionic versions of the potential description of various "small" sets related to the quaternionic plurisubharmonic functions in $\mathbb{H}^n$. We use the quaternionic capacity introduced in \cite{wan4} to characterize the $(-\infty)$-sets of plurisubharmonic functions, as the sets of the vanishing capacity. The latter requirement is also equivalent to the negligibility of the set. We also prove the Josefson's theorem on the equivalence of the locally and globally quaternionic polar sets in $\mathbb{H}^n$, following the method of Bedford-Taylor.
For families of continuous plurisubharmonic functions we show that, in a local sense, separately bounded above implies bounded above.
On rigid $q$-plurisubharmonic functions and $q$-pseudoconvex tube domains in $\mathbb{C}^n$
本文证明管状域上的 $q$-多次调和函数等价于基域上的实 $q$-凸函数，并由此刻画 $q$-伪凸管状域，应用于仿射线性映射图的补集和 Reinhardt 域。
This paper is devoted to various applications of Hardy-Sobolev type inequalities. We derive a new $L^2$ estimate for the $\bar{\partial}-$equation on ${\mathbb C}^n$ which yields a quantitative generalization of the Hartogs extension theorem to the case when the singularity set is not necessary compact. We show that for any negative subharmonic function $ψ$ on ${\mathbb R}^n$, $n>2$, the BMO norm of $\log |ψ|$ is bounded above by $2\sqrt{n-2}$ and $|ψ|^γ$ satisfies a reverse Hölder inequality for every $0<γ<1$. We also show that every plurisubharmonic function is locally BMO. Several Liouville…
Maximal Plurisubharmonic Functions and Fujii-Seo Determinants in Hilbert spaces
本文提出利用 Fujii-Seo 正则化确定性描述极值全纯亚调和函数，定义 Fujii-Seo 确定性密度并研究其与 Levi 形的谱端点关系，证明极值性与该密度为零等价，建立全局退化条件和比较原理。
In the first part of this paper, we study the properties of some particular plurisubharmonic functions, namely the toric ones. The main result of this part is a precise description of their multiplier ideal sheaves, which generalizes the algebraic case studied by Howald. In the second part, almost entirely independent of the first one, we generalize the notion of the adjoint ideal sheaf used in algebraic geometry to the analytic setting. This enables us to give an analogue of Howald's theorem for adjoint ideals attached to monomial ideals. Finally, using the local Ohsawa-Takegoshi-Manivel theo…
Some inequalities for the weighted log canonical thresholds
本文研究了加权对数canonical阈值的不等式，证明了其斜率受局部Lelong数控制，并导出了其增长下界。
Let $u$ and $v$ be two plurisubharmonic functions in the domain of definition of the Monge-Ampère operator on a domain $Ω\subset {\bf C}^n$. We prove that if $u=v$ on a plurifinely open set $U\subset Ω$ that is Borel measurable, then $(dd^cu)^n|_U=(dd^cv)^n|_U$. This result was proved by Bedford and Taylor in the case where $u$ and $v$ are locally bounded, and by El Kadiri and Wiegerinck when $u$ and $v$ are finite, and by Hai and Hiep when $U$ is of the form $U=\bigcup_{j=1}^m\{φ_j>ψ_j\}$, where $φ_j$, $ψ_j$, $j=1,...,m$, are plurisubharmonic functions on $Ω$.
We prove a local regularity (and a corresponding a priori estmate) for plurisubharmonic solutions of the nondegenerate complex Monge-Ampére equation assuming that their $W^{2,p}$-norm is under control for some $p>n(n-1)$. This condition is optimal. We use in particular some methods developed by Trudinger and an $L^q$-estimate for the complex Monge-Ampére equation due to Kołodziej.
On octonionic Monge-Ampère equation and pluripotential theory associated to octonionic plurisubharmonic functions of two variables
本文研究了二变量八元数 plurisubharmonic 函数的 Monge-Ampère 方程和 pluripotential 理论，解决了八元数非结合性问题，并建立了相关函数的正则性与容量性质。
If $(X,J)$ is an almost complex manifold, then a function $u$ is said to be plurisubharmonic on $X$ if it is upper semi-continuous and its restriction to every local pseudo-holomorphic curve is subharmonic. As in the complex case, it is conjectured that plurisubharmonicity is equivalent to the fact that the $(1,1)$-current $i\partial_{_J}\bar{\partial}_{_J}u$ is positive, (the $(1,1)$-current $i\partial_{_J}\bar{\partial}_{_J}u$ need not be closed here). The conjecture is trivial if $u$ is of class ${\cal C}^2$. The result is elementary in the complex integrable case because the operator $i\pa…
Perron envelopes with globally bounded minorants
研究上半连续函数\(f\)的受限佩龙包络，证明经典位势理论中若正则化是次调和的则受限包络自动上半连续，通过构造反例表明多重位势理论中类似结论不成立，即不能去掉例外多重极集。
We prove that if the modulus of continuity of a plurisubharmonic subsolution satisfies a Dini type condition then the Dirichlet problem for the complex Monge-Ampère equation has the continuous solution. The modulus of continuity of the solution is also given if the right hand side is locally dominated by capacity.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。