[論文レビュー] A short note on a conjecture of Okounkov about a q-analogue of multiple zeta values

Henrik Bachmann, Ulf Kuehn|arXiv (Cornell University)|Jul 25, 2014

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

ひとこと要約

この論文は、オクヌコフの多重ゼータ値の q-アナログに関する予想を、オクヌコフの q-MZV と複数の除数和の母関数の代数との間の構造的同型を確立することで調査する。q-MZV代数が積に関して閉じていることを証明し、そのヒルベルト級数に関する精密化された予想を支持する数値的証拠を提示する。この予想は、擬モジュラー形式と明示的な母関数を持つ自由多項式代数と関連している。

ABSTRACT

In [Ok] Okounkov studies a specific $q$-analogue of multiple zeta values and makes some conjectures on their algebraic structure. In this note we compare Okounkovs $q$-analogues to the generating function for multiple divisor sums defined in [BK1]. We also state a conjecture on their dimensions that complements Okounkovs conjectural formula and present some numerical evidences for it.

研究の動機と目的

• オクヌコフの多重ゼータ値の q-アナログ（q-MZV）の代数的構造を調査すること。
• オクヌコフの q-MZV を [BK1] で定義された複数の除数和の母関数の代数と比較すること。
• q-MZV代数の次元およびヒルベルト級数に関する精密化された予想を提示し、その数値的証拠を提供すること。
• q-微分作用素 d/dq が q-MZV代数を保存する役割を調査すること。

提案手法

• 特定の積の恒等式 (2.3) を満たす多項式 Q_s(t) を用いて、q-アナログの多重ゼータ値を定義し、積に関して閉じていることを保証する。
• オクヌコフの q-MZV代数が、除数和の母関数の部分代数 MD^# と同型であることを確立する。
• [BK1] の明示的公式を用いて、q d/dq Z(k) が q-MZV代数に属することを示し、d/dq が導分作用素であるという予想を支持する。
• 既知の擬モジュラー形式のヒルベルト級数と新しい代数 A の組み合わせにより、q-MZVの可換なグレーディング代数の予想されるヒルベルト級数を導出する。
• PARI/GP を用いた広範な数値計算により、重み 21 まで、長さ 11 までのフィルター付き部分空間 Fil^{W,L}_{k,l} q-MZV の次元の下界を計算する。
• これらの下界を精密化された予想の予測と比較し、一貫性を検証する。

実験結果

リサーチクエスチョン

• RQ1 オクヌコフの多重ゼータ値の q-アナログは積に関して閉じており、複数の除数和の母関数の代数と一致するか？
• RQ2 q-微分作用素 d/dq は q-MZV代数を保存するか？ これは、この空間上で d/dq が導分作用素として作用することを示唆する。
• RQ3 可換な q-MZV代数のヒルベルト級数は、擬モジュラー形式のヒルベルト級数と、特定の有理型母関数を持つ新しい代数 A の積として表現可能か？
• RQ4 重み 21 まで、長さ 11 までのフィルター付き部分空間 Fil^{W,L}_{k,l} q-MZV の数値的次元は、精密化された予想の予測と一致するか？
• RQ5 q-MZV代数は、特定の代数 A と自由なグレーディング多項式代数のテンソル積と同型であるか？

主な発見

• q-MZV代数は、複数の除数和の母関数の部分代数 MD^# と同型であり、積に関して閉じていることが証明された。
• q-微分作用素 q d/dq は、q-MZV代数の要素を再びその中に写す。これは、d/dq が導分作用素であるというオクヌコフの予想を支持する。
• 数値計算により、重み 21 まで、長さ 11 までの dim Fil^{W,L}_{k,l} q-MZV の下界が、精密化された予想 (3.2) および (3.3) の予測と一致することが示された。
• q-MZV代数のヒルベルト級数は、擬モジュラー形式のヒルベルト級数と、明示的な極を持つ有理関数の積として予想される。これは、予想された構造と整合的である。
• 精密化された予想 (3.2) は、オクヌコフの元の予想 (3.1) とヒルベルト級数の公式 (3.1) の両方を含意しており、一貫した代数的枠組みを提供する。
• 重み 19 まで、q-MZV要素の微分を追加しても次元に増加が認められず、代数が d/dq に関して閉じているという予想を支持する。