[論文レビュー] ARI, GARI, Zig and Zag: An introduction to Ecalle's theory of multiple zeta values

Leila Schneps|arXiv (Cornell University)|Jul 6, 2015

Advanced Mathematical Identities被引用数 12

ひとこと要約

この論文は、ジャン・エカレの多重ゼータ値（MZV）におけるモールド理論的枠組みについて、包括的でアクセスしやすい紹介を提供する。彼の高度な形式的表現を、古典的なMZV理論の文脈に翻訳する。特に、二重シャッフル関係とARI（反ルーツ的）およびGARI（一般化されたARI）群の関係を結ぶ重要な恒等式について、厳密な証明を提示し、エカレのモールド言語と標準的な非可換代数的構造との間の体系的ブリッジを築く。

ABSTRACT

This text has two goals. The first is to give an introduction to Ecalle's work on mould theory, multiple zeta values and double shuffle theory and relate this work explicitly to the classical theory of multiple zeta values and double shuffle expressed in the usual terms of non-commutative variables. The second is to provide complete proofs of those of his main results and identities which are strictly useful in the context of (non-colored) multiple zeta values. Many of these proofs are difficult, laborious and not enlightening and have been relegated to appendices. The emphasis in the text is to provide an easily approachable introduction to Ecalle's language while placing it almost from the start in the context of multiple zeta value theory. Disclaimer: This text is not final and is not submitted for publication. The intention is to continue to add to and complete it over time.

研究の動機と目的

• ジャン・エカレの多重ゼータ値における高度なモールド理論的枠組みを、その形式的表現に不慣れな研究者にもアクセス可能にする。
• エカレのARIおよびGARI群を、古典的な多重ゼータ値理論および二重シャッフル関係に明示的に結びつける。
• 非彩色多重ゼータ値に不可欠な核心的恒等式の完全で厳密な証明を提供する。
• 標準的な非可換代数（アルファベット {x,y} 上）の文脈にエカレの言語を位置づけ、MZV研究への直接的応用を可能にする。
• シャッフルおよびスツッフル正則化の役割を、非可換代数上のすべての語へとゼータ値を拡張する文脈で明確にする。

提案手法

• 非可換代数 Q⟨x,y⟩ におけるシャッフルおよびスツッフル積を用いて、ドリンフェルトの関連子 Φ を介して多重ゼータ値を定義・正則化する。
• 二重シャッフル関係をモールド理論的演算によって符号化する代数的構造として、ARIおよびGARI群を導入する。
• モールド対 (pal, pil) を用いて、多重ゼータ値の文脈における対称性を分析し、恒等式を導出する。
• シャッフルおよびスツッフル積の再帰的定義を、全単射写像およびシャッフルの重み付き和を介して行い、正則化プロセスを形式化する。
• 収束する語を抽出し、正則化されたゼータ値 ζ*(v) を修正された関連子 Φ* を用いて定義するための射影作用素 π および π_y を用いる。
• 付録で、ベルヌーイ数、二項係数、行列恒等式などの高度な組合せ論的道具を用いて、核心的恒等式の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 エカレのモールド理論的言語を、非可換変数上での標準的枠組みである多重ゼータ値理論へ体系的に翻訳する方法は何か？
• RQ2 多重ゼータ値の文脈において、二重シャッフル関係とARI/GARI群との間の明確な代数的関係は何か？
• RQ3 多重ゼータ値のシャッフルおよびスツッフル正則化は、互いにどのように関係し、ドリンフェルト関連子と結びつくか？
• RQ4 モールド対 (pal, pil) は、二重シャッフルリーアルゲブラにおける対称性と恒等式をどのように符号化するか？
• RQ5 ベルヌーイ数および二項係数を含むエカレ理論の深遠な恒等式は、非彩色MZVの文脈でどのように厳密に証明できるか？

主な発見

• すべての語 u,v ∈ Q⟨x,y⟩ に対して、多重ゼータ値のシャッフル正則化は ζ(sh(u,v)) = ζ(u)ζ(v) を満たし、シャッフル代数構造が確立される。
• スツッフル正則化は、加法的アルファベット {y_i} 上のすべての語へと、ζ*(st(u,v)) = ζ*(u)ζ*(v) の積関係を拡張する。ここで ζ*(v) は修正された関連子 Φ* を用いて定義される。
• 収束する語 v（y₁ で始まらないもの）に対して、正則化された値 ζ*(v) は古典的多重ゼータ値 ζ(v) と一致する。
• スツッフル正則化値 ζ*(1,1) は −1/2 に等しく、単一ゼータ値の多項式として表され、正則化の非自明性を示している。
• 恒等式 der(dupal) − dur(dapal) = 0 は、ベルヌーイ数および二項係数を含む詳細な組合せ論的解析により証明され、d が奇数のとき深さ d において検証される。
• der(dupal) − dur(dapal) の深さ-d 項における線形因子の u_j の係数は、ベルヌーイ数の恒等式から導かれる式と一致し、d が奇数の場合に恒等式が確認される。