[논문 리뷰] Matings with laminations

Dzmitry Dudko|arXiv (Cornell University)|2011. 12. 20.

Mathematical Dynamics and Fractals참고 문헌 10인용 수 8

한 줄 요약

이 논문은 초점이 두 개인 두 개의 순환을 가진 이차 유리 함수의 비탈리성 집합 $χ_2$ 를 묘사하기 위해 '림ination과의 매칭'이라 불리는 새로운 위상적 구성법을 제안한다. 이는 $χ_2$ 가 매끄러운 사상에 의해 만델브로 집합 $χ$ 의 연속 이미지임을 보이며, $χ$ (1/2 렘을 제외한)와 바실리카 다항식의 림ination을 매칭한 것으로 표현될 수 있다. 이 방법은 $χ$ 의 국소 연결성에 대한 가정이 필요 없이, 국소 연결성이 없는 잼라 집합이 존재하는 경우에도 동역학적 매칭의 강력한 매개변수 공간 대응을 제공한다.

ABSTRACT

We give a topological description of the space of quadratic rational maps with superattractive two-cycles: its "non-escape locus" M2 (the analog of the Mandelbrot set M) is locally connected, it is the continuous image of M under a canonical map, and it can be described as M (minus the 1/2-limb), mated with the lamination of the basilica. The latter statement is a refined version of a conjecture of Ben Wittner, which in its original version requires local connectivity of M to even be stated. Our methods of mating with a lamination also apply to dynamical matings of certain non-locally connected Julia sets.

연구 동기 및 목표

• 초점이 두 개인 두 개의 순환을 가진 이차 유리 함수의 비탈리성 집합 $χ_2$ 에 대한 위상적 묘사를 제공함으로써, 만델브로 집합 $χ$ 와 유사한 형태를 갖는다.
• 만델브로 집합 $χ$ 의 국소 연결성 문제에 의존하지 않고도 위트너의 추측를 조건 없이 해결하기 위해, 바실리카 다항식의 림ination과의 매칭을 구성한다.
• 기존의 매칭 구성법을 국소 연결성이 없는 동역학적 집합(예: 국소 연결성이 없는 잼라 집합)이 포함된 경우에도 일반화한다.
• 조직 $χ$ 가 국소 연결성이 없더라도, $χ_2$ 가 $χ$ 를 포함하는 자연스러운 사상의 연속 이미지임을 증명한다.

제안 방법

• 단위 원판 $\overline{\mathbb{D}}$ 위의 닫힌 동치관계로 정의된 림ination $L_B$ 를 이용해, 채워진 잼라 집합 $K_B$ 를 대체함으로써 '림ination과의 매칭' 개념을 도입한다.
• $\mathcal{V}_1$ 이 $\mathcal{M}$ 과 단위 원판의 단순 매칭이라면, 공간 $\mathcal{M} \cup_{\mathbb{S}^1} L_B$ 를 $(\mathcal{M} \cup_{\mathbb{S}^1} \overline{\mathbb{D}})/L_B = \mathcal{V}_1 / L_B$ 로 구성한다.
• 매개변수 Böttcher 함수의 역함수와 $1/z$ 를 조합하여, $\mathcal{V}_1 \setminus \mathcal{M}$ 에서 림ination $L_B$ 를 매개변수 공간에 통합함으로써 $\mathcal{L}_B$ 를 얻는다.
• 재정규화와 동역학적 장식 타일링을 이용해 수렴을 제어함으로써, $f_c$ 의 동역학 평면에서 바실리카의 동역학 평면으로의 동역학적 직선화 사상 $\omega$ 를 정의한다.
• $\omega$ 가 유리 함수 $g_{m(c)}$ 와 그 모델 $g'_{m(c)}$ 간의 동형사상으로 연장됨을 증명하여, 구면 위에서 위상적 동형사상을 확보한다.
• 만약 $K_c$ 가 국소 연결성이면, 림ination 매칭 $\mathcal{M} \cup_{\mathbb{S}^1} L_B$ 는 고전적 매칭 $\mathcal{M} \cup_{\mathbb{S}^1} K_B$ 와 위상적으로 동형임을 보인다.

실험 결과

연구 질문

• RQ1 만델브로 집합 $\mathcal{M}$ 의 경계 $\partial\mathcal{M}$ 가 국소 연결성이 아닐 경우에도, 매개변수 공간 $\mathcal{V}_2$ 가 $\mathcal{M}$ 과 $K_B$ 의 매칭임을 증명할 수 있는가?
• RQ2 기존의 매칭 구성법을 하나의 잼라 집합이 국소 연결성이 없을 경우에도 일반화할 수 있는가?
• RQ3 초점이 두 개인 두 개의 순환을 가진 이차 유리 함수의 비탈리성 집합 $\mathcal{M}_2$ 의 위상적 구조는 무엇인가?
• RQ4 $\mathcal{M}$ 이 국소 연결성이 없더라도, 공간 $\mathcal{M} \cup_{\mathbb{S}^1} L_B$ 는 $\mathcal{M}_2$ 와 위상적으로 동형인가?
• RQ5 림ination 기반 매칭 $\mathcal{M} \cup_{\mathbb{S}^1} L_B$ 가 고전적 매칭 $\mathcal{M} \cup_{\mathbb{S}^1} K_B$ 와 위상적으로 동형이 되는 조건은 무엇인가?

주요 결과

• 비탈리성 집합 $\mathcal{M}_2$ 는 $\partial\mathcal{M}$ 의 국소 연결성 가정 없이도, 만델브로 집합 $\mathcal{M}$ 을 포함하는 자연스러운 사상의 연속 이미지임을 보였다.
• 공간 $\mathcal{M}_2$ 는 $\mathcal{M}$ (1/2 렘을 제외한)와 바실리카의 림ination $L_B$ 를 매칭한 것과 위상적으로 동일하며, 즉 $\mathcal{M}_2 \cong \mathcal{M} \cup_{\mathbb{S}^1} L_B$ 이다.
• 구성법 $\mathcal{M} \cup_{\mathbb{S}^1} L_B$ 는 잘 정의되어 있으며, $\partial\mathcal{M}$ 이 국소 연결성이 아닐 경우에도 $\mathcal{M}_2$ 의 위상적 모델을 제공한다.
• $K_c$ 가 국소 연결성이면, 림ination 매칭 $\mathcal{M} \cup_{\mathbb{S}^1} L_B$ 는 고전적 매칭 $\mathcal{M} \cup_{\mathbb{S}^1} K_B$ 와 위상적으로 동형이 되며, 이는 해당 경우에 위트너의 원래 추측을 회복함을 의미한다.
• 동역학적 직선화 사상 $\omega$ 는 유리 함수 $g_{m(c)}$ 와 그 모델 간의 전역 동형사상으로 연장되며, 구면 위에서 위상적 동형사상을 보장한다.
• 이 방법은 초점이 두 개인 $n$-순환을 가진 이차 유리 함수의 다른 성분으로도 일반화되며, 국소 연결성이 없는 동역학계에 대한 광범위한 적용 가능성을 시사한다.