[論文レビュー] Motivic periods and the projective line minus three points

Francis Brown|arXiv (Cornell University)|Jul 19, 2014

Advanced Mathematical Identities参考文献 15被引用数 19

ひとこと要約

本稿は、ℙ¹\{0,1,∞} の基本群の de Rham 実現におけるモチビック Galois 群作用を確立し、多重ゼータ値を混合テートモチーフの周期と関連付ける。反復積分と基本群のプロ・ユニポテンツ完成を用いて、モチビック Galois 群が忠実に作用することを証明し、モチビック周期とモジュラー形式を通じて多重ゼータ値の代数的関係を理解する枠組みを提供する。

ABSTRACT

This is a review of the theory of the motivic fundamental group of the projective line minus three points, and its relation to multiple zeta values.

研究の動機と目的

• ℙ¹\\{0,1,∞} の基本群の de Rham 実現におけるモチビック Galois 群作用を確立し、Belyi の定理をモチビック設定に拡張する。
• 微分形式の反復積分を用いて、多重ゼータ値をプロ・ユニポテンツ基本群族の周期として解釈する。
• Eisenstein 級数から得られるモチビック多重モジュラー値を導入することで、多重ゼータ値の「深さ欠損」を解消する。
• Grothendieck の周期予想を通じて、モチビック Galois 群と多重ゼータ値の代数的関係を結びつける。
• 重み 12 における多重モジュラー値が、モチビック基本群族よりも自然な構成法により、多重ゼータ値の空間を張ることを示す。

提案手法

• X = ℙ¹\\{0,1,∞} の基本群のプロ・ユニポテンツ完成を、ℤ 上の混合テートモチーフの圏におけるモチビック基本群族の実現とみなす。
• ω₀ = dt/t および ω₁ = dt/(1−t) の微分形式の反復積分を用いて、多重ゼータ値を周期として表現する。
• モチビック基本群の de Rham 実現を用いて、Tannakian 群 G^dR ≅ U^dR ⋊ Gₘ を通じた Galois 作用を定義する。
• 再帰的完成（reductive group 例えば SL₂(ℤ) による）を用いてホッジ的モチービック周期を定義する。
• Eisenstein 級数の正則化反復積分の係数を分析し、積のモジュラー値を抽出し、それらが積を除く重み 12 の多重ゼータ値を張ることを示す。
• ホッジ的モチービック周期へのコアクションを適用し、重み 12 における多重ゼータ値の構造と整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 モチビック Galois 群 G^dR は、ℙ¹\\{0,1,∞} のモチビック基本群族の de Rham 実現に忠実に作用するか？
• RQ2 多重ゼータ値とプロ・ユニポテンツ基本群族の周期との間には、明確な関係があるか？
• RQ3 Eisenstein 級数から得られる多重モジュラー値は、多重ゼータ値の深さ欠損を解消できるか？
• RQ4 Eisenstein 級数の正則化反復積分の係数は、重み 12 における多重ゼータ値の構造とどのように関係するか？
• RQ5 モチビック多重モジュラー値は、モチビック基本群族よりも、cyclotomic 領域上の混合テートモチーフの周期をより自然に構成できるか？

主な発見

• モチビック Galois 群 G^dR は、ℙ¹\\{0,1,∞} のモチビック基本群族の de Rham 実現に忠実に作用し、Belyi の定理をモチビック設定に一般化する。
• 重み 12 の多重ゼータ値は、積を除くと、ちょうど二つの要素 ζ(3,3,2,2,2) および ζ(3,2,3,2,2) によって張られる。これらは予想では代数的に独立である。
• 重み 12 における多重ゼータ値の空間の次元は 12 以下であるが、独立な関係式の数は膨大であり、著しい過剰決定性を示している。
• 重み (4,10) および (6,8) の Eisenstein 級数の正則化反復積分の係数は、積を除く重み 12 における二つの独立な多重ゼータ値を正確に与える。
• 反復積分の係数にカスプ形式の L 関数の特別値が現れることで、多重ゼータ値の深さ欠損が説明される。
• SL₂(ℤ) の合同部分群から得られるモチビック多重モジュラー値は、ℙ¹ から単位根を除いたモチビック基本群族よりも、混合テートモチーフの周期をより自然かつ完全に構成する。