[Paper Review] No invariant line fields on Cantor Julia sets

Yongcheng Yin, Yu Zhai|ArXiv.org|Sep 9, 2006

Mathematical Dynamics and Fractals11 references3 citations

TL;DR

This paper proves that rational maps with a Cantor Julia set admit no invariant line fields, a result that implies such maps are hyperbolic if structurally stable. The proof relies on distortion estimates and the KSS nest construction to bound puzzle piece shapes, showing that invariant line fields would contradict measure-theoretic constraints on critical dynamics.

ABSTRACT

In this paper, we prove that a rational map with a Cantor Julia set carries no invariant line fields on its Julia set. It follows that a structurally stable rational map with a Cantor Julia set is hyperbolic.

Motivation & Objective

• To establish the absence of invariant line fields on Julia sets that are Cantor sets.
• To support the broader conjecture that rational maps without Latt\'es examples carry no invariant line fields.
• To prove that structurally stable rational maps with Cantor Julia sets are necessarily hyperbolic.
• To extend the understanding of rigidity and hyperbolicity in holomorphic dynamics via Teichm\
• method
• research_questions
• key_findings

Proposed method

• Utilizes distortion lemmas for doubly connected domains to control the geometry of critical puzzle pieces.
• Applies the KSS nest construction from Kozlovski, Shen, and van Strien to analyze the dynamics of critical orbits in Cantor Julia sets.
• Employs shape bounds on puzzle pieces via conformal distortion estimates and the Gr\
• research_questions
• key_findings

Experimental results

Research questions

• RQ1 Can a rational map with a Cantor Julia set support an invariant line field?
• RQ2 Does structural stability in such maps imply hyperbolicity?
• RQ3 What is the role of the KSS nest in constraining the geometry of critical puzzle pieces?
• RQ4 How do shape bounds on puzzle pieces affect the existence of invariant line fields?
• RQ5 To what extent does the absence of invariant line fields support the density of hyperbolic maps?

Key findings

• A rational map with a Cantor Julia set admits no invariant line field on its Julia set.
• The absence of invariant line fields implies that any structurally stable rational map with a Cantor Julia set must be hyperbolic.
• The shapes of critical puzzle pieces in the KSS nest are uniformly bounded, preventing the existence of invariant line fields.
• The Teichm\
• research_questions
• key_findings