arXiv Science⌕ Search

arXiv subjects

Xavier Buff

Publications and source records attributed to Xavier Buff.

At least 19 recordsLinked to original sources
arXiv2026

An arithmetic approach to parabolic multiplicity in complex dynamics

When $\omega$ is a primitive $n$-th root of unity, the quadratic polynomial $F(z) = \omega z (1 -z)$ and the entire map $F(z) = \omega z \mathrm{e}^{-z}$ both have a parabolic fixed point at $0$. Their parabolic multiplicity is equal to $1$, that is, $F^{\circ n}(z) = z \bigl( 1 +c z^n +\mathcal{O}(z^{n+1}) \bigr)$ with $c \neq 0$. The classical proof of this fact is transcendental. We present an arithmetic proof which may be extracted from [Towards global models near homoclinic tangencies of dissipative diffeomorphisms; H. Broer, C. Sim\'{o}, J.C. Tatjer] in the transcendental case and requires working in $\mathbb{Z}/(n -1) \mathbb{Z}$, and which is new in the polynomial case and requires working in the $p$-adic field $\mathbb{Q}_p$ for a suitable prime $p$ such that the order of $2$ in $(\mathbb{Z}/p \mathbb{Z})^\times$ is exactly $n$.

math.DS↗
arXiv2026

Biggest bounded type Siegel disks of monic polynomials include those that stick to all critical points

We prove that for all degree $d\geq 2$ and all bounded type irrational $\theta$, in the space of monic polynomials having a period $1$ Siegel disk $\Delta$ of rotation number $\theta$, the maximum locus of the conformal radius of $\Delta$ with respect to its fixed point contains polynomials having all critical points on the boundary of $\Delta$. We apply this to reduce a conjecture of Douady (optimality of the Bruno condition) to a weaker statement.

math.DS↗
arXiv2025

The affine geometry of meromorphic connections with irregular singularities

A meromorphic connection on the tangent bundle of a Riemann surface induces a complex affine structure on the complement of the poles. Local models for Fuchsian singularities are already known. In this paper, we introduce a complete set of local invariants for a meromorphic connection and provide local models for a complex affine structure in a punctured neighborhood of an irregular singularity. Generalizing a construction attributed to Veech, we introduce the Delaunay decomposition of a compact Riemann surface endowed with a meromorphic connection with irregular singularities. In particular, we give upper bounds on the complexity of the decomposition.

math.CV↗
arXiv2025

Conjugacies of geodesic flows in affine cylinders and tori

Affine cylinders (genus zero surfaces with two singularities) and affine tori (genus one surfaces without singularities) are among the simplest examples of surfaces endowed with a complex affine structure. Their geodesic flows are particularly tractable. In this article, we provide explicit necessary and sufficient conditions under which the geodesic flows on such surfaces are conjugate, in the topological and in the holomorphic category.

math.DS↗
arXiv2023

Entire maps with rational preperiodic points and multipliers

Given a number field $\mathbb{K} \subset \mathbb{C}$ that is not contained in $\mathbb{R}$, we prove the existence of a dense set of entire maps $f \colon \mathbb{C} \rightarrow \mathbb{C}$ whose preperiodic points and multipliers all lie in $\mathbb{K}$. This contrasts with the case of rational maps. In addition, we show that there exists an escaping quadratic-like map that is not conjugate to an affine escaping quadratic-like map and whose multipliers all lie in $\mathbb{Q}$.

math.DS↗
arXiv2023

Introduction to Fatou components in holomorphic dynamics

This survey is an introduction to the classification of Fatou components in holomorphic dynamics. We start with the description of the Fatou and Julia sets for rational maps of the Riemann sphere, and finish with an account of the recent results on Fatou components for polynomial skew-products in complex dimension two, where we focus on the key steps in the construction giving the existence of a wandering domain for a polynomial endomorphism of $\mathbb{C}^2$.

math.DS↗
arXiv2022

Entire or rational maps with integer multipliers

Let $\mathcal{O}_{K}$ be the ring of integers of an imaginary quadratic field $K$. Recently, Ji and Xie proved that every rational map $f \colon \widehat{\mathbb{C}} \rightarrow \widehat{\mathbb{C}}$ of degree $d \geq 2$ whose multipliers all lie in $\mathcal{O}_{K}$ is a power map, a Chebyshev map or a Latt\`{e}s map. Their proof relies on a result from non-Archimedean dynamics obtained by Rivera-Letelier. In the present note, we show that one can avoid using this result by considering a differential equation instead. Our proof of Ji and Xie's result also applies to the case of entire maps. Thus, we also show that every nonaffine entire map $f \colon \mathbb{C} \rightarrow \mathbb{C}$ whose multipliers all lie in $\mathcal{O}_{K}$ is a power map or a Chebyshev map.

math.DS↗
arXiv2022

Totally real points in the Mandelbrot Set

Recently, Noytaptim and Petsche proved that the only totally real parameters $c\in \overline{\mathbb Q}$ for which $f_c(z):=z^2+c$ is postcritically finite are $0$, $-1$ and $-2$. In this note, we show that the only totally real parameters $c\in \overline{\mathbb Q}$ for which $f_c$ has a parabolic cycle are $\frac14$, $-\frac34$, $-\frac54$ and $-\frac74$.

math.DS↗
arXiv2019

Smooth Siegel disks everywhere

We prove the existence of Siegel disks with smooth boundaries in most families of holomorphic maps fixing the origin. The method can also yield other types of regularity conditions for the boundary. The family is required to have an indifferent fixed point at $0$, to be parameterized by the rotation number $\alpha$, to depend on $\alpha$ in a Lipschitz-continuous way, and to be non-degenerate. A degenerate family is one for which the set of non-linearizable maps is not dense. We give a characterization of degenerate families, which proves that they are quite exceptional.

math.DS↗
arXiv2019

Tips of Tongues in the Double Standard Family

We answer a question raised by Misiurewicz and Rodrigues concerning the family of degree 2 circle maps $F_\lambda:\mathbb{R}/\mathbb{Z}\to \mathbb{R}/\mathbb{Z}$ defined by \[F_\lambda(x) := 2x + a+ \frac{b}{\pi} \sin(2\pi x){\quad\text{with}\quad} \lambda:=(a,b)\in \mathbb{R}/\mathbb{Z}\times (0,1).\] We prove that if $F_\lambda^{\circ n}-{\rm id}$ has a zero of multiplicity $3$ in $\mathbb{R}/\mathbb{Z}$, then there is a system of local coordinates $(\alpha,\beta):W\to \mathbb{R}^2$ defined in a neighborhood $W$ of $\lambda$, such that $\alpha(\lambda) =\beta(\lambda)=0$ and $F_\mu^{\circ n} - {\rm id}$ has a multiple zero with $\mu\in W$ if and only if $\beta^3(\mu) = \alpha^2(\mu)$. This shows that the tips of tongues are regular cusps.

math.DS↗
arXiv2018

Rational maps with a preperiodic critical point

We show that the set of conjugacy classes of cubic polynomials with a prefixed critical point, of preperiod $k\geq 1$, is an irreducible algebraic curve. We also establish an analogous result for quadratic rational maps. We then study a closely related question concerning the irreducibility (over $\mathbb Q$) of the set of conjugacy classes of unicritical polynomials, of degree $D\geq 2$, with a preperiodic critical point. Our proofs are purely algebraic.

math.DS↗
arXiv2018

Julia sets with a wandering branching point

According to the Thurston No Wandering Triangle Theorem, a branching point in a locally connected quadratic Julia set is either preperiodic or precritical. Blokh and Oversteegen proved that this theorem does not hold for higher degree Julia sets: there exist cubic polynomials whose Julia set is a locally connected dendrite with a branching point which is neither preperiodic nor precritical. In this article, we reprove this result, constructing such cubic polynomials as limits of cubic polynomials for which one critical point eventually maps to the other critical point which eventually maps to a repelling fixed point.

math.DS↗
arXiv2017

Eigenvalues of the Thurston operator

Let $f:\hat{\mathbb C}\to \hat{\mathbb C}$ be a postcritically finite rational map. Let $\mathcal Q(\hat{\mathbb C})$ be the space of meromorphic quadratic differentials on $ \hat{\mathbb C}$ with simple poles. We study the set of eigenvalues of the pushforward operator $f_*:\mathcal Q(\hat{\mathbb C})\to \mathcal Q(\hat{\mathbb C})$. In particular, we show that when $f:\mathbb C \to \mathbb C$ is a unicritical polynomial of degree $D$ with periodic critical point, the eigenvalues of $f_*:\mathcal Q(\hat{\mathbb C})\to \mathcal Q(\hat{\mathbb C})$ are contained in the annulus $\bigl\{\frac{1}{4D}<|\lambda|<1\bigr\}$ and belong to $\frac{1}{D} \mathbb U$ where $\mathbb U$ is the group of algebraic units.

math.DS↗
arXiv2015

Antipode Preserving Cubic Maps: the Fjord Theorem

This note will study a family of cubic rational maps which carry antipodal points of the Riemann sphere to antipodal points. We focus particularly on the fjords, which are part of the central hyperbolic component but stretch out to infinity. These serve to decompose the parameter plane into subsets, each of which is characterized by a corresponding rotation number.

math.DS↗
arXiv2014

A two-dimensional polynomial mapping with a wandering Fatou component

We show that there exist polynomial endomorphisms of C^2, possessing a wandering Fatou component. These mappings are polynomial skew-products, and can be chosen to extend holomorphically of P^2(C). We also find real examples with wandering domains in R^2. The proof is based on parabolic implosion techniques, and is based on an original idea of M. Lyubich.

math.DS↗
arXiv2013

Complex rotation numbers

We investigate the notion of complex rotation number which was introduced by V.I.Arnold in 1978. Let $f: \mathbb R/\mathbb Z \to \mathbb R/\mathbb Z$ be an orientation preserving circle diffeomorphism and let $\omega \in \mathbb C/\mathbb Z$ be a parameter with positive imaginary part. Construct a complex torus by glueing the two boundary components of the annulus $\{z \in \mathbb C/\mathbb Z \mid 0< \Im(z)< \Im({\omega})\}$ via the map $f+{\omega}$. This complex torus is isomorphic to $\mathbb C/(\mathbb Z+{\tau} \mathbb Z)$ for some appropriate ${\tau} \in \mathbb C/\mathbb Z$. According to Moldavskis (2001), if the ordinary rotation number $\operatorname{rot} (f+\omega_0)$ is Diophantine and if ${\omega}$ tends to $\omega_0$ non tangentially to the real axis, then ${\tau}$ tends to $\operatorname{rot} (f+\omega_0)$. We show that the Diophantine and non tangential assumptions are unnecessary: if $\operatorname{rot} (f+\omega_0)$ is irrational then ${\tau}$ tends to $\operatorname{rot} (f+\omega_0)$ as ${\omega}$ tends to $\omega_0$. This, together with results of N.Goncharuk (2012), motivates us to introduce a new fractal set, given by the limit values of ${\tau}$ as ${\omega}$ tends to the real axis. For the rational values of $\operatorname{rot} (f+\omega_0)$, these limits do not necessarily coincide with $\operatorname{rot} (f+\omega_0)$ and form a countable number of analytic loops in the upper half-plane.

math.DS↗