We show that a pseudoconvex open subset of a Banach space with an unconditional basis is biholomorphic to a closed direct submanifold of a Banach space with an unconditional basis.
Having been unclear how to define that a domain is strictly pseudoconvex in the infinite-dimensional setting, we develop a general theory having Banach spaces in mind. We first focus on finite dimension and eliminate the need of two degrees of differentiability of the boundary of a domain, since differentiable functions are difficult to find in infinite dimension. We introduce $\ell$-strict pseudoconvexity for $\ell\geq 1$, $1$-strict pseudoconvexity at the boundary, $\ell$-uniform pseudoconvexity for $\ell\geq 0$ and finally strong pseudoconvexity. Defining $\ell$-strict pseudoconvexity and $…
Among other things, we show that the ideal sheaf of a complex Hilbert submanifold of a pseudoconvex open subset of Hilbert space is acyclic over the ambient pseudoconvex open set. We also prove a vanishing theorem for a fairly general class of analytic sheaves over pseudoconvex open sets of a large class of Banach spaces. Some applications are also given.
We show that if $X$ is a Banach space with a Schauder basis, $Ω\subset X$ is a pseudoconvex open subset, and $u:\,Ω\to(-\infty,\infty)$ is a locally bounded function, then there are a Banach space $Z$ and a holomorphic function $h:\,Ω\to Z$ with $u(x)<\|h(x)\|$ for all $x\inΩ$.
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…
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).
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 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 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 introduce a class of analytic sheaves in a Banach space X, that we call cohesive sheaves. Cohesion is meant to generalize the notion of coherence from finite dimensional analysis. Accordingly, we prove the analog of Cartan's Theorems A and B for cohesive sheaves over pseudoconvex open subsets of X, provided X has an unconditional basis.
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.
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 obtain an embedding theorem for compact strongly pseudoconvex CR manifolds which are bounadries of some complete Hermitian manifolds. We use this to compactify some negatively curved Kaehler manifolds with compact strongly pseudoconvex boundary. An embedding theorem for Sasakian manifolds is also derived.
In this paper, we study the behavior of the weighted composition operators acting on Bergman spaces defined on strictly pseudoconvex domains via the sparse domination technique from harmonic analysis. As a byproduct, we also prove a weighted type estimate for the weighted composition operators which is adapted to Sawyer-testing conditions. Our results extend the work by the first author, Li, Shi and Wick under a much more general setting.
A conjecture due to Gompf asserts that no nontrivial Brieskorn homology sphere admits a pseudoconvex embedding in ${\mathbb C}^2$, with either orientation. A related question asks whether every compact contractible 4-manifold admits the structure of a Stein domain. We verify Gompf's conjecture, with one orientation, for a family of Brieskorn spheres of which some are known to admit a smooth embedding in ${\mathbb C}^2$. With the other orientation our methods do not resolve the question, but do give rise to an example of a contractible, boundary-irreducible 4-manifold that admits no Stein struc…
We show that the holomorphic ideal sheaf of a linear section of a pseudoconvex open subset $Ω$ of, say, a Hilbert space $X=\ell_2$ is acyclic. We also prove an analog of Hefer's lemma, i.e., if $f:Ω\timesΩ\to\CC$ is holomorphic and $f(x,x)=0$ for $x\inΩ$, then there is a holomorphic $g:Ω\timesΩ\to X^*$ with values in the dual space $X^*$ of $X$ such that $f(x,y)=g(x,y)(x-y)$
We prove the stability of the equivariant embedding of compact strictly pseudoconvex CR manifolds with transversal CR circle action under circle invariant perturbations of the CR structures.
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 every formal embedding sending a real-analytic strongly pseudoconvex hypersurface in $M\subset \C^N$ into another such hypersurface in $M'\subset \C^{N+1}$ is convergent. More generally, if $M$ and $M'$ are merely Levi-nondegenerate, the same conclusion holds for any formal embedding provided either that the embedding is CR transversal or the target hypersurface does not contain any complex curves.
In this paper it is shown that a CR embedding from one strictly pseudoconvex hypersurface into another (of strictly larger dimension) sends chains on the source to chains on the target if and only if the embedding has a lift to a conformal isometry of the associated Fefferman bundles with vanishing pseudo-Riemannian second fundamental form. When the target is a sphere these conditions simplify nicely.
A simple characterization is given of open subsets of a complex surface that smoothly perturb to Stein open subsets. As applications, complex 2-space C^2 contains domains of holomorphy (Stein open subsets) that are exotic R^4's, and others homotopy equivalent to the 2-sphere but cut out by smooth, compact 3-manifolds. Pseudoconvex embeddings of Brieskorn spheres and other 3-manifolds into complex surfaces are constructed, as are pseudoconcave holomorphic fillings (with disagreeing contact and boundary orientations). Pseudoconcave complex structures on Milnor fibers are found. A byproduct of th…
Let $X$ be a compact strongly pseudoconvex CR manifold with a transversal CR $S^1$-action. In this paper, we establish the asymptotic expansion of Szegő kernels of positive Fourier components and by using the asymptotics, we show that $X$ can be equivariant CR embedded into some $\mathbb C^N$ equipped with a simple $S^1$-action. An equivariant embedding of quasi-regular Sasakian manifold is also derived.
Let $M$ be the image of a smooth CR embedding of a strictly pseudoconvex CR real hypersurface into a sphere. If the CR second fundamental form of $M$ vanishes, we show that $M$ is a totally geodesic submanifold.
The Bers embedding of theTeichmüller space is a homeomorphism into the Banach space of certain holomorphic automorphic forms. For a subspace of the universal Teichmüller space and its corresponding Banach subspace, we consider whether the Bers embedding can project down between their quotient spaces. If this is the case, it is called the quotient Bers embedding. Injectivity of the quotient Bers embedding is the main problem in this paper. Alternatively, we can describe this situation as the universal Teichmüller space having an affine foliated structure induced by this subspace. We give severa…
We consider a compact connected CR manifold with a transversal CR locally free $\mathbb R$-action endowed with a rigid positive CR line bundle. We prove that a certain weighted Fourier-Szegő kernel of the CR sections in the high tensor powers admits a full asymptotic expansion and we establish $\mathbb R$-equivariant Kodaira embedding theorem for CR manifolds. Using similar methods we also establish an analytic proof of an $\mathbb R$-equivariant Boutet de Monvel embedding theorem for strongly pseudoconvex CR manifolds. In particular, we obtain equivariant embedding theorems for irregular Sasa…
Let $(X,T^{1,0}X)$ be a $(2n+1+d)$-dimensional compact CR manifold with codimension $d+1$, $d\geq1$, and let $G$ be a $d$-dimensional compact Lie group with CR action on $X$ and $T$ be a globally defined vector field on $X$ such that $\mathbb C TX=T^{1,0}X\oplus T^{0,1}X\oplus\mathbb C T\oplus\mathbb C\underline{\mathfrak{g}}$, where $\underline{\mathfrak{g}}$ is the space of vector fields on $X$ induced by the Lie algebra of $G$. In this work, we show that if $X$ is strongly pseudoconvex in the direction of $T$ and $n\geq 2$, then there exists a $G$-equivariant CR embedding of $X$ into $\math…