In this paper we investigate the global behavior of proper holomorphic maps f from the unit disc U={|z|<1} to C^2. The fact that U is transcendental imposes certain restrictions on the image f(U). For instance, f(U) cannot be contained in any proper complex cone in C^2 since this would force it to be algebraic. On the other hand, we show that a real cone in C^2 with axis R^2 contains the image of a proper holomorphic map f from U to C^2 if and only if the angle of the cone is larger than pi/2. We also construct maps f as above whose images avoid both coordinate axes in C^2. Equivalently, we construct a pair of positive harmonic functions u, v on U such that max{u(z),v(z)} tends to plus infinity when z tends to the boundary of U. Furthermore we show that the components f_1, f_1 of a proper holomorphic map from U to C^2, as well as polynomial and certain rational functions of f_1 and f_2, have the property that their essential range at any boundary point of U omits at most a polar set in C.
We prove a generalisation of Rudin's theorem on proper holomorphic maps from the unit ball to the case of proper holomorphic maps from pseudoellipsoids.
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.
We characterize pairs of bounded Reinhardt domains in $\CC^2$ between which there exists a proper holomorphic map and find all proper maps that are not elementary algebraic.
We prove that two proper holomorphic polynomial maps between bounded symmetric domains of classical type which preserve the origin are equivalent if and only if they are isotropically equivalent.
We describe all possibilities of existence of non-elementary proper holomorphic maps between non-hyperbolic Reinhardt domains in $\mathbb C^2$ and the corresponding pairs of domains.
We prove that a Stein manifold of dimension $d$ admits a proper holomorphic embedding into any Stein manifold of dimension at least $2d+1$ satisfying the holomorphic density property. This generalizes classical theorems of Remmert, Bishop and Narasimhan pertaining to embeddings into complex Euclidean spaces, as well as several other recent results.
We show that each proper holomorphic self map of a symmetric power of the unit ball is an automorphism naturally induced by an automorphism of the unit ball, provided the ball is of dimension at least two.
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.
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 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.
In 1927, Carleman showed that a continuous, complex-valued function on the real line can be approximated in the Whitney topology by an entire function restricted to the real line. In this paper, we prove a similar result for proper holomorphic embeddings. Namely, we show that a proper $\cC^r$ embedding of the real line into $\C^n$ can be approximated in the strong $\cC^r$ topology by a proper holomorphic embedding of $\C$ into $\C^n$.
The aim of this paper is to present a simple way to generate proper monomial rational maps between generalized balls and via the relations between generalized balls and bounded symmetric domains of type I, we suggest new examples of proper holomorphic maps between bounded symmetric domains of type I.
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 show that the only proper-holomorphic self-maps of bounded domains in C^k whose dynamics escape to a strictly pseudoconvex point of the boundary are automorphisms of the euclidean ball. This is a Wong-Rosay type result for a sequence of maps whose degrees are a priori unbounded.
In this paper, we give an explicit criterion when a rational holomorphic map between balls is equivalent to a polynomial holomorphic map. Making use of this criterion, we show that any proper rational holomorphic map from B^2 into B^N of degree two is equivalent to a polynomial holomorphic map; we also construct rational holomorphic maps of degree 3 that are almost linear but are not equivalent to polynomial holomorphic maps.
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.
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.
Let $X$ be an open Riemann surface. We prove an Oka property on the approximation and interpolation of continuous maps $X \to (\mathbb{C}^*)^2$ by proper holomorphic embeddings, provided that we permit a smooth deformation of the complex structure on $X$ outside a certain set. This generalises and strengthens a recent result of Alarcon and Lopez. We also give a Forstneric-Wold theorem for proper holomorphic embeddings (with respect to the given complex structure) of certain open Riemann surfaces into $(\mathbb{C}^*)^2$.
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.
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.
We show that any finitely connected domain $U\subset\CC$ can be properly embedded into $\CC^2$. For some sequences $\{p_j\}\subset U$, $U\setminus\{p_j\}$ can also be properly embedded into $\CC^2$.
In this paper we studied a broader type of generalized balls which are domains on the complex projective with possibly Levi-degenerate boundaries. We proved rigidity theorems for proper holomorphic mappings among them by exploring the structure of the moduli spaces of projective linear subspaces, which generalized some earlier results for the ordinary generalized balls with Levi-nondegenerate boundaries.
We consider proper holomorphic mappings of equidimensional pseudoconvex domains in complex Euclidean space, where both source and target can be represented as Cartesian products of smoothly bounded domains. It is shown that such mappings extend smoothly up to the closures of the domains, provided each factor of the source satisfies Condition R. It also shown that the number of smoothly bounded factors in the source and target must be the same, and the proper holomorphic map splits as product of proper mappings between the factor domains.
We show that the $\bar{\partial}$-problem is globally regular on a domain in $\mathbb{C}^n$, which is the $n$-fold symmetric product of a smoothly bounded planar domain. Remmert-Stein type theorems are proved for proper holomorphic maps between equidimensional symmetric products and proper holomorphic maps from cartesian products to symmetric products. It is shown that proper holomorphic maps between equidimensional symmetric products of smooth planar domains are smooth up to the boundary
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.
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.
We study the complexity of holomorphic isometries and proper maps from the complex unit ball to type IV classical domains. We investigate on degree estimates of holomorphic isometries and holomorphic maps with minimum target dimension. We also construct a real-parameter family of mutually inequivalent holomorphic isometries from the unit ball to type IV domains. We also provide examples of non-isometric proper holomorphic maps from the complex unit ball to classical domains.
We solve the problem of simultaneously embedding properly holomorphically into $\Bbb C^2$ a whole family of $n$-connected domains $Ω_r\subset\Bbb P^1$ such that none of the components of $\Bbb P^1\setminusΩ_r$ reduces to a point, by constructing a continuous mapping $Ξ\colon\bigcup_r\{r\}\timesΩ_r\to\Bbb C^2$ such that $Ξ(r,\cdot)\colonΩ_r\hookrightarrow\Bbb C^2$ is a proper holomorphic embedding for every $r$. To this aim, a parametric version of both the Andersén-Lempert procedure and Carleman's Theorem is formulated and proved.
We prove that every $J$-holomorphic variational vector field can be realized as derivation $\frac{d}{dt}_{|t=0}f_t$ where $(f_t)$ is a one parametric family of $J$-holomorphic discs. Furthermore, we discuss properness of an extremal $J$-holomorphic disc in a bounded pseudoconvex domain.
The main purpose of this article is to present a generalization of Forelli's theorem for the functions holomorphic along a general pencil of holomorphic discs. This generalizes the main result of \cite{JKS13} and the original Forelli's theorem, and furthermore, answers one of the problems posed in \cite{Chirka06}.
Let D be a domain in C^n with smooth boundary, of finite 1-type at a point p in the boundary and such that the closure of D has a basis of Stein Runge neighborhoods. Assume that there exists an analytic disc which intersects the closure of D exactly at p. We construct proper holomorphic maps from any open Riemann surface S which are attached to the closure of D exactly at p.
Let $w$ be an unbounded radial weight on the complex plane. We study the following approximation problem: find a proper holomorphic map $f: \mathbb{C}\to\mathbb{C}^n$ such that $|f|$ is equivalent to $w$. We give several characterizations of those $w$ for which the problem is solvable. In particular, a constructive characterization is given in terms of tropical power series. Moreover, the following natural objects and properties are involved: essential weights on the complex plane, approximation by power series with positive coefficients, approximation by the maximum of a holomorphic function …
Our first main result gives assumptions guaranteeing that proper holomorphic maps between Cartan type I bounded symmetric domains have simple block matrix shape, answering positively a question of Mok. The proof is based on the second main result establishing similar phenomenon for local CR maps between arbitrary boundary components of two bounded symmetric domains of the above type. Since boundary components other than Shilov boundaries are Levi-degenerate, our analysis is based on their $2$-nondegeneracy combining Levi forms with higher order tensors.
We prove a result on the structure of finite proper holomorphic mappings between complex manifolds that are products of hyperbolic Riemann surfaces. While an important special case of our result follows from the ideas developed by Remmert and Stein, the proof of the full result relies on the interplay of the latter ideas and a finiteness theorem for Riemann surfaces.
Given a Stein manifold X of dimension n>1, a discrete sequence a_j in X, and a discrete sequence b_j in C^m where m > [3n/2], there exists a proper holomorphic embedding of X into C^m which sends a_j to b_j for every j=1,2,.... This is the interpolation version of the embedding theorem due to Eliashberg, Gromov and Schurmann. The dimension m cannot be lowered in general due to an example of Forster.
The Fock-Bargmann-Hartogs domain $D_{n,m}(μ)$ ($μ>0$) in $\mathbb{C}^{n+m}$ is defined by the inequality $\|w\|^2<e^{-μ\|z\|^2},$ where $(z,w)\in \mathbb{C}^n\times \mathbb{C}^m$, which is an unbounded non-hyperbolic domain in $\mathbb{C}^{n+m}$. Recently, Tu-Wang obtained the rigidity result that proper holomorphic self-mappings of $D_{n,m}(μ)$ are automorphisms for $m\geq 2$, and found a counter-example to show that the rigidity result isn't true for $D_{n,1}(μ)$. In this article, we obtain a classification of proper holomorphic mappings between $D_{n,1}(μ)$ and $D_{N,1}(μ)$ with $N<2n$.
We provide a local approximation result of non-holomorphic discs with small d-bar by pseudoholomorphic ones. As an application, we provide a certain gluing construction.
In this paper we prove that every Stein manifold $S$ admits a proper holomorphic immersion into any Stein manifold $X$ of dimension $2\mathrm{dim}S$ enjoying the density property or the volume density property. The case $\mathrm{dim}S=1$ was proved beforehand by Andrist and Wold (Ann. Inst. Fourier (Grenoble), 64(2):681-697, 2014). This result generalizes the classical theorem of Bishop and Narasimhan for immersions to $\mathbb{C}^n$ with $n=2\mathrm{dim}S$, and it complements the proper embedding theorem proved by Andrist et al. when $\mathrm{dim}X>2\mathrm{dim}S$ (J. Anal. Math., 130:135-150…
We prove that a proper holomorphic map between two bounded symmetric domains of the same dimension, one of them being irreducible, is a biholomorphism. Our methods allow us to give a single, all-encompassing argument that unifies the various special cases in which this result is known. We discuss an application of these methods to domains having noncompact automorphism groups that are not assumed to act transitively.
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.
A generalized Fock-Bargmann-Hartogs domain $D_n^{\mathbf{m},\mathbf{p}}$ is defined as a domain fibered over $\mathbb{C}^{n}$ with the fiber over $z\in \mathbb{C}^{n}$ being a generalized complex ellipsoid $Σ_z({\mathbf{m},\mathbf{p}})$. In general, a generalized Fock-Bargmann-Hartogs domain is an unbounded non-hyperbolic domains without smooth boundary. The main contribution of this paper is as follows. By using the explicit formula of Bergman kernels of the generalized Fock-Bargmann-Hartogs domains, we obtain the rigidity results of proper holomorphic mappings between two equidimensional gen…
In this paper, we study the gap rigidity phenomenon for proper holomorphic maps between balls of different dimension. We show that any $F\in prop_3({\mathbb{B}}^n, {\mathbb{B}} ^N)$, with $3n<N\leq 4n-7$ and $n\geq 7$, is equivalent to a map of the form $(G,0)$ with $G\in Rat ({\mathbb{B}}^n,{\mathbb{B}}^{3n})$. The main ingredients for the proof of our main theorem are the normal form obtained by Huang-Ji-Xu and a lemma of the first author.
Gromov, in his seminal 1989 paper on the Oka principle, proved that every continuous map from a Stein manifold into an elliptic manifold is homotopic to a holomorphic map. Previously we have shown that, given a continuous map $X \to \C\times\C^*$ from a finitely connected planar domain $X$ without isolated boundary points, a stronger Oka property holds, namely that the map is homotopic to a proper holomorphic embedding. Here we show that every continuous map from a finitely connected planar domain, possibly with punctures, into $\C\times\C^*$ is homotopic to a proper immersion that identifies …
We study proper rational maps from the unit disk to balls in higher dimensions. After gathering some known results, we study the moduli space of unitary equivalence classes of polynomial proper maps from the disk to a ball, and we establish a normal form for these equivalence classes. We also prove that all rational proper maps from the disk to a ball are homotopic in target dimension at least $2$.
Given a bounded n-connected domain in the plane bounded by non-intersecting Jordan curves, and given one point on each boundary curve, L. Bieberbach proved that there exists a proper holomorphic mapping of the domain onto the unit disc that is an n-to-one branched covering with the properties that it extends continuously to the boundary and maps each boundary curve one-to-one onto the unit circle, and it maps each given point on the boundary to the point 1 in the unit circle. We modify a proof by H. Grunsky of Bieberbach's result to show that there is a rational function of 2n+2 complex variab…
We extend a well-known result, about the unit ball, by H. Alexander to a class of balanced domains in $\mathbb{C}^n, \ n > 1$. Specifically: we prove that any proper holomorphic self-map of a certain type of balanced, finite-type domain in $\mathbb{C}^n, \ n > 1$, is an automorphism. The main novelty of our proof is the use of a recent result of Opshtein on the behaviour of the iterates of holomorphic self-maps of a certain class of domains. We use Opshtein's theorem, together with the tools made available by finiteness of type, to deduce that the aforementioned map is unbranched. The monodrom…
We prove that for any complex manifold X, the set of all holomorphic maps from the unit disc to X whose images are everywhere dense in X forms a dense subset in the space of all holomorphic maps from the disc to X. We show by an example that this need not hold for maps from the disc to complex spaces with singularities.
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.
