Branch iterated Galois groups with positive fixed-point proportion and positive Hausdorff dimension

技术摘要：具有正不动点比例与正豪斯多夫维数的分支迭代伽罗瓦群

问题陈述
本文探讨了关于 $d$ 正规根树 $\text{Aut}(T)$ 的层传递子群在算术动力学和作用于根树的群论中的一个特定问题，该问题最初由 Jones (2008) 提出。核心问题在于探讨具有正豪斯多夫维数（Hausdorff dimension）的层传递群 $G \leq \text{Aut}(T)$ 与其不动点比例（fixed-point proportion, FPP）之间的关系。

Jones 曾猜想，如果一个层传递群 $G \leq \text{Aut}(T)$ 具有正豪斯多夫维数（$H(G) > 0$），那么其不动点比例必须为零（$FPP(G) = 0$）。虽然 Boston (2008) 在二叉树（$d=2$）上为该猜想提供了反例，但对于度数 $d > 2$ 的树，尚未发现此类示例，也未发现此类群作为迭代伽罗瓦群（算术迭代单动力群）出现的例子。本文专门研究了正则分支迭代伽罗瓦群是否能同时具备正豪斯多夫维数和正不动点比例。

方法论
作者结合了群论构造与算术动力学分析：

1. 迭代分次积的推广： 本文将迭代分次积 $W_S$ 的定义扩展到任意子集 $S \subseteq \text{Sym}(d)$。文中建立了一个关于这些集合的不动点比例的递推关系，导出了一个特征多项式 $f_S(x)$。FPP 被证明是该多项式在 $[0, 1]$ 区间内的最大不动点。
2. 构造正则分支群 ($G^P_Q$)： 为子群 $Q \triangleleft P \leq \text{Sym}(d)$ 构造了一个新的群族，记作 $G^P_Q$。这些群由满足以下条件的自同构组成：任何顶点的子节点上的作用都落在同一等价类 $P/Q$ 中。文中证明，若 $Q$ 是传递的，则这些群是正则分支群（因此具有正豪斯多夫维数）。
3. FPP 的显式计算： 利用特征多项式法，作者推导出了 $G^P_Q$ 的 FPP 的显式公式，该公式是与 $P/Q$ 的陪集的迭代分次积的 FPP 的平均值。
4. 算术实现： 所构造的群与单临界多项式 $f(x) = x^d + c$ 的迭代伽罗瓦群相关联。通过分析伽罗瓦作用在超越元素 $t$ 的原像上的情况，作者证明了对于特定的 $K$ 和 $c$，算术迭代伽罗瓦群 $G_\infty(K, x^d+c, t)$ 与所构造的群 $G^P_Q$ 同构。

主要贡献与结果

• 定理 1（主要结果）： 对于定义在域 $K$ 上（其中 $\text{char}(K) \nmid d$）的后临界无限单临界多项式 $f(x) = x^d + c$，其算术迭代伽罗瓦群 $G_\infty(K, x^d+c, t)$ 是正则分支的。

  • 其豪斯多夫维数被显式计算为 $H(G) = \frac{\log(d)}{\log(d!)}$。
  • 其不动点比例由下式给出：
    $$FPP(G) = \frac{\#\{a \in I : a - 1 \in (\mathbb{Z}/d\mathbb{Z})^\times\}}{\Phi(d)}$$
    其中 $I$ 是伽罗瓦群 $\text{Gal}(K(\xi)/K)$ 在 $(\mathbb{Z}/d\mathbb{Z})^\times$ 中的像。
  • 关键发现： 如果 $K = \mathbb{Q}$ 且 $d$ 为奇数，则其不动点比例为正。具体而言，$FPP = \prod_{p|d} \frac{p-2}{p-1}$。这提供了第一个在二叉树之外、具有正豪斯多夫维数且正不动点比例的层传递群示例。

• 定理 2（一般族）： 本文构造了一个更广泛的正则分支群族 $G^P_Q$，其中 $d = 2^n r$（$r$ 为奇数），且 $Q = C_2^n \times C_r$。这些群同样表现出正的豪斯多夫维数，并且当 $d \not\equiv 2 \pmod 4$ 时，具有正的不动点比例。

• 定理 3（迭代分次积的不动点比例）： 本文提供了一种计算任何迭代分次积 $W_S$（其中 $S \subseteq \text{Sym}(d)$）之 FPP 的通用算法。文中证明 FPP 是一个次数至多为 $d-1$ 的多项式 $f_S(x)$ 的最大不动点。文中根据 $S$ 中元素的传递性和不动点性质，刻画了 FPP 为 0、1 或介于 0 与 1 之间的情形。

• 对猜想的解答： 本文对 Jones 的问题 1.1 给出了否定回答（针对正则分支迭代伽罗瓦群类）。它表明，对于这些群，当度数 $d$ 为奇数时，“正豪斯多夫维数意味着零不动点比例”这一条件并不成立。

意义
本文声称提供了第一个在二叉根树（$d=2$）之外，层传递群同时拥有正豪斯多夫维数和正不动点比例的示例。这直接反驳了关于这类“大”群在迭代伽罗瓦群语境下这两个属性互斥的猜想。

此外，这项工作架起了抽象群论（正则分支群）与算术动力学（迭代伽罗瓦群）之间的桥梁。通过显式计算这些算术群的 FPP，本文为理解动力学序列中整除素数的狄利克雷密度（Dirichlet density）提供了新工具，而这正是不动点比例在数论中的主要应用。$G^P_Q$ 群族的构造以及特征多项式 $f_S(x)$ 的推导，为分析作用于树上的群的不动点比例提供了一个系统性的框架，扩展了以往仅限于特定情形或子群的研究结果。

作者指出，虽然二叉树情形（$d=2$）此前已被 Boston 处理过，但奇数度数情形（$d \geq 3$）在以往文献中存在显著障碍，本文通过利用单临界多项式的特定结构以及分圆域的算术性质克服了这一困难。