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 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.
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.
We build measurable holomorphic motions for Julia sets of holomorphic families of endomorphisms of CP(k) under various equivalent notions of stability.
Finite dimensional Stein spaces admitting a proper holomorphic embedding of the complex line are characterized, among all complex spaces, by their holomorphic endomorphism semigroup in the sense that any semigroup isomorphism induces either a biholomorphic or an antibiholomorphic map between them.
Reinhardt domains determined by their endomorphisms
Faculty of Mathematics and Physics, University of Ljubljana(卢布尔雅那大学数学物理学院);Institute of Mathematics, Faculty of Mathematics and Computer Science, Jagiellonian University(亚捷隆大学数学与计算机科学学院数学研究所)
We linearize the inverse branches of the iterates of holomorphic endomorphisms of CP(k) and thus overcome the lack of Koebe distortion theorem in this setting when k $\ge$ 2. We review several applications of this result in holomorphic dynamics.
We study the laminarity of the Green current of endomorphisms of $P^2C$ near hyperbolic measures of saddle type. When these measures are supported by attracting sets, we prove that the Green current is laminar in the basin of attraction and we obtain new ergodic properties. This generalizes some results of Bedford and Jonsson on regular polynomial mappings in $C^2$.
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.
We introduce a notion of stability for equilibrium measures in holomorphic families of endomorphisms of CP(k) and prove that it is equivalent to the stability of repelling cycles and equivalent to the existence of some measurable holomorphic motion of Julia sets which we call equilibrium lamination. We characterize the corresponding bifurcations by the strict subharmonicity of the sum of Lyapunov exponents or the instability of critical dynamics and analyze how repelling cycles may bifurcate. Our methods deeply exploit the properties of Lyapunov exponents and are based on ergodic theory and on…
We study fixed point sets for holomorphic automorphisms (and endomorphisms) on complex manifolds. The main object of our interest is to determine the number and configuration of fixed points that forces an automorphism (endomorphism) to be the identity. These questions have been examined in a number of papers for a bounded domain in ${\Bbb C}^n$. Here we resolve the case for a general finite dimensional hyperbolic manifold. We also show that the results for non-hyperbolic manifolds are notably different.
In this paper, we discuss the equidistribution phenomena for holomorphic endomorphisms over $\mathbb{P}^k$ in the case of bidegree $(p,p)$ with $1<p<k$. We prove that if $f:\mathbb{P}^k\to\mathbb{P}^k$ is a holomorphic endomorphism of degree $d\geq 2$ and $T^p$ denotes the Green $(p,p)$-current associated with $f$, then there exists a proper invariant analytic subset $E$ for $f$ such that $d^{-pn}(f^n)^*(S)\to T^p$ exponentially fast in the current sense for every positive closed $(p,p)$-current $S$ of mass 1 such that $S$ is smooth on $E$.
If f is a bijection from C^n onto a complex manifold M, which conjugates every holomorphic map in C^n to an endomorphism in M, then we prove that f is necessarily biholomorphic or antibiholomorphic. This extends a result of A. Hinkkanen to higher dimensions. As a corollary, we prove that if there is an epimorphism from the semigroup of all holomorphic endomorphisms of C^n to the semigroup of holomorphic endomorphisms in M, or an epimorphism in the opposite direction for a doubly-transitive M, then it is given by conjugation by some biholomorphic or antibiholomorphic map. We show also that ther…
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…
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 …
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…
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.
Let f be a polynomial endomorphism of degree d>1 of C^k (k>1) which extends to a holomorphic endomorphism of P^k. Assume that the maximal order Julia set of f is laminated by real hypersurfaces in some open set. We show that f is homogenous and is a polynomial lift of a Lattes endomorphism of P^{k-1}.
We study random holomorphic endomorphisms of P^k(C). Under some assumptions, we construct a random Green current and a random Green measure and we prove that these measures have mixing properties.
We initiate a parametric study of holomorphic families of polynomial skew products, i.e., polynomial endomorphisms of $\mathbb{C}^2$ of the form $F(z,w)= (p(z), q(z,w))$ that extend to holomorphic endomorphisms of $\mathbb{P}^2(\mathbb{C})$. We prove that dynamical stability in the sense of arXiv:1403.7603 preserves hyperbolicity within such families, and give a complete classification of the hyperbolic components that are the analogue, in this setting, of the complement of the Mandelbrot set for the family $z^2 +c$. We also precisely describe the geometry of the bifurcation locus and current …
Let f be a non-invertible holomorphic endomorphism of P^k. For a hypersurface H of P^k, generic in the Zariski sense, we give an explicit speed of convergence of f^{-n}(H) towards the dynamical Green (1,1)-current of f.
Let $F$ be a polynomial endomorphism of $\C^n$ which extends holomorphically to $¶^n$. We prove that the dimension of $μ_F$, the pluriharmonic measure on the boundary of the filled Julia set of $F$, is bounded above by $2n-1$.
We prove that the minimal chain recurrence classes of a holomorphic endomorphism of $\mathbb P^k$ have finitely many connected components. We also obtain results on arbitrary classes. These strong constraints on the topological dynamics in the phase space are all deduced from the associated action on a space of currents.
We establish a formula for the sum of the Lyapounov exponents of an holomorphic endomorphism of ${\bf P}^k$. For an holomorphic family of such endomorphisms we define the {\em bifurcation current} as $dd^cL$ and show that it vanishes when the repulsive cycles move holomorphically. We then prove a formula which relates this current with the interaction between the Green current and the current of integration on the critical set. In the 1-dimensional case (i.e. for ${\bf P}^1$) we find a geometrical description of the support of this current and its powers. Finally we introduce the {\em bifurcat…
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 be a non-invertible holomorphic endomorphism of the complex projective space P^k, f^n its iterate of order n and μthe equilibrium measure of f. We estimate the speed of convergence in the following known result. If a is a Zariski generic point in P^k, the probability measures, equidistributed on the preimages of a under f^n, converge to μas n goes to infinity.
Let f be a non-invertible holomorphic endomorphism of P^k having an attracting set A. We show that, under some natural assumptions, A supports a unique invariant positive closed current τ, of the right bidegree and of mass 1. Moreover, if R is a current supported in a small neighborhood of A then its push-forwards by f^n converge to τexponentially fast. We also prove that the equilibrium measure on A is hyperbolic.
Let f be a non-invertible holomorphic endomorphism of the complex projective space P^k and f^n its iterate of order n. Let V be an algebraic subvariety of P^k which is generic in the Zariski sense. We give here a survey on the asymptotic equidistribution of the sequence $f^{-n}(V)$ when n goes to infinity.
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…
Let $f$ be an holomorphic endomorphism of $\mathbb{C}\mathbb{P}^k$. We construct by using coding techniques a class of ergodic measures as limits of non-uniform probability measures on preimages of points. We show that they have large metric entropy, close to $\log d^k$. We establish for them strong stochastic properties and prove the positivity of their Lyapunov exponents. Since they have large entropy, those measures are supported in the support of the maximal entropy measure of $f$. They in particular provide lower bounds for the Hausdorff dimension of the Julia set.
The goal of this paper is to study some basic properties of the Fatou and Julia sets for a family of holomorphic endomorphisms of $\mathbb{C}^k,\; k \ge 2$. We are particularly interested in studying these sets for semigroups generated by various classes of holomorphic endomorphisms of $\mathbb{C}^k,\; k \ge 2.$ We prove that if the Julia set of a semigroup $G$ which is generated by endomorphisms of maximal generic rank $k$ in $\mathbb{C}^k$ contains an isolated point, then $G$ must contain an element that is conjugate to an upper triangular automorphism of $\mathbb{C}^k.$ This generalizes a t…
Let f be a non-invertible holomorphic endomorphism of a projective space and f^n its iterate of order n. We prove that the pull-back by f^n of a generic (in the Zariski sense) hypersurface, properly normalized, converge to the Green current associated to f when n tends to infinity. We also give an analogous result for the pull-back of positive closed (1,1)-currents.
In this paper, we associate to each positive number k a new class of endomorphisms of the sheaf of germs of holomorphic functions on [-1,1] and prove the solvability in the Gevrey class G_k([-1,1]) of some linear functional equations related to endomorphisms.
We show that the main part of the genus of the preimages of a projective line by a generic holomorphic endomorphism of CP^2 goes to the support of the Green measure.
LLet $f$ be a holomorphic endomorphism of $\mathbb P^ 2$ of degree $d \geq 2$. We estimate the local directional dimensions of closed positive currents $S$ with respect to ergodic dilating measures $ν$. We infer several applications. The first one shows that the currents $S$ containing a measure of entropy $h\_ν> \log d$ have a directional dimension $>2$, which answers a question by de Thélin-Vigny. The second application asserts that the Dujardin's semi-extremal endomorphisms are close to suspensions of one-dimensional Lattès maps. Finally, we obtain an upper bound for the dimension of the eq…
Let f be a holomorphic endomorphism of P^k having an attracting set A. We construct an attracting current and an equilibrium measure associated to A. The attracting current is weakly laminar and extremal in the cone of invariant currents. The equilibrium measure is mixing and has maximal entropy.
Let $(E,h)$ be a holomorphic Hermitian vector bundle over a polarized manifold. We provide a canonical quantization of the Laplacian operator acting on sections of the bundle of Hermitian endomorphisms of $E$. If $E$ is simple we obtain an approximation of the eigenvalues and eigenspaces of the Laplacian.
Let $Λ$ be a complex manifold and let $(f_λ)_{λ\in Λ}$ be a holomorphic family of rational maps of degree $d\geq 2$ of $\mathbb{P}^1$. We define a natural notion of entropy of bifurcation, mimicking the classical definition of entropy, by the parametric growth rate of critical orbits. We also define a notion a measure-theoretic bifurcation entropy for which we prove a variational principle: the measure of bifurcation is a measure of maximal entropy. We rely crucially on a generalization of Yomdin's bound of the volume of the image of a dynamical ball. Applying our technics to complex dynamics …
Let $f$ be a holomorphic endomorphism of $\mathbb{CP}^k$ having an attracting set $A$. In this paper, we address the question of the "size" of $A$ in a pluripolar sense. We introduce a conceptually simple framework to have non-algebraic attracting sets. We prove that adding a dimensional condition, these sets support a closed positive current with bounded quasi-potential (which answers a question from T.C. Dinh). Therefore, they are not pluripolar. Moreover, the examples are abundant on $\mathbb{CP}^k$.