[논문 리뷰] Sur la structure des ensembles de Fatou p-adiques

Juan Rivera‐Letelier|ArXiv.org|2004. 12. 08.

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

한 줄 요약

이 논문은 p진 프로젝티브 선상에서 완전히 분리된 위상 구조로 인해 연결 성분이 존재하지 않는 점을 고려하여, '해석적 성분'을 도입함으로써 p진 파투 집합의 주기적 성분에 대한 동적 분류를 수립한다. 이는 p진 프로젝티브 선에서 연결 성분의 대체 개념으로서의 해석적 성분을 제안하며, 모든 p진 파투 집합의 주기적 성분이 즉시 수렴 영역 또는 준주기 영역의 성분임을 증명함으로써, 고전적 복소 동역학의 이분법을 새로운 프레임워크인 아핀로이드 집합과 유리 함수에 의한 불변 동역학을 통해 p진 동역학으로 일반화한다.

ABSTRACT

A classification of the periodic components of the Fatou set of $p$-adic rational maps. Each such periodic component is either an immediate attracting basin or an open affinoid, where the dynamics is quasi-periodic (the $p$-adic analogues of Siegel discs and Herman rings.) The main tool is a fixed point theorem for connected subsets of Berkovich's projective line (or p-adic hyperbolic space).

연구 동기 및 목표

• p진 동역학에서 $\mathbb{P}(\mathbb{C}_p)$의 완전히 분리된 위상 구조로 인해 연결 성분이 존재하지 않는 문제를 해결하기 위해.
• 열린 아핀로이드를 기반으로 한 해석적 성분을 이용해 연결 성분의 적절한 대체 개념을 정의하기 위해.
• p진 파투 집합의 주기적 성분을 복소 동역학의 경우와 유사하게 분류하기 위해.
• 모든 주기적 성분이 즉시 수렴 영역 또는 준주기 영역의 성분임을 증명하기 위해.
• 비탈출 추측을 뒷받침하기 위해: 모든 파투 성분이 전주기적이며, 따라서 휘날리는 성분이 존재하지 않음을 의미한다.

제안 방법

• 파투 집합 내의 열린 아핀로이드의 합집합으로서 '해석적 성분'을 도입하여 연결 성분을 대체한다.
• 파투 집합의 성분을 $F(R)$ 내의 열린 아핀로이드 $X$ 의 합집합으로 정의하며, $\bigcup_{n \geq 0} R^n(X)$ 가 $\mathbb{P}(\mathbb{C}_p)$의 적어도 세 점을 배제하는 경우로 정의한다.
• $\mathbb{P}(\mathbb{C}_p)$에서 유리 함수에 의한 아핀로이드 집합과 그 동역학 이론을 적용한다.
• L.C. Hsia가 확립한, 파투 성분에서 $R^n$의 균일한 리프시츠 연속성과 현수각 거리(metric)를 사용한다.
• 차수 ≥2인 유리 함수에 의한 고리 영역에서의 고리의 모듈러스 증가에 관한 핵심 보조정리를 활용한다.
• 고리 영역 내에서 영이나 극점이 없는 유리 함수의 구조를 이용하여, $|R(z)| = a|z|^d$ 이고, $d \geq 2$일 경우 이미지 고리는 엄격히 확장됨을 보인다.

실험 결과

연구 질문

• RQ1 연결 성분이 존재하지 않는 p진 동역학에서 주기적 성분에 대한 의미 있는 분류가 가능할 수 있는가?
• RQ2 모든 p진 파투 집합의 주기적 성분은 모두 즉시 수렴 영역 또는 준주기 영역의 성분인가?
• RQ3 Sullivan의 정리와 유사하게 p진 파투 집합에서 휘날리는 성분이 존재하지 않는가?
• RQ4 차수 ≥2인 유리 함수의 반복에 의한 고리의 모듈러스는 경계에서 어떻게 변화하는가?
• RQ5 유리 함수의 아핀로이드 집합에서의 동역학을 활용하여 $\mathbb{P}(\mathbb{C}_p)$에서 파투 성분을 분류할 수 있는가?

주요 결과

• 모든 p진 파투 집합의 주기적 성분은 즉시 수렴 영역 또는 준주기 영역의 성분이며, 이는 복소 동역학의 분류에 대한 p진 동역학적 유사체를 수립한다.
• 경계에서 차수가 최소 2이면, $R$에 의한 이미지 고리 $C'$의 모듈러스는 $\mathrm{mod}(C') \geq \mathrm{mod}(C) + \min\{m, \mathrm{mod}(C)\}$ 를 만족하며, 여기서 $m > 0$ 은 $r$ 에 독립적인 상수이다.
• 만약 $R$ 이 고리 영역 $\{r_1 < |z| < r_0\}$ 내에서 영이나 극점이 없다면, $|R(z)| = a|z|^d$ 이고, $R$ 은 고리를 $\{a r_1^d < |z| < a r_0^d\}$ 로 사상한다.
• 경계 성분이 $R$ 에 의해 이미지 고리의 경계로 사상되며, 이는 동역학이 고리의 구조와 모듈러스 증가를 유지함을 보장한다.
• 만약 $R(C_0)$ 가 이미지 파투 집합의 성분을 포함하고, $R$ 이 경계에서 차수 ≥2이면, 모듈러스는 최소 $\min\{m, \mathrm{mod}(C)\}$ 만큼 증가함을 보여주는 증명이 이루어진다.
• 비탈출 추측—모든 파투 성분이 전주기적임—은 분류 결과와 동치이며, 이는 p진 설정에서 휘날리는 성분이 존재하지 않음을 의미한다.