Search

Let $f$ be a germ of holomorphic diffeomorphism with an irrationally indifferent fixed point at the origin in $\mathbb{C}$ (i.e. $f(0) = 0, f'(0) = e^{2\pi i \alpha}, \alpha \in \mathbb{R} - \mathbb{Q}$). Perez-Marco showed the existence of a unique continuous monotone one-parameter family of nontrivial invariant full continua containing the fixed point called Siegel compacta, and gave a correspondence between germs and families $(g_t)$ of circle maps obtained by conformally mapping the complement of these compacts to the complement of the unit disk. The family of circle maps $(g_t)$ is the orbit of a locally-defined semigroup $(\Phi_t)$ on the space of analytic circle maps which we show has a well-defined infinitesimal generator $X$. The explicit form of $X$ is obtained by using the Loewner equation associated to the family of hulls $(K_t)$. We show that the Loewner measures $(\mu_t)$ driving the equation are 2-conformal measures on the circle for the circle maps $(z \mapsto \overline{g_t(\overline{z})})$., Comment: 16 pages. Corrected typos, added section on linearizable maps and conformal radius

Let f be a germ of holomorphic diffeomorphism with an irra- tionally indifferent fixed point at the origin in C (i.e. f(0) = 0, f'(0) = e 2pi i alpha, alpha in R - Q). Perez-Marco showed the existence of a unique family of nontrivial invariant full continua containing the fixed point called Siegel compacta. When f is non-linearizable (i.e. not holomorphically conjugate to the rigid rotation R_{alpha}(z) = e 2pi i z) the invariant compacts obtained are called hedgehogs. Perez-Marco developed techniques for the construction of examples of non-linearizable germs; these were used by the author to construct hedge- hogs of Hausdorff dimension one, and adapted by Cheritat to construct Siegel disks with pseudo-circle boundaries. We use these techniques to construct hedgehogs of positive area and hedgehogs with inaccessible fixed points., Comment: Typos and part of proof rewritten

Let $f(z) = e^{2\pi i \alpha}z + O(z^2), \alpha \in \mathbb{R}$ be a germ of holomorphic diffeomorphism in $\mathbb{C}$. For $\alpha$ rational and $f$ of infinite order, the space of conformal conjugacy classes of germs topologically conjugate to $f$ is parametrized by the Ecalle-Voronin invariants (and in particular is infinite-dimensional). When $\alpha$ is irrational and $f$ is nonlinearizable it is not known whether $f$ admits quasi-conformal deformations. We show that if $f$ has a sequence of repelling periodic orbits converging to the fixed point then $f$ embeds into an infinite-dimensional family of quasi-conformally conjugate germs no two of which are conformally conjugate.

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 linearizability. We also obtain lower bounds for the conformal radii of the Siegel disks in both cases in terms of the arithmetic functions defining the arithmetic conditions., Comment: preliminary version

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., Comment: one figure omitted

Perez-Marco proved the existence of non-trivial totally invariant connected compacts called hedgehogs near the fixed point of a nonlinearizable germ of holomorphic diffeomorphism. We show that if two nonlinearisable holomorphic germs with a common indifferent fixed point have a common hedgehog then they must commute. This allows us to establish a correspondence between hedgehogs and nonlinearizable maximal abelian subgroups of Diff$(\bf C,0)$. We also show that two nonlinearizable germs are conjugate if and only if their rotation numbers are equal and a hedgehog of one can be mapped conformally onto a hedgehog of the other. Thus the conjugacy class of a nonlinearizable germ is completely determined by its rotation number and the conformal class of its hedgehogs., Comment: 11 pages

We use techniques of tube-log Riemann surfaces due to R.Perez-Marco to construct a hedgehog containing smooth $C^{\infty}$ combs. The hedgehog is a common hedgehog for a family of commuting non-linearisable holomorphic maps with a common indifferent fixed point. The comb is made up of smooth curves, and is transversally bi-H\"older regular.