[논문 리뷰] Profinite iterated monodromy groups arising from quadratic polynomials

Richard Pink|arXiv (Cornell University)|2013. 07. 22.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 12

한 줄 요약

이 논문은 특성 $\neq 2$인 체 위의 이차 다항식의 프로피니트 반복 모노드로미 군 $G$를 연구하여, 이가 루트를 가진 이진 트리의 자기동형사상군의 자가유사 닫힌 부분군임을 보여준다. $G$의 동형류는 후행비판 궤도의 조합론적 유형에만 의존하며, 명시적인 재귀적 생성자를 구성한다. 복소수 위상기반에 의존하지 않고 군론적 방법을 통해 정규화군과 산술 모노드로미 군이 결정된다.

ABSTRACT

We study in detail the profinite group G arising as geometric étale iterated monodromy group of an arbitrary quadratic polynomial over a field of characteristic different from two. This is a self-similar closed subgroup of the group of automorphisms of a regular rooted binary tree. (When the base field is \C it is the closure of the finitely generated iterated monodromy group for the usual topology which is also often studied.) Among other things we prove that the conjugacy class and hence the isomorphism class of G depends only on the combinatorial type of the post-critical orbit of the polynomial. We represent a chosen instance of G by explicit recursively defined generators. The uniqueness up to conjugacy depends on a certain semirigidity property, which ensures that arbitrary conjugates of these generators under the automorphism group of the tree always generate a subgroup that is conjugate to G. We determine the Hausdorff dimension, the maximal abelian factor group, and the normalizer of G using further explicit generators. The description of the normalizer is then used to describe the arithmetic étale iterated monodromy group of the quadratic polynomial. The methods used are purely group theoretical and do not involve fundamental groups over \C at all.

연구 동기 및 목표

• 특성 $\neq 2$인 체 위의 이차 다항식에서 유도되는 기하학적 및 산술적 반복 모노드로미 군을 분류하는 것.
• 산술 모노드로미 군이 기하학적 모노드로미 군과 일치하는 조건, 특히 체의 산술적 성질과의 관계를 규명하는 것.
• 순수 군론적 기법을 사용하여 프로피니트 반복 모노드로미 군에 대한 명시적 재귀 생성자를 제공하는 것.
• 하우스도르프 차원, 최대 아벨 몫군, 정규화군을 계산하는 것.
• 사이클로트로믹 특성에 의해 기약 정규화군에 대한 갈루아 군의 작용을 기술하는 것.

제안 방법

• 연구는 위상기반 또는 복소해석학적 기초를 피하고 순수 프로피니트 군론적 기법을 사용한다.
• 기하학적 반복 모노드로미 군 $G$는 $\mathbb{P}^1 \setminus P$의 에탈 기본군이 $\mathop{\rm Aut}(T)$에 대한 상으로서 구성되며, 여기서 $T$는 정규 루트를 가진 이진 트리이다.
• 후행비판 궤도의 조합론적 유형에 기반하여 $G$의 명시적 생성자를 재귀적으로 정의한다.
• 정규화군은 명시적 생성자를 사용하여 계산되며, 이는 산술 모노드로미 군 $G^{\rm arith}$의 구조를 규명하는 데 사용된다.
• $\mathop{\rm Gal}(\bar{k}/k)$의 작용은 사이클로트로믹 특성과 $\prod_{i=1}^\infty \mathbb{F}_2$ 또는 $\mathbb{Z}_2^\times / \{\pm 1\}$로의 명시적 준동형사상에 의해 기술된다.
• 반복성의 성질을 이용하여 $G$의 동치류가 후행비판 궤도 유형에만 의존함을 증명함으로써, 동치류에 대해 유일성(동치류에 의한 유일성)을 보장한다.

실험 결과

연구 질문

• RQ1 프로피니트 반복 모노드로미 군의 동형류는 이차 다항식의 동역학에 따라 어떻게 달라지는가?
• RQ2 기저 체 $k$에 어떤 조건이 성립하면 산술 모노드로미 군이 기하학적 모노드로미 군과 일치하는가?
• RQ3 기하학적 모노드로미 군의 정규화군은 재귀적 생성자로 어떻게 명시적으로 기술할 수 있는가?
• RQ4 산술 모노드로미 군의 몫 $G^{\rm arith}/G$에 대한 갈루아 작용의 구조는 어떠한가?
• RQ5 재귀적 구조로부터 하우스도르프 차원과 최대 아벨 몫군을 계산할 수 있는가?

주요 결과

• 기하학적 반복 모노드로미 군 $G$의 동형류는 이차 다항식의 후행비판 궤도의 조합론적 유형에만 의존한다.
• 정규화군은 명시적으로 계산되었으며, 경우에 따라 $\prod_{i=1}^\infty \mathbb{F}_2$, $\prod_{i=0}^\infty \mathbb{F}_2$, 또는 $\mathbb{Z}_2^\times / \{\pm 1\}$과 동형이다.
• 갈루아 군의 작용은 매개변수 $s$와 $r$에 따라 $\bar{\rho} = (\vartheta_1, \vartheta_1, \ldots) \circ \mathop{\rm cycl}$, $(\vartheta_2, \vartheta_2, \ldots) \circ \mathop{\rm cycl}$, $(\vartheta_1, \vartheta_2, \vartheta_2, \ldots) \circ \mathop{\rm cycl}$, 또는 $\mathop{\rm cycl} \mod \{\pm 1\}$로 주어진다.
• $s \geq 2$ 이고 $r \geq 4$ 이거나, $s=1$ 이고 $r \geq 3$ 이면, $G^{\rm arith}/G$의 순서는 2로 나누어진다.
• 만약 $k$가 네 번째 단위근을 포함하고 $s \geq 2$, $r \geq 4$ 이면, $G^{\rm arith} = G$이다.
• 만약 $k$가 그의 소체 위에서 유한 생성이면 $s=1$, $r=2$ 이면, $G^{\rm arith}/G$는 $\mathbb{Z}_2^\times / \{\pm 1\}$의 유한 지수 부분군이다.