[논문 리뷰] Combinatorics and topology of straightening maps I: compactness and bijectivity

Hiroyuki Inou, Jan Kiwi|arXiv (Cornell University)|2008. 09. 08.

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

한 줄 요약

이 논문은 $d \geq 3$ 복소 다항식의 매개수 공간에서의 직선화 사상들을 도입하고 연구하며, 두이디와 허버드의 이차 결과를 일반화한다. 이들은 이러한 사상들의 단사성을 증명하고, 그 컴팩트 도메인을 특성화하며, 두 종류의 전단사 직선화 사상이 존재함을 보이며: 하나는 연결성 다양체에 $(d-1)$-중 곱의 맨델브로트 집합을 통합하는 것이고, 다른 하나는 삼차 연결성 다양체에 쿼드라틱 필리드 캐슬리 집합의 전체 가닥을 수렴형으로 통합하는 것이다.

ABSTRACT

We study the parameter space structure of degree $d \ge 3$ one complex variable polynomials as dynamical systems acting on $\C$. We introduce and study {\it straightening maps}. These maps are a natural higher degree generalization of the ones introduced by Douady and Hubbard to prove the existence of small copies of the Mandelbrot set inside itself. We establish that straightening maps are always injective and that their image contains all the corresponding hyperbolic systems. Also, we characterize straightening maps with compact domain. Moreover, we give two classes of bijective straightening maps. The first produces an infinite collection of embedded copies of the $(d-1)$-fold product of the Mandelbrot set in the connectedness locus of degree $d \ge 3$. The second produces an infinite collection of full families of quadratic connected filled Julia sets in the cubic connectedness locus, such that each filled Julia set is quasiconformally embedded.

연구 동기 및 목표

• 이차 다항식 역학에서 두이디와 허버드의 직선화 사상들을 $d \geq 3$ 차수로 일반화하기.
• 모노닉 중심 다항식의 매개수 공간에서 잘 정의된 도메인과 타겟 공간을 가진 직선화 사상들을 정의하고 연구하기.
• 직선화 사상의 도메인이 컴팩트해지는 조건을 특성화하고, 전단사성의 조건을 수립하기.
• 맨델브로트 집합의 곱과 쿼드라틱 필리드 캐슬리 집합의 전체 가닥을 삼차 다항식의 연결성 다양체에 명시적으로 통합하기.
• 이러한 통합이 힐베르트 운동을 통해 동역학적 구조를 유지하는 수렴형임을 증명하기.

제안 방법

• 후기티컬리 프로시드한 다항식 $f_0$로부터 유도된 축소된 사상 체계 $T$ 와 관련된 보편적 다항식 모델 공간 $\operatorname{Poly}(T)$ 를 정의한다.
• 직선화 사상의 타겟 공간으로서 섬유별 연결성 다양체 $\mathcal{C}(T)$ 를 구성한다.
• 다항식 $f_0$ 의 유리 레이어닝 $\lambda_0$ 를 사용하여 직선화 사상의 도메인 $\mathcal{R}(\lambda_0) \subset \mathcal{C}(d)$ 를 정의한다.
• 해석적 운동 기법과 $\lambda$-보조정리를 사용하여 매개수 가닥을 가로질러 수렴형의 구조를 연장한다.
• 하이브리드 클래스의 안정성과 다항식 유사 사상 내의 등장형 변환을 활용하여 직선화 사상의 수렴형 연장성을 증명한다.
• 맨델브로트 집합의 연결성과 매개수 맵의 연속성에 기반한 위상적 추론을 통해 국소 불가약성과 전역 단사성을 보인다.

실험 결과

연구 질문

• RQ1 다항식의 차수 $d \geq 3$ 에서 연결성 다양체로부터의 직선화 사상이 언제 단사적인가?
• RQ2 직선화 사상의 도메인이 언제 컴팩트한가?
• RQ3 맨델브로트 집합의 곱을 고차 다항식의 연결성 다양체에 통합하는 전단사 직선화 사상을 구성할 수 있는가?
• RQ4 쿼드라틱 필리드 캐슬리 집합의 전체 가닥을 직선화 사상을 통해 삼차 연결성 다양체에 수렴형으로 통합할 수 있는가?
• RQ5 직선화 사상의 이미지가 모든 해당 초평면의 하이퍼볼릭 시스템을 포함하기 위해 필요한 위상적 및 동역학적 성질은 무엇인가?

주요 결과

• 직선화 사상은 항상 단사적이며, 두이디와 허버드의 결과를 고차 다항식으로 일반화한다.
• 직선화 사상의 도메인이 컴팩트한 것은 해당 축소된 사상 체계가 원시적이고 분리된 유형일 때에만 성립한다.
• 맨델브로트 집합의 $(d-1)$-중 곱을 $d \geq 3$ 차수 다항식의 연결성 다양체에 통합하는 무한한 전단사 직선화 사상의 가닥이 존재한다.
• 다른 무한한 전단사 직선화 사상의 가닥이 존재하여, 쿼드라틱 필리드 캐슬리 집합의 전체 가닥을 삼차 연결성 다양체에 수렴형으로 통합한다.
• 직선화 사상은 매개수 공간의 일차원 복소 해석적 부분공간으로 연장되며, 이는 섬유의 국소 불가약성을 보장한다.
• 직선화 사상의 이미지는 해당 매개수 공간 내 모든 하이퍼볼릭 시스템을 포함하며, 하이퍼볼릭 성분에 대한 전사성의 확인이 이루어진다.