[論文レビュー] Anatomy of an associator

Francis Brown|arXiv (Cornell University)|Sep 8, 2017

Advanced Mathematical Identities参考文献 10被引用数 3

ひとこと要約

本稿は、極をもつ二重シャッフル方程式の明示的解を構成し、多重ゼータ値間の代数的関係を記述するリー代数の枠組みを導入する。これにより、ψ や χ といった生成子に基づく普遍的な「解剖学的」座標系を提案し、既知の重み ≤13 の関係を約1,000倍に圧縮し、モチーフ的ガロア理論におけるゼータ元および有理関数関数の基礎を築く。

ABSTRACT

We study some Lie algebras defined by solutions to the double shuffle equations with poles and construct families of explicit solutions to these equations in all weights and depths. These provide universal coordinates in which to write down `zeta elements': the images of generators of the Lie algebra of the motivic Galois group of mixed Tate motives over the integers. We expect that a similar statement holds for associators. In particular, these coordinates encode algebraic relations between multiple zeta values, and enable one to compress the currently used tables for relations between multiple zeta values in, for example, weights $\leq 13$, already by a factor of a thousand. The Lie algebras and groups studied here form part of a large algebraic structure which is related to the work of Ecalle on the calculus of moulds, and also related to the theory of universal mixed elliptic motives, and modular forms for the full modular group.

研究の動機と目的

• 極をもつ二重シャッフル方程式の明示的解の族を構成し、それを 𝔪𝔭𝔡𝔪𝔯 と表記されるリー代数構造とする。
• ψ および χ といった生成子を用いて、ℤ 上の混合テートモチーフのモチーフ的ガロア群におけるゼータ元を表現する普遍的座標を提供する。
• これらの代数的座標を用いて、重み ≤13 の既知の多重ゼータ値関係表を約1,000倍に圧縮する。
• これらの解の幾何学的・算術的構造、特にモジュラー形式および無限小テート曲線の de Rham 基本群との関係を調査する。
• ゼータ元および有理関数関数の「解剖学的」分解の基礎を築く。

提案手法

• 極をもつ二重シャッフル方程式の解の空間としてリー代数 𝔪𝔭𝔡𝔪𝔯 を導入し、奇数重みにおける明示的生成子 ψ_{2n+1} および ψ_{-1} を用いる。
• 重み0の要素 ψ_0 を用いて、別の解の族 χ_{2n+1} を構成し、極構造および深さの挙動において ψ 家族とは異なる。χ_{-1} は深さ5から ψ_{-1} と異なる。
• 6項関係式および留数構造定理を適用し、高さの大きい留数についての再帰的関係を導出し、インデックス間の整合性を保証する。
• 反対称性およびシャッフル関係を用いて、関数 f^{(d)} および A^{(d)} が変数の置換に対して不変であることを証明する。
• 留数方程式 (19.25) を適用し、i−j≥2 を満たすすべてのインデックス対について留数の挙動を一般化し、構造の帰納的閉包性を証明する。
• 代数的枠組みをモチーフ的ガロア理論および無限小テート曲線の de Rham 基本群と関連づけ、より深い幾何的意味を示唆する。

実験結果

リサーチクエスチョン

• RQ1 すべての重みおよび深さにおいて、極をもつ完全な二重シャッフル方程式の明示的解を構成できるか？
• RQ2 ψ および χ の解が、多重ゼータ値の算術を記述するリー部分代数 𝒮 ⊂ 𝔪𝔭𝔡𝔪𝔯 を生成するか？
• RQ3 ℤ 上の混合テートモチーフのモチーフ的ガロア群におけるゼータ元 σ_{2n+1} が、ψ 生成子のリー括弧で表現可能か？
• RQ4 リー代数 𝔪𝔭𝔡𝔪𝔯 は、0と1の genus をもつ曲線の基本群の観点から幾何的解釈が可能か？
• RQ5 有理関数関数は、テイラー級数に類似した「解剖学的」展開として、χ または ψ 家族を用いて分解可能か？

主な発見

• 本稿は、すべての奇数重みにおいて、極をもつ二重シャッフル方程式の明示的解 ψ_{2n+1} および ψ_{-1} を構成し、それらがリー部分代数 𝒮 ⊂ 𝔪𝔭𝔡𝔪𝔯 をなすことを示した。
• 重み0の要素 ψ_0 から得られる、別の解の族 χ_{2n+1} を構成した。これは極構造および深さの挙動において ψ_{2n+1} とは異なり、χ_{-1} は深さ5以降で ψ_{-1} と異なる。
• 解の留数構造は一般化された留数方程式 (19.25) を満たし、すべてのインデックス対について高さの大きい留数を帰納的に制御可能である。
• 関数 f^{(d)} および A^{(d)} はそれぞれ反対称性および反対称性を満たし、これらは留数構造定理の証明に不可欠である。
• この枠組みにより、重み ≤13 の既知の多重ゼータ値関係表が、普遍的座標を用いて約1,000倍に圧縮可能である。
• リー代数 𝔪𝔭𝔡𝔪𝔯 は、モチーフ的ガロア理論、モジュラー形式、および無限小テート曲線の幾何学的構造を結びつける豊かな構造を含むが、その完全な幾何的解釈は未解決のままである。