[論文レビュー] Rationality of the zeta function of the subgroups of abelian $p$-groups

Olivier Ramaré|arXiv (Cornell University)|Mar 2, 2017

Finite Group Theory Research被引用数 3

ひとこと要約

本稿は、有限アーベル p-群 F の部分群 H における ζ 関数 σₐ(F) = ∑|H|ᵃ の再帰的公式を確立し、p-ランク ≤ r の群の生成関数が分母が単純な有理関数であることを証明する。主な貢献は、明示的な有理生成関数と、σₐ(F) の閉形式公式であり、r = 3 および r = 4 の場合に多項式分母を伴って検証されている。

ABSTRACT

Given a finite abelian $p$-group $F$, we prove an efficient recursive formula for $\sigma_a(F)=\sum_{\substack{H\leq F}}|H|^a$ where $H$ ranges over the subgroups of $F$. We infer from this formula that the $p$-component of the corresponding zeta-function on groups of $p$-rank bounded by some constant $r$ is rational with a simple denominator. We also provide two explicit examples in rank $r=3$ and $r=4$ as well as a closed formula for $\sigma_a(F)$.

研究の動機と目的

• 有限アーベル p-群 F の部分群 H における σₐ(F) = ∑|H|ᵃ の効率的な再帰的公式を導出すること。
• p-ランク ≤ r の群における σₐ(F) の生成関数が、分母が単純な有理関数であることを証明すること。
• 低ランクの場合（r = 3, r = 4）における σₐ(F) の明示的な閉形式表現（多項式分母を含む）を提供すること。
• 左除法と SLᵣ(ℤ)-不変関数を介して、アーベル p-群における部分群の数え上げと整数行列の算術との関係を確立すること。
• 有界行列式の群におけるディリクレ級数と平均的オーダーの文脈において、ゼータ関数の有理性を検証すること。

提案手法

• ホール多項式と p-二項係数の性質を用いて、σₐ(F) の再帰的公式を導出する。
• 変数 X₁,…,Xᵣ を用いた生成関数のアプローチを採用し、F = [p; f₁,…,fᵣ] の指数 f₁,…,fᵣ を符号的に符号化する。
• 符号に基づく展開を (ǫ₁,…,ǫᵣ) ∈ {−1,1}ʳ 上で行い、生成関数を分母に 1 − p^(a + r−t+1) ∑ₕ₌ₜᵣ ǫₕ − (1 − ǫₕ)/2 を含む有理関数として表現する。
• 行列演算と SLᵣ(ℤ)-不変関数を用いて、左除法による整数行列の部分群格子をモデル化する。
• GP-Pari を用いた計算的検証により、r = 1,2 の既知の公式と一致することを確認し、r = 3,4 の場合の正当性を検証する。
• 有理生成関数から係数を抽出することで、σₐ(F) の閉形式式（式 (22)）を導出する。

実験結果

リサーチクエスチョン

• RQ1 p-ランク r が有界なアーベル p-群における σₐ(F) の生成関数は有理関数か？
• RQ2 p, q = pᵃ, および指数 f₁,…,fᵣ に明示的に依存する σₐ(F) の閉形式式を導出可能か？
• RQ3 σₐ(F) の有理生成関数における分母の構造は何か？ さらに簡約化または因数分解可能か？
• RQ4 特に r ≥ 4 の場合に、生成関数の係数は符号と組合せ構造の観点でどのように振る舞うか？
• RQ5 ゼータ関数の有理性は、有限アーベル群におけるディリクレ級数と平均的オーダーの文脈にどの程度まで拡張可能か？

主な発見

• ∑_{f₁,…,fᵣ≥0} σₐ([p; f₁,…,fᵣ]) X₁^{f₁}⋯Xᵣ^{fᵣ} の生成関数は有理関数であり、式 (18) に明示的に与えられた分母を持つ。この関数は ℚ(p, pᵃ, X₁,…,Xᵣ) に属する。
• r = 3 の場合、有理生成関数は式 (20) に明示的に与えられ、分母は 1 − p^u q^v X^k の形の項の積である。
• r = 4 かつ a = 0 の場合、最小分母は X について次数 26、p について次数 8 の多項式であり、式 (21) で明示的に計算されており、非定数符号の係数を示している。
• 閉形式式 (22) は、2ʳ 個の符号ベクトル (ǫ₁,…,ǫᵣ) の和として σₐ([p; f₁,…,fᵣ]) を表現し、q^{∑(∑_{h≥t} ǫₕ*) f_t} の項と、入れ子の和に依存する p-指数を含む。
• q = 0（すなわち a = 0）の場合、式は σ₀(F) = 1 に正しく還元され、符号がすべて正のベクトル（ǫₜ = 1）の寄与のみが寄与する。
• ディリクレ級数 Dr,a(s) におけるゼータ関数の有理性が確認され、極は q = pᵇ のみに可能性がある。分母構造は整数的であり、組合せ的に意味のあるものである。