We extend the theory of separately holomorphic mappings between complex analytic spaces. Our method is based on Poletsky theory of discs, Rosay Theorem on holomorphic discs and our recent joint-work with Pflug on cross theorems in dimension 1. It also relies on our new technique of conformal mappings and a generalization of Siciak's relative extremal function.
Our approach illustrates the unified character: ``From local informations to global extensions". Moreover, it avoids systematically the use of the classical method of doubly orthogonal bases of Bergman type.
We describe a part of the recent developments in the theory of separately holomorphic mappings between complex analytic spaces. Our description focuses on works using the technique of holomorphic discs.
We first exhibit counterexamples to some open questions related to a theorem of Sakai. Then we establish an extension theorem of Sakai type for separately holomorphic/meromorphic functions.
This paper has been withdrawn by the author(s) and included into the new version of "An extension theorem for separately holomorphic functions with singularities", math.CV/0104089.
Let $D\subset \C^n,$ $G\subset \C^m$ be pseudoconvex domains, let $A$ (resp. $B$) be an open subset of the boundary $\partial D$ (resp. $\partial G$) and let $X$ be the 2-fold cross $((D\cup A)\times B)\cup (A\times(B\cup G)).$ Suppose in addition that the domain $D$ (resp. $G$) is {\it locally $\mathcal{C}^2$ smooth on $A$} (resp. $B$). We shall determine the "envelope of holomorphy" $\hat{X}$ of $X$ in the sense that any function continuous on $X$ and separately holomorphic on $(A\times G) \cup (D\times B)$ extends to a function continuous on $\hat{X}$ and holomorphic on the interior of $\ha…
Using recent development in Poletsky theory of discs, we prove the following result: Let $X,$ $Y$ be two complex manifolds, let $Z$ be a complex analytic space which possesses the Hartogs extension property, let $A$ (resp. $B$) be a non locally pluripolar subset of $X$ (resp. $Y$). We show that every separately holomorphic mapping $f: W:=(A\times Y) \cup (X\times B)\longrightarrow Z$ extends to a holomorphic mapping $\hat{f}$ on $\hat{W}:=\left\lbrace(z,w)\in X\times Y:\ \widetildeω(z,A,X)+\widetildeω(w,B,Y)<1 \right\rbrace$ such that $\hat{f}=f$ on $W\cap \hat{W},$ where $\widetildeω(\cdot,A,…
Let $D_j\subset\Bbb C^{k_j}$ be a pseudoconvex domain and let $A_j\subset D_j$ be a locally pluripolar set, $j=1,...,N$. Put$$X:=\bigcup_{j=1}^N A_1\times...\times A_{j-1}\times D_j\times A_{j+1}\times...\times A_N\subset\Bbb C^{k_1+...+k_N}.$$Let $U$ be an open connected neighborhood of $X$ and let $M\varsubsetneq U$ be an analytic subset. Then there exists an analytic subset $\hat M$ of the `envelope of holomorphy' $\hat X$ of $X$ with $\hat M\cap X\subset M$ such that for every function $f$ separately holomorphic on $X\setminus M$ there exists an $\hat f$ holomorphic on $\hat X\setminus\hat…
Answering all questions---concerning proper holomorphic mappings between generalized Hartogs triangles---posed by Jarnicki and Plfug (First steps in several complex variables: Reinhardt domains, 2008) we characterize the existence of proper holomorphic mappings between generalized Hartogs triangles and give their explicit form. In particular, we completely describe the group of holomorphic automorphisms of such domains and establish rigidity of proper holomorphic self-mappings on them.
In this paper we provide sufficient conditions for the graphs of holomorphic mappings on compact sets in complex manifolds to have Stein neighborhoods. We show that under these conditions the mappings have properties analogous to properties of holomorphic functions on compact sets in $\mathbb C^n$.
We study the regularity results of holomorphic correspondences. As an application, we combine it with certain recently developed methods to obtain the extension theorem for proper holomorphic mappings between domains with real analytic boundaries in the complex 2-space.
We solve Gromov's Vaserstein problem. Namely, we show that a null-homotopic holomorphic mapping from a finite dimensional reduced Stein space into SL_n(C) can be factored into a finite product of unipotent matrices with holomorphic entries.
In this paper, we prove a type of partial rigidity result for proper holomorphic mappings of certain $\ell$-concave domains in projective space into model quadratic $\ell$-concave domains. The main technical result is a degree estimate for proper holomorphic mappings into the model domains, provided that the mappings extend to projective space as rational mappings, and the source domain contains algebraic varieties and has a boundary with low CR complexity.
We give a necessary and sufficient condition for the existence of nondegenerate holomorphic mappings between pseudoellipsoidal real hypersurfaces, and provide an explicit parametrization for the collection of all such mappings (in the situations where they exist).
In this paper we prove a Schwarz-Pick lemma for the modulus of holomorphic mappings from the polydisk into the unit ball. This result extends some related results.
We prove that the space of dominant/non-constant holomorphic mappings from a product of hyperbolic Riemann surfaces of finite type into certain hyperbolic manifolds with universal cover a bounded domain is a finite set.
The purpose of this article is to show a second main theorem with the explicit truncation level for holomorphic mappings of $ \mathbb{C} $ (or of a compact Riemann surface) into a compact complex manifold sharing divisors in subgeneral position.
We classify proper holomorphic mappings between generalized pseudoellipsoids of different dimensions. Those domains are parametrized by the exponents. The relations among them are also obtained. Main tool is the orthogonal decomposition of a CR bundle. Such a decomposition derives the `variable-splitting' of the mapping.
We characterize the existence of proper holomorphic mappings in the special class of bounded $(1,2,...,n)$-balanced domains in $\mathbb{C}^n$, called the symmetrized ellipsoids. Using this result we conclude that there are no non-trivial proper holomorphic self-mappings in the class of symmetrized ellipsoids. We also describe the automorphism groupof these domains.
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.
The explicit form of proper holomorphic mappings between complex ellipsoids is given. Using this description, we characterize the existence of proper holomorphic mappings between generalized Hartogs triangles and give their explicit form. In particular, the automorphism group of such domains is found.
In this paper we prove a Schwarz-Pick lemma for the modulus of holomorphic mappings between the unit balls in complex spaces. This extends the classical Schwarz-Pick lemma and the related result proved by Pavlovic.
In this note, our purpose is to establish shortly the algebraicity of a holomorphic mapping between real algebraic CR manifolds under a double reflection condition which generalizes the classical single reflection. A complete study of various double reflection conditions is also provided.
In this paper we give some quantative characteristics of boundary asymptotic behavior of semigroups of holomorphic self-mappings of the unit disk including the limit curvature of their trajectories at the boundary Denjoy--Wolff point. This enable us to establish an asymptotic rigidity property for semigroups of parabolic type.
In this paper, we prove a general Schwarz lemma at the boundary for holomorphic mappings from the polydisc to the unit ball in any dimensions. For the special case of one complex variable, the obtained results give the classic boundary Schwarz lemma.
It is shown that a germ of a holomorphic mapping sending a real-analytic generic submanifold of finite type into another is determined by its projection on the Segre variety of the target manifold. A necessary and sufficient condition is given for a germ of a mapping into the Segre variety of the target manifold to be the projection of a holomorphic mapping sending the source manifold into the target. An application to the biholomorphic equivalence problem is also given.
In this paper, we prove a Second Main Theorem for holomorphic mappings in a disk whose image intersects some families of nonlinear hypersurfaces (totally geodesic hypersurfaces with respect to a meromorphic connection) in the complex projective space $\mathbb{P}^k$. This is a generalization of Cartan's Second Main Theorem. As a consequence, we establish a uniqueness theorem for holomorphic mappings which intersects $O(k^3)$ many totally geodesic hypersurfaces.
We estimate the number of unipotent elements needed to factor a null-homotopic holomorphic map from a finite dimensional reduced Stein spaces $X$ into $\text{SL}_2(\mathbb{C})$.
It is shown that if a proper holomorphic map $f: \mathbb C^n \to \mathbb C^N$, $1<n\le N$, sends a pseudoconvex real analytic hypersurface of finite type into another such hypersurface, then any $n-1$ dimensional component of the critical locus of $f$ intersects both sides of $M$. We apply this result to the problem of boundary regularity of proper holomorphic mappings between bounded domains in $\mathbb C^n$.
In our previous work, for a given Riemann surface $Y_0$ with marked handle, we investigated geometric properties of the set of marked once-holed tori $X$ allowing holomorphic mappings of $X$ into $Y_0$. It turned out that it is a closed domain with Lipschitz boundary. In the present paper we show that the boundary is never smooth. Also, we evaluate the critical extremal length for the existence of holomorphic mappings in terms of hyperbolic lengths.
Invariants for Riemann surfaces covered by the disc and for hyperbolic manifolds in general involving minimizing the measure of the image over the homotopy and homology classes of closed curves and maps of the $k$-sphere into the manifold are investigated. The invariants are monotonic under holomorphic mappings and strictly monotonic under certain circumstances. Applications to holomorphic maps of annular regions in $\mathbb{C}$ and tubular neighborhoods of compact totally real submanifolds in general in $\mathbb{C}^n$, $n \geq 2$, are given. The contractibility of a hyperbolic domain with con…
Let f be a proper holomorphic mapping between bounded domains D and D' in C^2. Let M, M' be open pieces on the boundaries of D and D' respectively, that are smooth, real analytic and of finite type. Suppose that the cluster set of M under f is contained in M'. It is shown that f extends holomorphically across M. This can be viewed as a local version of the Diederich-Pinchuk extension result for proper mappings in C^2.
This expository paper is concerned with the properties of proper holomorphic mappings between domains in complex affine spaces. We discuss some of the main geometric methods of this theory, such as the Reflection Principle, the scaling method, and the Kobayashi-Royden metric. We sketch the proofs of certain principal results and discuss some recent achievements. Several open problems are also stated.
We give an alternative representation of the closure of the Bochner transform of a holomorphic almost periodic mapping in a tube domain. For such mappings we introduce a new notion of amoeba and we show that, for mappings which are regular in the sense of Ronkin, this new notion agrees with Favorov's one. We prove that the amoeba complement of a regular holomorphic almost periodic mapping, defined on Cn and taking its values in Cm+1, is a Henriques m-convex subset of Rn. Finally, we compare some different notions of regularity.
In this paper we prove a general result of the ``Hopf lemma'' type for CR mappings, with nonidentically vanishing Jacobians, between real hypersurfaces in C^n with smooth or real analytic boundaries. Applications of this result to finiteness and holomorphic extendibility of such mappings are also given. The novelty here is that we make no assumption on the nonflatness of the mapping or its Jacobian, nor do we assume that the hypersurfaces are pseudoconvex or minimally convex.
We consider a proper holomorphic map form D to G domains in C^n and show that it induces a unitary isomorphism between the Bergman space A^2(G) and some subspace of A^2(D). Using this isomorphism we construct orthogonal projection onto that subspace and we derive Bells transformation formula for the Bergman kernel under proper holomorphic mappings. As a consequence of the formula we get that the tetrablock is not a Lu Qi-Keng domain.
We show that biholomorphic mappings between two bounded, pseudoconvex domains with smooth boundary extend smoothly to the boundaries of the domains, under a regularity condition on a family of twisted Bergman-like projections. This result is inspired by and generalizes a sufficient condition for extension due to Bell and Ligocka.
We prove that to each almost periodic (in the sense of distributions) divisor in a tube one can assign a first Chern class of a special line bundle over Bohr's compact set generated by the divisor such that the trivial cohomology class represents divisors of all almost periodic holomorphic functions on a tube. This description yields various geometric conditions for an almost periodic divisor to be the divisor of a holomorphic almost periodic function. We also give a complete description for the divisors of homogeneous coordinates for holomorphic almost periodic curves; in particular, we obtai…
We present a result on existence of some kind of peak functions for $\C$-convex domains and for the symmetrized polydisc. Then we apply the latter result to show the equivariance of the set of peak points for $A(D)$ under proper holomorphic mappings. Additionally, we present a description of the set of peak points in the class of bounded pseudoconvex Reinhardt domains.
We make several new contributions to the study of proper holomorphic mappings between balls. Our results include a degree estimate for rational proper maps, a new gap phenomenon for convex families of arbitrary proper maps, and an interesting result about inverse images.
Let $M\subset \mathbb C^n$ be a real analytic hypersurface, $M'\subset \mathbb C^N$ $(N\geq n)$ be a strongly pseudoconvex real algebraic hypersurface of the special form and $F$ be a meromorphic mapping in a neighborhood of a point $p\in M$ which is holomorphic in one side of $M$. Assuming some additional conditions for the mapping $F$ on the hypersurface $M$, we proved that $F$ has a holomorphic extension to $p$. This result may be used to show the regularity of CR mappings between real hypersurfaces of different dimensions.
We show that a holomorphic mapping sending one generic submanifold into another of the same dimension is CR transversal to the target submanifold provided that the source manifold is of finite type and the map is of generic full rank. This result and its corollaries completely resolve two questions posed by Linda P. Rothschild and the first author in a paper from 2006.
We prove estimates in Hölder spaces for some Cauchy-type integral operators representing holomorphic functions in Cartesian and symmetric products of planar domains. As a consequence, we obtain information on the boundary regularity in Hölder spaces of proper holomorphic maps between symmetric products of planar domains.
In this paper, we study holomorphic mappings sending a hyperquadric of signature $\ell$ in $\bC^n$ into a hyperquadric of signature $\ell'$ in $\bC^N$. We show (Theorem \ref{main}) that if the signature difference $\ell'-\ell$ is not too large, then the mapping can be normalized by automorphisms of the target hyperquadric to a particularly simple form and, in particular, the image of the mapping is contained in a complex plane of a dimension that depends only on $\ell$ and $\ell'$, and not on the target dimension $N$. We also prove a Hopf Lemma type result (Theorem \ref{main2}) for such mappin…
Sobolev irregularity of the Bergman projection on a family of domains containing the Hartogs triangle is shown. On the Hartogs triangle itself, a sub-Bergman projection is shown to satisfy better Sobolev norm estimates than its Bergman projection.
n this paper, we establish the sharp estimate of the Lipschitz continuity with respect to the Bergman metric. The obtained results are the improvement and generalization of the corresponding results of Ghatage, Yan and Zheng (Proc. Amer. Math. Soc., 129: 2039-2044, 2000).
We show that any function $f:\mathbb{H}^n\to\mathbb{H}$ with $f(z+c)=f(z)+c$, $z\in\mathbb{H}^n$, for some $c>0$ has a property that any limit function of a family $\{\frac{f(tz)}{t}\}_{t>0}$ when $t\to\infty$ is linear.
We give conditions under which a germ of a holomorphic mapping in $\Bbb C^N$, mapping an irreducible real algebraic set into another of the same dimension, is actually algebraic. Let $A\subset \bC^N$ be an irreducible real algebraic set. Assume that there exists $\po \in A$ such that $A$ is a minimal, generic, holomorphically nondegenerate submanifold at $\po$. We show here that if $H$ is a germ at $p_1 \in A$ of a holomorphic mapping from $\bC^N$ into itself, with Jacobian $H$ not identically $0$, and $H(A)$ contained in a real algebraic set of the same dimension as $A$, then $H$ must extend …
The pentablock is a Hartogs domain over the symmetrized bidisc. The domain is a bounded inhomogeneous pseudoconvex domain, and does not have a $\mathcal{C}^{1}$ boundary. Recently, Agler-Lykova-Young constructed a special subgroup of the group of holomorphic automorphisms of the pentablock, and Kosiński completely described the group of holomorphic automorphisms of the pentablock. The purpose of this paper is to prove that any proper holomorphic self-mapping of the pentablock must be an automorphism.
Let D be a bounded, finitely connected domain in the complex plane without isolated points in the boundary and let f be a continuous function on the boundary bD. Let F be a continuous extension of f to the closure of D. We prove that f extends holomorphically through D if and only if the degree of F+h is nonnegative for every holomorphic function h on D such that F+h is bounded away from zero near bD.
