[论文解读] On the growth of iterated monodromy groups

Kai‐Uwe Bux, Perez, Rodrigo|ArXiv.org|May 24, 2004

Mathematical Dynamics and Fractals参考文献 8被引用 14

一句话总结

本文证明了二次多项式 $ z^2 + i $ 的迭代单值群具有次指数增长，提供了首个非平凡例子，支持Nekrashevych的猜想：后临界有限的二次多项式产生具有中间增长的群。证明通过在无限二叉树上对字结构进行递归分析，利用块分解和群生成元中的长度缩减模式，结合交替字中好字母与坏字母的组合约束，界定了增长速率。

ABSTRACT

Nekrashevych conjectured that the iterated monodromy groups of quadratic polynomials with preperiodic critical orbit have intermediate growth. We illustrate some of the difficulties that arise in attacking this conjecture and prove subexponential growth for the iterated monodromy group of $z^2+i$. This is the first non-trivial example supporting the conjecture.

研究动机与目标

• 提供首个支持Nekrashevych猜想的非平凡例子，即后临界有限的二次多项式的迭代单值群具有中间增长。
• 分析迭代单值群 $ \mathcal{I} = \operatorname{IMG}(z^2 + i) $ 的增长行为，重点关注其次指数增长。
• 通过分析交替字的结构及其分解为块的方式，证明该群的增长速率是次指数的。
• 建立一个使用递归分割和字分量组合边界的框架，以控制增长，其灵感来自Grigorchuk群的技术。

提出的方法

• 本文使用从 $ \mathcal{I}_3 $ 到8重积 $ \mathcal{I} \times \cdots \times \mathcal{I} $ 的同态，该同态由在二叉树上的三层次分裂作用诱导。
• 基于特定模式（1）-（4）定义交替字中的“好块”，这些模式在群作用的三重分裂下导致长度缩减。
• 将字分解为分量，其中非-σ字母根据位置被划分为坏或好，且通过引理24，此类分量的总数在全球范围内被常数 $ M $ 所界。
• 利用二项式系数、15的幂（用于非-σ字母）以及分量集合的全局界 $ M $，对最多含有 $ \varepsilon n $ 个好字母的 $ \varepsilon $-坏字的数量进行界控。
• 通过反证法应用命题10，证明次指数增长：假设存在指数增长，但发现好字母始终导致足够的长度缩减，从而违反增长假设。
• 分析依赖于生成元 $ \alpha, \alpha_2, \beta_2, \beta_3, \alpha_8 $ 的结构，其中 $ \alpha_8 $ 的长度为32，以界定向长度为 $ r $ 的字中非-σ字母的数量。

实验结果

研究问题

• RQ1 迭代单值群 $ \operatorname{IMG}(z^2 + i) $ 是否表现出次指数增长，从而支持Nekrashevych的猜想？
• RQ2 能否利用群在无限二叉树上的作用的递归结构，通过块分解和长度缩减来界控增长？
• RQ3 当非-σ字母被限制为坏或位置上为好时，群中交替字会受到何种约束？
• RQ4 是否存在一个全局界，使得所有无好块且所有非-σ字母均为坏的交替字的数量在所有长度上都被统一有界，以实现增长控制？
• RQ5 能否通过分析“好”字母的频率及其在多次分裂后对字长的影响，证明 $ \mathcal{I}_3 $ 的增长速率是次指数的？

主要发现

• 迭代单值群 $ \mathcal{I} = \operatorname{IMG}(z^2 + i) $ 具有次指数增长，确立了首个支持Nekrashevych猜想的非平凡例子。
• 存在一个全局界 $ M $，使得所有无好块且所有非-σ字母均为坏的交替字的数量，在所有长度上都被统一有界。
• $ \mathcal{I}_3 $ 中 $ \varepsilon $-坏字的数量被界为对 $ n \leq (r + 32)/35 $ 的求和，每一项包含二项式系数、15的幂以及 $ M $。
• 证明表明，无论出于本质还是位置，好字母在三重分裂后均导致一致的长度缩减，从而可应用命题10以排除指数增长。
• $ \mathcal{I}_3 $ 的增长速率是次指数的，因为 $ \varepsilon $-坏元素的数量增长慢于任意指数函数 $ \lambda^r $（其中 $ \lambda > 1 $）。
• 结果确认 $ \mathcal{I} $ 不具有指数增长，且由于其既非有限也非几乎幂零，因此是中间增长的候选群。