[論文レビュー] Iterated Integrals and Multiple Polylogarithm at Algebraic Arguments

Kam Cheong Au|arXiv (Cornell University)|Jan 5, 2022

Advanced Mathematical Identities被引用数 4

ひとこと要約

本稿では、反復積分と代数的数論を活用して、代数的引数における多重 polylogarithm 値をカラーマルチゼータ値（CMZV）として一貫した方法で表現する手法を開発する。特定の polylogarithmic 値—たとえば黄金比や有理数引数におけるもの—が有界なレベルの CMZV 空間に属することを証明し、新たな恒等式や標準的でない関係を導出可能にする。この手法は、Apéry に類似した級数や古典的 polylogarithm 恒等式の証明に応用可能である。

ABSTRACT

By introducing a generalized notion of multiple zeta values associated with an arbitrary finite subset $S\subset \mathbb{P}^1(\mathbb{C})$ and studying their transformation properties under rational functions, we show that multiple polylogarithms evaluated at roots of unity (cyclotomic multiple zeta values, CMZVs) can be equivalently expressed in terms of iterated integrals involving certain non-roots of unity. We apply this theory to elucidate previously unknown $\mathbb{Q}$-linear relations among CMZVs: they come from nontrivial solutions of certain $S$-unit equations in the function field of $\mathbb{P}^1(\mathbb{C})$, thereby attaining the motivic dimension for low level and weight. We introduce a datamine of CMZVs that appears to be the first rigorous compilation of this kind in the literature. In addition, we formulate several nontrivial Galois descent conjectures for multiple polylogarithms and present applications to certain Apéry-type infinite series.

研究の動機と目的

• 代数的引数における多重 polylogarithm の値を、カラーマルチゼータ値（CMZV）の空間へ体系的に写像すること。
• 既知の代数的または関数的恒等式では捉えきれない、CMZV 間の非標準的関係を解明すること。
• 古典的 polylogarithm 恒等式や Apéry に類似した級数の証明に用いられる一様かつ計算可能な枠組みを提供すること。
• CMZV 理論の適用範囲を単位根にとどまらず、(\sqrt{5}-1)/2 や有理数値といった代数的数へ拡張すること。
• 特定の代数的点における CMZV 値および反復積分の明示的計算を可能にする Mathematica パッケージの開発

提案手法

• 複素射影直線上の対数1形式を用いた反復積分を用いて、多重 polylogarithm を表現する。
• 経路に沿った微分形式の引き戻しを適用し、代数的基点をもつ [0,1] 上の積分として polylogarithmic 値を表現する。
• シャッフル積の恒等式および経路の合成則を用いて、反復積分を分解・再結合し、線形結合に変換する。
• 問題を代数的引数における反復積分の計算に還元し、その後、CMZV 空間の基底要素の Q-線形結合として表現する。
• 穴あき複素直線の基本群の構造を用いて、CMZV 間の関係を分類・計算する。
• 特定の引数や重みに対して、CMZV 値および反復積分の明示的計算と検証を可能にするカスタム Mathematica パッケージを活用する。

実験結果

リサーチクエスチョン

• RQ1 どの代数的引数 x に対して、一般化された polylogarithm Li_{s1,...,sk}(x) が有界なレベルの CMZV の Q-線形結合として表現可能か？
• RQ2 標準的関数的またはシャッフル関係から導出できない、CMZV 間の非標準的代数的関係はどのようなものか？
• RQ3 Coxeter の梯子恒等式のような古典的 polylogarithm 恒等式は、反復積分と CMZV 代数を用いて体系的に導出可能か？
• RQ4 この枠組みを用いて、調和数や中央二項係数を含む Apéry に類似した級数をどの程度証明可能か？
• RQ5 特にレベル 12 を超える高重み・高レベルの CMZV 空間に適用した場合、この手法の限界はどこか？

主な発見

• 多重 polylogarithm Li_{s1,...,sn}(x1,...,xn) は、xi のうち黄金比 (\sqrt{5}-1)/2 が高々2つであり、残りがすべて1であるとき、CMZV^5_w に属する。
• 一般化された polylogarithm Li_{s1,...,sn}(z) は、z = -1/2, 1/3, 1/4, 1/9 のとき CMZV^6_w に属し、z = 1 - \sqrt{2}, (4 - 3\sqrt{2})/8 のとき CMZV^8_w に属する。
• z = -1/2 の場合、引数が -1/2 であるものが高々3つである限り、値は CMZV^12_w に属する。これは代数的複雑性の増加に伴いレベルの飛躍を示している。
• 本手法により、Coxeter の梯子恒等式が正当化された：Li_2(ρ^20) = 2Li_2(ρ^10) + 15Li_2(ρ^4) - 10Li_2(ρ^2) + π²/5 で、ρ = (\sqrt{5}-1)/2 である。
• 本稿では、∑ (-1)^{n-1}(10H_n - 3/n)/(n^3 binom(2n,n)) = π⁴/30 および ∑ (-102H_n + 3H_{2n} + 28/n)/(n^4 binom(2n,n)) = -55π²ζ(3)/18 といった複数の Apéry に類似した級数について、代替的証明を提供している。
• 重みが4を上回る、またはレベルが12を超える場合、CMZV 基底の組み合わせ的爆発と、高レベル空間における計算ツールの不足により、本手法は限界に達する。