We prove that the linearization of a germ of holomorphic map of the type $F_λ(z)=λ(z+O(z^2))$ has a $ C^1$--holomorphic dependence on the multiplier $λ$. $C^1$--holomorphic functions are $ C^1$--Whitney smooth functions, defined on compact subsets and which belong to the kernel of the $\bar{\partial}$ operator. The linearization is analytic for $|λ|\not= 1$ and the unit circle $S^1$ appears as a natural boundary (because of resonances, i.e. roots of unity). However the linearization is still defined at most points of $S^1$, namely those points which lie ``far enough from resonances'', i.e. when the multiplier satisfies a suitable arithmetical condition. We construct an increasing sequence of compacts which avoid resonances and prove that the linearization belongs to the associated spaces of ${\cal C}^1$--holomorphic functions. This is a special case of Borel's theory of uniform monogenic functions, and the corresponding function space is arcwise-quasianalytic. Among the consequences of these results, we can prove that the linearization admits an asymptotic expansion w.r.t. the multiplier at all points of the unit circle verifying the Brjuno condition: in fact the asymptotic expansion is of Gevrey type at diophantine points.
We study Siegel's center problem on the linearization of germs of diffeomorphisms in one variable. In addition of the classical problems of formal and analytic linearization, we give sufficient conditions for the linearization to belong to some algebras of ultradifferentiable germs closed under composition and derivation, including Gevrey classes. In the analytic case we give a positive answer to a question of J.-C. Yoccoz on the optimality of the estimates obtained by the classical majorant series method. In the ultradifferentiable case we prove that the Brjuno condition is sufficient for the…
We prove that a hyperbolic Dulac germ with complex coefficients in its expansion is linearizable on a standard quadratic domain and that the linearizing coordinate is again a complex Dulac germ. The proof uses results about normal forms of hyperbolic transseries from another work of the authors.
We study the linearization problem of germs of holomorphic diffeomorphisms with resonant linear part. The formal linearization requires in general an infinite number of algebraic relations to be satisfied by the coefficients of the power series defining the holomorphic germ. For a fixed germ, the linearizing mappings are not unique, but the existence of a finite jet with a formal divergent linearization but no convergent one forces all the other linearizing mappings to be diverging. We consider also polynomial families formally conjugated to a fixed resonant linear part. Then all the elements …
Let $f$ be a germ of holomorphic diffeomorphism of $\C^n$ fixing the origin $O$, with $df_O$ diagonalizable. We prove that, under certain arithmetic conditions on the eigenvalues of $df_O$ and some restrictions on the resonances, $f$ is locally holomorphically linearizable if and only if there exists a particular $f$-invariant complex manifold. Most of the classical linearization results can be obtained as corollaries of our result.
By applying holomorphic motions, we prove that a parabolic germ is quasiconformally rigid, that is, any two topologically conjugate parabolic germs are quasiconformally conjugate and the conjugacy can be chosen to be more and more near conformal as long as we consider these germs defined on smaller and smaller neighborhoods. Before proving this theorem, we use the idea of holomorphic motions to give a conceptual proof of the Fatou linearization theorem. As a by-product, we also prove that any finite number of analytic germs at different points in the Riemann sphere can be extended to a quasico…
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_m$ be $m\ge 2$ germs of biholomorphisms of $\C^n$, fixing the origin, with $(\d f_1)_O$ diagonalizable and such that $f_1$ commutes with $f_h$ for any $h=2,..., m$. We prove that, under certain arithmetic conditions on the eigenvalues of $(\d f_1)_O$ and some restrictions on their resonances, $f_1, ..., f_m$ are simultaneously holomorphically linearizable if and only if there exists a particular complex manifold invariant under $f_1,..., f_m$.
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 study the Siegel--Schröder center problem on the linearization of analytic germs of diffeomorphisms in several complex variables, in the Gevrey--$s$, $s>0$ category. We introduce a new arithmetical condition of Bruno type on the linear part of the given germ, which ensures the existence of a Gevrey--$s$ formal linearization. We use this fact to prove the effective stability, i.e. stability for finite but long time, of neighborhoods of the origin for the analytic germ.
We give lower bounds for the size of linearization discs for power series over $\mathbb{C}_p$. For quadratic maps, and certain power series containing a `sufficiently large' quadratic term, we find the exact linearization disc. For finite extensions of $\mathbb{Q}_p$, we give a sufficient condition on the multiplier under which the corresponding linearization disc is maximal (i.e. its radius coincides with that of the maximal disc in $\mathbb{C}_p$ on which $f$ is one-to-one). In particular, in unramified extensions of $\mathbb{Q}_p$, the linearization disc is maximal if the multiplier map has…
We prove the holomorphic linearizability of germs of biholomorphisms of (C n , 0), fixing the origin, point at which the linear part has nontrivial Jordan blocks under the following assumptions : We first assume the eigenvalues are of modulus less or equal than 1, and that they are non-resonant. We also assume that they satisfied not only a classical Diophantine condition but also new Diophantine-like conditions related to quasi-resonance phenomena.
The classical Lagrange inversion formula is extended to analytic and non--analytic inversion problems on non--Archimedean fields. We give some applications to the field of formal Laurent series in $n$ variables, where the non--analytic inversion formula gives explicit formal solutions of general semilinear differential and $q$--difference equations. We will be interested in linearization problems for germs of diffeomorphisms (Siegel center problem) and vector fields. In addition to analytic results, we give sufficient condition for the linearization to belong to some Classes of ultradifferenti…
We study ultrametric germs in one variable having an irrationally indifferent fixed point at the origin with a prescribed multiplier. We show that for many values of the multiplier, the cycles in the unit disk of the corresponding monic quadratic polynomial are "optimal" in the following sense: They minimize the distance to the origin among cycles of the same minimal period of normalized germs having an irrationally indifferent fixed point at the origin with the same multiplier. We also give examples of multipliers for which the corresponding quadratic polynomial does not have optimal cycles. …
We show that if a 1-hyperbolic structurally finite entire function of type $(p,q)$, $p\ge 1$, is linearizable at an irrationally indifferent fixed point, then its multiplier satisfies the Brjuno condition. We also prove the generalized Mañé theorem; if an entire function has only finitely many critical points and asymptotic values, then for every such a non-expanding forward invariant set that is either a Cremer cycle or the boundary of a cycle of Siegel disks, there exists an asymptotic value or a recurrent critical point such that the derived set of its forward orbit contains this invariant …
We study germs of smooth vector fields in a neighborhood of a fixed point having an hyperbolic linear part at this point. It is well known that the "small divisors" are invisible either for the smooth linearization or normal form problem. We prove that this is completely different in the smooth Gevrey category. We prove that a germ of smooth $\al$-Gevrey vector field with an hyperbolic linear part admits a smooth $\be$-Gevrey transformation to a smooth $\be$-Gevrey normal form. The Gevrey order $\be$ depends on the rate of accumulation to $0$ of the small divisors. We show that a formally line…
We study germs of singular holomorphic vector fields at the origin of $\Bbb C^n$ of which the linear part is 1-resonant and which have a polynomial normal form. The formal normalizing diffeomorphism is usually divergent at the origin but there exists holomorphic diffeomorphisms in some "sectorial domains" which transform these vector fields into their normal form. In this article, we study the interplay between the small divisors phenomenon and the Gevrey character of the sectorial normalizing diffeomorphisms. We show that the Gevrey ordrer of the latter is linked to the diophantine type of th…
Let $f$ be a germ of biholomorphism of $\C^n$, fixing the origin. We show that if the germ commutes with a torus action, then we get information on the germs that can be conjugated to $f$, and furthermore on the existence of a holomorphic linearization or of a holomorphic normalization of $f$. We find out in a complete and computable manner what kind of structure a torus action must have in order to get a Poincaré-Dulac holomorphic normalization, studying the possible torsion phenomena. In particular, we link the eigenvalues of $df_O$ to the weight matrix of the action. The link and the struct…
We study analytic germs in one variable having a parabolic fixed point at the origin, over an ultrametric ground field of positive characteristic. It is conjectured that for such a germ the origin is isolated as a periodic point. Our main result is an affirmative solution of this conjecture in the case of a generic germ with a prescribed multiplier. The genericity condition is explicit: That the power series is minimally ramified, i.e., that the degree of the first non-linear term of each of its iterates is as small as possible. Our main technical result is a computation of the first significa…
In this paper we describe the moduli space of germs of generic families of analytic diffeomorphisms which unfold a parabolic fixed point of codimension 1. In [MRR] (and also [R]), it was shown that the Ecalle-Voronin modulus can be unfolded to give a complete modulus for such germs. The modulus is defined on a ramified sector in the canonical perturbation parameter $\eps$. As in the case of the Ecalle-Voronin modulus, the modulus is defined up to a linear scaling depending only on $\eps$. Here, we characterize the moduli space for such unfoldings by finding the compatibility conditions on the …
In this article we give an expository account of the holomorphic motion theorem based on work of Màñé-Sad-Sullivan, Bers-Royden, and Chirka. After proving this theorem, we show that tangent vectors to holomorphic motions have $|ε\log ε|$ moduli of continuity and then show how this type of continuity for tangent vectors can be combined with Schwarz's lemma and integration over the holomorphic variable to produce Hölder continuity on the mappings. We also prove, by using holomorphic motions, that Kobayashi's and Teichmüller's metrics on the Teichmüller space of a Riemann surface coincide. Finall…
