Let $p:X\rightarrow Y$ be a surjective holomorphic mapping between Kähler manifolds. Let $D$ be a bounded smooth domain in $X$ such that every generic fiber $D_y:=D\cap p^{-1}(y)$ for $y\in Y$ is a strongly pseudoconvex domain in $X_y:=p^{-1}(y)$, which admits the complete Kähler-Einstein metric. This family of Kähler-Einstein metrics induces a smooth $(1,1)$-form $ρ$ on $D$. In this paper, we prove that $ρ$ is positive-definite on $D$ if $D$ is strongly pseudoconvex. We also discuss the extensioin of $ρ$ as a positive current across singular fibers.
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.
We prove that proper pseudo-holomorphic maps between strictly pseudoconvex regions in almost complex manifolds extend to the boundary. The key point is that the Jacobian is far from zero near the boundary, and the proof is mainly based on an almost complex analogue of the scaling method. We also establish a link between the regularity of the extension and the regularity of the almost complex structures, and we determine explicit estimates for the Hölderian norms. As a corollary, we get in the smooth case a necessary and sufficient condition on the almost complex structure of the target's space…
In this paper we prove an extension of a result of Gromov, Henkin and Shubin [GHS] on holomorphic L_{2} functions on coverings of strongly pseudoconvex manifolds.
On complete pseudoconvex Reinhardt domains in $\mathbb{C}^2$, we show that there is no nonzero Hankel operator with an anti-holomorphic symbol that is Hilbert-Schmidt. We also present examples of unbounded non-pseudoconvex domains that admit nonzero Hilbert-Schmidt Hankel operators with anti-holomorphic symbols.
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.
In this article we prove a global result in the spirit of Basener's theorem regarding the relation between q-pseudoconvexity and q-holomorphic convexity: we prove that any smoothly bounded strictly q-pseudoconvex open subset of the complex Euclidean space is (q + 1)-holomorphically convex; moreover, assuming that the given open set verifies an additional assumption, we prove that it is q-holomorphically convex. We also prove that any open subset of the complex n-dimensional Euclidean space is n-holomorphically convex.
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 prove here the Wolff-Denjoy-type theorem for a very large class of pseudoconvex domains in $\mathbb C^n$ that may contain many classes of pseudoconvex domains of finite type and infinite type.
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.
In this paper we will show how to construct holomorphic L^{p}-functions on unbranched coverings of strongly pseudoconvex manifolds. Also, we prove some extension and approximation theorems for such functions.
We apply the methods developed in [Br1] to study holomorphic functions of slow growth on coverings of pseudoconvex domains in Stein manifolds. In particular, we extend and strengthen certain results of Gromov, Henkin and Shubin [GHS] on holomorphic L^{2} functions on coverings of pseudoconvex manifolds in the case of coverings of Stein manifolds.
Let $B_n$ and $P_n$ be the unit ball and the unit polydisk in $\mathbb{C}^n$ with $n\geq 2$ respectively. Denote $\mbox{Aut}(B_n)$ and $\mbox{Aut}(P_n)$ the holomorphic automorphism group of $B_n$ and $P_n$ respectively. In this paper, we prove that $B_n$ admits no $\mbox{Aut}(B_n)$-invariant strongly pseudoconvex complex Finsler metric other than a constant multiple of the Poincar$\acute{\mbox{e}}$-Bergman metric, while $P_n$ admits infinite many $\mbox{Aut}(P_n)$-invariant complete strongly convex complex Finsler metrics other than the Bergman metric. The $\mbox{Aut}(P_n)$-invariant complex …
In this paper, we obtain optimal $L^2$ extension of holomorphic sections of a holomorphic vector bundle from subvarieties in weakly pseudoconvex Kähler manifolds. Moreover, in the case of line bundle the Hermitian metric is allowed to be singular.
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 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.
The classical integral representation formulas for holomorphic functions defined on pseudoconvex domains in Stein manifolds play an important role in the constructive theory of functions of several complex variables. In this paper we construct similar formulas for cetain classes of holomorphic functions defined on coverings of such domains.
We study regularity properties of CR maps in positive codimension valued in pseudoconvex manifolds which carry a nontrivial Levi foliation. We introduce an invariant which can be used to deduce that any sufficiently regular CR map from a minimal manifold into such a foliated target is either generically smooth or geometrically highly constrained, and to show generic smoothness of sufficiently regular CR transversal CR maps between pseudoconvex hypersurfaces. As an application, we discuss boundary regularity of proper holomorphic maps into bounded symmetric domains.
For a smooth strictly pseudoconvex hypersurface in a complex manifold, we give a necessary and sufficient condition for being CR-diffeomorphic to a real-analytic CR manifold. Our condition amounts to a holomorphic extension property for the canonically associated function expressing $2$-jets of the formal Segre varieties in terms of their $1$-jets. We also express this condition in equivalent terms for a Fefferman type determinant
In this paper, we generalize a recent work of Liu et al. from the open unit ball $\mathbb B^n$ to more general bounded strongly pseudoconvex domains with $C^2$ boundary. It turns out that part of the main result in this paper is in some certain sense just a part of results in a work of Bracci and Zaitsev. However, the proofs are significantly different: the argument in this paper involves a simple growth estimate for the Carathéodory metric near the boundary of $C^2$ domains and the well-known Graham's estimate on the boundary behavior of the Carathéodory metric on strongly pseudoconvex domain…
Let D be a bounded strongly pseudoconvex domain in a Stein manifold S and let Y be a complex manifold. We prove that the graph of any continuous map from the closure of D to Y which is holomorphic in D admits a basis of open Stein neighborhoods in S x Y. Using this we show that many classical spaces of maps from the closure of D to Y which are holomorphic in D are infinite dimensional complex manifolds which are modeled on locally convex topological vector spaces (Banach, Hilbert or Frechet).
Using the concept of inner integral curves defined by Hirschowitz we generalize a recent result by Kim, Levenberg and Yamaguchi concerning the obstruction of a pseudoconvex domain spread over a complex homogeneous manifold to be Stein. This is then applied to study the holomorphic reduction of pseudoconvex complex homogeneous manifolds X=G/H. Under the assumption that G is solvable or reductive we prove that X is the total space of a G-equivariant holomorphic fiber bundle over a Stein manifold such that all holomorphic functions on the fiber are constant.
We study jets of germs of holomorphic maps between two strongly pseudoconvex domains under the condition that the image of one domain is contained into the other and a given boundary point is (non-tangentially) mapped to a given boundary point. We completely characterize the (non-tangential) 1-jets. Moreover we give algebraic inequalities (in terms of Chern-Moser normal forms up to a certain low order) for the admissible germs with a given 1-jet. Also, we prove a rigidity result which says that there exists a germ tangent to the Identity (in some local charts) if and only if the two domains ar…
This short paper gives a constraint on Chern classes of closed strictly pseudoconvex CR manifolds (or equivalently, closed holomorphically fillable contact manifolds) of dimension at least five. We also see that our result is ''optimal'' through some examples.
Let $X$ be a CR manifold with transversal, proper CR $G$-action. We show that $X/G$ is a complex space such that the quotient map is a CR map. Moreover the quotient is universal, i.e. every invariant CR map into a complex manifold factorises uniquely over a holomorphic map on $X/G$. We then use this result and complex geometry to proof an embedding theorem for (non-compact) strongly pseudoconvex CR manifolds with transversal $G \rtimes S^1$-action. The methods of the proof are applied to obtain a projective embedding theorem for compact CR manifolds.
Let D be a relatively compact strongly pseudoconvex domain in a Stein manifold, and let Y be a complex manifold. We prove that the set A(D,Y), consisting of all continuous maps from the closure of D to Y which are holomorphic in D, is a complex Banach manifold. When D is the unit disc in C (or any other topologically trivial strongly pseudoconvex domain in a Stein manifold), A(D,Y) is locally modeled on the Banach space A(D,C^n)=A(D)^n with n=dim Y. Analogous results hold for maps which are holomorphic in D and of class C^r up to the boundary for any positive integer r. We also establish the O…
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 shall give a variational formula of the full Bergman kernels associated to a family of smoothly bounded strongly pseudoconvex domains. An equivalent criterion for the triviality of holomorphic motions of planar domains in terms of the Bergman kernel is given as an application.
If $V$ is an analytic set in a pseudoconvex domain $Ω$, we show there is always a pseudoconvex domain $G \subseteq Ω$ that contains $V$ and has the property that every bounded holomorphic function on $V$ extends to a bounded holomorphic function on $G$ with the same norm. We find such a $G$ for some particular analytic sets. When $Ω$ is an operhedron we show there is a norm on holomorphic functions on $V$ that can always be preserved by extensions to $Ω$.
Pseudoconvexity of a domain in $\Bbb C^n$ is described in terms of the existence of a locally defined plurisubharmonic/holomorphic function near any boundary point that is unbounded at the point.
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 $G$ be a unimodular Lie group, $X$ a compact manifold with boundary, and $M$ the total space of a principal bundle $G\to M\to X$ so that $M$ is also a strongly pseudoconvex complex manifold. In this work, we show that if $G$ acts by holomorphic transformations satisfying a local property, then the space of square-integrable holomorphic functions on $M$ is infinite $G$-dimensional.
This paper studies complex cobordisms between compact, three dimensional, strictly pseudoconvex Cauchy-Riemann manifolds. Suppose the complex cobordism is given by a complex 2-manifold X with one pseudoconvex and one pseudoconcave end. We answer the following questions. What is the relation between the embeddability of the pseudoconvex end and the embeddability of the pseudoconcave end of X? Do all CR-functions on the pseudoconvex end of X extend to holomorphic functions on the interior of X? We prove that embeddability of a strictly pseudoconvex Cauchy-Riemann 3-manifold is not a complex-cobo…
In this paper, we study the existence of a complete holomorphic vector fields on a strongly pseudoconvex complex manifold admitting a negatively curved complete Kähler-Einstein metric and a discrete sequence of automorphisms. Using the method of potential scaling, we will show that there is a potential function of the Kähler-Einstein metric whose differential has a constant length. Then we will construct a complete holomorphic vector field from the gradient vector field of the potential function.
Let $Ω$ be a bounded pseudoconvex domain in $\mathbb{C}^2$ with Lipschitz boundary or a bounded convex domain in $\mathbb{C}^n$ and $ϕ\in C(\overlineΩ)$ such that $H_ϕ$ is compact on $A^2(Ω)$. Then $ϕ\circ f$ is holomorphic for any holomorphic $f:\mathbb{D}\rightarrow bΩ$.
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 …
We prove an analog of the classical Hartogs extension theorem for CR $L^{2}$ functions defined on boundaries of certain (possibly unbounded) domains on coverings of strongly pseudoconvex manifolds. Our result is related to a problem posed in the paper of Gromov, Henkin and Shubin [GHS] on holomorphic $L_{2}$ functions on coverings of pseudoconvex manifolds.
Let $Ω$ be a complex manifold, and let $X\subset Ω$ be an open submanifold whose closure $\bar X$ is a (not necessarily compact) submanifold with smooth boundary. Let $G$ be a complex Lie group, $Π$ be a differentiable principal $G$-bundle on $Ω$ and $J$ a formally integrable bundle almost complex structure on the restriction $\bar P:= Π|_{\bar X}$. We prove that, if the boundary of $\bar X$ is strictly pseudoconvex, $J$ extends to a holomorphic structure on the restriction of $Π$ to a neighborhood of $\bar X$ in $Ω$. This answers positively and generalizes a problem stated in the article "Bou…
We show that if a bounded pseudoconvex domain satisfies the solvability of the bounded $\bar{\partial}$ problem, then the ideal of bounded holomorphic functions vanishing at a point in the domain is finitely generated. We also prove a smooth analog of the main result for bounded pseudoconvex domains with a sufficiently smooth boundary and also consider the Bergman space case.
In this paper we establish two boundary versions of the Schwarz lemma. The first is for general holomorphic self maps of bounded convex domains with $C^2$ boundary. This appears to be the first boundary Schwarz lemma for general holomorphic self maps that requires no strong pseudoconvexity or finite type assumptions. The second is for biholomorphisms of domains who have an invariant Kähler metric with bounded sectional curvature. This second result applies to holomorphic homogeneous regular domains and appears to be the first boundary Schwarz lemma that makes no assumptions on the regularity o…
Let $Ω$ be a bounded pseudoconvex Hartogs domain. There exists a natural complete Kähler metric $g^Ω$ in terms of its defining function. In this paper, we study two problems. The first one is determining when $g^Ω$ is Einstein or extremal. The second one is the existence of holomorphic isometric immersions of $(Ω, g^Ω)$ into finite or infinite dimensional complex space forms.
We show, e.g., that a holomorphic Banach vector bundle over a pseudoconvex open subset of, say, Hilbert space is holomorphically trivial if it is continuously trivial. Some applications are also given.
We study spectral behavior of the complex Laplacian on forms with values in the $k^{\text{th}}$ tensor power of a holomorphic line bundle over a smoothly bounded domain with degenerated boundary in a complex manifold. In particular, we prove that in the two dimensional case, a pseudoconvex domain is of finite type if and only if for any positive constant $C$, the number of eigenvalues of the $\overline\partial$-Neumann Laplacian less than or equal to $Ck$ grows polynomially as $k$ tends to infinity.
In this paper we establish a gap theorem for the complex geometry of smoothly bounded convex domains which informally says that if the complex geometry near the boundary is close to the complex geometry of the unit ball, then the domain must be strongly pseudoconvex. One consequence of our general result is the following: for any dimension there exists some $ε> 0$ so that if the squeezing function on a smoothly bounded convex domain is greater than $1-ε$ outside a compact set, then the domain is strongly pseudoconvex (and hence the squeezing function limits to one on the boundary). Another con…
We study the compactness of composition operators on the Bergman spaces of certain bounded pseudoconvex domains in $\mathbb{C}^n$ with non-trivial analytic disks contained in the boundary. As a consequence we characterize that compactness of the composition operator with a holomorphic, continuous symbol (up to the closure) on the Bergman space of the polydisk.
A new explicit construction of Cauchy-Fantappié kernels is introduced for an arbitrary weakly pseudoconvex domain with smooth boundary. While not holomorphic in the parameter, the new kernel reflects the complex geometry and the Levi form of the boundary. Some estimates are obtained for the corresponding integral operator, which provide evidence that this kernel and related constructions give useful new tools for complex analysis on this general class of domains.
We build in a given pseudoconvex (Runge) domain $D$ of $\mathbb{C}^N$ a $\mathcal O(D)$ convex set $Γ$, every connected component of which is a holomorphically contractible (convex) compact set, enjoying the property that any continuous path $γ:[0,1)\rightarrow D$ with $\lim _{r\rightarrow 1}γ(r)\in \partial D$ and omitting $Γ$ has infinite length. This solves a problem left open in a recent paper by Alarcón and Forstnerič.
The Newlander-Nirenberg theorem says that a formally integrable complex structure is locally equivalent to the standard complex structure in the complex Euclidean space. In this paper, we consider two natural generalizations of the Newlander-Nirenberg theorem under the presence of a $C^2$ strictly pseudoconvex boundary. When a given formally integrable complex structure $X$ is defined on the closure of a bounded strictly pseudoconvex domain with $C^2$ boundary $D\subset \mathbb{C}^n$, we show the existence of global holomorphic coordinate systems defined on $\overline{D}$ that transform $X$ in…
We study the complete Kahler-Einstein metric in tube domains. We obtain estimates of this metric and its holomorphic bisectional curvatures near the weakly pseudoconvex boundary points.
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 study how the existence of a negatively pinched Kähler metric on a domain in complex Euclidean space restricts the geometry of its boundary. In particular, we show that if a convex domain admits a complete Kähler metric, with pinched negative holomorphic bisectional curvature outside a compact set, then the boundary of the domain does not contain any complex subvariety of positive domain. Moreover, if the boundary of the domain is smooth, then it is of finite type in the sense of D'Angelo. We also use curvature to provide a characterization of strong pseudoconvexity amongst convex domains. …
