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

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

Advanced Mathematical Identities参考文献 13被引用数 4

ひとこと要約

本稿では、複数の除数和の母関数の代数 MD を導入し、それがフィルター付き代数であり、線形関係を導く微分作用素を持つことを示している。また、複数のゼータ値の q-類似を確立し、SL_2(Z) のモジュラー形式を用いて既知の複数のゼータ値の関係、特に長さ 2 の場合を説明している。

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.

研究の動機と目的

• 複数の除数和の母関数の代数 MD を開発し、その代数的構造を研究すること。
• SL_2(Z) における (準) モジュラー形式と MD 間の関係を調査し、MD 内に部分代数を同定すること。
• MD 上の微分作用素を用いて、複数の除数和の間の線形関係を証明すること。
• モジュラー形式を通じて、既知の複数のゼータ値の線形関係（特に長さ 2 の場合）を新たな視点から説明すること。
• 代数 MD を用いて、複数のゼータ値の q-類似枠組みを確立すること。

提案手法

• MD を、複数のアイゼンスタイン級数のフーリエ展開から得られる、有理数係数の形式的べき級数の代数として定義する。
• フィルターと微分作用素を MD に導入し、その代数的性質を分析し、線形関係を生成する。
• SL_2(Z) における (準) モジュラー形式の環を、既知の構造と変換性を活用して MD 内に部分代数として同定する。
• MD から実数への写像を構成し、複数の除数和の母関数と複数のゼータ値を関連付ける。
• 得られた構造とモジュラー形式との関係を用いて、既存の複数のゼータ値の線形関係を説明する。
• MD を複数のゼータ値の q-類似とみなすことで、それらの代数的依存関係に対する新たな洞察を得る。

実験結果

リサーチクエスチョン

• RQ1 複数の除数和の代数 MD を、フィルター付き代数と微分作用素を備えた形でどのように構造化できるか。
• RQ2 MD と SL_2(Z) における (準) モジュラー形式の環との間にはどのような関係があるか。
• RQ3 MD で得られる微分作用素による線形関係は、既知の複数のゼータ値の関係とどのように対応するか。
• RQ4 MD はどのようにして複数のゼータ値の q-類似として機能するか。
• RQ5 モジュラー形式は、特に長さ 2 の場合に、複数のゼータ値の線形関係を新たな視点で説明できるか。

主な発見

• 代数 MD は、複数の除数和の間の線形関係を生成する微分作用素を備えたフィルター付き代数である。
• SL_2(Z) における (準) モジュラー形式の環は、MD 内に部分代数を形成し、既知のモジュラー対象への構造的橋渡しを提供する。
• 微分作用素による MD 内の線形関係は、既知の複数のゼータ値の間の線形関係に対応する。
• MD から R への写像は、複数のゼータ値の q-類似を提供し、新たな代数的関係を明らかにする。
• この枠組みにより、モジュラー形式の視点から長さ 2 の複数のゼータ値の関係が説明される。
• 本研究は、モジュラー構造を通じて複数のゼータ値の線形依存関係を体系的に導出し解釈するための代数的メカニズムを確立した。