[论文解读] Profinite iterated monodromy groups arising from quadratic polynomials

Richard Pink|arXiv (Cornell University)|Jul 22, 2013

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$ 的正规化子，并据此确定算术基本群 $G^{\rm arith}$ 的结构。
• 通过单位根特征及到 $\prod_{i=1}^\infty \mathbb{F}_2$ 或 $\mathbb{Z}_2^\times / \{\pm 1\}$ 的显式同态，描述 $\mathop{\rm Gal}(\bar{k}/k)$ 在 $G^{\rm arith}/G$ 上的作用。
• 利用半刚性证明：$G$ 的共轭类仅依赖于后临界轨道类型，从而保证其在共轭意义下的唯一性。

实验结果

研究问题

• RQ1 拟代数迭代基本群的同构类如何依赖于二次多项式的动力学行为？
• RQ2 基域 $k$ 需满足何种条件，才能使算术基本群等于几何基本群？
• RQ3 如何基于递归生成元显式描述几何基本群的正规化子？
• RQ4 伽罗瓦群在商群 $G^{\rm arith}/G$ 上的作用结构如何？
• RQ5 能否从递归结构计算群的豪斯多夫维数与最大交换商群？

主要发现

• 几何迭代基本群 $G$ 的同构类仅依赖于二次多项式后临界轨道的组合类型。
• $G$ 的正规化子被显式计算，其同构于 $\prod_{i=1}^\infty \mathbb{F}_2$、$\prod_{i=0}^\infty \mathbb{F}_2$ 或 $\mathbb{Z}_2^\times / \{\pm 1\}$，具体取决于情形。
• 伽罗瓦群在 $G^{\rm arith}/G$ 上的作用为 $\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$ 与 $r$。
• $G^{\rm arith}/G$ 的阶整除 2，当 $s \geq 2$ 且 $r \geq 4$，或 $s=1$ 且 $r \geq 3$ 时成立。
• 若 $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\}$ 的有限指数子群。