We prove that a finite family of commuting holomorphic self-maps of the unit ball $\mathbb{B}^q\subset \mathbb{C}^q$ admits a simultaneous holomorphic conjugacy to a family of commuting automorphisms of a possibly lower dimensional ball, and that such conjugacy satisfies a universal property. As an application we describe when a hyperbolic and a parabolic holomorphic self-map of $\mathbb{B}^q$ can commute.
Let $f_1, ..., f_h$ be $h\ge 2$ germs of biholomorphisms of $\C^n$ fixing the origin. We investigate the shape a (formal) simultaneous linearization of the given germs can have, and we prove that if $f_1, ..., f_h$ commute and their linear parts are almost simultaneously Jordanizable then they are simultaneously formally linearizable. We next introduce a simultaneous Brjuno-type condition and prove that, in case the linear terms of the germs are diagonalizable, if the germs commutes and our Brjuno-type condition holds, then they are holomorphically simultaneously linerizable. This answers to a…
Let f_1,...,f_N be commuting germs of holomorphic diffeomorphisms in C fixing the origin with irrational rationally independent rotation numbers alpha_1,...,alpha_N. We adapt Yoccoz' renormalization of germs to this setting to show that a Brjuno-type condition on simultaneous Diophantine approximability of the rotation numbers is sufficient for simultaneous linearizability of f_1,...,f_N. This generalizes a result of Moser's. In the absence of periodic orbits we show that a weaker arithmetic condition analogous to that of Perez-Marco's for the case of a single germ is sufficent for linearizabi…
We determine all couples of commuting polynomial endomorphisms of C^2 that extends to holomorphic endomorphisms of P^2 and that have disjoint sequences of iterates.
Let $S_{1}=\left\{F_t\right\}_{t\geq 0}$ and $S_{2}=\left\{G_t\right\}_{t\geq 0}$ be two continuous semigroups of holomorphic self-mappings of the unit disk $Δ=\{z:|z|<1\}$ generated by $f$ and $g$, respectively. We present conditions on the behavior of $f$ (or $g$) in a neighborhood of a fixed point of $S_{1}$ (or $S_{2}$), under which the commutativity of two elements, say, $F_1$ and $G_1$ of the semigroups implies that the semigroups commute, i.e., $F_{t}\circ G_{s}=G_{s}\circ F_{t}$ for all $s,t\geq 0$. As an auxiliary result, we show that the existence of the (angular or unrestricted) $n$…
Let f_1, f_2 be holomorphic endomorphisms of P^k, of degrees d_1\geq 2, d_2\geq 2. Assume that f_1\circ f_2=f_2\circ f_1 and that d_1^{n_1}\not =d_2^{n_2} for all integers n_1, n_2. We then show that f_j are critically finite. Moreover there is an orbifold (P^k,n) such that f_1, f_2 are coverings of (P^k,n). In the P^2 case we give the list of commuting pairs satisfying the above conditions.
We consider commuting pairs of holomorphic endomorphisms of P^2 with disjoint sequence of iterates. The remaining case to be studied is when their degrees coincide after some number of iterations. We show in this case that they are either commuting Lattès maps or commuting homogeneous polynomial maps of C^2 inducing a Lattès map on the hyperplane at infinity.
In this article we study deformations of a holomorphic foliation with a generic non-rational first integral in the complex plane. We consider two vanishing cycles in a regular fiber of the first integral with a non-zero self intersection and with vanishing paths which intersect each other only at their start points. It is proved that if the deformed holonomies of such vanishing cycles commute then the deformed foliation has also a first integral. Our result generalizes a similar result of Ilyashenko on the rigidity of holomorphic foliations with a persistent center singularity. The main tools …
We give positive answer to a conjecture by Agranovsky. A continuous function on the sphere which has separate holomorphic extension along the set of complex lines passing through three non aligned interior points, is the trace of a holomorphic function in the ball.
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 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 first give an exposition on holomorphic isometries from the Poincaré disk to polydisks and from the Poincaré disk to the product of the Poincaré disk with a complex unit ball. As an application, we provide an example of proper holomorphic map from the unit disk to the complex unit ball that is irrational, algebraic and holomorphic on a neighborhood of the closed unit disk. We also include some new results on holomorphic isometries.
Real analytic functions on the boundary of the sphere which have separate holomorphic extension along the complex lines through a boundary point have holomorphic extension to the ball. This was proved in a previous preprint by an argument of CR geometry. We give here an elementary proof based on the expansion in holomorphic and antiholomorphic powers.
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 construct isometric holomorphic embeddings of the unit ball into higher rank symmetric domains, first discovered by Mok, in an explicit way using Jordan triple systems, and prove uniqueness results for all domains, including the exceptional domains of dimension 16 and 27.
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.
Given a sequence of automorphisms of the polydisk, we show that the associated composition semigroup homomorphisms on the ball of bounded holomorphic functions on the polydisk admit a universal inner function if a certain condition on the automorphisms are satisfied.
We prove rigidity results for holomorphic proper maps from the complex unit ball $\mathbb{B}^n$ to the Type IV bounded symmetric domain $D^{IV}_m$ where $n \geq 4, n+1\leq m \leq 2n-3$. In addition, a classification result is established when $m=n+1.$
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.
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.
Let $\mathbb{B}^2$ denote the open unit ball in $\mathbb{C}^2$, and let $p\in \mathbb{C}^2\setminus\overline{\mathbb{B}^2}$. We prove that if $f$ is an analytic function on the sphere $\partial\mathbb{B}^2$ that extends holomorphically in each variable separately and along each complex line through $p$, then $f$ is the trace of a holomorphic function in the ball.
As outlined below, this paper is devoted to a Carleson-type-measure-based study of the holomorphic Campanato $2$-space on the open unit ball $\mathbb B_n$ of $\mathbb C^n$, comprising all Hardy $2$-functions whose oscillations in non-isotropic metric balls on the compact unit sphere $\mathbb S_n$ are proportional to some power of the radius other than the dimension $n\ge 1$.
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 prove an Alexander type theorem for the spectral unit ball $Ω_n$ showing that there are no non-trivial proper holomorphic mappings in $Ω_n$, $n\geq 2$.
We consider inductive limits of weighted spaces of holomorphic functions in the unit ball of $\mathbb C^n$. The relationship between sets of uniqueness, weakly sufficient sets and sampling sets in these spaces is studied. In particular, the equivalence of these sets, under general conditions of the weights, is obtained.
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 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$.
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 present a rigidity property of holomorphic generators on the open unit ball $\mathbb{B}$ of a Hilbert space $H$. Namely, if $f\in\Hol (\mathbb{B},H)$ is the generator of a one-parameter continuous semigroup ${F_t}_{t\geq 0}$ on $\mathbb{B}$ such that for some boundary point $τ\in \partial\mathbb{B}$, the admissible limit $K$-$\lim\limits_{z\toτ}\frac{f(x)}{\|x-τ\|^{3}}=0$, then $f$ vanishes identically on $\mathbb{B}$.
We give several characterizations of holomorphic mean Besov-Lipschitz space on the unit ball in $\cn $ and appropriate Besov-Lipschitz space and prove the equivalences between them. Equivalent norms on the mean Besov-Lipschitz space involve different types of $L^p$-moduli of continuity, while in characterizations of Besov-Lipschitz space we use not only the radial derivative but also the gradient and the tangential derivatives. The characterization in terms of the best approximation by polynomials is also given.
We deal with a problem of the reconstruction of any holomorphic function $f$ on the unit ball of $\mathbb{C}^2$ from its restricions on a union of complex lines. We give an explicit formula of Lagrange interpolation's type that is constructed from the knowledge of $f$ and its derivatives on these lines. We prove that this formula approximates any function when the number of lines increases. The motivation of this problem comes also from possible applications in mathematical economics and medical imaging.
In this paper we study commuting families of holomorphic mappings in $\mathbb{C}^n$ which form abelian semigroups with respect to their real parameter. Linearization models for holomorphic mappings are been used in the spirit of Schröder's classical functional equation.
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.
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$.
We prove the existence and the essential uniqueness of canonical models for the forward (resp. backward) iteration of a holomorphic self-map $f$ of a cocompact Kobayashi hyperbolic complex manifold, such as the ball $\mathbb{B}^q$ or the polydisc $Δ^q$. This is done performing a time-dependent conjugacy of the dynamical system $(f^n)$, obtaining in this way a non-autonomous dynamical system admitting a relatively compact forward (resp. backward) orbit, and then proving the existence of a natural complex structure on a suitable quotient of the direct limit (resp. subset of the inverse limit). A…
The Cauchy integral formula in Clifford analysis allows us to associate a holomorphic function $\tilde f:L_n\to \C$ on the Lie ball $L_n$ in $\C^n$ with its monogenic counterpart $f:B_1(0)\to \C^{n+1}$ via the formula $\tilde f(z) = \int_{S^n}G_\om(z)\bs n(\om)f(\om)\,dμ(\om)$, $z\in L_n.$ The inverse map $\tilde f\mapsto f$ is constructed here using the Cauchy-Hua formula for the Lie ball following the work of M. Morimoto \cite{Mori2}.
In this paper we introduce a class of pseudo-dissipative holomorphic maps which contains, in particular, the class of infinitesimal generators of semigroups of holomorphic maps on the unit ball of a complex Banach space. We give a growth estimate for maps of this class. In particular, it follows that pseudo-dissipative maps on the unit ball of (infinite-dimensional) Banach spaces are bounded on each domain strictly contained inside the ball. We also present some applications.
We provide generalisations of two Schwarz-type lemmas -- the first a result of Globevnik and the other due to Ransford and White -- for holomorphic mappings into the spectral unit ball. The first concerns mappings of the unit disc in C into the spectral unit ball, while the second concerns self- mappings. The aforementioned results apply to holomorphic mappings that map the origin to the origin. We extend these results to general holomorphic mappings into the spectral unit ball. We also show that our results are sharp.
In this paper, we give a general boundary Schwarz lemma for holomorphic mappings between unit balls in any dimensions. It is proved that if the mapping $f\in C^{1+α}$ at $z_0\in \partial \mathbb B^n$ with $f(z_0)=w_0\in \partial \mathbb B^N$ for any $n,N\geq 1$, then the Jacobian matrix $J_f(z_0)$ maps the tangent space $T_{z_0}(\partial \mathbb B^n)$ to $T_{w_0}(\partial \mathbb B^N)$, and the holomorphic tangent space $T^{(1,0)}_{z_0}(\partial \mathbb B^n)$ to $T^{(1,0)}_{w_0}(\partial \mathbb B^N)$ as well.
Assuming that $S$ is the space of functions of regular variation, $ω\in S$, $0< p<\infty$, a function $f$ holomorphic in $B^n$ is said to be of Besov space $B_p(ω)$ if $$\|f\|^p_{B_p(ω)}=\int_{B^n} (1-|z|^2)^p|Df(z)|^p\frac{ω(1-|z|)}{(1-|z|^2)^{n+1}}dν(z) <+\infty,$$ where $dν(z) $ is the volume measure on $B^n$ and $D $ stands for a fractional derivative of $f$. We consider operators on $B_p(ω)$ and show, that they are bounded.
It is a classical theorem that if a function is integrable along the boundary of the unit circle, then the function is the nontangential limit of a holomorphic function on the open disc if and only if its Fourier coefficients for nonnegative integers are zero. In this article we generalize this result to higher complex dimensions by proving that for an integrable function on the unit sphere, it is ``boundary trace'' of a holomorphic function on the open unit ball if and only if two particular families of integral equations are satisfied. To do this, we use the theory of Hardy spaces as well as…
We prove an analogue of Alexander's Theorem for holomorphic mappings of the unit ball in a complex Hilbert space: Every holomorphic mapping which takes a piece of the boundary of the unit ball into the boundary of the unit ball and whose differential at some point of this boundary is onto is the restriction of an automorphism of the ball. We also show that it is enough to assume that the mapping is only Gateaux-holomorphic.
We construct canonical intertwining semi-models with Kobayashi hyperbolic base space for holomorphic self-maps of complex manifolds which are univalent on some absorbing cocompact hyperbolic domain. In particular, in the unit ball we solve the Valiron equation for hyperbolic univalent self-maps and for hyperbolic semigroups.
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 find a lower bound for the essential norm of the difference of two composition operators acting on $H^2(B_N)$ or $A^2_s(B_N)$ ($s>-1$). This result plays an important role in proving a necessary and sufficient condition for the difference of linear fractional composition operators to be compact, which answers a question posed by MacCluer and Weir in 2005.
Let $f:{\mathbb B}^n \to {\mathbb B}^N$ be a holomorphic map. We study subgroups $Γ_f \subseteq {\rm Aut}({\mathbb B}^n)$ and $T_f \subseteq {\rm Aut}({\mathbb B}^N)$. When $f$ is proper, we show both these groups are Lie subgroups. When $Γ_f$ contains the center of ${\bf U}(n)$, we show that $f$ is spherically equivalent to a polynomial. When $f$ is minimal we show that there is a homomorphism $Φ:Γ_f \to T_f$ such that $f$ is equivariant with respect to $Φ$. To do so, we characterize minimality via the triviality of a third group $H_f$. We relate properties of ${\rm Ker}(Φ)$ to older results …
We prove that to every connected Abelian subgroup $H$ of the biholomorphisms of the unit ball $\mathbb{B}^n$ we can associate a set of bounded symbols whose corresponding Toeplitz operators generate a commutative $C^*$-algebra on every weighted Bergman space. These symbols are of the form $a(z) = f(μ^H(z))$, where $μ^H$ is the moment map for the action of $H$ on $\mathbb{B}^n$. We show that, for this construction, if $H$ is a maximal Abelian subgroup, then the symbols introduced are precisely the $H$-invariant symbols. We provide the explicit computation of moment maps to obtain special sets o…
We established a hyperplane restriction theorem for the local holomorphic mappings between projective spaces, which is inspired by the corresponding theorem of Green for homogeneous ideals in polynomial rings. Our theorem allows us to give the first proof for the existence of gaps (albeit smaller) at all level for the rational proper maps between complex unit balls, conjectured by Huang-Ji-Yin. In addition, our proof does not distinguish the unit balls from other generalized balls and thus it simultaneously demonstrates the same phenomenon for all generalized balls.
We present a construction of hedgehogs for holomorphic maps with an indifferent fixed point. We construct, for a family of commuting non-linearisable maps, a common hedgehog of Hausdorff dimension 1, the minimum possible.
