Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userMating the Basilica with a Siegel Disk
125
0
0.0
(
0
)
Authors
Jonguk Yang
Ask ChatGPT about the research
No Arabic abstract
Consider a quadratic polynomial with a fixed Siegel disc of bounded type. Using an adaptation of complex a priori bounds for critical circle maps, we prove that this Siegel polynomial is conformally mateable with the basilica polynomial.
rate research
Read More
In 1994 S. Bullett and C. Penrose introduced the one complex parameter family of $(2:2)$ holomorphic correspondences $mathcal{F}_a$: $$left(frac{aw-1}{w-1}right)^2+left(frac{aw-1}{w-1}right)left(frac{az+1}{z+1}right) +left(frac{az+1}{z+1}right)^2=3$$ and proved that for every value of $a in [4,7] subset mathbb{R}$ the correspondence $mathcal{F}_a$ is a mating between a quadratic polynomial $Q_c(z)=z^2+c,,,c in mathbb{R}$ and the modular group $Gamma=PSL(2,mathbb{Z})$. They conjectured that this is the case for every member of the family $mathcal{F}_a$ which has $a$ in the connectedness locus. We prove here that every member of the family $mathcal{F}_a$ which has $a$ in the connectedness locus is a mating between the modular group and an element of the parabolic quadratic family $Per_1(1)$.
We prove that there exists a homeomorphism $chi$ between the connectedness locus $mathcal{M}_{Gamma}$ for the family $mathcal{F}_a$ of $(2:2)$ holomorphic correspondences introduced by Bullett and Penrose, and the parabolic Mandelbrot set $mathcal{M}_1$. The homeomorphism $chi$ is dynamical ($mathcal{F}_a$ is a mating between $PSL(2,mathbb{Z})$ and $P_{chi(a)}$), it is conformal on the interior of $mathcal{M}_{Gamma}$, and it extends to a homeomorphism between suitably defined neighbourhoods in the respective one parameter moduli spaces. Following the recent proof by Petersen and Roesch that $mathcal{M}_1$ is homeomorphic to the classical Mandelbrot set $mathcal{M}$, we deduce that $mathcal{M}_{Gamma}$ is homeomorphic to $mathcal{M}$.
We reconsider the Schroder-Siegel problem of conjugating an analytic map in $mathbb{C}$ in the neighborhood of a fixed point to its linear part, extending it to the case of dimension $n>1$. Assuming a condition which is equivalent to Brunos one on the eigenvalues $lambda_1,ldots,lambda_n$ of the linear part we show that the convergence radius $rho$ of the conjugating transformation satisfies $ln rho(lambda )geq -CGamma(lambda)+C$ with $Gamma(lambda)$ characterizing the eigenvalues $lambda$, a constant $C$ not depending on $lambda$ and $C=1$. This improves the previous results for $n>1$, where the known proofs give $C=2$. We also recall that $C=1$ is known to be the optimal value for $n=1$.
Let $f$ be a polynomial map of the Riemann sphere of degree at least two. We prove that if $f$ has a Siegel disk $G$ on which the rotation number satisfies a diophantine condition, then the boundary of $G$ contains a critical point.
Bounded irreducible local Siegel disks include classical Siegel disks of polynomials, bounded irreducible Siegel disks of rational and entire functions, and the examples of Herman and Moeckel. We show that there are only two possibilities for the structure of the boundary of such a disk: either the boundary admits a nice decomposition onto a circle, or it is an indecomposable continuum.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
