We first show that the canonical solution operator to d-bar restricted to (0,1)-forms with holomorphic coefficients can be expressed by an integral operator using the Bergman kernel. This result is used to prove that in the case of the unit disc in C the canonical solution operator to d-bar restricted to (0,1)-forms with holomorphic coefficients is a Hilbert-Schmidt operator. In the sequel we give a direct proof of the last statement using orthonormal bases and show that in the case of polydisc and the unit ball in C^n, n>1, the corresponding operator fails to be a Hilbert-Schmidt operator.
In this paper we obtain a necessary and sufficient condition for the canonical solution operator to $\overline \partial $ restricted to radial symmetric Bergman spaces to be a Hilbert-Schmidt operator. We also discuss compactness of the solution operator in spaces of entire functions in one variable. In the sequel we consider several examples and also treat the case of weighted spaces of entire functions in several variables.
In this paper, we investigate a restricted version of Bergman kernels for high powers of a big line bundle over a smooth projective variety. The geometric meaning of the leading term is specified. As a byproduct, we derive some integral representations for the restricted volume.
The recent theorem by D. Luecking that finite rank Toeplitz-Bergman operators must be generated by a measure consisting of finitely many point masses is carried over to the many-dimensional case.
In this paper, we study the Bergman kernel $B_φ(x,y)$ of generalized Bargmann-Fock spaces in the setting of Clifford algebra. The versions of $L^2$-estimate method and weighted subharmonic inequality for Clifford algebra are established. Consequently we show the existence of $B_φ(x,y)$ and then give some estimates on and off the diagonal. As a by-product, we also obtain an upper estimate of the weighted harmonic Bergman kernel.
We show that the exponential map of the Bochner connection on the restricted holomorphic tangent bundle of a complex manifold admitting the positive-definite Bergman metric coincides with the inverse of Bergman's representative map. We also present a generalization of the Lu theorem, as an application.
In this paper we study the compactness of operators on the Bergman space of the unit ball and on very generally weighted Bargmann-Fock spaces in terms of the behavior of their Berezin transforms and the norms of the operators acting on reproducing kernels. In particular, in the Bergman space setting we show how a vanishing Berezin transform combined with certain (integral) growth conditions on an operator $T$ are sufficient to imply that the operator is compact. In the weighted Bargmann-Fock space setting we show that the reproducing kernel thesis for compactness holds for operators satisfying…
We introduce and study a generalization of the classical weighted Bergman and Dirichlet spaces on the unit ball in high dimension, the Bergman-Dirichlet spaces. Their counterparts on the whole $n$-complex space, the Bargmann-Dirichlet spaces, are also introduced and studied. Mainly, we give a complete description of the considered spaces, including orthonormal basis and the explicit formulas for their reproducing kernel functions. Moreover, we investigate their asymptotic behavior when the curvature goes to $0$.
We completely characterize the simultaneous membership in the Schatten ideals $S_ p$, $0<p<\infty$ of the Hankel operators $H_ f$ and $H_{\bar{f}}$ on the Bergman space, in terms of the behaviour of a local mean oscillation function, proving a conjecture of Kehe Zhu from 1991.
We introduce new functional spaces that generalize the weighted Bergman and Dirichlet spaces on the disk D(0,R) in the complex plane and the Bargmann-Fock spaces on the whole complex plane. We give a complete description of the considered spaces. Mainly, we are interested in giving explicit formulas for their reproducing kernel functions and their asymptotic behavior as R goes to infinity.
The author showed that a sequence in the unit disk is a zero sequence for the Bergman space $A^p$ if and only if a certain weighted space $L^p(W}$ contains a nontrivial analytic function. In this paper it is shown that the sequence is an interpolating sequence for $A^p$ if and only if it is separated in the hyperbolic metric and the $\bar\partial$-equation $(1 - |z|^2)\bar\partial u = f$ has a solution $u$ belonging to $L^p(W)$ for every $f$ in $L^p(W)$.
The purpose of the paper is to study the operators on the weighted Bergman spaces on the unit disk ${\mathbb{D}}$, denoted by $A^{p}_{λ,w}({\mathbb{D}})$, that are associated with a class of generalized analytic functions, named the $λ$-analytic functions, and with a class of radial weight functions $w$. For $λ\ge0$, a $C^2$ function $f$ on ${\mathbb D}$ is said to be $λ$-analytic if $D_{\bar{z}}f=0$, where $D_{\bar{z}}$ is the (complex) Dunkl operator given by $D_{\bar{z}}f=\partial_{\bar{z}}f-λ(f(z)-f(\bar{z}))/(z-\bar{z})$. It is shown that, for $2λ/(2λ+1)\le p\le1$, the boundedness of an o…
We consider the problem of finding the best approximation to $\bar{z}$ in the Bergman Space $A^{2}(Ω)$. We show that this best approximation is the derivative of the solution to the Dirichlet problem on $\partialΩ$ with data $\left|z\right|^{2}$ and give examples of domains where the best approximation is a polynomial, or a rational function. Finally, we obtain the "isoperimetric sandwich" for $dist(\overline{z},Ω)$ that yields the celebrated St. Venant inequality for torsional rigidity.
We give a Hörmander type $L^2-$estimate for the $\bar{\partial}-$equation with respect to the measure $δ_Ω^{-α}dV$, $α<1$, on any bounded pseudoconvex domain with $C^2-$boundary. Several applications to the function theory of weighed Bergman spaces $A^2_α(Ω)$ are given, including a corona type theorem, a Gleason type theorem, together with a density theorem. We investigate in particular the boundary behavior of functions in $A^2_α(Ω)$ by proving an analogue of the Levi problem for $A^2_α(Ω)$ and giving an optimal Gehring type estimate for functions in $A^2_α(Ω)$. A vanishing theorem for $A^2_1…
In this paper, we investigate the $\partial$-complex on weighted Bergman spaces on Hermitian manifolds satisfying a certain holomorphicity/duality condition. This generalizes the situation of the Segal-Bargmann space in $\mathbb{C}^n$, studied earlier by the first-named author, in which the adjoint of the differentiation is the multiplication by $z$. The results are applied to two important examples in the unit ball, namely, the complex hyperbolic metric and a conformally Kähler metric which are related to Bergman spaces with so-called "exponential" and "standard" weights, respectively. In par…
The aim of the present paper is three folds. Firstly, we complete the study of the weighted hyperholomorphic Bergman space of the second kind on the ball of radius $R$ centred at the origin. The explicit expression of its Bergman kernel is given and can be written in terms of special hypergeometric functions of two non-commuting (quaternionic) variables. Secondly, we introduce and study some basic properties of an associated integral transform, the quaternionic analogue of the so-called second Bargmann transform for the holomorphic Bergman space. Finally, we establish the asymptotic behavior a…
The problem of describing the range of a Bergman space B_2(G) under the Cauchy transform K for a Jordan domain G was solved by Napalkov (Jr) and Yulmukhametov. It turned out that K(B_2(G))=B_2^1(C\bar G) if and only if G is a quasidisk; here B_2^1(C\bar G) is the Dirichlet space of the complement of \bar G. The description of K(B_2(G)) for an integrable Jordan domain is given in [S. Merenkov, "On the Cauchy transform of the Bergman space", Mat. Fiz. Anal. Geom., 7 (2000), no. 1, 119-127]. In the present paper we give a description of K(B_2(G,ω)) analogous to the one given in [S. Merenkov, "On …
Let D be a bounded pseudoconvex domain in $C^n, n\geq 2, 0\leq p\leq n,$ and $1\leq q\leq n-1.$ We show that compactness of the dbar-Neumann operator, $N_{p,q+1},$ on square integrable (p,q+1)-forms is equivalent to compactness of the commutators $[P_{p,q}, \bar{z}_j]$ on square integrable dbar-closed (p,q)-forms for $1\leq j\leq n$ where $P_{p,q}$ is the Bergman projection on (p,q)-forms. We also show that compactness of the commutator of the Bergman projection with functions continuous on the closure percolates up in the dbar-complex on dbar-closed forms and square integrable holomorphic for…
Given a planar domain $Ω$, the Bergman analytic content measures the $L^{2}(Ω)$-distance between $\bar{z}$ and the Bergman space $A^{2}(Ω)$. We compute the Bergman analytic content of simply-connected quadrature domains with quadrature formula supported at one point, and we also determine the function $f \in A^2(Ω)$ that best approximates $\bar{z}$. We show that, for simply-connected domains, the square of Bergman analytic content is equivalent to torsional rigidity from classical elasticity theory, while for multiply-connected domains these two domain constants are not equivalent in general.
The range of the Bergman space B_2(G) under the Cauchy transform K is described for a large class of domains. For a quasidisk G the relation K(B_2^*(G))=B_2^1(\mathbb C\setminus\bar{G}) is proved.
Let $(X,ω)$ be a compact Kähler manifold. Let $(L,h)$ be a hermitian holomorphic line bundle over $X$, such that $Θ_{L,h}\geq -\varepsilonω$ for a small $\varepsilon>0$, $E$ be a holomorphic line bundle over $X$. For $k\in \mathbb{N}_+$, denote by $X_k:=(X,ω^k)$ the Kähler manifold $X$ with new scaled metric $ω^k=kω$. Estimates of the number of eigenvalues smaller than $λ$ of the $\debar$-Laplacian on forms on $X_k$ with values in $L^k\otimes E$ are presented for $0\leq λ<k$. In particular, when $λ=0$, we get a numeric bound for the cohomology groups.
The boundedness of the small Hankel operator $h_f^ν(g)=P_ν(f\bar{g})$, induced by an analytic symbol $f$ and the Bergman projection $P_ν$ associated to $ν$, acting from the weighted Bergman space $A^p_\om$ to $A^q_ν$ is characterized on the full range $0<p,q<\infty$ when $ω,ν$ belong to the class $\mathcal{D}$ of radial weights admitting certain two-sided doubling conditions. Certain results obtained are equivalent to the boundedness of bilinear Hankel forms, which are in turn used to establish the weak factorization $A_η^{q}=A_ω^{p_{1}}\odot A_ν^{p_{2}}$, where $1<q,p_{1},p_{2}<\infty$ such t…
Given a regular weight $ω$ and a positive Borel measure $μ$ on the unit disc $\mathbb{D}$, the Toeplitz operator associated with $μ$ is $$ \mathcal{T}_μ(f)(z)=\int_{\mathbb{D}} f(ζ)\bar{B_z^ω(ζ)}\,dμ(ζ), $$ where $B^ω_{z}$ are the reproducing kernels of the weighted Bergman space $A^2_ω$. We describe bounded and compact Toeplitz operators $\mathcal{T}_μ:A^p_ω\to A^q_ω$, $1<q,p<\infty$, in terms of Carleson measures and the Berezin transform $$ \widetilde{\mathcal{T}_μ}(z)=\frac{\langle\mathcal{T}_μ(B^ω_{z}), B^ω_{z} \rangle_{A^2_ω}}{\|B_z^ω\|^2_{A^2_ω}}. $$ We also characterize Schatten class …
The goal of this note is to explore the Bergman projection on forms. In particular, we show that some of most basic facts used to construct the Bergman kernel on functions, such as pointwise evaluation in $L^2_{0,q}(Ω)\cap\ker\bar\partial_q$, fail for $(0,q)$-forms, $q \geq 1$. We do, however, provide a careful construction of the Bergman kernel and explicitly compute the Bergman kernel on $(0,n-1)$-forms. For the ball in $\mathbb{C}^2$, we also show that the size of the Bergman kernel on $(0,1)$-forms is not governed by the control metric, in stark contrast to Bergman kernel on functions.
Let $X$ be a compact hyperbolic Riemann surface equipped with the Poincaré metric. For any integer $k\geq 2$, we investigate the Bergman kernel associated to the holomorphic Hermitian line bundle $Ω^{\otimes k}_X$, where $Ø$ is the holomorphic cotangent bundle of $X$. Our first main result estimates the corresponding Bergman metric on $X$ in terms of the Poincaré metric. We then consider a certain natural embedding of the symmetric product of $X$ into a Grassmannian parametrizing subspaces of fixed dimension of the space of all global holomorphic sections of $Ω^{\otimes k}_X$. The Fubini-Study…
We obtain Littlewood-Paley formulas for Fock spaces $\mathcal{F}^q_{β,ω}$ induced by weights $ω\in A^{restricted}_\infty=\cup_{1\le p<\infty}A^{restricted}_{p}$, where $A^{restricted}_{p}$ is the class of weights such that the Bergman projection $P_α$, on the classical Fock space $\mathcal{F}^2_α$, is bounded on $$\mathcal{L}^p_{α,ω}:=\left\{f:\, \int_{\mathbb{C}}|f(z)|^pe^{-p\fracα{2}|z|^2}\,ω(z)dA(z)<\infty \right\}. $$ Using these equivalent norms for $\mathcal{F}^q_{β,ω}$ we characterize the Carleson measures for weighted Fock-Sobolev spaces $\mathcal{F}^{q,n}_{β,ω}$.
Quaternionic analysis is regarded as a broadly accepted branch of classical analysis referring to many different types of extensions of the Cauchy-Riemann equations to the quaternion skew field $\mathbb H$. In this work we deals with a well-known $(θ, u)-$hyperholomorphic $\mathbb H-$valued functions class related to elements of the kernel of the Helmholtz operator with a parameter $u \in\mathbb H$, just in the same way as the usual quaternionic analysis is related to the set of the harmonic functions. Given a domain $Ω\subset\mathbb H\cong \mathbb C^2$, we define and study a Bergman spaces th…
The usual examples of Bergman spaces consist of the closure of an algebra of holomorphic functions on a domain. One can also take the real part of such functions, but essentially one is looking at the same object. In this paper the author shows that the properties of real analyticity and bounded point evaluation can be preserved under closure in a weighted $L^p$ space, if one takes the algebra generated by $z$ and $(\bar z)g(z)$, where $g$ is an entire function satisfying some condition on the distribution of zeros near $\infty$. The condition is not difficult to satisfy with simple examples. …
In a celebrated conjecture D.Sarason stated a necessary and sufficient condition on the symbols f, g in the Bergman space, L^2_a(Δ) of the unit disk, Δ, for the products T_{f}T_{\bar g} of associated Toeplitz operators to be bounded (respectively compact) on L^2_a(Δ) . K. Stroethoff and D. Zheng proved that these conditions are necessary. We prove the sufficiency of these conditions, thus solvind Sarason's conjecture.
In this paper, we show that the Bergman functions on the Siegel upper half-space enjoy the following uniqueness property: if $f\in A_t^p(\calU)$ and $\bfL^α f\equiv 0$ for some nonnegative multi-index $α$, then $f\equiv 0$, where $\bfL^α:=(\bfL_1)^{α_1} \cdots (\bfL_n)^{α_n}$ with $\bfL_j = \frac{\partial }{\partial z_j} + 2i \bar{z}_j \frac{\partial }{\partial z_n}$ for $j=1,\ldots, n-1$ and $\bfL_n = \frac{\partial }{\partial z_n}$. As a consequence, we obtain a new integral representation for the Bergman functions on the Siegel upper half-space. In the end, as an application, we derive a re…
We show that under mild conditions, a Gaussian analytic function $\boldsymbol F$ that a.s. does not belong to a given weighted Bergman space or Bargmann-Fock space has the property that a.s. no non-zero function in that space vanishes where $\boldsymbol F$ does. This establishes a conjecture of Shapiro (1979) on Bergman spaces and allows us to resolve a question of Zhu (1993) on Bargmann-Fock spaces. We also give a similar result on the union of two (or more) such zero sets, thereby establishing another conjecture of Shapiro (1979) on Bergman spaces and allowing us to strengthen a result of Zh…
In this paper we investigate when a finite sum of products of two Toeplitz operators with quasihomogeneous symbols is a finite rank perturbation of another Toeplitz operator on the Bergman space. We discover a noncommutative convolution $\diamond$ on the space of quasihomogeneous functions and use it in solving the problem. Our main results show that if $F_j, G_j$ ($1\leq j\leq N$) are polynomials of $z$ and $\bar{z}$ then $\sum_{j=1}^{N}T_{F_j}T_{G_j}-T_{H}$ is a finite rank operator for some $L^{1}$-function $H$ if and only if $\sum_{j=1}^{N}F_j\diamond G_j$ belongs to $L^1$ and $H=\sum_{j=1…
Firstly, we consider the unitary geometry of two exceptional Cartan domains $\Re_{V}(16)$ and $\Re_{VI}(27)$. We obtain the explicit formulas of Bergman kernal funtion, Cauchy-Szegö kernel, Poinsson kernel and Bergman metric for $\Re_{V}(16)$ and $\Re_{VI}(27)$. Secondly, we give a class of invariant differential operators for Cartan domain $\Re$ of dimension n: If the Bergman metric of $\Re$ is $$ds^{2}=\sum\limits_{i,j=1}^{n}g_{ij}dz_{i}d\bar{z}_{j}, T(z,\bar{z})=(g_{ij})$$ and $$L(u)=T^{-1}(z,\bar{z}) [\frac{\partial^2u}{\partial z_i\partial\bar{z}_j}],$$then $$L_j(u)=\{\mbox {The sum of al…
In this article, we use a Berndtsson-Andersson operator and the Bergman metric in order to solve the $\bar\partial$ equation on convex domains of finite type for forms satisifying a Carleson condition and get norm estimates of the solution in term of the Carleson norm.
We describe the range of of weighted Cauchy transform and its $k$-Bergman projection when action on weighted true poly-Bargmann spaces constituting an orthogonal Hilbertian decomposition of the Hilbert space of Gaussian functions on the complex plane.
By considering intrinsic geometric conditions, we introduce a new class of domains in complex Euclidean space. This class is invariant under biholomorphism and includes strongly pseudoconvex domains, finite type domains in dimension two, convex domains, $\mathbb{C}$-convex domains, and homogeneous domains. For this class of domains, we show that compactness of the $\bar{\partial}$-Neumann operator on $(0,q)$-forms is equivalent to the boundary not containing any $q$-dimensional analytic varieties (assuming only that the boundary is a topological submanifold). We also prove, for this class of d…
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…
The reproducing kernel function of a weighted Bergman space over domains in ${\mathbb C}^d$ is known explicitly in only a small number of instances. Here, we introduce a process of orthogonal norm expansion along a subvariety of codimension 1, which also leads to a series expansion of the reproducing kernel in terms of reproducing kernels defined on the subvariety. The problem of finding the reproducing kernel is thus reduced to the same kind of problem when one of the two entries is on the subvariety. A complete expansion of the reproducing kernel may be achieved in this manner. We carry this…
The regularity of the $\bar{\partial}$-problem on the domain $\{|{z_1}|<|{z_2}|<1\}$ in $\mathbb{C}^2$ is studied using $L^2$ methods. Estimates are obtained for the canonical solution in weighted $L^2$-Sobolev spaces with a weight that is singular at the point $(0,0)$. The canonical solution for $\dbar$ with weights is exact regular in the weighted Sobolev spaces away from the singularity $(0,0)$. In particular, the singularity of the Bergman projection for the Hartogs triangle is contained at the singular point and it does not propagate.
We find sufficient conditions for a discrete sequence to be interpolating or sampling for certain generalized Bergman spaces on open Riemann surfaces. As in previous work of Bendtsson, Ortega-Cerda, Seip, Wallsten and others, our conditions for interpolation and sampling are as follows: If a certain upper density of the sequence has value less that 1, then the sequence is interpolating, while if a certain lower density has value greater than 1, then the sequence is sampling. However, unlike previous work, we construct an infinite number of densities, naturally parameterized by $L^1_{loc} ([0,\…
Let $Ω$ be a pseudoconvex domain with $C^2$-smooth boundary in $\mathbb CP^n$. We prove that the $\bar\partial-Neumann operator $N$ exists for $(p,q)$-forms on $Ω$. Furthermore, there exists a $t_0>0$ such that the operators $N$, $\bar\partial^*N$, $\bar\partial N$ and the Bergman projection are regular in the Sobolev space $W^t (\barΩ) $ for $t<t_0$. The boundary estimates above have applications in complex geometry. We use the estimates to prove the nonexistence of $C^{2, α}$ real Levi-flat hypersurfaces in $\mathbb CP^n$. We also show that there exist no non-zero $L^2$-holomorphic $(p, 0)$-…
We construct a metric on a vector bundle $E \rightarrow Z$ restricted to a conic neighbourhood of a relatively compact $1$-convex section of a submersion $Z \rightarrow X$ with at most polynomial poles at the boundary and positive Nakano curvature tensor in bidegree $(p,q).$
