On single-variable Witten zeta functions of rank two and three

基本信息

• 论文ID: 2412.17196
• 标题: On single-variable Witten zeta functions of rank two and three
• 作者: Kam Cheong Au
• 分类: math.NT (Number Theory), math.CA (Classical Analysis)
• 发表时间: 2024年12月 (arXiv v3: 2025年11月14日)
• 论文链接: https://arxiv.org/abs/2412.17196

摘要

本文通过引入一种新颖的Mellin变换积分核，揭示了秩2和秩3 Witten zeta函数许多此前未知且引人入胜的性质。文章获得了关于极点位置、留数和特殊值的详细结果，提出了关于原点处导数的非平凡猜想（该猜想似乎编码了根系统的深层信息），并讨论了这些函数在负整数处的行为，突出了与Eisenstein级数的联系以及p-进观察。

研究背景与动机

研究问题

Witten zeta函数定义为有限维单李代数g的不可约表示维数的Dirichlet级数： $\zeta_g(s) := \sum_{\rho} \frac{1}{(\dim \rho)^s}$

本文聚焦于秩2和秩3不可约根系统的Witten zeta函数，即 $\Phi \in \{A_2, B_2, G_2, A_3, B_3, C_3\}$。

问题重要性

1. 理论意义：Witten zeta函数是Riemann zeta函数的自然推广，与李代数表示论、根系统理论密切相关
2. 解析性质：理解这些函数的亚纯延拓、极点、留数等解析性质对数论和表示论都有深远意义
3. 特殊值：在特殊点（如原点、负整数）的值和导数可能编码根系统的深层结构信息

现有方法的局限性

传统方法通过重复应用beta函数的Mellin变换表示式(1.4)，将Witten zeta函数表示为高维积分。例如：

• $\xi_{B_2}(s)$需要2维积分
• $\xi_{G_2}(s)$需要4维积分
• 一般地，$\xi_\Phi(s)$需要N维积分，其中N = #(正根) - rank

这种方法的缺点：

1. 维数灾难：积分维数过高，难以提取精细的解析信息
2. 计算复杂度：即使对中等规模的n（如n≈20），计算$\xi_f(-n)$也需要指数级复杂度
3. 信息提取困难：很难从高维积分中获得极点、留数、特殊值等信息

研究动机

本文的创新在于不重复应用(1.4)，而是将$\xi_f(s)$统一表示为单个积分(1.3)，其中被积函数包含新的积分核$F_f(s;z)$。虽然对于$d \geq 3$，$F_f(s;z)$无法用已知特殊函数表示，但这反而成为优势：既简化了记号，又让我们能专注于本质细节。

核心贡献

本文的主要贡献包括：

1. 极点与留数的完整刻画（定理3.1, 5.1）：
   • 收敛横坐标为$s = \frac{2}{d+2}$，该点为简单极点
   • 除此之外的极点位于$s \in \frac{1}{1+d}\mathbb{Z}_{\leq 1}$
   • 给出了计算所有留数的显式公式
2. 负整数处的值（定理4.1）：
   • 证明$\xi_f(s)$在$s=0,-1,-2,\ldots$处解析
   • 给出了$\xi_f(-n)$的显式公式，计算复杂度为多项式级别
   • 对于Witten zeta函数，这导致了关于Bernoulli数的罕见恒等式
3. 原点处导数的结构定理（第6节，猜想1.1）：
   • 当$f(x)$的根为有理数时，$\xi'_f(0)$是$\zeta'(-1)$和$\log\Gamma(r)$（$r \in \mathbb{Q}$）的$\mathbb{Q}$-线性组合
   • 猜想1.1：对于Witten zeta函数，$\xi'_\Phi(0)$具有异常简单的形式，仅涉及$\log(2\pi), \log 2, \log 3, \log 5$的有理线性组合
4. 与Eisenstein级数的联系（猜想4.6）：
   • 发现$\xi_\Phi(-2n)=0$的等价条件可以提升到Eisenstein级数层面
   • 提出了关于Eisenstein级数的新恒等式猜想
