[论文解读] Zeta functions of spheres and real projective spaces

Lee-Peng Teo|arXiv (Cornell University)|Dec 2, 2014

Analytic Number Theory Research参考文献 3被引用 3

一句话总结

本文为球面和实射影空间的Minakshisundaram-Pleijel zeta函数提供了简化的推导，表明系数 $ B_{k,j} $ 是一个次数为 $ (k-1) $ 的多项式系数，当 $ k $ 为偶数时该多项式为奇函数，当 $ k $ 为奇数时为偶函数，这直接推出 $ B_{k,k-2h} = 0 $。此外，本文证明了对于非正整数 $ n $，$ Z_k(-n) $ 和 $ L_k(-n) $ 为有理数，并强化了偶数维球面和射影空间的极点结构结果。

ABSTRACT

We reprove some results about the Minakshisundaram-Pleijel zeta functions of spheres and study their values at nonpositive integers. The results are extended to zeta functions of real projective spaces.

研究动机与目标

• 为文献[2]中先前推导出的 $ k $-维球面的zeta函数公式提供一种更直观、更简化的推导方式。
• 证明zeta函数展开中的系数 $ B_{k,j} $ 是一个次数为 $ k-1 $ 的多项式系数，该多项式在 $ k $ 为偶数时为奇函数，在 $ k $ 为奇数时为偶函数。
• 证明 $ B_{k,k-2h} = 0 $ 对整数 $ h $ 成立，以更简单的方法确认先前结果。
• 在非正整数处显式推导 $ Z_k(-n) $ 和 $ L_k(-n) $ 的有理数值，表明其为有理数。
• 强化 $ Z_k(s) $ 和 $ L_k(s) $ 的极点结构，表明当 $ k $ 为偶数时，zeta函数在 $ s = 1, 2, \dots, k/2 $ 处至多具有单极点。

提出的方法

• 通过在 $ n = (k-1)/2 $ 处对 $ P_k(n) $ 进行多项式展开，推导zeta函数 $ Z_k(s) $，将 $ P_k(x - (k-1)/2) $ 表示为次数为 $ (k-1) $ 的多项式，其系数为 $ C_{k,j} $。
• 对 $ [ (n + (k-1)/2)^2 - ((k-1)/2)^2 ]^{-s} $ 使用二项式展开，将 $ Z_k(s) $ 表示为Hurwitz zeta函数 $ \zeta(2s + 2l - j; (k+1)/2) $ 的形式。
• 通过将多项式展开与文献[2]中基于Stirling数的表达式进行匹配，证明 $ C_{k,j} = B_{k,j} $，从而建立等价性。
• 利用多项式 $ P_k(x - (k-1)/2) $ 的对称性，证明 $ B_{k,k-2h} = 0 $，因为该多项式在 $ k $ 为偶数时为奇函数，在 $ k $ 为奇数时为偶函数。
• 应用Hurwitz zeta函数的函数方程及二项式系数恒等式，计算非正整数处 $ Z_k(-n) $ 和 $ L_k(-n) $ 的值。
• 基于多项式系数结构，推导出计算 $ B_{k,j} $ 的递归算法。

实验结果

研究问题

• RQ1 能否以比原始方法（使用Stirling数和生成函数）更简单、更直观的方式重新推导球面zeta函数公式？
• RQ2 系数 $ B_{k,j} $ 的代数结构是什么？它如何解释 $ B_{k,k-2h} $ 的消失？
• RQ3 在非正整数处 $ Z_k(-n) $ 和 $ L_k(-n) $ 的值是否为有理数？能否显式计算？
• RQ4 对于偶数 $ k $，$ Z_k(s) $ 和 $ L_k(s) $ 的精细极点结构是什么？是否超越了已知的在 $ s = k/2 - n $ 处的极点？
• RQ5 实射影空间的zeta函数与球面的zeta函数有何关系？其留数能否用球面留数表示？

主要发现

• zeta函数展开中的系数 $ B_{k,j} $ 是一个次数为 $ (k-1) $ 的多项式系数，该多项式在 $ k $ 为偶数时为奇函数，在 $ k $ 为奇数时为偶函数，这直接推出对整数 $ h $ 有 $ B_{k,k-2h} = 0 $，以更简洁的证明方式确认了先前结果。
• 当 $ k $ 为偶数时，zeta函数 $ Z_k(s) $ 在 $ s = 1, 2, \dots, k/2 $ 处至多具有单极点，强化了已知的极点结构。
• 当 $ k $ 为奇数时，$ Z_k(0) = -1 $，且对所有正整数 $ n $ 有 $ Z_k(-n) = 0 $；当 $ k $ 为偶数时，$ Z_k(-n) $ 为有理数，可表示为 $ B_{k,k-2h-1} $ 与Riemann zeta函数在负奇整数处取值的有限和。
• 实射影空间的zeta函数 $ L_k(s) $ 满足：当 $ k $ 为奇数时 $ L_k(0) = -1 $，且对所有正整数 $ n $ 有 $ L_k(-n) = 0 $，在非正整数处取有理数值。
• $ L_k(s) $ 在 $ s = k/2 - n $ 处的留数恰好是 $ Z_k(s) $ 在同一点留数的一半，且 $ \operatorname{Res}_{s=k/2} L_k(s) = \frac{1}{2(k-1)!} $。
• 基于 $ P_k(x - (k-1)/2) $ 的多项式结构，推导出计算 $ B_{k,j} $ 的递归算法，从而可高效计算这些系数。