We obtain sharp ranges of $L^p$-boundedness for domains in a wide class of Reinhardt domains representable as sub-level sets of monomials, by expressing them as quotients of simpler domains. We prove a general transformation law relating $L^p$-boundedness on a domain and its quotient by a finite group. The range of $p$ for which the Bergman projection is $L^p$-bounded on our class of Reinhardt domains is found to shrink as the complexity of the domain increases.
We investigate $L^p$ regularity of weighted Bergman projections on the unit disc and $L^p$ regularity of ordinary Bergman projections in higher dimensions.
We investigate Lp regularity of weighted Bergman projections and zeros of weighted Bergman kernels for the weights that are radially symmetric and comparable to 1 on the unit disc.
Although the Bergman projection operator $\mathbf{B}_Ω$ is defined on $L^2(Ω)$, its behavior on other $L^p(Ω)$ spaces for $p\not =2$ is an active research area. We survey some of the recent results on $L^p$ estimates on the Bergman projection.
We prove a general version of \cite[Theorem 4.1]{Boas84} to obtain Sobolev estimates for weighted Bergman projections on convex Reinhardt domains by using the Prékopa-Leindler inequality.
We show that weighted Bergman projections, corresponding to weights of the form $M(z)(1-|z|^2)^α$ where $α>-1$ and $M(z)$ is a radially symmetric, strictly positive and at least $C^2$ function on the unit disc, are $L^p$ regular.
We prove a weighted Sobolev estimate of the Bergman projection on the Hartogs triangle, where the weight is some power of the distance to the singularity at the boundary. This method also applies to the $n$-dimensional generalization of the Hartogs triangle.
If a bounded domain can be covered by the polydisk through a rational proper holomorphic map, then the Bergman projection is $L^p$-bounded for $p$ in a certain range depending on the ramified rational covering. This result can be applied to the symmetrized polydisk and to the Hartogs triangle with exponent $γ$.
Let D be a smoothly bounded domain in a complex vector space of dimension n. Suppose that D has a smooth defining function, such that the sum of any q eigenvalues of its complex Hessian are non-negative on the closure of D. We show that this implies global regularity of the Bergman projection on (0,j)-forms for j larger or equal to q-1.
The quotient of the Szegö and Bergman kernels for a smooth bounded pseudoconvex domains in ${\mathbb C}^n$ is bounded from above by $δ|\logδ|^p$ for any $p>n$, where $δ$ is the distance to the boundary. For a class of domains that includes those of D'Angelo finite type and those with plurisubharmonic defining functions, the quotient is also bounded from below by $δ|\logδ|^p$ for any $p<-1$. Moreover, for convex domains, the quotient is bounded from above and below by constant multiples of $δ$.
In this paper we investigate a class of domains $Ω^{n+1}_k =\{(z,w)\in \mathbb{C}^n\times \mathbb{C}: |z|^k < |w| < 1\}$ for $k \in \mathbb{Z}^+$ which generalizes the Hartogs triangle. we first obtain the new explicit formulas for the Bergman kernel function on these domains and further give a range of $p$ values for which the $L^p$ boundedness of the Bergman projection holds. This range of $p$ is shown to be sharp.
We study linear extremal problems in the Bergman space $A^p$ of the unit disc, where $1 < p < \infty$. Given a functional on the dual space of $A^p$ with representing kernel $k \in A^q$, where $1/p + 1/q = 1$, we show that if $q \le q_1 < \infty$ and $k \in H^{q_1}$, then $F \in H^{(p-1)q_1}$. This result was previously known only in the case where $p$ is an even integer. We also discuss related results.
In this paper, we study the Bergman metric of a finite ball quotient $\mathbb{B}^n/Γ$, where $Γ\subseteq \mathrm{Aut}(\mathbb{B}^n)$ is a finite, fixed point free, abelian group. We prove that this metric is Kähler--Einstein if and only if $Γ$ is trivial, i.e., when the ball quotient $\mathbb{B}^n/Γ$ is the unit ball $\mathbb{B}^n$ itself. As a consequence, we establish a characterization of the unit ball among normal Stein spaces with isolated singularities and abelian fundamental groups in terms of the existence of a Bergman-Einstein metric.
In this paper we consider a punctured Riemann surface endowed with a Hermitian metric that equals the Poincar{é} metric near the punctures, and a holomorphic line bundle that polarizes the metric. We show that the quotient of the Bergman kernel of high tensor powers of the line bundle and of the Bergman kernel of the Poincar{é} model near the singularity tends to one up to arbitrary negative powers of the tensor power.
We obtain estimates of commutators of singular integral operators in Lipschitz spaces and apply the results to boundary regularity of elliptic equations in the plane. We obtain an explicit asymptotic formula for the Bergman projection.
The Fock-Bargmann-Hartogs domain $D_{n, m}(μ)$ is defined by $$ D_{n, m}(μ):=\{(z, w)\in\mathbb{C}^{n}\times\mathbb{C}^m:\Vert w \Vert^2<e^{-μ\Vert z \Vert^2}\},$$ where $μ>0.$ The Fock-Bargmann-Hartogs domain $D_{n, m}(μ)$ is an unbounded strongly pseudoconvex domain with smooth real-analytic boundary. In this paper, we first compute the weighted Bergman kernel of $D_{n, m}(μ)$ with respect to the weight $(-ρ)^α$, where $ρ(z,w):=\|w\|^2-e^{-μ\|z\|^2}$ is a defining function for $D_{n, m}(μ)$ and $α>-1$. Then, for $p\in [1,\infty),$ we show that the corresponding weighted Bergman projection $P…
It is shown that even a weak multidimensional Suita conjecture fails for any bounded non-pseudoconvex domain with $\mathcal C^1$ boundary: the product of the Bergman kernel by the volume of the indicatrix of the Azukawa metric is not bounded below. This is obtained by finding a direction along which the Sibony metric tends to infinity as the base point tends to the boundary. The analogous statement fails for a Lipschitz boundary. For a general $\mathcal C^1$ boundary, we give estimates for the Sibony metric in terms of some directional distance functions. For bounded pseudoconvex domains, the …
We compute explicitly the Bergman kernels of all two dimensional monomial polyhedra, a class of domains including the Hartogs triangle and some of its generalizations. The kernel is computed from the representation of such domains as quotient of the product of a disc and punctured disc.
We discuss the regularity of extremal functions in certain weighted Bergman and Fock type spaces. Given an appropriate analytic function $k$, the corresponding extremal function is the function with unit norm maximizing $\text{Re} \int_Ωf(z) \overline{k(z)}\, ν(z) \, dA(z)$ over all functions $f$ of unit norm, where $ν$ is the weight function and $Ω$ is the domain of the functions in the space. We consider the case where $ν(z)$ is a decreasing radial function satisfying some additional assumptions, and where $Ω$ is either a disc centered at the origin or the entire complex plane. We show that …
Regularity and irregularity of the Bergman projection on $L^p$ spaces is established on a natural family of bounded, pseudoconvex domains. The family is parameterized by a real variable $γ$. A surprising consequence of the analysis is that, whenever $γ$ is irrational, the Bergman projection is bounded only for $p=2$.
We present a method of obtaining a lower bound estimate of the curvatures of the Bergman metric without using the regularity of the kernel function on the boundary. As an application, we prove the existence of an uniform lower bound of the bisectional curvatures of the Bergman metric of a smooth bounded pseudoconvex domain near the boundary with constant Levi rank.
Sobolev regularity of the Bergman and Szegö projections in terms of $\overline{\partial}\oplus\overline{\partial}^{*}$ and $\overline{\partial}_{b}\oplus\overline{\partial}_{b}^{*}$
We obtain $L^p$ regularity for the Bergman projection on some Reinhardt domains. We start with a bounded initial domain $Ω$ with some symmetry properties and generate successor domains in higher {dimensions}. We prove: If the Bergman kernel on $Ω$ satisfies appropriate estimates, then the Bergman projection on the successor is $L^p$ bounded. For example, the Bergman projection on successors of strictly pseudoconvex initial domains is bounded on $L^p$ for $1<p<\infty$. The successor domains need not have smooth boundary nor be strictly pseudoconvex.
We bound integral means of the Bergman projection of a function in terms of integral means of the original function. As an application of these results, we bound certain weighted Bergman space norms of derivatives of Bergman projections in terms of weighted $L^p$ norms of certain derivatives of the original function in the $θ$ direction. These results easily imply the well known result that the Bergman projection is bounded from the Sobolev space $W^{k,p}$ into itself for $1 < p < \infty$. We also apply our results to derive certain regularity results involving extremal problems in Bergman spa…
Let $Ω\subset \mathbb{C}^n$ for $n\geq 2$ be a bounded pseudoconvex domain with a $C^2$-smooth boundary. We study the compactness of composition operators on the Bergman spaces of smoothly bounded convex domains. We give a partial characterization of compactness of the composition operator (with sufficient regularity of the symbol) in terms of the behavior of the Jacobian on the boundary. We then construct a counterexample to show the converse of the theorem is false.
In this paper we discuss some recent results concerning the regularity and irregularity of the Bergman and Szegő projections on some weakly pseudoconvex domains that have the common feature to possess a nontrivial Nebenhülle.
We study the asymptotic properties of the Bergman kernels associated to tensor powers of a positive line bundle on a compact Kähler manifold. We show that if the Kähler potential is in Gevrey class $G^a$ for some $a>1$, then the Bergman kernel accepts a complete asymptotic expansion in a neighborhood of the diagonal of shrinking size $k^{-\frac12+\frac{1}{4a+4\varepsilon}}$ for every $\varepsilon>0$. These improve the earlier results in the subject for smooth potentials, where an expansion exists in a $(\frac{\log k}{k})^{\frac12}$ neighborhood of the diagonal. We obtain our results by finding…
In this paper we obtain sharp weighted estimates for solutions of the $\partial$-equation in a lineally convex domains of finite type. Precisely we obtain estimates in spaces of the form L p (Ω,$δ$ $γ$), $δ$ being the distance to the boundary, with gain on the index p and the exponent $γ$. These estimates allow us to extend the L p (Ω,$δ$ $γ$) and lipschitz regularity results for weighted Bergman projection obtained in [CDM14b] for convex domains to more general weights.
We study estimates for Hardy space norms of analytic projections. We first find a sufficient condition for the Bergman projection of a function in the unit disc to belong to the Hardy space $H^p$ for $1 < p < \infty$. We apply the result to prove a converse to an extension of Ryabykh's theorem about Hardy space regularity for Bergman space extremal functions. We also prove that the $H^q$ norm of the Szegö projection of $F^{p/2} \overline{F}^{(p/2)-1}$ cannot be too small if $F$ is analytic, for certain values of $p$ and $q$. We apply this to show that the best analytic approximation in $L^p$ o…
In this paper we investigate the regularity properties of weighted Bergman projections for smoothly bounded pseudo-convex domains of finite type in $\mathbb{C}^{n}$. The main result is obtained for weights equal to a non negative rational power of the absolute value of a special defining function $ρ$ of the domain: we prove (weighted) Sobolev-$L^{p}$ and Lipchitz estimates for domains in $\mathbb{C}^{2}$ (or, more generally, for domains having a Levi form of rank $\geq n-2$ and for "decoupled" domains) and for convex domains. In particular, for these defining functions, we generalize results o…
We prove the $L^p$ regularity of the weighted Bergman projection on the Hartogs triangle, where the weights are powers of the distance to the singularity at the boundary. The restricted range of $p$ is proved to be sharp. By using a two-weight inequality on the upper half plane with Muckenhoupt weights, we can consider a slightly wider class of weights.
We generalize the inequality being a counterpart of the several complex variables version of the Suita conjecture. For this aim higher order generalizations of the Bergman kernel are introduced. As a corollary some new partial results on the dimension of the Bergman space in pseudoconvex domains are given. A relation between the problem of Wiegerinck on possible dimension of the Bergman space of unbounded pseudoconvex domains in general case and in the case of balanced domains is also shown. Moreover, some classes of domains where the answer to the problem of Wiegerinck is positive are given. …
Let $D\subset\mathbb C^n$ be a bounded, strongly Levi-pseudoconvex domain with minimally smooth boundary. We prove $L^p(D)$-regularity for the Bergman projection $B$, and for the operator $|B|$ whose kernel is the absolute value of the Bergman kernel with $p$ in the range $(1,+\infty)$. As an application, we show that the space of holomorphic functions in a neighborhood of $\bar{D}$ is dense in $\vartheta L^p (D)$.
Precise behavior of the Caratheodory, Kobayashi and Bergman metrics and distances near smooth boundary points of domains in C is found under different assumptions of regularity.
We describe along the guidelines of Kohn "Quantitative estimates..." (1999), the constant E_s which is needed to control the commutator of a totally real vector field T with di-bar* in order to have Sobolev s-regularity of the Bergman projection in any degree of forms, on a smooth pseudoconvex domain D of the complex space. This statement, not explicit in Kohn's paper, yields Straube's Theorem in "A sufficient condition..." (2008). Next, we refine the pseudodifferential calculus at the boundary in order to relate, for a defining function r of D, the operators (T^+)^{-delta/2} and (-r)^{delta/2…
In this paper, we investigate the weak-type regularity of the Bergman projection. The two domains we focus on are the polydisc and the Hartogs triangle. For the polydisc we provide a proof that the weak-type behavior is of "$L\log L$" type. This result is likely known to the experts, but does not appear to be in the literature. For the Hartogs triangle we show that the operator is of weak-type $(4,4)$; settling the question of the behavior of the projection at this endpoint. At the other endpoint of interest, we show that the Bergman projection is not of weak-type $(\frac{4}{3}, \frac{4}{3})$ …
It is shown that the geodesic rays constructed as limits of Bergman geodesics from a test configuration are always of class $C^{1,α}, 0<α<1$. An essential step is to establish that the rays can be extended as solutions of a Dirichlet problem for a Monge-Ampere equation on a Kaehler manifold which is compact.
We show that biholomorphic mappings between two bounded, pseudoconvex domains with smooth boundary extend smoothly to the boundaries of the domains, under a regularity condition on a family of twisted Bergman-like projections. This result is inspired by and generalizes a sufficient condition for extension due to Bell and Ligocka.
We consider the relationship between two sufficient conditions for regularity of the Bergman Projection on smooth, bounded, pseudoconvex domains. We show that if the set of infinite type points is reasonably well-behaved, then the existence of a family of good vector fields in the sense of Boas and Straube implies that the Diederich-Fornaess Index of the domain is equal to one.
