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

コーランタン・ボダールの論文「グリーン級数が 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$ から出発して長さ $\ell$ の閉路で $e_G$ に戻る経路の数を表す。

級数の階層:
著者は、これらの級数を特定の代数的階層内で分類しようとする：
$$\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. 群と生成集合

本論文は、半直積 $H_3(\mathbb{Z}) \rtimes C_2$ として定義される群 $vH$ に焦点を当てる。

• 構造: $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$ の重複度（8 個のコピー）に注意されたい。

主要定理（定理 1）:
グリーン級数 $\Gamma(vH, S)(z)$ はD-有限ではない。

系:
$vH$が$SL_3(\mathbb{Z})$に埋め込まれるため、$SL_3(\mathbb{Z})$にはグリーン級数が D-有限ではない生成多重集合が存在する。これは、以前$m \geq 4$の$SL_m(\mathbb{Z})$ に対してのみ知られていた結果を拡張するものである。

---

3. 手法

証明戦略は、$F_2 \times F_2$ に対して Garrabrant と Pak が用いたアプローチを適応させたものであり、部分語複雑性と乗法的数列に依存している。

A. 簡約語への帰着

著者はまず、グリーン級数 $\Gamma(z)$ を「簡約語」（即時のバックトラッキング $xx^{-1}$ を含まない語）の成長級数 $R(z)$ と関連付ける。Bartholdi–Grigorchuk のコグロース公式の変種を用いることで、$\Gamma(z)$ が D-有限であることと $R(z)$ が D-有限であることが同値であることが示される。

B. 経路の分解

簡約語の集合 $R$ は、$t$ 生成元の数に基づいて 3 つの部分集合に分割される：

1. $R_1$: $t$ が少ない語（最大 4 個、または連続する $t$ を含めると 6 個）。この集合は文脈自由言語に対応し、代数的（したがって D-有限）な級数を生成する。
2. $R_3$: $t$ が多い語（少なくとも 8 個）。これらの項の寄与は 2 の高い冪で割り切れるため、特定の 2 の冪を法として無視できる。
3. $R_2$: ちょうど 6 個の $t$ を持ち、連続する $t$ を持たない語。これが決定的な集合である。

C. $R_2$ の組合せ論的解析

$R_2$ 内の経路は、ヘisenberg 部分群のケイリーグラフにおける特定の幾何学的形状に対応する。これらの経路の数は、整数 $(a, b, c, d)$ に対するディオファントス方程式系を解くことに帰着される：
$$a + b + c + d = n, \quad ab = cd$$
解の数 $|S_n|$ は、2 の冪を法として解析される。著者は、数え上げを簡素化するために対称性（二面体群 $D_8$ の作用）を同定する。

D. 乗法的関数との関連

解析により、解の数 $|S_n|$（特に奇数インデックスのもの）は、$n$ を割り切る最大の整数 $m$ として定義される関数 $m(n)$ と直接関連していることが明らかになった。
著者は、その係数が 2 を法として乗法的関数 $f(n)$ の値に依存する導出級数 $S(z)$ を構成する：
$$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-有限の境界が、特に「可換的」または「零乗的」に近い群については、以前考えられていたよりも複雑であることを示唆している。

要約すると、ボダールの論文は、組合せ論的群論、数論（乗法的関数）、形式言語理論の高度な相互作用を利用し、比較的に穏やかな仮零乗群の世界であっても、グリーン級数が最大複雑性を示し得ることを実証している。