[논문 리뷰] An Algebraic Proof of Thurston's Rigidity for a Polynomial

Alon Y. Levy|arXiv (Cornell University)|2012. 01. 10.

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

한 줄 요약

이 논문은 초기기본점이 있는 초기기본점이 있는 유리 함수에 대한 Thurston의 강성에 대한 대수적 증명을 제공하며, 특히 조심스럽게 램프된 맵에 초점을 맞춘다. 이러한 맵들이 수체 위에서 정의되며, 모듈리 공간 구성이 유한함을 보이며, 핵심 결과로 절대적으로 조심스럽게 램프된 경우 임의의 점에서 임의의 점이 정수적임을 보인다. 반면, 야수적인 램프는 반례를 이끌어낸다.

ABSTRACT

We study rational self-maps of $\mathbb{P}^{1}$ whose critical points all have finite forward orbit. Thurston's rigidity theorem states that outside a single well-understood family, there are finitely many such maps over $\mathbb{C}$ of fixed degree and critical orbit length. We provide an algebraic proof of this fact for tamely ramified maps for which at least one of the critical points is periodic. We also produce wildly ramified counterexamples.

연구 동기 및 목표

• 초기기본점이 있는 유리 함수에 대한 Thurston의 강성에 대한 대수적 증명을 확립하여 분석적 방법을 넘어서는 것.
• 초기기본점이 있는 (PCF) 맵의 모듈리 공간과 특정 램프 조건 하에서의 유한성 성질을 조사하는 것.
• 초기기본점 구성과 감소 행동의 맥락에서 조심스럽게 램프된 맵과 야수적인 램프된 맵의 역할을 명확히 하는 것.
• 지역 및 전역 체에서 초기기본점이 있는 맵이 양호한 감소와 정수적 임의의 점을 가지는 조건을 결정하는 것.
• Lattès 가족을 유일한 예외로 하여, 초기기본점이 있는 맵의 모듈리 공간이 유한해지는 조건을 규명하는 것.

제안 방법

• 초기기본점이 있는 조심스럽게 램프된 PCF 맵과 초기기본점 사이의 임의의 점 구성에 대한 유한한 $\overline{\mathbb{Q}}$-대수 $M'$를 구성한다.
• 대수기하학을 사용하여 임의의 포트레이트를 정의하는 방정식들이 유한한 스킴에서 만난다는 것을 보여, 강성을 증명한다.
• 유한군 작용 이론과 갈루아 강하를 적용하여 맵이 $\overline{\mathbb{Q}}$ 위에서 정의됨을 보장한다.
• $\mathrm{M}_d$의 구조와 그 차원 $2d-2$를 활용하여 포트레이트 방정식의 해의 수를 분석한다.
• 감소 행동을 제어하고 임의의 점의 정수성을 확보하기 위해 절대적 조심스러운 램프의 개념을 도입한다.
• 조심스럽게 램프된 맵이 $2d-2$개의 임의의 점을 가지므로, 해가 유한한 $2d-2$개의 방정식 시스템을 설정한다.

실험 결과

연구 질문

• RQ1 고정된 임의의 포트레이트를 가진 초기기본점이 있는 유리 함수의 모듈리 공간에 유한한 점만 포함되는 조건은 무엇인가?
• RQ2 Thurston의 강성 정리가 분석적 또는 역학적 기법을 넘어서 순수하게 대수적 방법으로 증명될 수 있는가?
• RQ3 초기기본점이 있는 맵에서 $p$에 모듈로 감소할 때 임의의 점의 행동은 어떻게 되는가?
• RQ4 왜 야수적인 램프된 초기기본점이 있는 맵은 Thurston의 강성의 유한성 조건을 만족하지 못하는가?
• RQ5 양의 특성에서의 초기기본점 구성은 특성 0으로 얼마나 잘 올라갈 수 있는가?

주요 결과

• 초기기본점이 있는 조심스럽게 램프된 맵의 경우, 이러한 맵의 모듈리 공간은 $\overline{\mathbb{Q}}$ 위에서 유한하며, 이는 Thurston의 강성을 대수적으로 확인한다.
• 이러한 맵의 임의의 점은 절대적으로 조심스럽게 램프된 맵이 정의된 임의의 국소체의 정수환 위에서 정수적이다.
• 절대적으로 조심스럽게 램프된 초기기본점이 있는 다항식의 $p$에 모듈로 감소는 양호한 감소를 보이며, 이는 야수적인 램프된 경우 실패한다.
• 예를 들어 5-진적으로 밀려나는 고정점이 있는 야수적인 램프된 초기기본점이 있는 맵은 임의의 포트레이트 해의 유한성 조건에 대한 반례를 이룬다.
• 특성 $p$에서의 초기기본점이 있는 맵의 수는 특성 0보다 엄밀히 작으며, 이는 구성의 올림에 대한 악성 감소 장애 때문이다.
• 특성 $p$에서 임의의 점의 구성은 조심스럽게 램프된 맵이더라도 감소가 악성일 경우 특성 0으로 올라가지 못할 수 있다.