[论文解读] 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的zeta函数σₐ(F) = ∑|H|ᵃ（H遍历F的子群）建立了递归公式，证明了p-秩有界的群的生成函数是具有简单分母的有理函数。关键贡献在于给出了显式的有理生成函数以及σₐ(F)的闭式表达式，通过p, q = pᵃ和变量X₁,…,Xᵣ的多项式分母，对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)的显式闭式表达式，包括多项式分母。
• 建立交换p-群中子群计数与整数矩阵算术之间的联系，通过左除数与SLᵣ(ℤ)-不变函数。
• 在有界行列式群的Dirichlet级数与平均阶的背景下，验证zeta函数的有理性。

提出的方法

• 利用Hall多项式与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 zeta函数的有理性在有限交换群的Dirichlet级数与平均阶的背景下，其适用范围如何？

主要发现

• 生成函数∑_{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)将σₐ([p; f₁,…,fᵣ])表示为2ʳ个符号向量(ǫ₁,…,ǫᵣ)的和，各项包含q^{∑(∑_{h≥t} ǫₕ*) f_t}与依赖嵌套和的p-指数。
• 当q = 0（即a = 0）时，公式正确退化为σ₀(F) = 1，因为仅全正符号向量(ǫₜ = 1)有贡献。
• Dirichlet级数Dr,a(s)的zeta函数有理性得到确认，极点仅可能出现在q = pᵇ处，且分母结构为整系数，具有组合意义。