[論文レビュー] Decomposition of elliptic multiple zeta values and iterated Eisenstein integrals

Nils Matthes|arXiv (Cornell University)|Mar 28, 2017

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

ひとこと要約

本稿では、A-楕円型多重ゼータ値の正規分解を、単射写像 $\psi^A$ を通じて反復イーゼンスタイン積分へ行うものであり、それにより $\mathbb{Q}$-線形関係の研究が簡略化される。主な貢献は、$\psi^A$ の像がテンソル代数の双対空間のフーリエ部分空間に含まれることであり、全射性の失敗は $\mathrm{SL}_2(\mathbb{Z})$ のモジュラー形式の周期多項式によって支配されることである。これにより、楕円型多重ゼータ値の間の関係を体系的かつ線形代数的な枠組みで理解できるようになる。

ABSTRACT

We describe a decomposition algorithm for elliptic multiple zeta values, which amounts to the construction of an injective map $ψ$ from the algebra of elliptic multiple zeta values to a space of iterated Eisenstein integrals. We give many examples of this decomposition, and conclude with a short discussion about the image of $ψ$. It turns out that the failure of surjectivity of $ψ$ is in some sense governed by period polynomials of modular forms.

研究の動機と目的

• A-楕円型多重ゼータ値の代数から反復イーゼンスタイン積分の空間への正規的かつ単射な分解写像 $\psi^A$ を構成すること。
• 反復イーゼンスタイン積分の $\mathbb{C}$ 上での線形独立性を活用し、楕円型多重ゼータ値の $\mathbb{Q}$-線形関係の研究を簡略化すること。
• $\psi^A$ の像を特徴づけ、その全射性の失敗を導来代数とモジュラー形式の周期多項式に関連付けること。
• 動機的多重ゼータ値との構造的類似性を確立するが、任意の選択を避ける正規的構成を用いること。

提案手法

• 楕円型多重ゼータ値の微分方程式（エンリケスの研究に基づく）を用いて分解を構成し、これは動機的コアクションの楕円的類似物である。
• $\mathbf{E} = \{\mathbf{e}_0, \mathbf{e}_2, \mathbf{e}_4, \ldots\}$ がイーゼンスタイン級数 $E_{2k}(\tau)$ に対応するとして、写像 $\psi^A$ を $\mathcal{EZ}^A$ から $T(\mathbf{E})^\vee \otimes_{\mathbb{Q}} \mathcal{Z}[2\pi i]$ への単射として定義する。
• フーリエ部分空間 $T(\mathbf{E})^\vee_{\rm Fou}$ は、$\mathbb{Q}\langle\mathcal{E}\rangle_{\rm Fou}$ の写像 $\psi$ による像として定義され、$q$-展開における定数項が消える反復イーゼンスタイン積分からなる。
• 構成は、反復イーゼンスタイン積分を $\mathbf{E}$ 上のテンソル代数の各次元双対空間の元へ写像する同型 $\psi: \mathbb{Q}\langle\mathcal{E}\rangle \to T(\mathbf{E})^\vee$ に依存する。
• $\psi^A$ の像がフーリエ部分空間に含まれることの証明には、$\mathcal{E}^{0}(2k_1,\ldots,2k_n;\tau) = \mathcal{E}(\ldots) - \frac{B_{2k_n}}{4k_n}\mathcal{E}(\ldots,0;\tau)$ の分解を用い、$q$-adic での消滅を保証する。
• $\psi^A$ の全射性の失敗は、ドリンフェルトの結び目 $\underline{A}_\infty$ を消滅させる導来 $D$ と関連しており、これにより像に現れる反復積分の組み合わせが制限されることを示す。

実験結果

リサーチクエスチョン

• RQ1 楕円型多重ゼータ値は、$\mathbb{Q}$-線形関係の研究を簡略化するために、どのように反復イーゼンスタイン積分へ正規的に分解できるか？
• RQ2 $\mathcal{EZ}^A$ から反復イーゼンスタイン積分の空間への分解写像 $\psi^A$ の像の正確な構造は何か？
• RQ3 $\psi^A$ が全射でない理由は何か？ そしてその失敗はモジュラー形式およびその周期多項式とどのように関係するか？
• RQ4 楕円型多重ゼータ値の微分方程式は、動機的コアクションの楕円的類似物としてどの程度機能するか？
• RQ5 フーリエ部分空間 $T(\mathbf{E})^\vee_{\rm Fou}$ は、A-楕円型多重ゼータ値の本質的解析的構造をどの程度捉えているか？

主な発見

• 写像 $\psi^A: \mathcal{EZ}^A \hookrightarrow T(\mathbf{E})^\vee \otimes_{\mathbb{Q}} \mathcal{Z}[2\pi i]$ は、正規的かつ単射な代数準同型であり、A-楕円型多重ゼータ値を反復イーゼンスタイン積分へ一意に分解する。
• $\psi^A$ の像は、フーリエ部分空間 $\iota(U(\mathfrak{u})^\vee)_{\rm Fou} \otimes_{\mathbb{Q}} \mathcal{Z}[2\pi i]$ に含まれており、像に属するすべての要素が $q$-展開において定数項を持たないことを意味する。
• $\psi^A$ の全射性の失敗は、非自明な導来の存在に起因し、特にドリンフェルトの結び目 $\underline{A}_\infty$ を消滅させる導来 $D$ が関係しており、障害はモジュラー形式理論と結びつく。
• $\psi^A$ の全射性の障害は、ロッハックおよびシュネプスとの共同研究により、$\mathrm{SL}_2(\mathbb{Z})$ のモジュラー形式の周期多項式に正確に符号化されている。
• $\psi^A$ の構成は正規的であり、任意の選択を必要とせず、動機的 $\phi$-写像とは異なり、より強固で構造的に自然なものである。
• 分解により、楕円型多重ゼータ値の $\mathbb{Q}$-線形関係を求める問題は、反復イーゼンスタイン積分の線形独立性のおかげで、$\mathbb{C}$ 上の線形方程式系の解法に還元される。