[論文レビュー] 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ゼータ関数の簡略化された導出を提供し、係数 $ B_{k,j} $ が $ k $ が偶数のとき奇関数、$ k $ が奇数のとき偶関数である次数 $ (k-1) $ の多項式の係数であることを示している。これにより、$ 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 $ 次元球面のゼータ関数の公式を、より直感的で簡略化された方法で再導出すること。
• ゼータ関数展開における係数 $ B_{k,j} $ が、$ k $ が偶数のとき奇関数、$ k $ が奇数のとき偶関数である次数 $ k-1 $ の多項式の係数であることを証明すること。
• 整数 $ h $ に対して $ B_{k,k-2h} = 0 $ であることを示し、より単純な方法で以前の結果を確認すること。
• 非正整数における $ Z_k(-n) $ および $ L_k(-n) $ の明示的な有理数値を導出し、それらが有理数であることを示すこと。
• $ Z_k(s) $ および $ L_k(s) $ の極構造を強化し、$ k $ が偶数のとき、ゼータ関数が $ s = 1, 2, \dots, k/2 $ において高々単純極をもつことを示すこと。

提案手法

• 多項式展開 $ P_k(n) $ を $ n = (k-1)/2 $ の周りで展開し、$ 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(2s + 2l - j; (k+1)/2) $ の形に表現する。
• 文献[2]で得られたStirling数に基づく表現と多項式展開を一致させることで、$ C_{k,j} = B_{k,j} $ を証明し、等価性を確立する。
• 多項式 $ P_k(x - (k-1)/2) $ が持つ対称性の性質を用いて、$ k $ に応じて奇関数または偶関数となることから、$ B_{k,k-2h} = 0 $ を示す。
• Hurwitzゼータ関数の関数方程式および二項係数の恒等式を用いて、非正整数における $ Z_k(-n) $ および $ L_k(-n) $ を評価する。
• 多項式係数構造に基づいて、$ B_{k,j} $ を再帰的に計算するアルゴリズムを導出する。

実験結果

リサーチクエスチョン

• RQ1 Stirling数や母関数を用いた元の方法よりも、球面のゼータ関数の公式をより単純かつ直感的に再導出できるか？
• RQ2 係数 $ B_{k,j} $ の代数的構造は何か？ そして、$ B_{k,k-2h} = 0 $ の背後にある理由は何か？
• RQ3 非正整数における $ Z_k(-n) $ および $ L_k(-n) $ の値は有理数か？ そして、それらを明示的に計算できるか？
• RQ4 特に $ k $ が偶数のとき、$ Z_k(s) $ および $ L_k(s) $ の精緻化された極構造は何か？ 既知の極 $ s = k/2 - n $ 以外に何があるか？
• RQ5 実射影空間のゼータ関数は球面のそれとどのように関係するか？ また、その留数は球面の留数で表現できるか？

主な発見

• ゼータ関数展開における係数 $ B_{k,j} $ は、$ k $ が偶数のとき奇関数、$ k $ が奇数のとき偶関数である次数 $ (k-1) $ の多項式の係数である。これにより、整数 $ h $ に対して $ B_{k,k-2h} = 0 $ が直接的に導かれ、以前の結果がより単純な証明で確認される。
• 偶数 $ k $ のとき、ゼータ関数 $ 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} $ と負の奇数におけるリーマンゼータ関数の値の有限和として表される。
• 実射影空間のゼータ関数 $ L_k(s) $ は、$ k $ が奇数のとき $ L_k(0) = -1 $ であり、すべての正の整数 $ n $ に対して $ L_k(-n) = 0 $ である。非正整数における値は有理数である。
• $ s = k/2 - n $ における $ L_k(s) $ の留数は、$ 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} $ を再帰的に計算するアルゴリズムが導出され、係数の効率的計算が可能になる。