5. p-进性质（猜想1.2, 4.7）：
   • 观察到$\xi_{B_2}(1-2n)$和$\xi_{G_2}(1-2n)$的p-进赋值的规律
   • 类比von Staudt-Clausen定理
6. 秩3结果（定理9.2, 9.4, 9.6）：
   • 完整确定了$\xi_{A_3}, \xi_{B_3}, \xi_{C_3}$在$\text{Re}(s)>0$区域的所有极点和留数
   • 发现$\xi_{B_3}, \xi_{C_3}$在某些预期的极点处实际上解析（如$s=1/8$）
7. 渐近公式（定理1.4, 第11节）：
   • 利用圆法和鞍点法，得到了表示数$r_\Phi(n)$的精确渐近展开
   • 对$A_2, B_2$已知，对$G_2, A_3, B_3, C_3$为新结果

方法详解

核心方法论：新的Mellin变换框架

秩2情形

定义积分核： 对于多项式$f(x) = c(1+\alpha_1 x)\cdots(1+\alpha_d x)$（$c, \alpha_i > 0$），定义 $F_f(s;z) := \int_0^\infty f(x)^{-s} x^{z-1} dx$

关键归一化： $K_f(s;z) := \frac{\Gamma(s)}{\Gamma(z)\Gamma(ds-z)} F_f(s;z)$

定理2.2：$K_f(s;z)$是$(s,z) \in \mathbb{C}^2$上的整函数。

这个结果非常重要，因为它消除了$F_f(s;z)$的极点结构，使得后续分析变得可能。

积分表示： 通过Mellin逆变换， $\xi_f(s) = \frac{1}{2\pi i} \int_{c-i\infty}^{c+i\infty} F_f(s;z) \zeta(s+z) \zeta((d+1)s-z) dz$

奇点图方法： 被积函数的极点位于：

• $z = -n$（$n \in \mathbb{Z}_{\geq 0}$）
• $z = ds + n$（$n \in \mathbb{Z}_{\geq 0}$）
• $z = 1-s$
• $z = (d+1)s - 1$

通过在复平面上移动积分路径，利用留数定理得到亚纯延拓： $\xi_f(s) = \sum_{k=1}^M T^k_f(s) + \text{(解析项)}$

其中$T^k_f(s)$是拾取的留数贡献。

秩3情形

对于二元多项式$f(x_1, x_2)$，定义 $F_f(s;z_1,z_2) := \int_0^\infty \int_0^\infty f(x_1,x_2)^{-s} x_1^{z_1-1} x_2^{z_2-1} dx_1 dx_2$

$K_f(s;z_1,z_2) := \frac{\Gamma(s)}{\Gamma(z_1)\Gamma(z_2)\Gamma(d_1 s - z_1)\Gamma(d_2 s - z_2)\Gamma(d_{12}s - z_1 - z_2)} F_f(s;z_1,z_2)$

命题7.2：$K_f(s;z_1,z_2)$是$\mathbb{C}^3$上的整函数。

类似地，通过二重Mellin逆变换和奇点图方法，得到9项展开式（方程9.2）： $\xi_f(s) = \sum_{k=1}^9 T^k_f(s)$

技术创新点

1. 积分核的整性：证明$K_f$的整性是关键，这通过将积分域$[0,\infty)$分解为$[0,1]$和$[1,\infty)$，并利用引理2.1实现
2. 特殊值的计算：
   • 命题2.4给出$K_f(s;-n)$的显式公式
   • 命题2.5处理$K_f(-m;-n)$的情况
   • 这些公式允许多项式时间复杂度的计算
3. Creative Telescoping（第8节）：
   • 用于计算复杂定积分，如$F_{G_2}(s;1-s)$
   • 利用Mathematica的HolonomicFunctions包自动寻找微分方程的证书
