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 are tangent up to weighted order five.
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.
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.
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).
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…
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.
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Ω$.
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 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 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 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.
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 $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.
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 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 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.
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.
Let $Ω$ be a $C^2$-smooth bounded pseudoconvex domain in $\mathbb{C}^n$ for $n\geq 2$ and let $φ$ be a holomorphic function on $Ω$ that is $C^2$-smooth on the closure of $Ω$. We prove that if $H_{\overlineφ}$ is in Schatten $p$-class for $p\leq 2n$ then $φ$ is a constant function. As a corollary, we show that the $\overline{\partial}$-Neumann operator on $Ω$ is not Hilbert-Schmidt.
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.
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.
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.
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…
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
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 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 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.
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.
Using several complex variables techniques, we investigate the interplay between the geometry of the boundary and compactness of Hankel operators. Let f be a function smooth up to the boundary on a smooth bounded pseudoconvex domain D in C^n. We show that, if D is convex or the Levi form of the boundary of D is of rank at least n-2, then compactness of the Hankel operator H_f implies that f is holomorphic "along" analytic discs in the boundary. Furthermore, when D is convex in C^2 we show that the condition on f is necessary and sufficient for compactness of H_f
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 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.
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 …
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č.
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$.
It is proved that the germ of a holomorphic map from a real analytic hypersurface M in C^n into a strictly pseudoconvex compact real algebraic hypersurface M' in C^N, 1 < n < N extends holomorphically along any path on M.
Let $D$ be a strictly pseudoconvex domain in $\C^N$ and $X$ a pure-dimensional non-reduced subvariety that behaves well at $\partial D$. We provide $L^p$-estimates of extensions of holomorphic functions defined on $X$.
A complete characterization of proper holomorphic mappings between domains from the class of all pseudoconvex Reinhardt domains in $\C^2$ with the logarithmic image equal to a strip or a half-plane is given.
In this paper (a sequel to B. Drinovec Drnovsek and F. Forstneric, Holomorphic curves in complex spaces, Duke Math. J. 139 (2007), 203-253) we obtain existence and approximation results for closed complex subvarieties that are normalized by strongly pseudoconvex Stein domains. Our sufficient condition for the existence of such subvarieties in a complex manifold is expressed in terms of the Morse indices and the number of positive Levi eigenvalues of an exhaustion function on the manifold. Examples show that our condition cannot be weakened in general. Optimal results are obtained for subvariet…
We show that each pseudoconvex domain $Ω\subset {\mathbb C}^n$ admits a holomorphic map $F$ to ${\mathbb C}^m$ with $|F|\le C_1 e^{C_2 \hatδ^{-6}}$, where $\hatδ$ is the minimum of the boundary distance and $(1+|z|^2)^{-1/2}$, such that every boundary point is a Casorati-Weierstrass point of $F$. Based on this fact, we introduce a new anti-hyperbolic concept --- universal dominability. We also show that for each $α>6$ and each pseudoconvex domain $Ω\subset {\mathbb C}^n$, there is a holomorphic function $f$ on $Ω$ with $|f|\le C_αe^{C_α' \hatδ^{-α}}$, such that every boundary point is a Picard…
We obtain a conceptually new differential geometric proof of P.F. Klembeck's result that the holomorphic sectional curvature of a strictly pseudoconvex domain approaches (in the boundary limit) the constant sectional curvature of the Bergman metric of the unit ball.
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Ω).$
