[論文レビュー] Multiple polylogarithms in weight 4

Herbert Gangl|arXiv (Cornell University)|Sep 18, 2016

Advanced Algebra and Geometry参考文献 12被引用数 12

ひとこと要約

この論文は、Goncharovが提起した重さ4の多重polylogarithmの関数方程式に関する予想を解決する。五重対数関数関係を表す$ V(x,y) $を用いた深さ2の反復積分$ I_{3,1}(V(x,y),z) $を、完全に古典的四対数関数$ \operatorname{Li}_4 $の項で表現することに成功した。その結果、4変数における$ \operatorname{Li}_4 $の931項からなる関数方程式が得られ、Zagierの予想における$ K_7(F) $に必要な関数方程式の候補が得られ、さらに対称化された9軌道形のバージョンも導出された。

ABSTRACT

We clarify the relationship between different multiple polylogarithms in weight~4 by writing suitable linear combinations of a given type of iterated integral I_{n_1,...,n_d}(z_1,...,z_d), in depth d>1 and weight \sum_i n_i=4 in terms of the classical tetralogarithm Li_4. In the process, we prove a statement conjectured by Goncharov which can be rephrased as writing the sum of iterated integrals I_{3,1}(V(x,y),z), where V(x,y) denotes a formal version of the five term relation for the dilogarithm, in terms of Li_4-terms (we need 122 such).

研究の動機と目的

• Goncharovが提起した、重さ4における三対数型多重polylogarithm $ I_{3,1}(V(x,y),z) $ の関数方程式に関する予想を解決すること。
• 重さ4における多重polylogarithmの代数的構造を明確化し、高深さ関数を低深さ関数、特に$ \operatorname{Li}_4 $の項で表現すること。
• 2変数多重polylogarithmを含む数値的に検証可能な関数方程式を提供し、高重さのpolylogarithmic恒等式の理解を進める。
• 数体$ F $における代数的$ K $-群$ K_7(F) $の明示的記述に中心的役割を果たすと予想される、4変数における$ \operatorname{Li}_4 $の関数方程式の候補を確立すること。

提案手法

• 多重polylogarithm $ \operatorname{Li}_{n_1,\dots,n_d}(z_1,\dots,z_d) $ の双対的表現として反復積分$ I_{n_1,\dots,n_d}(z_1,\dots,z_d) $ を用い、代数的演算を可能にする。
• 変数変換を適用して、多重polylogarithm恒等式を反復積分恒等式に変換し、簡略化および還元を図る。
• Goncharovのモチーフ的コリ-代数における境界写像を用いた粗い近似を用い、この写像の下で消える項を除いた関係を単純化する。
• 低重さのpolylogarithmの積をmoduloとして扱う関数方程式を導出し、一部の恒等式を数値的に検証可能なものに精錬する。
• $ I_{3,1}(V(x,y),z) $の931項の表現を$ \operatorname{Li}_4 $の項で構成し、その後対称化して9軌道形に変換する。
• 提供されたURLでの計算的検証により、最終的な関数方程式における931個の引数（逆数を除く）が確認された。

実験結果

リサーチクエスチョン

• RQ1 五重対数関数関係を表す$ V(x,y) $を用いた反復積分$ I_{3,1}(V(x,y),z) $は、Goncharovが予想したように、$ \operatorname{Li}_4 $の項のみで表現可能であるか。
• RQ2 このような還元から生じる、4変数における$ \operatorname{Li}_4 $の最小関数方程式は何か。その項数はいくつであるか。
• RQ3 重さ4における高深さの多重polylogarithm、たとえば$ \operatorname{Li}_{2,1,1} $や$ \operatorname{Li}_{1,1,1,1} $は、$ \operatorname{Li}_4 $および互いにどのように代数的に関係しているか。
• RQ4 得られた$ \operatorname{Li}_4 $の関数方程式を、大きな群作用の下で対称化し、軌道数を削減できるか。最小のこのような形は何か。
• RQ5 この関数方程式は、ZagierのPolylogarithm予想および数体$ F $における$ K_7(F) $の明示的記述の文脈で果たす正確な役割は何か。

主な発見

• 論文は、Goncharovの予想を証明した。$ I_{3,1}(V(x,y),z) $が$ \operatorname{Li}_4 $の122項の線形結合として表現可能であることを示し、深さ2の反復積分が完全に古典的四対数関数値に還元されることを確認した。
• 4変数における$ \operatorname{Li}_4 $の関数方程式が、931個の引数（逆数を除く）を含む形で導出された。この方程式は数値的に検証可能であり、http://www.maths.dur.ac.uk/~dma0hg/mpl4_check.html に掲載されている。
• 群作用の下で9軌道にまで簡略化された対称化されたバージョンが得られ、構造が著しく単純化され、可読性が向上した。
• この結果は、ZagierのPolylogarithm予想に従い、代数的$ K $-群$ K_7(F) $の明示的記述に不可欠であると予想される関数方程式の候補を提供した。
• 重さ4における多重polylogarithmは、$ \operatorname{Li}_4 $に完全に還元するには、新たな関数方程式を導入しなければならないことが示され、$ \operatorname{Li}_{3,1} $が重さ4のMPLの最小生成関数であることが特定された。
• 本研究により、重さ4における深さ3と深さ2のMPLの間の関係が、非自明な代数的恒等式によって支配されていることが明らかになった。特に、既知の低重さ関係を一般化する2つの特に興味深い恒等式（定理10および11）が同定された。