4. Mellin卷积积分（第6节）：
   • 定义$I(k,n,\alpha) := \oint_{(-n-1-\varepsilon)} \Gamma(z)\zeta(z)\alpha^{-z}(z)_k \Gamma(-n-z)\zeta(-n-z) dz$
   • 通过将其与$A(s,\alpha)$联系，利用Hurwitz zeta函数计算
   • 用于计算$\xi'_f(0)$
5. 适度增长性（命题3.3，附录A）：
   • 证明$\xi_f(s)$沿虚轴方向适度增长
   • 这是应用圆法和鞍点法的必要条件
   • 证明技术性很强，涉及精细的积分估计

实验设置

数值验证

本文主要是理论工作，但包含大量数值验证：

1. 特殊值计算（表3）：
   • 计算$\xi_{A_2}, \xi_{B_2}, \xi_{G_2}$在前几个非正整数处的值
   • 验证$\xi_{A_2}(-2n-1) = 0$和$\xi_\Phi(-2n) = 0$
2. p-进赋值（表4, 5）：
   • 计算$\zeta_{B_2}(1-2n)$和$\zeta_{G_2}(1-2n)$的2-进、3-进、5-进赋值
   • 验证猜想1.2（猜想4.7）
3. 留数计算：
   • 定理9.2给出$\xi_{A_3}$在$s=1/2, 2/5, 1/3, 1/4$处的留数
   • 定理9.4给出$\xi_{B_3}$在$s=1/3, 1/4, 1/5, 1/6, 1/7$处的留数
   • 所有结果都用gamma函数和zeta函数的显式表达式给出

实现工具

• Mathematica：用于符号计算和数值验证
• 代码公开：作者在https://sites.google.com/view/kc-au/2412-17196 提供了实现代码
• 代码包括：
  • 计算$\xi_{B_2}(-n), \xi_{G_2}(-n)$（可处理$n$达数千）
  • 计算Mellin卷积积分$I(k,n,\alpha)$
  • 计算Puiseux级数$L(n)$

实验结果

主要结果

秩2 Witten zeta函数（表1）

关键发现：

1. $A_2$的所有信息已知，但$B_2, G_2$的大部分结果是新的
2. $\xi'_\Phi(0)$的形式异常简单（相比一般的$\xi'_f(0)$）

秩3 Witten zeta函数（表2）

所有第一行以外的信息都是新的。

具体留数值

定理9.2（$A_3$的留数）： $\text{Res}_{s=1/2} \xi_{A_3}(s) = \frac{\Gamma(1/4)^4}{24\pi}$$\text{Res}_{s=2/5} \xi_{A_3}(s) = \frac{(\sqrt{5}+5)\Gamma(1/5)\Gamma(3/5)}{10\Gamma(4/5)} \zeta(2/5)$$\text{Res}_{s=1/3} \xi_{A_3}(s) = \frac{2}{3} \xi_{A_2}(1/3)$$\text{Res}_{s=1/4} \xi_{A_3}(s) = \frac{1}{4} \zeta(1/4)^2$

惊人发现：

• $\xi_{A_3}$在$s=1/5$处实际上解析（虽然多变量理论预测这应该是奇点）
• $\xi_{B_3}, \xi_{C_3}$在$s=1/8$处解析（定理9.4, 9.6）
• $\xi_{B_3}, \xi_{C_3}$在$s=-1/2, -3/2, \ldots$有可能的二重极点（例11.5验证了$s=-1/2$确实是二重极点）

关于Bernoulli数的恒等式

从$\xi_{A_2}(-2n)=0$导出（方程4.1）： $\frac{(2n)!}{(4n+1)!} \zeta(-6n-1) = \sum_{k=0}^{2n} \frac{1}{k!(2n-k)!} \zeta(-k-2n)\zeta(k-4n)$

这是关于Bernoulli数的罕见的空隙递归（lacunary recurrence）。

渐近公式

