The Szego kernel of a strictly pseudoconvex domain admits a singularity on the boundary diagonal, which consists of a pole and logarithmic type singularity. In this paper, we prove that the integral over the boundary of the coefficient of the logarithmic singularity gives a biholomorphic invariant of a domain, or a CR invariant of the boundary. We also show that the same invariant appears as the coefficient of the logarithmic term of the volume expansion of the domain with respect to the Bergman volume element.
We construct bounded pseudoconvex domains in $\mathbb{C}^2$ for which the Szegö projection operators are unbounded on $L^p$ spaces of the boundary for all $p\not =2$.
Let $(X, T^{1,0}X)$ be a compact strongly pseudoconvex CR manifold of dimension $2n+1$. Assume that $X$ admits a Torus action $T^d$. In this work, we study the behavior of torus equivariant Szegő kernels and prove that the weighted torus equivariant Szegő kernels admit asymptotic expansions.
We consider the Szegö kernel for non-pseudoconvex domains in C^2 given by Ω= {(z,w): Im w > b(Re z)} for b a non-convex even-degree polynomial with positive leading coefficient. This is an extension of results previously obtained by the authors for the case in which b has degree 4. We show that the Szegö kernel has singularities off the diagonal of the boundary of \barΩ \times \barΩ for all such domains, as well as points on the diagonal of the boundary at which it is finite.
We consider the Szegö kernel for domains Ωin C^2 given by Ω= {(z,w): Im w > b(Re z)} where b is a non-convex quartic polynomial with positive leading coefficient. Such domains are not pseudoconvex. We describe the subset of \barΩ \times \barΩ on which the kernel and all its derivatives are finite. In particular, we show that there are points off the diagonal of the boundary at which the Szegö kernel is infitie as well as points on the diagonal at which it is finite.
In this paper, we consider bounded strictly pseudoconvex domains $D\subset \mathbb C^2$ with smooth boundary $M=M^3:=\partial D$. If we consider the asymptotic expansion of the Bergman kernel on the diagonal $$ K_B\sim \frac{ϕ_B}{ρ^{n+1}}+ψ_B\logρ, $$ where $ρ>0$ is a Fefferman defining equation for $D$, then it is well known that the trace of the log term $bψ_B:=(ψ_B)|_M$ on $M$ does not determine the CR geometry of $M$ locally; e.g., the vanishing of $bψ_B$ on an open subset of $M$ does not imply that $M$ is locally spherical there. Nevertheless, the main result in this paper is that if $D\s…
We use Stokes's theorem to establish an explicit and concrete connection between the Bergman and Szegő projections on the disc, the ball, and on strongly pseudoconvex domains.
We construct a pointwise Boutet de Monvel-Sjöstrand parametrix for the Szegő kernel of a weakly pseudoconvex three dimensional CR manifold of finite type assuming the range of its tangential CR operator to be closed; thereby extending the earlier analysis of Christ. This particularly extends Fefferman's boundary asymptotics of the Bergman kernel to weakly pseudoconvex domains in $\mathbb{C}^{2}$, in agreement with D'Angelo's example. Finally our results generalize a three dimensional CR embedding theorem of Lempert.
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 give a Hörmander-type localization principle for the Szegö kernel $S_Ω(z)$. We also show that for each boundary point $z_0$, $S_Ω(z)\gtrsim|z-z_0|^{-\frac{1}{3}}$ holds non-tangentially for any bounded pseudoconvex domain with smooth boundary in ${\mathbb C}^2$.
Locally homogeneous strictly pseudoconvex hypersurfaces in $\mathbb C^2$ were classified by E.\,Cartan in 1932. In this work, we complete the classification of locally homogeneous strictly pseudoconvex hypersurfaces in $\mathbb C^3$.
We show that there are strictly pseudoconvex, real algebraic hypersurfaces in $\bC^{n+1}$ that cannot be locally embedded into a sphere in $\bC^{N+1}$ for any $N$. In fact, we show that there are strictly pseudoconvex, real algebraic hypersurfaces in $\bC^{n+1}$ that cannot be locally embedded into any compact, strictly pseudoconvex, real algebraic hypersurface.
We construct a class of strictly pseudoconvex domains in Cdwhose core has non-empty interior. Consequently these cores are not pluripolar. This answers a question posed by Harz, Shcherbina and Tomassini.
We prove that given a family of strictly pseudoconvex domains varying in C2 topology on domains, there exists a continuously varying family of exposing maps for all boundary points of all domains.
We prove that given a family $(G_t)$ of strictly pseudoconvex domains varying in $\mathcal{C}^2$ topology on domains, there exists a continuously varying family of peak functions $h_{t,ζ}$ for all $G_t$ at every $ζ\in\partial G_t.$
We give a parameter version of Graham-Kerzman approximation theorem for bounded holomorphic functions on strictly pseudoconvex domains. As an application, we present some uniform estimates for the boundary behaviour of the Kobayashi and Carathéodory pseudodistences on such domains.
We give the parameter version of localization theorem for Bergman metric near the boundary points of strictly pseudoconvex domains. The approximation theorem for square integrable holomorphic functions on such domains in the spirit of Graham-Kerzman is proved in the hereby paper, as well.
Let $(X, T^{1,0}X)$ be a compact connected orientable strongly pseudoconvex CR manifold of dimension $2n+1$, $n\geq1$. Assume that $X$ admits a connected compact Lie group $G$ action and a transversal CR $S^1$ action, we compute the coefficients of the first two lower order terms of the equivariant Szegő kernel asymptotic expansions with respect to the $S^1$ action.
It is shown that two strictly pseudoconvex Stein domains with real analytic boundaries have biholomorphic universal coverings provided that their boundaries are locally biholomorphically equivalent. This statement can be regarded as a higher dimensional analogue of the Riemann uniformization theorem.
We study the complex Monge-Ampère equation $(dd^c u)^n=μ$ in a strictly pseudoconvex domain $Ω$ with the boundary condition $u=φ$, where $φ\in C(\partialΩ)$. We provide a non-trivial sufficient condition for continuity of the solution $u$ outside "small sets".
We use the method of pseudoanalytic continuation to obtain a characterization of spaces of holomorphic functions with boundary values in Besov spaces in terms of polynomial approximations.
We solve the $\partial \bar{\partial}$-problem for the differential forms of class $C^\infty$ with boundary value in currents sense defined on a contractible completely strictly pseudoconvex domain of a complex manifold.
We obtain weighted estimates for the $\bar{\partial}$-Neumann operator on intersections of two smooth strictly pseudoconvex domains in $\mathbb{C}^2$. The regularity estimates are described with the use of Sobolev norms with weights which are powers of the defining functions of the two domains.
An extension of the estimates for the squeezing function of strictly pseudoconvex domains obtained recently by J. E. Fornæss and E. Wold in \cite{FW1} is applied to derive a sharp boundary behaviour of invariant metrics and Bergman curvatures.
In this paper we give an asymptotic expansion of the Bergman kernel for certain weakly pseudoconvex tube domains of finite type in C^2. Our asymptotic formula asserts that the singularity of the Bergman kernel at weakly pseudoconvex points is essentially expressed by using two variables; moreover certain real blowing-up is necessary to understand its singularity. The form of the asymptotic expansion with respect to each variable is similar to that in the strictly pseudoconvex case due to C. Fefferman. We also give an analogous result in the case of the Szego kernel.
The main objective of this paper is to survey some recent results on the Chern--Moser question concerning existence of umbilical points on three dimensional CR submanifolds in $\mathbb C^2$.
This work consists of two parts. In the first part, we consider a compact connected strongly pseudoconvex CR manifold $X$ with a transversal CR $S^{1}$ action. We establish an equidistribution theorem on zeros of CR functions. The main techniques involve a uniform estimate of Szegő kernel on $X$. In the second part, we consider a general complex manifold $M$ with a strongly pseudoconvex boundary $X$. By using classical result of Boutet de Monvel-Sjöstrand about Bergman kernel asymptotics, we establish an equidistribution theorem on zeros of holomorphic functions on $\overline M$.
We investigate regularity properties of the $\overline{\partial}$-equation on domains in a complex euclidean space that depend on a parameter. Both the interior regularity and the regularity in the parameter are obtained for a continuous family of pseudoconvex domains. The boundary regularity and the regularity in the parameter are also obtained for smoothly bounded strongly pseudoconvex domains.
We construct a special plurisubharmonic defining function for a smoothly bounded strictly pseudoconvex domain so that the determinant of the complex Hessian vanishes to high order on the boundary. This construction, coupled with regularity of solutions of complex Monge-Ampere equation and the reflection principle, enables us to give a new proof of the Fefferman mapping theorem.
We prove the following: For $ε>0$, let $D_ε$ be the bounded strictly pseudoconvex domain in $\mathbb C^2$ given by \begin{equation*} (\log|z|)^2+(\log|w|)^2<ε^2. \end{equation*} The boundary $M_ε:=\partial D_ε\subset \mathbb C^2$ is a compact strictly pseudoconvex CR manifold without umbilical points. This resolves a long-standing question in complex analysis that goes back to the work of S.-S. Chern and J. K. Moser in 1974.
In recent work by Zimmer it was proved that if $Ω\subset\mathbb C^n$ is a bounded convex domain with $C^\infty$-smooth boundary, then $Ω$ is strictly pseudoconvex provided that the squeezing function approaches one as one approaches the boundary. We show that this result fails if $Ω$ is only assumed to be $C^2$-smooth.
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 $δ$.
We establish Szegő kernel asymptotic expansions on non-compact strictly pseudoconvex complete CR manifolds with transversal CR $\mathbb{R}$-action under certain natural geometric conditions.
Let $D$ be a strictly pseudoconvex domain and $X$ be a singular analytic set of pure dimension $n-1$ in $C^n$ such that $X\cap D\neq \emptyset$ and $X\cap bD$ is transverse. We give sufficient conditions for a function holomorphic on $D\cap X$ to admit a holomorphic extension which belongs to $L^q(D),$ $q\in [1,+\infty[$, or to $BMO(D)$. The extension is given by mean of integral representation formulas and residue currents.
We give sharp and explicit upper bounds for the first positive eigenvalue $λ_1(\Box_b)$ of the Kohn-Laplacian on compact strictly pseudoconvex hypersurfaces in $\mathbb{C}^{n+1}$ in terms of their defining functions. As an application, we show that in the family of real ellipsoids, $λ_1(\Box_b)$ has a unique maximum value at the CR sphere.
Let $Ω\subset\mathbb{C}^n$ be a strictly pseudoconvex Runge domain with $C^2$-smooth defining function, $l\in\mathbb{N},$ $p\in(1,\infty).$ We prove that the holomorphic function $f$ has derivatives of order $l$ in $H^p(Ω)$ if and only if there exists a sequence on polynomials $P_n$ of degree $n$ such that $\sum\limits_{k=1}^{\infty}2^{2lk}\left\lvert f(z)-P_{2^k}(z) \right\rvert^2\in L^p(\partialΩ).$
Our main goal is to describe the integral kernel of the dbar-Neumann operator on certain non-smooth domains, the so-called Henkin-Leiterer domains. We do so by explicitly constructing an integral kernel which accounts for the main mapping properties of the operator. We use our calculations to derive $L^p$ estimates.
The question of existence of umbilical points, in the CR sense, on compact, three dimensional, strictly pseudoconvex CR manifolds was raised in the seminal paper by S.-S. Chern and J. K. Moser in 1974. In the present paper, we consider compact, three dimensional, strictly pseudoconvex CR manifolds that possess a free, transverse action by the circle group $U(1)$. We show that every such CR manifold $M$ has at least one orbit of umbilical points, {\it provided} that the Riemann surface $X:=M/U(1)$ is not a torus. In particular, every compact, circular and strictly pseudoconvex hypersurface in $…
We show that for any bounded domain $Ω\subset\Cp ^n$ of 1-type $2k $ which is locally convexifiable at $p\in bΩ$, having a Stein neighborhood basis, there is a biholomorphic map $f:\barΩ\rightarrow \Cp ^n $ such that $f(p)$ is a global extreme point of type $2k$ for $f{(\barΩ)}$.
We derive a new homotopy formula for a strictly pseudoconvex domain of $C^2$ boundary in ${\mathbf C}^n$ by using a method of Lieb and Range and obtain estimates in Lipschitz spaces for the homotopy operators. For $r>1$ and $q>0$, we obtain a $Λ_{r+{1}/{2}}$ solution $u$ to $\overline\partial u=f$ for $\overline\partial$-closed $(0,q)$ forms $f$ of class $Λ_{r}$ on the domain. We apply the estimates to obtain boundary regularities of $\mathcal D$-solutions for a domain in the Levi-flat Euclidean space.
In this paper we prove generic results concerning Hardy spaces in one or several complex variables. More precisely, we show that the generic function in certain Hardy type spaces is totally unbounded and hence non-extentable, despite the fact that these functions have non tangential limits at the boundary of the domain. We also consider local Hardy spaces and show that generically these functions do not belong, not even locally, to Hardy spaces of higher order. We work first in the case of the unit ball of Cn where the calculations are easier and the results are somehow better, and then we ext…
In this paper we denote a type of affine homogeneous real hypersurface of $\mathbb{C}^3$ and present a classification of homogeneous surfaces of the type (1/2,0). The result was obtained by reducing the classification problem mentioned above to the problem of solving a system of nonlinear (quadratic) equations. Solutions of such system represent all the Lie algebras corresponding to the homogeneous surfaces under consideration. Some details of integration procedure are discussed for obtained algebras.
We compute the leading and sub-leading terms in the asymptotic expansion of the Szegö kernel on the diagonal of a class of pseudoconvex Reinhardt domains whose boundaries are endowed with a general class of smooth measures. We do so by relating it to a Bergman kernel over projective space.
We study the equation $\dot{u}=\log\det (u_{α\barβ})+f(t,z,u)$ in domains of $\mathbb C^n$. This equation has a close connection with the Kähler-Ricci flow. In this paper, we consider the case of the boundary conditions are smooth and the initial conditions are bounded.
On a bounded strictly pseudoconvex domain in $\mathbb{C}^n$, $n>1$, the smoothness of the Cheng-Yau solution to Fefferman's complex Monge-Ampere equation up to the boundary is obstructed by a local CR invariant of the boundary. For a bounded strictly pseudoconvex domain $Ω\subset \mathbb{C}^2$ diffeomorphic to the ball, we prove that the global vanishing of this obstruction implies biholomorphic equivalence to the unit ball, subject to the existence of a holomorphic vector field satisfying a mild approximate tangency condition along the boundary. In particular, by considering the Euler vector …
Consider the Bergman kernel $K^B(z)$ of the domain $\ellip = \{z \in \Comp^n ; \sum_{j=1}^n |z_j|^{2m_j}<1 \}$, where $m=(m_1,\ldots,m_n) \in \Natl^n$ and $m_n \neq 1$. Let $z^0 \in \partial \ellip$ be any weakly pseudoconvex point, $k \in \Natl$ the degenerate rank of the Levi form at $z^0$. An explicit formula for $K^B(z)$ modulo analytic functions is given in terms of the polar coordinates $(t_1, \ldots, t_k, r)$ around $z^0$. This formula provides detailed information about the singularities of $K^B(z)$, which improves the result of A. Bonami and N. Lohoué \cite{bol}. A similar result is e…
We characterise in this work the $q$-plurisubharmonic functions in terms of the theory of viscosity solutions. We show that an upper semicontinuous function is $q$-plurisubharmonic if and only if its complex Hessian has at most $q$ strictly negative eigenvalues in the viscosity sense. This characterisation is then used to prove that the supremum convolution of a (strictly) $q$-plurisubharmonic function is again (strictly) $q$-plurisubharmonic on a maybe different set of definition. Finally, we use the supremum convolution to deduce a new characterisation for the $q$-pseudoconvex subsets in $\m…
It follows from the 2004 work of the first author, X.Huang, and D. Zaitsev that any local CR embedding $f$ of a strictly psedoconvex hypersurface $M^{2n+1}\subset\bC^{n+1}$ into the sphere $\bS^{2N+1}\subset \bC^{N+1}$ is rigid, i.e.\ any other such local embedding is obtained from $f$ by composition by an automorphism of the target sphere $\bS^{2N+1}$, {\it provided} that the codimension $N-n<n/2$. In this paper, we consider the limit case $N-n=n/2$ in the simplest situation where $n=2$, i.e.\ we consider local CR embeddings $f\colon M^5\to \bS^7$. We show that there are at most two different…
We prove a local boundary regularity result for the complete Kahler-Einstein metrics of negative Ricci curvature near strictly pseudoconvex boundary point. We also study the asymptotic behaviour of their holomorphic bisectional curvatures near such points.
We construct a complete proper holomorphic embedding from any strictly pseudoconvex domain with $\mathcal{C}^2$-boundary in $\mathbb{C}^n$ into the unit ball of $\mathbb{C}^N$, for $N$ large enough, thereby answering a question of Alarcon and Forstneric.
Given a pseudoconvex domain U with C^1-boundary in P^n, n>2, we show that if H^{2n-2}_\dR}(U)\not=0, then there is a strictly psh function in a neighborhood of boundary U. We also solve the \dbar-equation in X=P^n\ U, for data smooth (0,1) forms on X. We also discuss Levi-flat domains in surfaces. If Z is a real algebraic hypersurface in P^2, (resp a real-analytic hypersurface with a point of strict pseudoconvexity), then there is a strictly psh function in a neighborhood of Z.
We study the plurisubharmonic envelopes of functions in the setting of domains in $\mathbb C^n$. In particular we prove a complex analogue of a result of De Philippis and Figalli concerning the optimal regularity of such envelopes in smooth strictly pseudoconvex domains.
We show that every strictly pseudoconvex domain $Ω$ with smooth boundary in a complex manifold $\mathcal{M}$ admits a global defining function, i.e., a smooth plurisubharmonic function $φ\colon U \to \mathbb R$ defined on an open neighbourhood $U \subset \mathcal{M}$ of $\overlineΩ$ such that $Ω= \{φ< 0\}$, $dφ\neq 0$ on $bΩ$ and $φ$ is strictly plurisubharmonic near $bΩ$. We then introduce the notion of the core $\mathfrak{c}(Ω)$ of an arbitrary domain $Ω\subset \mathcal{M}$ as the set of all points where every smooth and bounded from above plurisubharmonic function on $Ω$ fails to be strictl…
