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 show the existence of free dense subgroups, generated by 2 elements, in the holomorphic shear and overshear group of complex-Euklidean space and extend this result to the group of holomorphic automorphisms of Stein manifolds with Density Property, provided there exists a generalized translation. The conjugation operator associated to this generalized translation is hypercyclic on the topological space of holomorphic automorphisms.
We study when there exists a dense holomorphic curve in a space of holomorphic maps from a Stein space. We first show that for any bounded convex domain $Ω\Subset\mathbb{C}^n$ and any connected complex manifold $Y$, the space $\mathcal{O}(Ω,Y)$ contains a dense holomorphic disc. Our second result states that $Y$ is an Oka manifold if and only if for any Stein space $X$ there exists a dense entire curve in every path component of $\mathcal{O}(X,Y)$. In the second half of this paper, we apply the above results to the theory of universal functions. It is proved that for any bounded convex domain …
In this paper we construct a properly embedded holomorphic disc in the unit ball $\mathbb{B}^2$ of $\mathbb{C}^2$ having a surprising combination of properties: on the one hand, it has finite area and hence is the zero set of a bounded holomorphic function on $\mathbb{B}^2$; on the other hand, its boundary curve is everywhere dense in the sphere $b\mathbb{B}^2$.
Let $X$ be a complex quasiprojective variety. A result of Noguchi-Winkelmann-Yamanoi shows that if $X$ admits a Zariski dense entire curve, then its quasi-Albanese map is a fiber space. We show that the orbifold structure induced by a properly birationally equivalent map on the base is special in this case. As a consequence, if $X$ is of log-general type with $\bar q(X)\geq\dim X$, then any entire curve is contained in a proper subvariety in $X$.
In this paper, the linear structure of the family $H_e(G)$ of holomorphic functions in a domain $G$ of the complex plane that are not analytically continuable beyond the boundary of $G$ is analyzed. We prove that $H_e(G)$ contains, except for zero, a dense algebra; and, under appropriate conditions, the subfamily of $H_e(G)$ consisting of boundary-regular functions contains dense vector spaces with maximal dimension, as well as infinite dimensional closed vector spaces and large algebras. The case in which $G$ is a domain of existence in a complex Banach space is also considered. The results o…
Given a domain of holomorphy $D$ in $\mathbb{C}^N$, $N\geq 2$, we show that the set of holomorphic functions in $D$ whose cluster sets along any finite length paths to the boundary of $D$ is maximal, is residual, densely lineable and spaceable in the space $\mathcal{O}(D)$ of holomorphic functions in $D$. Besides, if $D$ is a strictly pseudoconvex domain in $\mathbb{C}^N$, and if a suitable family of smooth curves $γ(x,r)$, $x\in bD$, $r\in [0,1)$, ending at a point of $bD$ is given, then we exhibit a spaceable, densely lineable and residual subset of $\mathcal{O}(D)$, every element $f$ of whi…
In this paper we construct a complete injective holomorphic immersion $\mathbb{C}\to\mathbb{C}^2$ whose image is dense in $\mathbb{C}^2$. The analogous result is obtained for any closed complex submanifold $X\subset \mathbb{C}^n$ for $n>1$ in place of $\mathbb{C}\subset\mathbb{C}^2$. We also show that, if $X$ intersects the unit ball $\mathbb{B}^n$ of $\mathbb{C}^n$ and $K$ is a connected compact subset of $X\cap\mathbb{B}^n$, then there is a Runge domain $Ω\subset X$ containing $K$ which admits a complete holomorphic embedding $Ω\to\mathbb{B}^n$ whose image is dense in $\mathbb{B}^n$.
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 the open unit disc in the complex plane. We denote by $\mathbb{C}$ the set of complex numbers and consider any compact set $K$ which is disjoint from $D$ and which also has connected complement. Let $A(K)$ denote all the functions $f:K\to \mathbb{C} $ such that $f$ is continuous on $K$ and holomorphic in $K^o$. It is well known that there exist holomorphic functions $f$ on $D$ for which the partial sums $S_n(f)$, n=1,2,... of the Taylor series with center $0$ are dense in $A(K)$ for every $K$ satisfying the properties above. It is also known that the above result fails if we conside…
Let $X$ be a Banach holomorphic function space on the unit disk. A linear polynomial approximation scheme for $X$ is a sequence of bounded linear operators $T_n:X\to X$ with the property that, for each $f\in X$, the functions $T_n(f)$ are polynomials converging to $f$ in the norm of the space. We completely characterize those spaces $X$ that admit a linear polynomial approximation scheme. In particular, we show that it is NOT sufficient merely that polynomials be dense in $X$.
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 construct for every integer $n>1$ a complex manifold of dimension $n$ which is exhausted by an increasing sequence of biholomorphic images of $\mathbb C^n$ (i.e., a long $\mathbb C^n$), but it does not admit any nonconstant holomorphic or plurisubharmonic functions. Furthermore, we introduce new biholomorphic invariants of a complex manifold $X$, the stable core and the strongly stable core, that are based on the long term behavior of hulls of compact sets with respect to an exhaustion of $X$. We show that every compact polynomially convex set $B\subset \mathbb C^n$ which is t…
Let be F a family of curves in the unit disc. We show that the set of all functions f holomorphic on the unit disc, which satisfy the following condition, is G-delta and dense in the space of all functions holomorphic on the unit disc: For each compact set K with connected complement, each function g continuous on K and holomorphic on its interior, every point t on the unit circle, every curve C in F (ending in t) and any e>0 there exist numbers 0<a<1 and b in C such that |f(az+b)-g(z)|<e for all z in K and |b-t|<e. The set of these functions is called the class of T-universal functions with p…
Let D be a convex domain with smooth boundary in complex space and let f be a continuous function on the boundary of D. Suppose that f holomorphically extends to the extremal discs tangent to a convex subdomain of D. We prove that f holomorphically extends to D. The result partially answers a conjecture by Globevnik and Stout of 1991.
We give a description of complex geodesics and we study the structure of stationary discs in some non-convex domains for which complex geodesics are not unique.
Let $(ϕ_t)$ be a semigroup of holomorphic self-maps of~$\mathbb D$. In this note, we use an abstract approach to define the Königs function of $(ϕ_t)$ and "holomorphic models" and show how to deduce the existence and properties of the infinitesimal generator of $(ϕ_t)$ from this construction.
Let U be the open unit disc in C and let B be the open unit ball in C^2. We prove that every discrete subset of B is contained in the range f(U) of a complete, proper holomorphic embedding f:U-->B. Here the completeness of f means that for any path p:[0,1)-->U such that |p(t)|-->1 as t-->1, the path t--> f(p(t)) from [0,1) to B has infinite length.
Using mainly tools from [B.13] and [B.15] we give a necessary and sufficient condition in order that a holomorphic action of a connected complex Lie group $G$ on a reduced complex space $X$ admits a strongly quasi-proper meromorphic quotient. We apply this characterization to obtain a result which assert that, when $G = K.B$ \ with $B$ a closed complex subgroup of $G$ and $K$ a real compact subgroup of $G$, the existence of a strongly quasi-proper meromorphic quotient for the $B-$action implies, assuming moreover that there exists a $G-$invariant Zariski open dense subset in $X$ which is good …
We show how to extend some holomorphic bundles with fifer C^2 and base an open set in C, to bundles on the Riemann Sphere, by an extremely simple technique. In particular, it applies to examples of non-Stein bundles constructed by Skoda and Demailly. It gives an example on C, with polynomial transition automorphisms.
We give in \mathbb{R}^6 a real analytic almost complex structure J, a real analytic hypersurface M and a vector v in the Levi null set at 0 of M, such that there is no germ of J-holomorphic disc f included in M with f(0)=0 and \frac{\partial f}{\partial x}(0)=v, although the Levi form of M has constant rank. Then for any hypersurface M and any complex structure J, we give necessary conditions under which there exists such a germ of disc.
We construct a family of small analytic discs attached to Levi non-degenerate hypersurfaces in $\mathbb{C}^{n+1}$, which is globally biholomorphically invariant. We then apply this technique to study unique determination problems along Levi non-degenerate hypersurfaces that are merely of class $\mathcal{C}^4$. This method gives 2-jet determination results for germs of biholomorphisms, CR diffeomorphisms, as well as in the almost complex setting.
We prove closing lemmas for automorphisms of a Stein manifold with the density property and for endomorphisms of an Oka-Stein manifold. In the former case we need to impose a new tameness condition. It follows that hyperbolic periodic points are dense in the tame non-wandering set of a generic automorphism of a Stein manifold with the density property and in the non-wandering set of a generic endomorphism of an Oka-Stein manifold. These are the first results about holomorphic dynamics on Oka manifolds. We strengthen previous results of ours on the existence and genericity of chaotic volume-pre…
Classic complex analysis is built on structural function $K=1$ only associated with Cauchy-Riemann equations, subsequently various generalizations of Cauchy-Riemann equations start to break this situation. The goal of this article is to show that only structural function $K=Const$ such that Liouville's theorem is held, otherwise, it's not valid any more on complex domain based on structural holomorphic, the correction should be $w=Φ{{e}^{-K}}$, where $Φ=Const$. Those theories in complex analysis which keep constant are unable to be held as constant in the framework of structural holomorphic. S…
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 study discrete fixed point sets of holomorphic self-maps of complex manifolds. The main attention is focused on the cardinality of this set and its configuration. As a consequence of one of our observations, a bounded domain in ${\Bbb C}^n$ with no non-trivial holomorphic retractions is constructed.
Let $H^\infty(\mathbb D\times\N)$ be the Banach algebra of bounded holomorphic functions defined on the disjoint union of countably many copies of the open unit disk $\mathbb D\subset\mathbb C$. We show that the dense stable rank of $H^\infty(\mathbb D\times\N)$ is one and using this fact prove some nonlinear Runge-type approximation theorems for $H^\infty(\mathbb D\times\N)$ maps. Then we apply these results to obtain a priori uniform estimates of norms of approximating maps in similar approximation problems for algebra $H^\infty(\mathbb D)$.
We show that the open unit ball $\mathbb{B}^n$ of $\mathbb{C}^n$ $(n>1)$ admits a nonsingular holomorphic foliation by complete properly embedded holomorphic discs.
We consider the spaces $H_{F}^{\infty}(Ω)$ and $\mathcal{A}_{F}(Ω)$ containing all holomorphic functions $f$ on an open set $Ω\subseteq \mathbb{C}$, such that all derivatives $f^{(l)}$, $l\in F \subseteq \mathbb{N}_0=\{ 0,1,...\}$, are bounded on $Ω$, or continuously extendable on $\overlineΩ$, respectively. We endow these spaces with their natural topologies and they become Fréchet spaces. We prove that the set $S$ of non-extendable functions in each of these spaces is either void, or dense and $G_δ$. We give examples where $S=\varnothing$ or not. Furthermore, we examine cases where $F$ can b…
We prove analogs of Thom's transversality theorem and Whitney's theorem on immersions for pseudo-holomorphic discs. We also prove that pseudo-holomorphic discs form a manifold.
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 realize the relative discrete series of a weighted $L^2$-space on a bounded symmetric doamin as kernels of invariant Cauchy-Riemann operator, and thus as the spaces of nearly holomorphic functions.
Given a sequence = (r n) n $\in$ [0, 1) tending to 1, we consider the set U A (D,) of Abel universal series consisting of holomorphic functions f in the open unit disc D such that for any compact set K included in the unit circle T, different from T, the set {z $\rightarrow$ f (r n $\bullet$)| K : n $\in$ N} is dense in the space C(K) of continuous functions on K. It is known that the set U A (D,) is residual in H(D). We prove that it does not coincide with any other classical sets of universal holomorphic functions. In particular, it not even comparable in terms of inclusion to the set of hol…
We introduce three quantities related to orbits of non-elliptic continuous semigroups of holomorphic self-maps of the unit disc, the total speed, the orthogonal speed and the tangential speed and show how they are related and what can be inferred from those.
We prove a result on removing singularities of almost complex structures pulled back by a non-diffeomorphic map. As an application we prove the existence of global J-holomorphic discs with boundaries attached to real tori.
We introduce Hausdorff operators over the unit disc and give conditions for boundedness of such operator in Bloch, Bergman, and Hardy spaces on the disc. Identity approximation by Hausdorff operators is also considered.
We give three necessary and sufficient conditions so that a parabolic holomorphic semigroup $(ϕ_t)$ in the unit disc is of finite shift. One is in terms of the asymptotic behavior of speeds of convergence, the second one is related to the hyperbolic metric of its Koenigs domain $Ω$ and the latter one deals with Euclidean properties of $Ω$.
It is shown that discrete analogs of z^c and log(z) have the same asymptotic behavior as their smooth counterparts. These discrete maps are described in terms of special solutions of discrete Painleve-II equations, asymptotics of these solutions providing the behaviour of discrete z^c and log(z) at infinity.
We prove that pseudo-holomorphic discs attached to a maximal totally real submanifold inherit their regularity from the regularity of the submanifold and of the almost complex structure. The proof is based on the computation of an explicit lower bound for the Kobayashi metric in almost complex manifolds, which also yields explicit estimates of Hölderian norms of such discs.
This is a survey on local dynamics of holomorphic maps in one and several complex variables, discussing in particular normal forms and the structure of local stable sets in the non-hyperbolic case, and including several proofs and a vast bibliography. It updates and enlarge the previous survey arXiv:math/0310089v1.
We show that the tangential speed of a parabolic semigroup of holomorphic self-maps in the unit disc is asymptotically bounded from above by (1/2)logt, proving a conjecture by Bracci. In order to show the proof we need a result of "asymptotical monotonicity" of the tangential speed for proper pairs of parabolic semigroups with positive hyperbolic step.
Let $(φ_t)$, $(ϕ_t)$ be two one-parameter semigroups of holomorphic self-maps of the unit disc $\mathbb D\subset \mathbb C$. Let $f:\mathbb D \to \mathbb D$ be a homeomorphism. We prove that, if $f \circ ϕ_t=φ_t \circ f$ for all $t\geq 0$, then $f$ extends to a homeomorphism of $\bar{\mathbb D}$ outside exceptional maximal contact arcs (in particular, for elliptic semigroups, $f$ extends to a homeomorphism of $\bar{\mathbb D}$). Using this result, we study topological invariants for one-parameter semigroups of holomorphic self-maps of the unit disc.
It has been an open problem for about ten years whether every trajectory of a parabolic one-parameter semigroup in the unit disk tends to the Denjoy-Wolff point with a definite (and common for all trajectories) slope. In this paper, we give the negative answer to this question.