[論文レビュー] Multi-polylogs at twelfth roots of unity and special values of Witten multiple zeta function attached to the exceptional Lie algebra G_2

Jianqiang Zhao|arXiv (Cornell University)|Apr 6, 2009

Advanced Mathematical Identities参考文献 12被引用数 6

ひとこと要約

この論文は、例外的リー代数 𝔤₂ に関連するウィッテン多重ゼータ関数の非負整数における特別値が、12乗単位根における多変数・多対数関数の有理数線形結合として表現可能であることを確立している。ただし、2つの不規則な場合を除き、それらはリーマンゼータ関数の有理数倍に簡約される。この結果は、以前の 𝔰𝔩(4) や 𝔰𝔬(5) に関する研究を拡張し、リー代数表現論と単位根における多重ゼータ関数の間の深い関係を示している。

ABSTRACT

In this note we shall study the Witten multiple zeta function associated to the exceptional Lie algebra g_2. Our main result shows that its special values at nonnegative integers can always be expressed as rational linear combinations of the multi-polylogs evaluated at 12th roots of unity, except for two irregular cases.

研究の動機と目的

• 例外的リー代数 𝔤₂ に関連するウィッテン多重ゼータ関数の非負整数における特別値を調査すること。
• これらの特別値が、特に多対数関数の観点から既知の特殊関数として表現可能かどうかを特定すること。
• これらの値の代数的構造と、多重ゼータ関数および単位根との関係を探索すること。
• 以前の 𝔰𝔩(4) および 𝔰𝔬(5) に関する結果を、例外的ケースの 𝔤₂ に拡張すること。
• 多対数関数的構造を支配する正確なレベル（12乗単位根）および深さ（≤2）を同定すること。

提案手法

• 分母が m と n に関する線形形式を含む、m,n ≥ 1 における 2 変数和としてウィッテン多重ゼータ関数 ζ𝔤₂(s₁,…,s₆) を定義する。
• 引数を 12 乗単位根に制限した多対数関数 Li_{s₁,…,s_d}(x₁,…,x_d) を中心的な解析的道具として用いる。
• 有理関数 1/(x^s y^t) を (x+y)^{s+t} 項を含む和に分解する組合せ的恒等式（補題 1.2）を適用し、多対数関数的形への還元を可能にする。
• 多重ゼータ関数の理論とその代数的関係（RDS（有理数二重和）および GiNaC を用いた記号計算を含む）を用いる。
• 高精度数値評価と PSLQ アルゴリズムを用いて、ζ𝔤₂(2,2,…,2) = c·π¹² のような閉形式恒等式の可能性を検出する。
• 既知の 12 乗単位根における多対数関数の構造とその Q-線形独立性に関する結果を活用し、特別値の空間の次元を分析する。

実験結果

リサーチクエスチョン

• RQ1 𝔤₂ におけるウィッテン多重ゼータ関数の非負整数における特別値は、単位根における多対数関数の有理数線形結合として表現可能か？
• RQ2 これらの特別値を表現するために必要な最小の単位根のレベルは何か？なぜ 𝔤₂ に対して 12 乗単位根が臨界的レベルとなるのか？
• RQ3 なぜ 2 つの特定のケース（s₁=s₂=0 および s₃=s₄=s₅=s₆=0 または s₃=s₄=s₅=s₆=0）が 12 乗単位根における多対数関数の空間に属しないのか？
• RQ4 特別値 ζ𝔤₂(2,2,2,2,2,2) に対して閉形式の表現が存在するか？もし存在するならば、それは有理数倍の π¹² と一致するか？
• RQ5 ζ𝔤₂(s₁,…,s₆) の特別値は代数的に独立か、それとも非自明な Q-線形関係を満たすか？

主な発見

• 特別値 ζ𝔤₂(s₁,…,s₆) は、w−s₁>1、w−s₂>1、かつ w>2 を満たす場合にのみ収束する。ここで w=s₁+⋯+s₆ である。
• 収束条件を満たす非負整数の組 (s₁,…,s₆) に対して、2 つの不規則な場合を除き、ζ𝔤₂(s₁,…,s₆) は、重さ w、深さ ≤2、レベル 12 の多対数関数の Q-ベクトル空間に属する。
• 2 つの例外的ケースは (0,0,s₃,0,0,0) および (0,0,0,s₄,0,0) であり、これらの値は ζ(w−1) および ζ(w) の Q-スパンに属する。
• 数値的証拠により、ζ𝔤₂(2,2,2,2,2,2) = (2⁶·5³·23)/(3⁶·7²·11·13)·ζ(2)⁶ = (5³·23)/(3¹²·7²·11·13)·π¹² が成り立ち、誤差は 10⁻¹⁰⁰ 未満であると支持されている。
• ζ𝔤₂(1,0,0,0,2,0) は ζ(3) の有理数倍ではないため、Q-スパン ζ(3) の外にあり、MPV(3,1) に属さないことが示唆される。
• m,n=300 までの高精度部分和により、ζ𝔤₂(1,1,1,1,1,1) や ζ𝔤₂(2,1,1,1,1,1) などの複数の特別値について、記号計算と 10 桁以上の一致が確認された。