[논문 리뷰] The Henon Family: The Complex Horseshoe Locus and Real Parameter Space

Eric Bedford, John Smillie|ArXiv.org|2005. 01. 26.

Mathematical Dynamics and Fractals참고 문헌 9인용 수 9

한 줄 요약

이 논문은 복소다이나믹스와代数적 위상수학을 이용하여 Hénon 가족에서의 복잡한 말굽 궤적의 구조를 조사하며, 실수 말굽 매개수 중 유형 3—즉, 실수 다이나믹스는 비이완적이지만 복소 Julia 집합이 R²에 완전히 포함되지 않는 경우—가 복소 말굽 궤적의 연결 성분 내에 존재할 수 있음을 제안한다. 주요 기여는 복소 말굽 궤적의 기본군에서 전체 이중 이동(shift)의 자기동형군으로의 호모모르피즘을 제시하여, 비자명한 위상수학적 성질과 단사가 아닌 단일화 지도(monodromy map)의 성질을 밝혀낸 것이다.

ABSTRACT

We consider the complexification of the Henon family of quadratic diffeomorphisms of the plane, and the region of parameter space corresponding to complex horseshoes. We discuss some conjectures about the global topology of the complex horseshoe locus.

연구 동기 및 목표

• 복소화를 통해 Hénon 가족의 실수 및 복소 매개수 공간의 전반적 구조를 조사하기 위해 복소다이나믹스를 활용한다.
• 서로 다른 실수 말굽 영역이 복소 말굽 궤적을 통해 연결될 수 있다는 추측을 탐색한다.
• 복소 말굽 궤적의 기본군에서 전체 이중 이동 공간의 자기동형군으로의 호모모르피즘을 수립한다.
• 유형 3 매개수—즉, 실수 매개수에서 실수 Julia 집합이 비어 있지 않지만 복소 전체 집합에 포함되지 않는 경우—의 위상수학적 및 다이나믹스적 함의를 분석한다.
• 리아풀로프 지수 함수에서 유도된 코homology 불변량을 사용하여 단일화 지도 표현이 단사가 아님을 입증한다.

제안 방법

• 매개수와 동역학 변수를 C²로 확장하여 Hénon 사상의 복소화를 수행하고, 궤적이 유계인 점들의 집합 $K_{a,b}$를 정의한다.
• 복소 말굽 궤적 $\mathcal{H}^\mathbf{C}$를 정의한다. 이는 $K_{a,b}$에 제한된 사상이 초구형이며 전체 2-이동과 동형임을 의미한다.
• 유형 3 매개수의 개념을 도입한다: $\mathcal{H}^\mathbf{C}$ 내의 실수 매개수이면서 $K_{a,b} \cap \mathbf{R}^2 \neq \emptyset$ 이지만 $K_{a,b} \not\subset \mathbf{R}^2$ 인 경우이다.
• 이중 이동 공간으로의 동형을 이용해 복소 말굽 궤적의 기본군에서의 단일화 호모모르피즘 $\rho: \pi_1(\mathcal{H}_0^\mathbf{C}) \to \mathrm{Aut}(\Sigma_2)$를 구성한다.
• 복소 말굽 궤적 내에서 플루리-하모닉이고 플루리-하모닉인 것으로 밝혀진 리아풀로프 지수 함수 $\Lambda(a,b)$를 사용하여 닫힌 1-형식 $d^c\Lambda$와 관련된 코homology 클래스 $\theta$를 정의한다.
• HOV 내의 루프 $\gamma(t) = (Re^{2\pi it}, b)$에서 $\theta$를 평가하여 $\theta([\gamma]) = 2\pi$임을 보이고, 이는 $\theta$가 비자명함을 증명한다.

실험 결과

연구 질문

• RQ1 복소 말굽 궤적 $\mathcal{H}^\mathbf{C}$ 내에 실수 매개수 $(a,b)$가 존재하는가—즉, 실수 다이나믹스는 비이완적이지만 복소 Julia 집합이 $\mathbf{R}^2$에 포함되지 않는 유형 3 매개수인가?
• RQ2 복소 말굽 궤적 $\mathcal{H}^\mathbf{C}$의 위상수학적 성질이 실수 말굽 궤적 $\mathcal{H}$의 전반적 구조를 이해하는 데 기여할 수 있는가?
• RQ3 단일화 호모모르피즘 $\rho: \pi_1(\mathcal{H}_0^\mathbf{C}) \to \mathrm{Aut}(\Sigma_2)$는 단사적인가?
• RQ4 리아풀로프 지수 함수 $\Lambda$의 코homological 의미는 말굽 궤적의 맥락에서 어떻게 해석될 수 있는가?
• RQ5 $J_{a,b} = K_{a,b}$ 이고 사상이 2-이동과 동형임을 만족하는 매개수로 정의된 이중 이동 궤적 $\mathcal{S}$는 복소 말굽 궤적 $\mathcal{H}^\mathbf{C}$와 동일한가?

주요 결과

• Hubbard의 추측 1은 복소 말굽 궤적 절단 $\mathcal{H}^\mathbf{C} \cap \{b = 0.2\}$ 내에서 비자명한 루프의 존재로 인해 지지되며, 이는 유형 3 매개수가 존재할 수 있음을 시사한다.
• 단일화 호모모르피즘 $\rho: \pi_1(\mathcal{H}_0^\mathbf{C}) \to \mathrm{Aut}(\Sigma_2)$는 비단사적임이 입증되었으며, 이는 순서 2인 원소로 무한 순서의 루프가 사상되기 때문이다.
• 리아풀로프 지수 함수 $\Lambda$와 관련된 코homology 클래스 $\theta$는 비자명하며, HOV 내의 큰 반경의 루프 $\gamma$에 대해 $\theta([\gamma]) = 2\pi$임을 보였다.
• 복소 말굽 궤적 $\mathcal{H}^\mathbf{C}$는 영역 $HOV = \{(a,b) \in \mathbf{C}^2 : |a| > 2(|b|+1)^2, b \neq 0\}$를 포함하며, 열려 있고 연결되어 있을 가능성이 높다.
• 실수 말굽 궤적 $\mathcal{H}$는 $\mathbf{R}^2 \cap \mathcal{H}^\mathbf{C} = \mathbf{R}^2 \cap \mathcal{S}$와 동일하며, 여기서 $\mathcal{S}$는 이중 이동 궤적이다. 초구형 성질은 엔트로피 최대성과 확산성에 의해 유도된다.
• 만약 어떤 복소 매개수가 $\mathbf{C}^2$ 내의 불변 집합 $X$를 가지며 이 집합이 이중 이동과 동형이라면, $X = J_{a,b} = K_{a,b}$이며, 따라서 그러한 매개수는 이중 이동 궤적 $\mathcal{S}$에 속한다.