Boundary of the principal hyperbolic component

Definitions and mathematical statement

Shared notation.

$\mathbb N=\{1,2,\ldots\}$, and $\mathbb Z,\mathbb Q,\mathbb R,\mathbb C$ denote the integers, rationals, reals and complex numbers. Any other conventions are specified locally.

Fix $n>1$. A finite Blaschke product of degree $n$ is a proper holomorphic map of the unit disk $\Delta=\{z\in\mathbb C:|z|<1\}$ to itself of that degree. Let $A,B$ be such maps with $A(0)=B(0)=0$. Choose boundary fixed points $a,b$; there is a unique quasisymmetric conjugacy $h$ of the boundary circles with $h(a)=b$. Glue the disks by $h$ and transport the two dynamics to obtain a rational map $f(A,B)$ of the Riemann sphere, defined up to conformal conjugacy. Its Julia set is a quasicircle and the maps on the two complementary disks are conformally conjugate to $A$ and $B$. A quasicircle is a quasiconformal image of a circle. As in the source, the spaces below represent conformal-conjugacy classes; the boundary fixed-point choices are kept consistent, and additional finite combinatorial markings are suppressed. Write $\mathcal B(z^n)$ for the component of the degree-$n$ polynomial space containing $z^n$ in which there is an attracting fixed point whose immediate basin contains every finite critical point. Equivalently it is the space of maps $f(z^n,B)$. For fixed $A$, put $\mathcal B(A)=\{f(A,B):B\text{ varies}\}$. These spaces inherit complex structures from the polynomial or rational-map parameter space. Their actual boundaries are taken by closure in those degree-$n$ map spaces, with the same conformal-conjugacy convention. The natural biholomorphism is $F(f(z^n,B))=f(A,B)$.

Statement recorded in the supplied source.

Describe the actual boundary of $\mathcal B(z^n)$ in the space of degree-$n$ polynomials. [S2]

Short English statement

Describe the boundary of the principal component of polynomials whose critical points all lie in one attracting fixed-point basin.

Sources

• S1 ULAM.AI and the UnsolvedMath Contributors, UnsolvedMath: A Curated Collection of Open Mathematics Problems, record 5300013 (AMR-052-0013). CC BY 4.0. https://huggingface.co/datasets/ulamai/UnsolvedMath.
• S2 Curt McMullen, Rational maps and Teichmüller space, in Ben Bielefeld and Mikhail Lyubich (editors), Problems in holomorphic dynamics (1992). Compactifying the space of proper maps; Example II, pp. 7–8. https://arxiv.org/pdf/math/9205209.