[論文レビュー] Multiple zeta values and periods of moduli spaces $\mathfrak{M}_{0,n}$

Francis Brown|ArXiv.org|Jun 17, 2006

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

ひとこと要約

本稿では、実モジュライ空間 $χ_{0,n}(ℝ)$ 上の周期積分が、多重ゼータ値の $ℚ[2\pi i]$-線形結合であることを確立し、ゴンチャロフとマニンの予想を証明する。アソシアヘドロン細胞におけるストークスの定理の応用により、普遍的な多重ポリログス代数の原始的関数を構成し、境界面における反復積分と正則化を用いたアルゴリズム的計算を可能にする。

ABSTRACT

In this paper we prove a conjecture due to Goncharov and Manin which states that the periods of the moduli spaces $\mathfrak{M}_{0,n}$ of Riemann spheres with $n$ marked points are multiple zeta values. In order to do this, we introduce a differential algebra of multiple polylogarithms on $\mathfrak{M}_{0,n}$, and prove that it is closed under the operation of taking primitives. The main idea is to apply a version of Stokes' formula iteratively, and to exploit the geometry of the moduli spaces to reduce each period integral to multiple zeta values. We also give a geometric interpretation of the double shuffle relations, by showing that they are two extremal cases of general product formulae for periods which arise by considering natural maps between moduli spaces.

研究の動機と目的

• $χ_{0,n}$ の実点上の周期積分が、多重ゼータ値の $ℚ[2\pi i]$-線形結合であることを証明すること。
• アソシアヘドロンの幾何学と反復積分を用いた、このような周期積分を体系的に計算する方法を開発すること。
• ピカード・ヴェシオット理論と削減されたバー構成を用いて、$χ_{0,n}$ 上に定義された多重ポリログスの普遍的代数と、明確な原始的関数を構成すること。
• コンパクト化されたモジュライ空間の境界面におけるポリログスの標準的正則化手順を確立すること。
• 多重ゼータ値の二重シャッフル関係式が、モジュライ空間上の函手的積関係の特別な場合として生じることを示すこと。

提案手法

• 単一のアソシアヘドロン細胞 $̅{X}_n \to χ_{0,n}(ℝ)$ の閉包にストークスの定理のバージョンを適用し、高次元の細胞上の積分を低次元のものに還元する。
• $̅{X}_n$ の境界面が、より小さいアソシアヘドロン $̅{X}_a \times ̅{X}_b$ の積であるという構造を用いて、原始的関数を再帰的に計算する。
• 削減されたバー構成を用いて微分的ホップ代数 $B(χ_{0,n})$ を構成し、これは多重ポリログス $L(χ_{0,n})$ の普遍的代数をモデル化する。
• $B(χ_{0,n})$ のde Rhamコホモロジーが正の次数で消えることを証明し、$L(χ_{0,n})$ 内に原始的関数の存在を保証する。
• 吹き上げとフクシアン微分方程式を用いて、境界除集合におけるポリログスの標準的正則化を実装する。
• $χ_{0,n}(ℝ)$ 上のダイヘドラル座標を用い、アソシアヘドロンをパラメトライズし、被積分関数を交比に類似した変数 $u_{ij}$ の形で表現する。

実験結果

リサーチクエスチョン

• RQ1 すべての周期積分 $I = \int_{X_B} \omega_A$ が $χ_{0,n}(ℝ)$ 上で、多重ゼータ値の線形結合として表されるか？
• RQ2 多重ゼータ値の二重シャッフル関係式は、モジュライ空間における幾何的函手性から導かれるか？
• RQ3 削減されたバー構成の de Rham コホモロジーが自明であることから、$χ_{0,n}$ 上の多重ポリログス代数における原始的関数の存在が導かれるか？
• RQ4 特異点が境界面に重なった場合の反復積分の特異性は、どのように正則化できるか？
• RQ5 アソシアヘドロンを用いた逐次的積分法は、コクセター群に関連する他の配置空間へ一般化可能か？

主な発見

• 積分 $I = \int_{X_B} \omega_A$ は、重さが $\ell = n-3$ 以下の多重ゼータ値の $\mathbb{Q}[2\pi i]$-線形結合である。
• $H^\star(F)$ が二次代数であるとき、$B(F)$ の de Rham コホモロジーは正の次数で消えるため、原始的関数の存在が保証される。
• $\mathfrak{M}_{0,n}$ 上のホモトピー不変反復積分の代数 $L(\mathfrak{M}_{0,n})$ は、$\mathfrak{M}_{0,n}$ 上で最大のユニポテンツ・ピカード・ヴェシオット理論を形成する。
• 多重ゼータ値の二重シャッフル関係式は、モジュライ空間間の函手的写像から生じる一般化された積関係式の特別な場合として示される。
• 境界面におけるポリログスの正則化は標準的であり、ストークスの定理の段階的適用と整合的であり、積分の一貫した評価を可能にする。
• 明示的計算により $I_3 = \int_{[0,1]^3} \frac{dx\,dy\,dz}{(1 - xyz)^2} = \zeta(2)$ が得られ、反復積分によって低重量のゼータ値が現れることが示される。