[論文レビュー] On linear relations among totally odd multiple zeta values related to period polynomials

Koji Tasaka|arXiv (Cornell University)|Feb 14, 2014

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

ひとこと要約

この論文は、ブラウンのモチビック作用の関連する行列構成を用いて、完全に奇数の多重ゼータ値（MZVs）とモジュラー形式の周期多項式の間の関係を確立する。行列 $ C_{N,4} $ の左零空間が制限付き偶数周期多項式に対応することを証明し、$ C_{N,4} $ のランクに対する新たな上界を導出し、深さ4におけるモチビックブロードハースト＝クライマー予想の不均一部を支持する。

ABSTRACT

We show that there is a relationship between modular forms and totally odd multiple zeta values, by relating the matrix $E_{N,r}$, whose entries are given by the polynomial representations of the Ihara action, with even period polynomials. We also consider the matrix $C_{N,r}$ defined by Brown and give a new upper bound of the rank of $C_{N,4}$. This result gives support to the uneven part of the motivic Broadhurst-Kreimer conjecture of depth 4.

研究の動機と目的

• 完全に奇数の多重ゼータ値（MZVs）とモジュラー形式の周期多項式の間の関係を調査すること。
• ブラウンが定義した行列 $ C_{N,r} $ を分析すること。この行列は、重さ $ N $ で深さ $ r $ の完全に奇数のMZVsの $ \mathbb{Q} $-線形関係を符号化する。
• 完全に奇数のMZVsの重さ $ N $ と深さ $ r=4 $ における $ C_{N,4} $ のランクに対する新たな上界を提供すること。これは、深さ4におけるモチビックブロードハースト＝クライマー予想の不均一部を支持する。
• 制限付き偶数周期多項式と行列 $ E_{N,r} $（$ C_{N,r} $ の因子）の左零空間との間の対応関係を確立すること。

提案手法

• ブラウンの作用素 $ D_m $ を用いて行列 $ C_{N,r} $ を定義する。この作用素は、モチビックMZVsの深さフィルトレーションを保存する。
• 行列 $ E_{N,r} $ を $ C_{N,r} $ の右因子として導入し、その成分はイハラ作用の多項式表現から得られる。
• 一般化されたアイヘラー＝シュミット関係を満たす偶数で同次的な多項式の空間 $ \mathbf{W}_{N,r} $ を構成する。
• $ \mathbf{W}_{N,r} $ から $ E_{N,r} $ の左零空間への単射を確立し、モジュラー形式理論とMZV関係を結びつける。
• $ \mathbf{W}_{N,r} $ の次元を用いて、$ \dim_\mathbb{Q} \ker E_{N,r} $ の下界を導出し、結果として $ \operatorname{rank} C_{N,r} $ の上界を得る。
• リンドン語とシャッフル積の理論を用いて、特定のMZV基底の線形独立性を検証し、上記の上界の妥当性を確認する。

実験結果

リサーチクエスチョン

• RQ1 完全に奇数の多重ゼータ値は、モジュラー形式の周期多項式とどのように関係しているか？
• RQ2 モジュラー形式理論を用いて、完全に奇数のMZVsの $ \mathbb{Q} $-線形関係を符号化する行列 $ C_{N,4} $ のランクを上界で抑えられるか？
• RQ3 深さ $ r \geq 2 $ に対して、$ C_{N,r} $ の左零空間と制限付き偶数周期多項式の間に構造的な対応関係が存在するか？
• RQ4 重さ $ N-2 $ の制限付き偶数周期多項式の空間の次元は、$ \Gamma_1 $ の尖点形式の空間の次元と一致するか？
• RQ5 シャッフル代数における特定のリンドン基底要素の集合の線形独立性を確立することで、$ C_{N,4} $ のランク上界を確認できるか？

主な発見

• Eichler-Shimura-Manin対応を通じて、重さ $ N-2 $ の制限付き偶数周期多項式の空間 $ \mathbf{W}_{N,2} $ の次元は、$ \Gamma_1 $ の尖点形式の空間の次元と等しい。
• $ \mathbf{W}_{N,2} $ と $ E_{N,2} = C_{N,2} $ の左零空間との間に一対一対応が存在し、深さ2における基礎的リンクを確立する。
• 深さ $ r \geq 3 $ に対して、$ \mathbf{W}_{N,r} $ から $ E_{N,r} $ の左零空間への単射が存在し、深さ2の結果を一般化する。
• $ \mathbf{W}_{N,4} $ の次元は、$ \dim_\mathbb{Q} \ker E_{N,4} $ の下界を提供し、結果として $ \operatorname{rank} C_{N,4} $ の上界を意味する。
• 集合 $ \Pi_N \cup \bigcup_{(N_1,N_2) \in S_{N,2}} \Pi_{N_1,N_2}^{(1)} \cup \bigcup_{(N_1,N_2) \in L_N^*} \Pi_{N_1,N_2}^{(2)} $ は $ \mathbb{Q} $ 上で線形独立であり、基底構成におけるシャッフル積の重複がないことを確認する。
• $ \dim \mathbf{W}_{N,4} $ から導かれる $ \operatorname{rank} C_{N,4} $ の上界は、深さ4におけるモチビックブロードハースト＝クライマー予想の不均一部を支持する。