例11.3（$A_2$）： $r_{A_2}(n) \sim \frac{C}{n^{3/5}} \exp(L(n)), \quad n \to \infty$ 其中 $C = \frac{2^{14/15} 3^{3/10}}{5^{1/2}} \sqrt{\pi} \zeta(5/3)^{1/10} \Gamma(1/3)^{1/5}$$L(n) = \frac{5r_{2/3}^{3/5}}{2^{2/5}3^{3/5}} n^{2/5} + \frac{r_{1/2}}{\alpha^{3/10}r_{2/3}^{3/10}} n^{3/10} + \text{(低阶项)}$

类似的渐近展开对$B_2, G_2, A_3, B_3, C_3$都给出（例11.4-11.7），其中$G_2, A_3, B_3, C_3$的结果是新的。

相关工作

Witten zeta函数的研究历史

1. 多变量推广：
   • Matsumoto & Tsumura 22, 23：研究多变量Witten zeta函数的亚纯延拓和函数关系
   • Komori, Matsumoto & Tsumura 15-18：系统研究与半单李代数相关的Witten zeta函数理论
   • 这些工作确定了奇点超平面的位置（如方程9.6）
2. 单变量情形的已知结果：
   • $A_2$：Romik 27全面研究，包括渐近公式
   • $B_2$：Bridges等5得到收敛域、留数和渐近公式
   • $G_2$：Rutard 28部分结果
   • 本文统一并大幅推广了这些结果
3. 特殊值：
   • Borwein & Dilcher 4：$A_2$ zeta函数的导数
   • Bailey & Borwein 3：Mordell-Tornheim-Witten和的导数
   • Rutard 28：$\xi_\Phi(0)$和$\xi'_\Phi(0)$对秩2根系统
   • 本文首次给出秩3的完整结果
4. 消失性质：
   • Au 2：证明$\zeta_\Phi(-2N)$的消失阶至少为$\Phi$的秩（定理4.5）
   • 这是深刻的对称性结果，与本文的公式互补

相关技术

1. Mellin变换方法：
   • 传统方法：重复应用beta函数表示
   • 本文创新：统一的积分核方法
   • Essouabri 9：一般的多项式Dirichlet级数理论
2. 圆法和鞍点法：
   • Hardy & Ramanujan 12：分拆函数的经典渐近公式
   • Debruyne & Tenenbaum 7：一般分拆函数的鞍点法
   • 本文应用于Witten zeta函数
3. Creative Telescoping：
   • Koutschan 19：HolonomicFunctions包
   • 本文用于计算复杂定积分（如推论8.4）

本文的独特贡献

相比现有工作，本文：

1. 统一框架：首次用统一方法处理秩2和秩3
2. 计算效率：从指数复杂度降至多项式复杂度
3. 新结果：秩3的几乎所有结果都是新的
4. 深层猜想：提出关于$\xi'_\Phi(0)$、Eisenstein级数、p-进性质的猜想

结论与讨论

主要结论

1. 方法论突破：新的Mellin变换积分核方法成功统一处理秩2和秩3 Witten zeta函数
2. 完整刻画：对$A_2, B_2, G_2, A_3, B_3, C_3$的Witten zeta函数，完整确定了：
   • 极点位置和留数
   • 在非正整数和原点的值及导数
   • 渐近行为
3. 意外简单性：Witten zeta函数在某些方面比一般的$\xi_f(s)$简单得多：
   • $\xi'_\Phi(0)$的形式异常简洁
   • 某些预期的极点实际上解析
   • 收敛横坐标的留数可用gamma函数表示
4. 深层联系：
   • 与Eisenstein级数的联系（猜想4.6）
   • 与p-进数论的联系（猜想4.7）
   • 与Bernoulli数的新恒等式

局限性

1. 秩的限制：
   • 方法主要适用于秩2和秩3
   • 秩4及以上需要三重或更高重积分，技术挑战显著增加
   • 例：$A_4$的留数猜想（猜想1.3）尚未证明
