SearcharxivSearch

arXiv · 2601.13553

Universality of the Basilica

Abstract

We establish universality of the fat Basilica Julia set $J(z^2-\frac34)$ in conformal dynamics in the following sense: $J(z^2-\frac34)$ is quasiconformally equivalent to the fat Basilica Julia set of any polynomial as well as to the limit set of any geometrically finite closed surface Bers boundary group. We thus obtain the first example of a connected rational Julia set, not homeomorphic to the circle or the sphere, that is quasiconformally equivalent to a Kleinian limit set. It follows that any geometrically finite Bers boundary limit set is conformally removable. Other consequences of this universality result include quasi-symmetric uniformization of polynomial fat Basilicas by round Basilicas, and the existence of infinitely many non-commensurable uniformly quasi-symmetric surface subgroups of the Basilica quasi-symmetry group. We apply our techniques to cuspidal Basilica Julia sets arising from Schwarz reflections and cubic polynomials, yielding further universality classes. We also show that the standard Basilica Julia set $J(z^2-1)$ is the archbasilica in the David hierarchy.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yusheng Luo, Mahan Mj, Sabyasachi Mukherjee. 2026-01-20. Universality of the Basilica. https://arxiv.org/abs/2601.13553

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Admissible Fourier Lengths, KAM Reducibility, and Spectral Applications

We develop a perturbative KAM reducibility theory for one-frequency $\mathrm{SL}(2,\mathbb{R})$ cocycles based on an admissible Fourier length $\ell$. The regularity relevant to the iteration is measured by positive adapted Fourier width rather than ordinary smoothness in the Euclidean length $|n|$. The same length governs Fourier decay, truncation and resonance scales, and the arithmetic condition controlling the small divisors. This framework contains the classical analytic and Gevrey settings, while non-monotone choices of $\ell$ allow classical nowhere differentiable Weierstrass-type perturbations and continuous perturbations outside every positive H\"older class. As spectral applications, we obtain purely absolutely continuous spectrum for every phase and $1/2$-H\"older continuity of the integrated density of states for the associated quasiperiodic Schr\"odinger operators. The Aubry dual has pure point spectrum for Lebesgue almost every dual phase, with eigenfunctions exponentially localized in the metric induced by $\ell$. We also construct nowhere differentiable quasiperiodic potentials with purely absolutely continuous Cantor spectrum.

math.DS

Dynamics inside the attracting basins of some skew products

Polynomial skew products in $\mathbb{C}^2$ are maps of the form $F(z,w)=(P(z),Q(z,w))$, where $P$ and $Q$ are polynomials. Their local dynamics have been widely investigated. In this paper, we study the global dynamics inside Fatou components of some skew products. We consider all the inverse images in a Fatou component of a given point and use the Kobayashi metric to measure the distance between points. In the cases we consider, there are always arbitrarily large Kobayashi balls in the complement of these inverse sets.

math.DS

Ergodicity of dynamical systems without uniqueness of orbits

Recently, there has been considerable interest in the study of non-deterministic dynamical systems. To analyze the chaotic behavior of such systems from a measure-theoretic viewpoint, it is desirable to consider ergodicity. However, the classical definition of ergodicity involves invariant sets, whose definition is not unique for non-deterministic dynamical systems. Thus, we are led to the question of which invariance yields an interesting definition of ergodicity. Here, we propose a definition based on the strong backward invariance and show that analogs of classical results hold. We also consider implications of the Birkhoff ergodic theorem for systems without uniqueness of orbits.

math.DS