Conjugacies of model sets

Let $M$ be a model set meeting two simple conditions: (1) the internal space $H$ is a product of $R^n$ and a finite group, and (2) the window $W$ is a finite union of disjoint polyhedra. Then any point pattern with finite local complexity (FLC) that is topologically conjugate to $M$ is mutually locally derivable (MLD) to a model set $M'$ that has the same internal group and window as $M$, but has a different projection from $H \times R^d$ to $R^d$. In cohomological terms, this means that the group $H^1_{an}(M,R)$ of asymptotically negligible classes has dimension $n$. We also exhibit a counterexample when the second hypothesis is removed, constructing two topologically conjugate FLC Delone sets, one a model set and the other not even a Meyer set.Comment: Updated to the published versio

From local to global analytic conjugacies

Let $f_1$ and $f_2$ be rational maps with Julia sets $J_1$ and $J_2$, and let $\Psi:J_1\to \mathbb{P}^1$ be any continuous map such that $\Psi\circ f_1=f_2\circ \Psi$ on $J_1$. We show that if $\Psi$ is $\mathbb{C}$-differentiable, with non-vanishing derivative, at some repelling periodic point $z_1\in J_1$, then $\Psi$ admits an analytic extension to $\mathbb{P}^1\setminus {\mathcal E}_1$, where ${\mathcal E}_1$ is the exceptional set of $f_1$. Moreover, this extension is a semiconjugacy. This generalizes a result of Julia (Ann. Sci. École Norm. Sup. (3) 40 (1923), 97–150). Furthermore, if ${\mathcal E}_1=\emptyset$ then the extended map $\Psi$ is rational, and in this situation $\Psi(J_1)=J_2$ and $\Psi^{-1}(J_2)=J_1$, provided that $\Psi$ is not constant. On the other hand, if ${\mathcal E}_1\neq \emptyset$ then the extended map may be transcendental: for example, when $f_1$ is a power map (conjugate to $z\mapsto z^{\pm d}$) or a Chebyshev map (conjugate to \pm \text{Х}_d with \text{Х}_d(z+z^{-1}) = z^d+z^{-d}), and when $f_2$ is an integral Lattès example (a quotient of the multiplication by an integer on a torus). Eremenko (Algebra i Analiz 1(4) (1989), 102–116) proved that these are the only such examples. We present a new proof

Explosion of smoothness for conjugacies between multimodal maps

Let $f$ and $g$ be smooth multimodal maps with no periodic attractors and no neutral points. If a topological conjugacy $h$ between $f$ and $g$ is $C^{1}$ at a point in the nearby expanding set of $f$, then $h$ is a smooth diffeomorphism in the basin of attraction of a renormalization interval of $f$. In particular, if $f:I \to I$ and $g:J \to J$ are $C^r$ unimodal maps and $h$ is $C^{1}$ at a boundary of $I$ then $h$ is $C^r$ in $I$.Comment: 22 page

Linearizability of Saturated Polynomials

Brjuno and R\"ussmann proved that every irrationally indifferent fixed point of an analytic function with a Brjuno rotation number is linearizable, and Yoccoz proved that this is sharp for quadratic polynomials. Douady conjectured that this is sharp for all rational functions of degree at least 2, i.e., that non-M\"obius rational functions cannot have Siegel disks with non-Brjuno rotation numbers. We prove that Douady's conjecture holds for the class of polynomials for which the number of infinite tails of critical orbits in the Julia set equals the number of irrationally indifferent cycles. As a corollary, Douady's conjecture holds for the polynomials $P(z) = z^d + c$ for all $d > 1$ and all complex $c$.Comment: 28 pages, major revisions and additions following referee comment