[논문 리뷰] The Dynamical Andre-Oort Conjecture for cubic polynomials

Dragos Ghioca, Hexi Ye|arXiv (Cornell University)|2016. 03. 16.

Advanced Combinatorial Mathematics참고 문헌 23인용 수 4

한 줄 요약

이 논문은 삼차 다항식의 모듈리 공간에서 다이내믹스 앤드로-오르트 추측의 첫 비자명한 케이스를 증명하며, 임의의 기약 부분다양체가 조건수(조직)적으로 조밀한 후보-비유한성(PCF) 매개변수를 포함하는 경우는 정확히 임계 궤도 관계로 정의된 것들임을 보여준다. 증명은 다이내믹스 높이 이론, 함수체 위에서의 다항식 동역학, 그리고 불가능한 교차 이론을 결합하여, 이러한 부분다양체들이 두 임계점 궤도 간의 관계에 의해 잘린다는 것을 입증한다.

ABSTRACT

In the moduli space of degree d polynomials, the special subvarieties are those cut out by critical orbit relations, and then the special points are the post-critically finite polynomials. It was conjectured that in the moduli space of degree d polynomials, the subvarieties containing a Zariski-dense set of special points are exactly these special subvarieties. In this article, we prove the first non-trivial case for this conjecture: the case of cubic polynomials.

연구 동기 및 목표

• 삼차 다항식의 모듈리 공간에서 다이내믹스 앤드로-오르트 추측의 첫 비자명한 케이스를 해결하는 것.
• 조건수적으로 조밀한 후보-비유한성(PCF) 매개변수를 포함하는 기약 부분다양체가 정확히 임계 궤도 관계로 정의된 것임을 입증하는 것.
• 비슷한 기하학적 구조를 가진 무한히 많은 작은 임계 높이 점이 존재할 경우를 보여주는 보고몰로프 유형의 진술을 증명하는 것.
• 모듈리 공간의 임의의 곡선에 대해 다이내믹스에서의 불가능한 교차 이론의 프레임워크를 확장하여, 이전에 매개변수 곡선에 대한 제한 조건(예: $ \mathbb{P}^1 $ 또는 열화 조건)을 제거하는 것.

제안 방법

• 임계 높이 불변량 $ \hat{h}_{\mathrm{crit}}(f) = \sum_{i=1}^{d-1} \hat{h}_f(c_i) $ 을 사용하여 PCF 사상이 임계 높이가 0인 사상임을 특성화한다.
• 함수체 위의 보고몰로프 추측의 함수체 판본을 적용하여, 무한히 많은 작은 높이 점이 존재하면 임계 궤도 관계가 존재함을 보인다.
• 매개변수 곡선 $ C $ 에 대해 함수체 $ K(C) $ 위에서의 다항식 동역학을 활용하여 두 임계점 $ \pm a $ 의 궤도를 분석한다.
• 큰 $ n $ 에 대해 $ P_+(c_n^+) = P_-(c_n^-) $ 를 만족하는 다항식 $ P_{\pm}(z) \in K(C)[z] $ 를 구성하여 궤도 간의 함수적 관계를 이끌어낸다.
• 복소수 위에서 가환하는 다항식은 반드시 공통의 사상의 반복임을 이용하여, [MS14] 및 [SS95]의 결과를 적용하여 $ g = f^r $ 이 되도록 유도한다.
• 자기 집합의 대칭성을 분석하여, 궤도 관계에서 유래하지 않는 비자명한 가환 다항식이 존재하지 않음을 규명하며, $ f^n(a) = f^m(-a) $ 가 $ C $ 전역에서 동일하게 성립함을 결론짓는다.

실험 결과

연구 질문

• RQ1 기약 곡선이 삼차 다항식의 모듈리 공간에 포함된 조건수적으로 조밀한 후보-비유한성 매개변수를 포함하는 조건은 무엇인가?
• RQ2 매개변수 곡선을 $ \mathbb{P}^1 $ 또는 열화 조건으로 제한하지 않고도 삼차 다항식에 대한 다이내믹스 앤드로-오르트 추측을 증명할 수 있는가?
• RQ3 다이내믹스에서의 불가능한 교차 이론 맥락에서 임계 높이에 대한 보고몰로프 유형의 진술이 존재하는가?
• RQ4 삼차 다항식의 두 임계점이 동역학적으로 관련된 궤도를 가지는 경우는 언제이며, 이러한 관계는 매개변수 공간에서의 함수적 방정식을 유도하는가?
• RQ5 모듈리 공간 $ \mathrm{MP}_3 $ 내의 부분다양체가 무한히 많은 PCF 매개변수를 포함하는 정확한 기하학적 구조는 무엇인가?

주요 결과

• 다이내믹스 앤드로-오르트 추측은 삼차 다항식의 모듈리 공간에서 성립한다: 조건수적으로 조밀한 PCF 매개변수를 포함하는 임의의 기약 부분다양체는 정확히 임계 궤도 관계로 잘린다.
• 곡선 $ C \subset \mathrm{MP}_3 $ 에 무한히 많은 PCF 점이 존재하면, 이 곡선은 $ \overline{\mathbb{Q}} $ 위에 정의되며, $ C $ 전역에서 임계 높이가 동일하게 0이 된다.
• 곡선 $ C $ 가 무한히 많은 작은 임계 높이 점을 포함하면, 이 곡선은 임계 궤도 관계로 정의된 부분다양체에 포함되어야 한다.
• 곡선 $ C $ 가 무한히 많은 PCF 점을 포함하면, 두 임계점 중 하나인 $ \pm a $ 가 $ C $ 전역에서 지속적으로 비주기적일 것이거나, 어떤 $ n, m \geq 0 $ 에 대해 $ f^n(a) = f^m(-a) $ 가 $ C $ 전역에서 동일하게 성립한다.
• 큰 $ n $ 에 대해 $ P_+(c_n^+) = P_-(c_n^-) $ 를 만족하는 함수적 관계는 다항식 $ g $ 가 $ f^\ell $ 과 가환함을 의미하며, 이는 반드시 $ f $ 의 반복이어야 하므로 임계 궤도 관계를 강제한다.
• 이 결론은 $ C $ 가 임의의 곡선(단지 $ \mathbb{P}^1 $ 가 아님)일 경우에도 성립하며, 다이내믹스에서의 불가능한 교차 이론의 핵심 열린 케이스를 해결한다.