[논문 리뷰] Tischler graphs of critically fixed rational maps and their applications

Mikhail Hlushchanka|arXiv (Cornell University)|2019. 04. 09.

Mathematical Dynamics and Fractals참고 문헌 17인용 수 6

한 줄 요약

이 논문은 임계 고정점이 있는 모든 유리 함수에 대해 Tischler 그래프가 연결되어 있음을 증명하며, Kevin Pilgrim의 추측을 확인한다. 이 결과는 고정 내부 사슬의 역동성을 분석하고, 곡선 복잡도 추론을 통해 유한한 전역 곡선 수렴점을 확립하는 데 기반한다. 이는 해석 함수의 조합적 분류와 전역 역동성 이론을 발전시킨다.

ABSTRACT

A rational map $f:\widehat{\mathbb{C}} o\widehat{\mathbb{C}}$ on the Riemann sphere $\widehat{\mathbb{C}}$ is called critically fixed if each critical point of $f$ is fixed under $f$. In this article, we study the properties of a combinatorial invariant, called the Tischler graph, associated with such a map. We show that the Tischler graph of a critically fixed rational map is always connected, establishing a conjecture made by Kevin Pilgrim. This result allows us to solve two classical open problems in rational dynamics in the setting of critically fixed rational maps, namely the combinatorial classification problem and the global curve attractor problem. In particular, we prove that there is a canonical one-to-one correspondence between the conjugacy classes of critically fixed rational maps and the isomorphism classes of connected planar embedded graphs.

연구 동기 및 목표

• 임계 고정점이 있는 유리 함수의 Tischler 그래프가 항상 연결되어 있다는 오랜 추측을 해결하는 것.
• Tischler 그래프를 사용하여 임계 고정점이 있는 유리 함수의 완전한 조합적 분류를 제공하는 것.
• 이러한 함수에 대해 유한한 전역 곡선 수렴점의 존재를 확립하여 해석 역동성의 핵심 문제를 해결하는 것.
• 이전 Tischler의 임계 고정점 다항함수에 대한 연구를 더 넓은 범위의 유리 함수로 확장하는 것.
• Tischler 그래프가 후임비유한 유리 함수의 위상적 및 역동적 구조 이해에 어떻게 기여하는지 명확히 하는 것.

제안 방법

• 임계 고정점의 즉시 기저에서의 고정 내부 사슬의 합집합으로 Tischler 그래프를 구성한다.
• Böttcher 좌표를 사용하여 즉시 기저를 매개변수화하고, 단위 원판 내의 방사선 호를 통해 내부 사슬을 정의한다.
• 임계 집합의 보존된 영역 $\widehat{\mathbb{C}} \setminus C_f$ 에서의 호환성 및 호모토피 추론을 적용하여 곡선의 당김을 분석한다.
• Tischler 그래프 $\mathsf{S}$ 와 교차하는 곡선 $\gamma$ 에 대해 복잡도 측정값 $\gamma \cdot \mathsf{S}$ 을 도입하고, 이가 당김 과정에서 엄격히 감소함을 증명한다.
• 유도와 곡선 끌기 추론을 통해, 간단한 곡선의 충분히 높은 단계의 당김이 교차 수가 유한한 집합 $\mathcal{A}(f)$ 의 호환성 동치류에 속한다는 것을 보인다.
• 모든 당김이 결국 유한하고 불변된 호환성 동치류 집합에 도달함을 보여 유한한 전역 곡선 수렴점의 존재를 확립한다.

실험 결과

연구 질문

• RQ1 임계 고정점이 있는 유리 함수의 Tischler 그래프는 Kevin Pilgrim의 추측처럼 항상 연결되어 있는가?
• RQ2 Tischler 그래프를 사용하여 임계 고정점이 있는 유리 함수의 조합적 분류를 완성할 수 있는가?
• RQ3 모든 임계 고정점이 있는 유리 함수는 반복 과정에서 유한한 전역 곡선 수렴점을 갖는가?
• RQ4 임계 고정점이 있는 함수의 맥락에서 곡선 당김의 행동은 어떠한가?
• RQ5 Tischler 그래프의 위상적 성질은 함수의 역동적 구조와 어떻게 관련되어 있는가?

주요 결과

• 임계 고정점이 있는 유리 함수의 Tischler 그래프는 차수 $d \geq 2$ 인 모든 경우에 대해 연결되어 있으며, Pilgrim의 추측을 확인한다.
• $\mathcal{A}(f)$ 는 Tischler 그래프의 각 변과 최대 한 번만 교차하는 곡선의 호환성 동치류 집합으로서 유한하다.
• 모든 단순 곡선 $\gamma$ 에 대해 충분히 높은 단계의 당김 $\delta = f^{-n}(\gamma)$ 는 $\mathcal{A}(f)$ 에 속하며, 이는 유한한 복잡도를 의미한다.
• 총 교차 수 $\gamma \cdot \mathsf{S}$ 는 당김 과정에서 엄격히 감소하므로, 수렴점으로의 수렴이 보장된다.
• 모든 임계 고정점이 있는 유리 함수에 대해 유한한 전역 곡선 수렴점의 존재가 입증된다.
• 증명은 임계 곡선이 둘러싸는 조르당 영역 내의 호환성 및 위상적 제약 조건에서 유도된 엄격한 부등식에 기반한다.