[Paper Review] Monotone images of Cremer Julia sets

Alexander Blokh, Lex Oversteegen|arXiv (Cornell University)|Sep 6, 2008

Mathematical Dynamics and Fractals5 references3 citations

TL;DR

This paper proves that for a quadratic polynomial with a fixed Cremer point, any monotone map from its Julia set onto a locally connected continuum must collapse the entire set to a single point. The result shows that the dynamical modeling approach via monotone surjections onto locally connected spaces fails for basic Cremer polynomials due to topological obstructions in the Julia set structure.

ABSTRACT

We show that if $P$ is a quadratic polynomial with a fixed Cremer point and Julia set $J$, then for any monotone map $\ph:J o A$ from $J$ onto a locally connected continuum $A$, $A$ is a single point.

Motivation & Objective

• To investigate whether the dynamics of quadratic polynomials with a Cremer fixed point can be modeled via monotone maps onto locally connected continua.
• To determine if the standard approach of using monotone semiconjugacies to model Julia sets remains valid when the Julia set is not locally connected.
• To establish that for basic Cremer polynomials, no non-degenerate locally connected image exists under monotone maps from the Julia set.
• To identify topological obstructions in the structure of Cremer Julia sets that prevent such modeling.

Proposed method

• The authors use the theory of external rays and crosscuts in complex dynamics to analyze the topology of unshielded continua.
• They define an R-defining family of R-transversal crosscuts to study the behavior of monotone maps near the Julia set.
• They apply Carathéodory theory to analyze convergence of images of crosscuts under monotone maps to points in the target continuum.
• They use the dynamics of the angle-doubling map σ on the circle to analyze the behavior of external rays and their impressions.
• They apply Heath's theorem on non-homeomorphic maps to rule out the presence of critical points in certain preimages.
• They analyze the rotational Cantor set structure associated with the Cremer point to derive contradictions when assuming non-degenerate images.

Experimental results

Research questions

• RQ1 Can a monotone map from a Cremer Julia set onto a locally connected continuum be non-degenerate?
• RQ2 What topological properties of the Julia set prevent monotone surjections onto non-degenerate locally connected continua?
• RQ3 Does the presence of a Cremer fixed point obstruct the existence of a monotone semiconjugacy to a topological polynomial on a locally connected space?
• RQ4 Are there dynamical or geometric obstructions in the ray structure of Cremer Julia sets that invalidate standard modeling techniques?
• RQ5 Can the fiber of a monotone map from a Cremer Julia set to a locally connected continuum contain more than one point without collapsing the image?

Key findings

• For any quadratic polynomial with a fixed Cremer point, every monotone map from its Julia set onto a locally connected continuum must map the entire Julia set to a single point.
• The topological structure of the Julia set at a Cremer point prevents the existence of a non-degenerate monotone image that is locally connected.
• The proof relies on contradiction: assuming a non-degenerate image leads to a contradiction involving the dynamics of external rays and their impressions.
• The fiber of the monotone map must contain both principal sets of external rays landing at a cutpoint of order 2, leading to topological inconsistencies.
• The dynamics of the angle-doubling map on the circle, combined with the rotational Cantor set structure, prevent the existence of such a non-degenerate image.
• The absence of critical points in certain preimages, combined with non-injective behavior, leads to a contradiction under the assumption of a non-degenerate image.