2. 某些结果依赖数值：
   • 猜想5.6（$G_2$的极点都是真极点）未完全证明
   • 猜想4.7（p-进赋值）基于数值观察
   • 猜想4.6（Eisenstein级数恒等式）未证明
3. 计算复杂性：
   • 虽然从指数降至多项式，但对非常大的n仍有挑战
   • 某些积分（如$J(\alpha_1, \alpha_2)$）的计算仍较复杂
4. 一般性：
   • 某些技术（如creative telescoping）需要case-by-case处理
   • 对$F_f(s;1-s)$的计算，$d \geq 4$时没有一般方法

未来方向

1. 推广到更高秩（猜想1.1, 10.5, 10.6）：
   • 对所有根系统$\Phi$，验证$\xi'_\Phi(0)$的结构猜想
   • 特别是$A_n$的具体公式：$\xi'_{A_n}(0) = (-1)^n \frac{n}{2} \log(2\pi)$
2. 证明Eisenstein级数恒等式（猜想4.6）：
   • Romik 27对$A_2$有证明
   • 需要对$B_2, G_2$找到证明方法
3. p-进理论（猜想4.7）：
   • 寻找类似von Staudt-Clausen定理的全局公式
   • 理解$\xi_\Phi(1-2n)$的p-进结构
4. 留数的算术性质（猜想1.3）：
   • 证明所有根系统的留数都是gamma函数的乘积
   • 验证$A_4$的具体猜想
5. 多变量理论的精化：
   • 理解为何单变量限制时某些奇点消失
   • 建立多变量与单变量理论的精确对应
6. 应用：
   • 利用渐近公式研究表示数的分布
   • 探索与模形式、自守形式的联系

深度评价

优点

1. 方法创新性（★★★★★）

• 核心创新：不重复应用beta函数，而是引入整函数$K_f(s;z)$作为统一积分核
• 技术优势：
  • 将高维积分降至一维（秩2）或二维（秩3）
  • 计算复杂度从指数级降至多项式级
  • 使得精细解析信息（极点、留数）可提取
• 理论深度：$K_f(s;z)$的整性证明（定理2.2, 命题7.2）非平凡，需要精巧的contour deformation

2. 结果完整性（★★★★★）

• 系统性：对6个根系统给出完整的表格（表1, 2）
• 精确性：所有留数都给出显式表达式（定理9.2, 9.4, 9.6）
• 新颖性：秩3的结果几乎全部是新的
• 意外发现：
  • 某些极点实际上解析（$s=1/5$对$A_3$，$s=1/8$对$B_3, C_3$）
  • $B_3, C_3$有二重极点

3. 猜想的深度（★★★★☆）

• 猜想1.1（$\xi'_\Phi(0)$的结构）：
  • 对秩2和秩3完全验证
  • 似乎编码根系统的深层信息（质数2, 3, 5的出现与根系统类型相关）
  • 如果成立，将是根系统理论的重要贡献
• 猜想4.6（Eisenstein级数）：
  • 推广Romik对$A_2$的结果
  • 连接Witten zeta函数与模形式理论
• 猜想4.7（p-进性质）：
  • 类比von Staudt-Clausen定理
  • 可能揭示新的算术结构

4. 技术多样性（★★★★★）

• 解析数论：Mellin变换、亚纯延拓、留数定理
• 特殊函数：超几何函数、Hurwitz zeta、gamma函数
• 符号计算：creative telescoping、微分方程方法
• 渐近分析：圆法、鞍点法、Puiseux级数

5. 写作质量（★★★★☆）

• 结构清晰：从秩2到秩3，从方法到应用，逻辑流畅
• 动机充分：在引言中详细解释为何新方法优于传统方法
• 技术细节：证明完整，关键步骤都有说明
• 可读性：虽然技术性强，但通过例子和表格增强理解

不足

1. 高秩推广的困难（★★★☆☆）

• 维数障碍：秩4及以上需要三重或更高重积分
• 计算挑战：即使对$A_4$，留数计算也变得极其复杂
• 理论局限：目前的框架难以直接推广
• 改进建议：
  • 寻找更高秩的简化技巧
  • 或许需要全新的方法（如函数方程）

