A virtually nilpotent group whose Green series is not D-finite

以下是 Corentin Bodart 所著论文《一个格林级数非 D-有限的虚幂零群》的详细技术总结。

1. 问题陈述与背景

格林级数：
本文研究了具有有限生成多重集 $S$ 的群 $G$ 的格林级数（也称为共增长级数），记为 $\Gamma(G, S)(z)$。其定义为：
$$\Gamma(G, S)(z) = \sum_{\ell \geq 0} c_\ell z^\ell$$
其中 $c_\ell$ 是 $(G, S)$ 的凯莱图中从单位元 $e_G$ 出发并回到 $e_G$ 的长度为 $\ell$ 的闭路径的数量。

级数层级：
作者试图将这些级数归类到特定的代数层级中：
$$\text{有理} \subset \text{代数} \subset \text{有理级数的对角} \subset \text{D-有限} \subset \text{D-代数}$$

• D-有限（全纯）： 若一个级数的系数满足具有多项式系数的线性递推关系，则称其为 D-有限。
• 已知结果：
  • 当且仅当 $G$ 为有限群时，级数为有理级数。
  • 若 $G$ 为虚自由群，则级数为代数级数。
  • 若 $G$ 为虚 $F_m \times \mathbb{Z}^n$ 群，则级数为有理级数的对角。
  • 对于具有超多项式增长的阿贝尔群，级数非 D-有限（Bell & Mishna）。
  • 对于 $F_2 \times F_2$ 和 $SL_4(\mathbb{Z})$ 的特定生成集，级数非 D-有限（Garrabrant & Pak）。

未决问题：
对于虚幂零群，共识尚不明确。虽然系数的渐近增长率通常与 D-有限级数的增长率相匹配，但级数本身是否总是 D-有限尚属未知。Pak 和 Soukup 之前的结果表明，对于特定的幂零群 $UT_m(\mathbb{Z})$（其中 $m \approx 10^8$），要么该级数不是有理级数的对角，要么不存在计算它的算法。他们并未证明该级数严格非 D-有限。

目标：
提供一个具有特定生成集的虚幂零群的实例，其格林级数非 D-有限。

---

2. 群与生成集

本文聚焦于群 **$vH$**，定义为半直积$H_3(\mathbb{Z}) \rtimes C_2$。

• 结构： $vH = \langle x, y, t \mid [x, [x, y]] = [y, [x, y]] = t^2 = e, txt = y \rangle$。
• 性质： 它是虚 2-步幂零群。它此前被确认为第一个具有多项式测地增长但非虚阿贝尔群的例子。
• 生成集： 使用的特定多重集为 $S = \{x, x^{-1}, t, t, t, t, t, t, t, t\}$。请注意生成元 $t$ 的重数（八个副本）。

主要定理（定理 1）：
格林级数 $\Gamma(vH, S)(z)$ 非 D-有限。

推论：
由于 $vH$可嵌入$SL_3(\mathbb{Z})$，因此$SL_3(\mathbb{Z})$存在一个生成多重集，其格林级数非 D-有限。这将此前仅在$m \geq 4$时已知的结果扩展到了$SL_3(\mathbb{Z})$。

---

3. 方法论

证明策略借鉴了 Garrabrant 和 Pak 针对 $F_2 \times F_2$ 所采用的方法，依赖于子词复杂度和乘性序列。

A. 归约到约化字

作者首先将格林级数 $\Gamma(z)$ 与“约化”字（即不含立即回溯 $xx^{-1}$ 的字）的增长级数 $R(z)$ 联系起来。利用 Bartholdi–Grigorchuk 共增长公式的变体，证明了 $\Gamma(z)$ 是 D-有限的当且仅当 $R(z)$ 是 D-有限的。

B. 路径分解

约化字集合 $R$ 根据生成元 $t$ 的数量被划分为三个子集：

1. $R_1$： $t$ 较少的字（最多 4 个，或包含连续 $t$ 的 6 个）。该集合对应于上下文无关语言，产生代数级数（因此是 D-有限的）。
2. $R_3$： $t$ 较多的字（至少 8 个）。这些项的贡献可被 2 的高次幂整除，使得它们在模特定 2 的幂时变得微不足道。
3. $R_2$： 恰好有六个 $t$ 且没有连续 $t$ 的字。这是关键集合。

