[Paper Review] Extending Isotopies of Planar Continua

Lex Oversteegen, E. D. Tymchatyn|ArXiv.org|Nov 3, 2008

Astro and Planetary Science9 references4 citations

TL;DR

This paper affirms that any isotopy of a planar continuum $ Z \subset \mathbb{C} $, starting at the identity, can be extended to an isotopy of the entire complex plane. The authors introduce metric external rays and use the Kulkarni-Pinkall lamination of hyperbolic crosscuts to control the extension over components of $ \mathbb{C} \setminus Z $, ensuring continuity and preserving accessibility of points under isotopy.

ABSTRACT

In this paper we solve the following problem in the affirmative: Let $Z$ be a continuum in the plane $\complex$ and suppose that $h:Z imes [0,1] o\complex$ is an isotopy starting at the identity. Can $h$ be extended to an isotopy of the plane? We will provide a new characterization of an accessible point in a planar continuum $Z$ and use it to show that an accessible point is preserved during the isotopy. We show next that the isotopy can be extended over hyperbolic crosscuts. The proof makes use of the notion of a metric external ray, which mimics the notion of a conformal external ray, but is easier to control during an isotopy.

Motivation & Objective

• To resolve the long-standing open problem of whether an isotopy of a planar continuum can be extended to the entire complex plane.
• To address the challenge that Carathéodory kernel convergence fails to preserve accessibility of points under isotopy.
• To develop a method for extending isotopies over unbounded components of the complement of a continuum using geometric and metric tools.
• To establish a new characterization of accessible points in planar continua that is stable under isotopy.
• To prove the existence of a continuous extension of the isotopy over all components of $ \mathbb{C} \setminus Z $, including gaps in the hyperbolic KP-lamination.

Proposed method

• Introduce metric external rays as equidistant sets in the universal cover of $ \mathbb{C} \setminus \{0\} $, which behave well under isotopy and replace conformal external rays for control.
• Use the Kulkarni-Pinkall lamination of the complement components $ U \subset \mathbb{C}^* \setminus Z $, formed from convex hulls of boundary sets in hyperbolic balls.
• Construct a hyperbolic KP-lamination $ \mathcal{H}^* $ from chords (leaves) of the lamination, which serve as hyperbolic crosscuts sets.
• Extend the isotopy over $ \mathcal{H}^* $ by preserving the crosscuts and their endpoints across time.
• Define the extension over gaps in the lamination using barycenters in the Cayley-Klein model of hyperbolic geometry.
• Ensure global continuity of the extension by verifying that diameters of maximal balls in distinct components shrink to zero, guaranteeing uniform convergence.

Experimental results

Research questions

• RQ1 Can every isotopy of a planar continuum $ Z \subset \mathbb{C} $, starting at the identity, be extended to an isotopy of the entire complex plane?
• RQ2 Does the accessibility of a point in $ Z $ from a component $ U \subset \mathbb{C} \setminus Z $ remain preserved under isotopy, despite the failure of Carathéodory kernel convergence to ensure this?
• RQ3 Can the isotopy be extended continuously over the complement components of $ Z $, particularly over the gaps in the hyperbolic KP-lamination?
• RQ4 Is there a geometric structure in the complement of $ Z $ that allows for a controlled, continuous extension of the isotopy across time?
• RQ5 Does the convergence of barycenters of gaps in the lamination ensure continuity of the global isotopy extension?

Key findings

• The isotopy $ h: Z \times [0,1] \to \mathbb{C} $ with $ h^0 = \text{id}_Z $ can be extended to an isotopy $ H: \mathbb{C} \times [0,1] \to \mathbb{C} $, proving the affirmative solution to the extension problem.
• The authors establish a new characterization of accessible points in planar continua that is invariant under isotopy, ensuring that accessibility is preserved throughout the deformation.
• The isotopy can be extended over the hyperbolic KP-lamination $ \mathcal{H}^* $, which consists of hyperbolic crosscuts joining endpoints of leaves in the lamination.
• The extension over gaps in the lamination is achieved by mapping barycenters of gaps in $ U^0 $ to their time-evolved barycenters in $ U^t $, using the Cayley-Klein model.
• The global isotopy $ H $ is continuous because the diameters of maximal balls in distinct components of $ \mathbb{C}^* \setminus Z $ converge to zero.
• The final extension fixes the point at infinity when required, ensuring the isotopy extends to $ \mathbb{C} $ with $ H^0 = \text{id}_{\mathbb{C}} $.