[論文レビュー] The algebra of generating functions for multiple divisor sums and applications to multiple zeta values

Henrik Bachmann, Ulf Kuehn|arXiv (Cornell University)|Sep 16, 2013

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

ひとこと要約

本稿では、多重除数和の母関数の代数 $\tau\mathcal{MD}$ を導入し、それがフィルター付き代数であり、線形関係を導く微分作用素を持つことを示している。多重ゼータ値の $q$-類似を確立し、$Z_k$ という写像を用いて、モジュラー形式やシャッフル積から生じる既知の関係に対する新しい代数的解釈を導出している。重さ12における明示的な例と、重さ9および10における予想される関係を提示している。

ABSTRACT

We study the algebra MD of generating function for multiple divisor sums and its connections to multiple zeta values. The generating functions for multiple divisor sums are formal power series in q with coefficients in Q arising from the calculation of the Fourier expansion of multiple Eisenstein series. We show that the algebra MD is a filtered algebra equipped with a derivation and use this derivation to prove linear relations in MD. The (quasi-)modular forms for the full modular group Sl_2(Z) constitute a sub-algebra of MD this also yields linear relations in MD. Generating functions of multiple divisor sums can be seen as a q-analogue of multiple zeta values. Studying a certain map from this algebra into the real numbers we will derive a new explanation for relations between multiple zeta values, including those in length 2, coming from modular forms.

研究の動機と目的

• 多重除数和の母関数の代数 $\mathcal{MD}$ を研究し、それがフィルター付き代数としての構造を持ち、微分作用素を伴うこと。
• 代数 $\mathcal{MD}$ から $\mathbb{R}$ への写像 $Z_k$ を通じて、多重ゼータ値の $q$-類似を確立し、既知の多重ゼータ値の関係と関連づけること。
• 特にモジュラー形式やシャッフル積から生じる既知の線形関係について、$\mathcal{MD}$ における代数的構造から新しい代数的説明を導出すること。
• 固定された重さと長さ3における三重除数和ブラケット $[s_1,s_2,s_3]$ の間の、以前に未知であった線形関係の存在を予想すること。重さ9から観察される。
• 多重エーゼンスタイン級数におけるシャッフル関係の補正を、$\mathcal{MD}$ における代数的構造を通じて理解するための枠組みを提供すること。

提案手法

• ブラケット $[s_1, \dots, s_l]$ によって生成される $\mathbb{Q}$-ベクトル空間として代数 $\mathcal{MD}$ を定義し、これは多重除数和を符号化する $q$ に関する形式的べき級数である。
• ブラケットに作用し、(擬)モジュラー形式の部分代数を保存する $\mathcal{MD}$ 上の微分作用素 $\operatorname{d}$ を導入する。
• $\operatorname{d}$ を用いて $\mathcal{MD}$ 内の線形関係を証明し、特に $[1]$ と $[2]$ を含む関係を扱い、それらが既知のゼータ値恒等式に写される。
• $\mathcal{MD}$ から $\mathbb{R}$ への写像 $Z_k$ を構成し、重さ $k$ で要素を評価し、ブラケットを多重ゼータ値に写す。
• $Z_k$ を $Z_k$ の核内の要素に適用し、シャッフル積恒等式を含む、多重ゼータ値間の新しい関係を導出する。
• 明示的な計算と予想を用いて、固定された重さ $k$ と長さ3の三重ブラケット $[a,b,c]$ 間の線形従属関係を特定し、$k=9$ から始める。

実験結果

リサーチクエスチョン

• RQ1 多重除数和の母関数の代数 $\mathcal{MD}$ はどのように代数的に構造化できるのか。また、微分作用素 $\operatorname{d}$ は線形関係を導出する際に果たす役割は何か。
• RQ2 $Z_k$ による $\mathcal{MD}$ からの $q$-類似の多重ゼータ値の性質は何か。
• RQ3 モジュラー形式やシャッフル積から生じる既知の多重ゼータ値の関係は、$\mathcal{MD}$ の代数的構造から体系的に導出可能か。
• RQ4 固定された重さと長さ3における三重除数和ブラケット $[a,b,c]$ の間には、以前に未知の線形関係が存在するか。もしあるならば、どの重さで最初に現れるか。
• RQ5 $Z_k$ の核を用いて、多重ゼータ値間の新しい恒等式を体系的に生成できるか。

主な発見

• 微分作用素 $\operatorname{d}$ は、恒等式 $\operatorname{d}[1] = [3] + \frac{1}{2}[2] - [2,1]$ を満たし、$Z_3$ による写像で $\zeta(2,1) = \zeta(3)$ に写され、既知のゼータ値恒等式が回復される。
• $Z_{k+2}$ を $\mathcal{MD}$ 内の関係に適用することで、$\zeta(s_1)\zeta(s_2)$ のシャッフル積恒等式が代数的に回復され、微分作用素がシャッフル構造を符号化している役割が示される。
• 重さ12の尖点形式 $\Delta$ は、$\frac{5197}{691}\zeta(12) = 168\zeta(5,7) + 150\zeta(7,5) + 28\zeta(9,3)$ という関係を導き、$\mathcal{MD}$ 内のブラケット表現から得られる。
• 重さ9および10における三重ブラケット $[a,b,c]$ の線形関係についての予想が得られ、それぞれ1本および1本の関係が存在し、$\operatorname{Fil}^W_{9,3}(\mathcal{MD})$ および $\operatorname{Fil}^W_{10,3}(\mathcal{MD})$ に新たな代数的構造が存在することを示唆している。
• 重さ $k$ と長さ3の三重ブラケット間の独立な関係の数は、$k=9$ で $t_k = 1$、$k=10$ で $t_k = 1$、$k=20$ で $t_k = 45$ にまで増加すると予想されており、高重量における非自明な構造が示唆されている。
• 著者らは、すべての $f \in \mathcal{MD}$ に対して $Z_k(f) = 0$ ならば $Z_k^{\text{alg}}(f) = 0$ であると予想しており、多重ゼータ値関係の背後にあるより深い代数的核構造が存在することを示唆している。