[논문 리뷰] Complex Hénon maps and discrete groups

Raluca Tanase|arXiv (Cornell University)|2015. 03. 12.

Mathematical Dynamics and Fractals참고 문헌 7인용 수 3

한 줄 요약

이 논문은 복소 Hénon 사상에서 탈출 집합의 경계인 $J^+$로 이산 군 $Γ \cong \mathbb{Z}[1/2]/\mathbb{Z}$의 군 작용을 확장하여, $J^+$를 $\mathbb{S}^1 \times \mathbb{C}$의 몫으로 표현한다. 이는 Hénon 사상과 몫 다양체 위의 모델 역학 사이의 준동형을 수립한다. 초점이 맞춰진 하이퍼볼릭 또는 준평행 다항식의 소규모 변형에 대해, $J^+$는 위상다양체이거나 이러한 다양체의 몫임을 보이며, 명시적인 동치관계와 코ycle $\alpha$에 의해 표현되는 프랙탈 불변량을 포함한다. 주요 기여는 Hénon 사상에 대한 두 차원적 카라테오도리 순환의 이차원 해석이다.

ABSTRACT

Consider the standard family of complex Hénon maps $H(x,y) = (p(x) - ay, x)$, where $p$ is a quadratic polynomial and $a$ is a complex parameter. Let $U^{+}$ be the set of points that escape to infinity under forward iterations. The analytic structure of the escaping set $U^{+}$ is well understood from previous work of J. Hubbard and R. Oberste-Vorth as a quotient of $(\mathbb{C}-\overline{\mathbb{D}}) imes\mathbb{C}$ by a discrete group of automorphisms $Γ$ isomorphic to $\mathbb{Z}[1/2]/\mathbb{Z}$. On the other hand, the boundary $J^{+}$ of $U^{+}$ is a complicated fractal object on which the Hénon map behaves chaotically. We show how to extend the group action to $\mathbb{S}^1 imes\mathbb{C}$, in order to represent the set $J^{+}$ as a quotient of $\mathbb{S}^1 imes \mathbb{C}/\,Γ$ by an equivalence relation. We analyze this extension for Hénon maps that are small perturbations of hyperbolic polynomials with connected Julia sets or polynomials with a parabolic fixed point.

연구 동기 및 목표

• 탈출 집합 $U^+$에서의 이산 군 작용을 그 경계인 $J^+$로 확장하여, $J^+$의 위상적 및 역학적 기술을 가능하게 한다.
• 군 $\Gamma \cong \mathbb{Z}[1/2]/\mathbb{Z}$에 의한 $\mathbb{S}^1 \times \mathbb{C}$의 몫으로서 $J^+$의 구조를 특성화한다. 이는 $U^+$에 알려진 구조를 일반화한다.
• Hénon 사상이 $J^+$에서 작용하는 것과 몰입 다양체 $\mathcal{M} = \mathbb{S}^1 \times \mathbb{C}/\Gamma$ 위의 모델 역학 사이의 준동형을 수립한다.
• 다양체 불변량을 캡처하고, 소규모 자코비안 변형에 대해 파라볼릭 다항식의 전형적 불변량임을 보이는 코ycle $\alpha: \mathbb{S}^1 \to \mathbb{C}^*$의 행동을 분석한다.
• 군 작용과 레이어 구조를 사용하여 특정 역학 조건 하에서 $J^+$가 위상다양체이거나 그의 몫임을 증명한다.

제안 방법

• 이미 알려진 $U^+ \cong (\mathbb{C} \setminus \overline{\mathbb{D}}) \times \mathbb{C} / \Gamma$ 위에서의 군 작용을 $\Gamma \cong \mathbb{Z}[1/2]/\mathbb{Z}$로 확장하여, 경계인 $J^+$를 포함한다.
• 안정 다중성 조건과 $U^+ \cup J^+$의 레이어의 자명화를 사용하여, 군 작용이 원주 경계로의 확장을 분석한다.
• 다양체를 캡처하는 코ycle $\alpha: \mathbb{S}^1 \to \mathbb{C}^*$를 도입하며, 이는 프랙탈 집합임을 특수한 플로팅 알고리즘으로 시각화한다.
• 리우비치와 로버트슨의 임계 궤적 특성화 결과를 활용하여 $\alpha$의 열악성과 불변량을 분석한다.
• 군 원소 $\Gamma_{p,a}$의 성장 추정을 사용하여, $\mathbb{S}^1 \times \mathbb{C}$ 위에서의 작용이 적절하게 이산적이고 고정점이 없음을 증명한다.
• 몰입 다양체 $\mathcal{M} = \mathbb{S}^1 \times \mathbb{C}/\Gamma$에서 $J^+$로의 준동형을 구성하며, 하이퍼볼릭 및 준평행 사상의 경우 명시적인 동치관계를 제공한다.

실험 결과

연구 질문

• RQ1 복소 Hénon 사상에서 탈출 집합 $U^+$의 이산 군 작용을 그 경계인 $J^+$로 어떻게 확장할 수 있는가?
• RQ2 Hénon 사상이 연결된 캐슬러 집합을 가진 하이퍼볼릭 다항식의 소규모 변형일 경우, $J^+$의 위상적 구조는 어떠한가?
• RQ3 $J^+$ 위의 역학이 몰입 다양체 $\mathcal{M} = \mathbb{S}^1 \times \mathbb{C}/\Gamma$ 위의 모델 역학과 준동형이 될 수 있는가?
• RQ4 코ycle $\alpha: \mathbb{S}^1 \to \mathbb{C}^*$는 Hénon 가족의 역학과 불변량을 어떻게 캡처하는가?
• RQ5 소규모 자코비안 변형을 받은 준평행 Hénon 사상에 대해 군 $\Gamma_{c,a}$는 $\mathbb{S}^1 \times \mathbb{C}$ 위에서 어떻게 작용하는가?

주요 결과

• 소규모 하이퍼볼릭 다항식의 변형에서 연결된 캐슬러 집합을 가진 경우, 군 $\Gamma_{c,a}$는 $\mathbb{S}^1 \times \mathbb{C}$ 위에서 적절하게 이산적이고 고정점이 없이 작용한다. 이는 $\mathcal{M} = \mathbb{S}^1 \times \mathbb{C}/\Gamma$ 가 위상다양체임을 보장한다.
• 주 카디오이드 내부에 위치한 Hénon 사상(즉, 안정 고정점이 있는 경우), $J^+$는 그 자체로 위상다양체이며, 준동형은 실제 동형이 된다.
• 일반적으로 $J^+$는 명시적인 동치관계에 의해 다양체 $\mathcal{M}$의 몫이다. 이는 정리 9.11에 의해 명시된다.
• 소규모 자코비안에서의 가족 $\mathcal{P}_\lambda$에 대해 코ycle $\alpha$는 전형적 불변량임을 보이며, $\alpha(1) = \mu$이다. 여기서 $\mu$는 준평행 고정점의 고유값이다.
• $\alpha$의 이미지는 프랙탈 집합이며, 이 구조는 7장에서 개발된 특수 플로팅 알고리즘을 통해 시각화된다.
• 준평행 Hénon 사상에서 $0 < |a| < a_0$일 경우, 주요 임계 성분 $\mathcal{C}_0$의 경계 $\partial\mathcal{C}_0$는 파라볼릭 다항식 $p$의 캐슬러 집합 $J_p$와 위상동형이며, 정리 10.4는 이 경우 군 작용과 몰입 구조를 확장한다.