2. 某些结果的依赖性（★★★☆☆）

• 数值猜想：猜想4.7, 5.6基于数值观察，缺乏理论证明
• 特殊积分：某些定积分（如推论8.4）的计算依赖creative telescoping的黑箱使用
• 改进建议：
  • 对p-进猜想寻找理论框架
  • 对定积分寻找更概念性的证明

3. 与多变量理论的关系（★★★☆☆）

• 对应不明确：为何单变量限制时某些奇点消失，缺乏系统解释
• 预测能力有限：多变量理论的奇点超平面不能精确预测单变量的极点
• 改进建议：
  • 建立多变量与单变量的精确对应定理
  • 理解对称性在其中的作用

4. 计算工具的依赖（★★☆☆☆）

• Mathematica依赖：某些计算严重依赖符号计算软件
• 可复现性：虽然代码公开，但某些计算（如creative telescoping）需要专门的包
• 改进建议：
  • 提供更多独立的验证方法
  • 开发更通用的算法

影响力评估

1. 对领域的贡献（★★★★★）

• 数论：
  • 新的Mellin变换技术可能适用于其他Dirichlet级数
  • 关于Bernoulli数的新恒等式
• 表示论：
  • 理解李代数表示的计数问题
  • 渐近公式对表示数的分布有启示
• 特殊函数：
  • 新的超几何恒等式（如推论8.4, 8.5）
  • 复杂定积分的计算技术

2. 实用价值（★★★★☆）

• 计算工具：代码公开，可处理$n$达数千
• 应用前景：
  • 物理中的配分函数计算
  • 组合数学中的渐近分析
  • 算术几何中的zeta函数研究

3. 可复现性（★★★★☆）

• 优点：
  • 代码公开在个人网站
  • 主要定理都有完整证明
  • 数值结果可独立验证
• 挑战：
  • 某些计算需要高精度算术
  • Creative telescoping需要专门软件

4. 后续研究潜力（★★★★★）

• 短期：
  • 验证猜想1.1对更多根系统
  • 证明猜想4.6, 4.7
• 中期：
  • 推广到秩4, 5
  • 建立与模形式的联系
• 长期：
  • 发展一般的多项式Dirichlet级数理论
  • 理解Witten zeta函数的算术几何意义

适用场景

1. 直接应用：
   • 研究秩2, 3李代数的表示数
   • 计算相关的特殊值和渐近公式
   • 验证数论猜想（如Bernoulli数恒等式）
2. 方法借鉴：
   • 其他具有多项式分母的Dirichlet级数
   • 多重zeta函数
   • 某些L-函数
3. 理论启发：
   • 根系统与特殊值的关系
   • Mellin变换的新应用
   • p-进数论的新视角

参考文献（精选）

1. 2 Au (2024)：Vanishing of Witten zeta function at negative integers - 本文作者的前期工作，证明$\zeta_\Phi(-2N)$的消失性
2. 5 Bridges等 (2024)：Asymptotic expansions for partitions - 圆法和鞍点法的现代处理
3. 15-18 Komori, Matsumoto & Tsumura：系列工作建立Witten zeta函数的系统理论
4. 22 Matsumoto & Tsumura (2006)：多变量$A_3$ zeta函数的开创性工作
5. 27 Romik (2017)：$A_2$情形的全面研究，本文的重要参考
6. 28 Rutard (2023)：秩2的特殊值，与本文部分结果独立得到

总体评价：这是一篇杰出的数论论文，通过引入创新的技术框架，系统地解决了Witten zeta函数的多个长期问题，并提出了深刻的猜想。方法具有普适性，结果具有完整性，对数论、表示论和特殊函数理论都有重要贡献。唯一的主要局限是向更高秩推广的困难，但这也为未来研究指明了方向。强烈推荐给研究解析数论、特殊函数和李代数表示论的学者。