C. $R_2$ 的组合分析

$R_2$ 中的路径对应于海森堡子群凯莱图中的特定几何形状。这些路径的计数简化为求解整数 $(a, b, c, d)$ 的丢番图方程组：
$$a + b + c + d = n, \quad ab = cd$$
解的数量记为 $|S_n|$，并在模 2 的幂下进行分析。作者识别出对称性（二面体群 $D_8$ 的作用）以简化计数。

D. 与乘性函数的联系

分析表明，解的数量 $|S_n|$（特别是针对奇数索引）直接与函数 $m(n)$ 相关，该函数定义为使得 $m^2$ 整除 $n$ 的最大整数。
作者构造了一个导出级数 $S(z)$，其模 2 的系数取决于乘性函数 $f(n)$ 的值：
$$f(n) = m\left(\frac{n}{2^{\nu_2(n)}}\right) \pmod 4$$
其中 $f(n) \in \{+1, -1\}$。

E. 子词复杂度论证

证明的核心依赖于定理 7（Garrabrant–Pak）：如果一个级数是 D-有限的，那么其系数模 2 的子词复杂度必须是 $o(2^n)$。
作者证明了定理 9：对于上述构造的特定乘性函数 $f(n)$，其子词复杂度是最大的（$p_f(n) = 2^n$）。

• 定理 9 的证明： 利用中国剩余定理以及满足 $f(q) = -1$ 的素数幂的稀疏性，证明了任意长度为 $n$ 的 $\pm 1$ 模式都可以由某个 $x$ 处的 $f(x+i)$ 实现。

由于导出级数 $S(z)$ 的系数表现出最大子词复杂度，$S(z)$ 不可能是 D-有限的。由于 $S(z)$ 是使用保持 D-有限性的运算（提取偶/奇项、线性组合）从 $R(z)$ 构造的，因此原始级数 $R(z)$ 以及随之而来的 $\Gamma(z)$ 也不可能是 D-有限的。

---

4. 主要贡献

1. 解决虚幂零情形： 本文提供了第一个反例，推翻了虚幂零群的格林级数是 D-有限的猜想。
2. 细化 Pak-Soukup 结果： 通过证明对于虚幂零群，该级数严格非 D-有限（而不仅仅是非有理级数的对角或不可计算），加强了 Pak 和 Soukup 的结果。
3. 扩展到 $SL_3(\mathbb{Z})$： 通过将 $vH$嵌入$SL_3(\mathbb{Z})$，该结果将非 D-有限现象扩展到了 3 维特殊线性群（此前仅在$m \geq 4$ 时已知）。
4. 方法论进展： 本文成功地将“乘性序列的子词复杂度”技术应用于幂零环境，克服了幂零群中标准渐近增长率通常模仿 D-有限行为这一困难。

---

5. 意义与未来方向

• 理论影响： 这一结果挑战了“良好”几何群（如幂零群）总是产生“良好”生成函数的直觉。它突显了群结构的算术性质（特别是生成元 $t$ 与海森堡子群之间的相互作用）可以在共增长级数中引发混沌行为。
• 未决问题：
  • 离散海森堡群 $H_3(\mathbb{Z})$： 本文指出，此处使用的添加生成元多个副本（$t$）的具体技巧并不直接适用于 $H_3(\mathbb{Z})$ 本身。将结果扩展到 $H_3(\mathbb{Z})$ 仍然是一个开放且重大的挑战。
  • 渐近频率： 作者提到，使用无平方数渐近密度的替代证明将依赖于未证明的猜想，即 $\pi^2$ 和卡塔兰常数 $G$ 在 $\mathbb{Q}$ 上线性无关。
• 更广泛的背景： 该结果表明，群论中 D-有限与非 D-有限级数之间的界限比之前认为的更为复杂，特别是对于那些“接近”阿贝尔群或幂零群的群。

总之，Bodart 的论文利用组合群论、数论（乘性函数）和形式语言理论之间的复杂相互作用，证明了即使在虚幂零群这一相对温和的领域中，格林级数也可能表现出最大复杂度。