[논문 리뷰] Finiteness and liftability of postcritically finite quadratic morphisms in arbitrary characteristic

Richard Pink|arXiv (Cornell University)|2013. 05. 13.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 7

한 줄 요약

이 논문은 특성 ≠ 2인 대수적으로 닫힌 체에 대해, ℙ¹ 위의 이차 사상 중 유한한 후행비판 궤도 크기가 n인 것들에 대해, 서로동형인 유형이 유한 개 뿐임을 증명한다. 또한 양의 특성에서 정의된 모든 그러한 사상은 동일한 조합론적 구조를 유지하면서 특성 0으로 올릴 수 있음을 증명하며, 이는 특성 0에서와 동일한 프로파일린 기하 모노드로미 군을 갖게 되며, 이는 루트가 있는 이진 트리 위에서 작용하는 자기유사 군으로 명시적으로 기술될 수 있음을 의미한다.

ABSTRACT

We show that for any integer n and any field k of characteristic different from 2 there are at most finitely many isomorphism classes of quadratic morphisms from the projective line over k to itself with a finite postcritical orbit of size n. As a consequence we prove that every postcritically finite quadratic morphism over a field of positive characteristic can be lifted to characteristic zero with the same combinatorial type of postcritical orbit. The associated profinite geometric monodromy group is therefore the same as in characteristic zero, where it can be described explicitly by generators as a self-similar group acting on a regular rooted binary tree.

연구 동기 및 목표

• 특성 ≠ 2인 임의의 대수적으로 닫힌 체에서, ℙ¹ 위의 이차 사상 중 유한한 후행비판 궤도 크기가 n인 것들에 대해 서로동형인 유형의 유한성을 확립하는 것.
• 양의 특성에서 정의된 후행비판적으로 유한한 이차 사상이 후행비판 궤도의 조합론적 유형을 유지하면서 특성 0으로 올릴 수 있음을 증명하는 것.
• 양의 특성에서 이러한 사상의 프로파일린 기하 모노드로미 군이 특성 0에서의 그것과 일치함을 보이며, 이는 루트가 있는 이진 트리 위에서 작용하는 자기유사 군의 생성자들을 통해 명시적으로 기술될 수 있음을 보여주는 것.
• 동역학 시스템 방법에 의존하지 않고, 모듈리 공간, 안정된 마킹된 곡선, 그리고 분열 기법을 사용하여 유한성에 대한 순수 대수기하학적 증명을 제공하는 것.

제안 방법

• 특성 2를 제외한 정수환의 스펙트럼 위에서 $ \Gamma $-마킹된 이차 사상의 강화된 모듈리 공간 $ M_{\text{\Gamma}} $를 구성하여, 조합론적으로 동일한 후행비판 궤도를 갖는 서로동형 유형을 매개화한다.
• 교환대수학에서의 국소 평탄성 기준을 사용하여 $ M_{\Gamma} $ 가 $ \text{Spec } \mathbb{Z}[1/2] $ 위에서 평탄하다는 것을 유도하며, 이는 특성 0으로의 사상의 올림 가능성을 암시한다.
• 기본 곡선 $ \bar{D} $ 위에서 안정된 마킹된 곡선을 사용하여 이차 사상의 가족의 분열을 분석하며, 열화된 피보터의 조합론적 자료(안정된 마킹된 트리)를 활용한다.
• 안정된 마킹된 곡선 위의 이차 사상에 대해 대응 확장 기법을 적용하여, 유리 곡선의 이중 그래프와 마킹된 점의 분포에 대한 작용을 분석한다.
• 가족의 전체 공간 상의 특이점의 국소 다중성 불변량을 사용하여 일부 악성 환원 유형을 배제하며, 안정된 마킹된 트리의 조합론적 제약 조건과 결합한다.
• t, α, β에 대한 재귀 다항식 시스템을 사용하여 $ f^k(0) = -f^\ell(0) $의 방정식을 분석하며, 특성 ≠ 2에서 차수와 주계수 분석을 통해 해가 유한 개임을 증명한다.

실험 결과

연구 질문

• RQ1 특성 ≠ 2인 임의의 대수적으로 닫힌 체에서, ℙ¹ 위의 이차 사상 중 후행비판 궤도 크기가 n인 것들에 대해 서로동형인 유형이 유한 개 뿐인가?
• RQ2 특성 0이 아닌 체에서 정의된 후행비판적으로 유한한 이차 사상은 후행비판 궤도의 조합론적 구조를 유지하면서 특성 0으로 올릴 수 있는가?
• RQ3 양의 특성에서 후행비판적으로 유한한 이차 사상의 프로파일린 기하 모노드로미 군은 특성 0에서의 그것과 일치하는가?
• RQ4 안정된 마킹된 곡선에서의 이차 사상의 분열에 의해 유도되는 조합론적 제약은 무엇이며, 이를 통해 일부 환원 유형을 배제할 수 있는가?

주요 결과

• 임의의 정수 $ n $ 과 특성 ≠ 2인 대수적으로 닫힌 체 $ k $ 에 대해, $ \mathbb{P}^1_k \to \mathbb{P}^1_k $ 의 이차 사상 중 후행비판 궤도 크기가 $ n $ 인 것들에 대해 서로동형인 유형은 유한 개 이하이다.
• 특성 0이 아닌 체에서 정의된 후행비판적으로 유한한 이차 사상은 후행비판 궤도의 조합론적 유형을 동일하게 유지하면서 특성 0으로 올릴 수 있다.
• 양의 특성에서 이러한 사상의 프로파일린 기하 모노드로미 군은 $ \mathbb{C} $ 위의 대응하는 사상의 그것과 동형이며, 따라서 루트가 있는 정규 이진 트리 위에서 작용하는 자기유사 군으로 명시적인 생성자들로 기술될 수 있다.
• $ \Gamma $-마킹된 이차 사상의 모듈리 공간 $ M_{\Gamma} $ 는 $ \text{Spec } \mathbb{Z}[1/2] $ 위에서 평탄하며, 이는 그러한 올림의 존재를 보장한다.
• $ f^k(0) = -f^\ell(0) $ 의 방정식은 특성 ≠ 2인 임의의 체에서 t에 대해 유한 개의 해를 갖는다. 이는 재귀적으로 정의된 다항식 $ g_n $ 과 $ h_n $ 의 주계수 분석을 통해 증명된다.
• 특정 유형의 악성 환원은 안정된 마킹된 트리의 조합론적 제약 조건과 특이 섬유의 국소 다중성 불변량을 결합하여 배제된다.