[論文レビュー] Standard Relations of Multiple Polylogarithm Values at Roots of Unity

Jianqiang Zhao|MPG.PuRe (Max Planck Society)|Jul 10, 2007

Advanced Mathematical Identities参考文献 26被引用数 30

ひとこと要約

本稿は、単位根における多重 polylogarithm 値（MPV）の線形関係を調査し、正則化された二重シャッフル、分配、リフト、シーディング関係から導かれる「標準的関係」を導入することで、重み $ w $ およびレベル $ N $ の MPV の有理数次元 $ d(w,N) $ を制限する。標準的関係は、特に素数冪レベルにおいてしばしばタイトな境界を与えるが、数値的証拠から非素数冪レベルでは追加の非標準的関係が存在することが示唆され、標準的関係の完全性および次元境界の鋭さに関する予想が提示される。

ABSTRACT

Let $N$ be a positive integer. In this paper we shall study the special values of multiple polylogarithms at $N$th roots of unity, called multiple polylogarithm values (MPVs) of level $N$. These objects are generalizations of multiple zeta values and alternating Euler sums, which was studied by Euler, and more recently, many mathematicians and theoretical physicists.. Our primary goal in this paper is to investigate the relations among the MPVs of the same weight and level by using the regularized double shuffle relations, regularized distribution relations, lifted versions of such relations from lower weights, and seeded relations which are produced by relations of weight one MPVs. We call relations from the above four families \emph{standard}. Let $d(w,N)$ be the $\Q$-dimension of $\Q$-span of all MPVs of weight $w$ and level $N$. Then we obtain upper bound for $d(w,N)$ by the standard relations which in general are no worse or no better than the one given by Deligne and Goncharov depending on whether $N$ is a prime-power or not, respectively, except for 2- and 3-powers, in which case standard relations seem to be often incomplete whereas Deligne shows that their bound should be sharp by a variant of Grothedieck's period conjecture. This suggests that in general there should be other linear relations among MPVs besides the standard relations, some of which are written down in this paper explicitly with good numerical verification. We also provide a few conjectures which are supported by our computational evidence.

研究の動機と目的

• 重み $ w $ およびレベル $ N $ における多重 polylogarithm 値（MPV）の線形関係を分類し、体系的に生成すること、特に同じ重みとレベルの関係に焦点を当てる。
• 代数的および計算的手法を用いて、重み $ w $ およびレベル $ N $ の MPV が張る空間の $ \mathbb{Q} $-次元 $ d(w,N) $ を特定すること。
• 正則化された二重シャッフル、分配、リフト、およびシーディング関係から導かれる標準的関係が、MPV 間のすべての線形依存関係を捉えきっているかどうかを評価すること。
• Deligne や Goncharov の結果と比較することで、標準的関係の完全性を検証すること、特に素数冪および非素数冪レベルにおいて。
• 次元境界の鋭さおよび非標準的レベルにおける非標準的関係の存在に関する予想を提示・裏付けること。

提案手法

• 正則化された二重シャッフル（RDS）関係を用いて、MPV 間の代数的恒等式を導出し、多重 zeta 値の手法を単位根における MPV へ拡張する。
• 低重みからの正則化された分配関係およびリフト関係を適用し、高重みにおける新しい恒等式を生成する。
• 重み 1 の MPV から導かれるシーディング関係を用いて、高重みの関係を生成し、標準的関係の基礎的族を構築する。
• 数値的検証として、記号計算（例：MAPLE）を用いて線形関係（非標準的関係を含む）をテスト・確認する。
• 反復積分表現およびモチーフ的形式主義（Drinfeld 連結子および混合 Tate 種から）を用いて、MPV の構造的理解を支援する。
• 標準的関係から得られる $ d(w,N) $ の境界を、Deligne や Goncharov のモチーフ的結果から得られる境界と比較する。特に、素数冪および非素数冪の $ N $ に対して。

実験結果

リサーチクエスチョン

• RQ1 標準的関係（RDS、分配、リフト、シーディング）は、同じ重みとレベルの MPV 間のすべての線形関係を捉えきっているか？
• RQ2 標準的関係から得られる $ d(w,N) $ の境界は、Deligne や Goncharov のモチーフ的理論によって予測される鋭い境界とどのように比較されるか？
• RQ3 $ N $ が素数冪でない場合、MPV 間に非標準的線形関係が存在するか？もしあるならば、それらは次元境界にどのように影響を与えるか？
• RQ4 標準的レベル（すなわち $ N = 1,2,3 $ または $ p \geq 5 $ の素数冪 $ p^n $）において、標準的関係が提供する $ d(w,N) $ の境界は鋭いか？
• RQ5 データの示唆に従い、$ w=3 $ および素数 $ N $ に対して、次元 $ d(w,N) $ が $ N $ の多項式で予測可能か？

主な発見

• 素数冪レベル $ N = p^n $ で $ p \geq 5 $ の場合、標準的関係は $ d(w,N) $ の境界を、Deligne や Goncharov の境界と同等またはそれを上回る精度で提供する。
• $ N = 2 $ および $ N = 3 $ の場合、数値的証拠から関係が不足していることが示され、理論的期待とは対照的に不完全であることが示唆される。
• 重み 3 において $ d(3,4) = 9 $ であるが、標準的関係の境界は 8 にとどまるため、欠落した非標準的関係が存在することが示唆され、数値的に明示的に確認され、後に八面体的対称性を用いて証明される。
• 素数 $ N \geq 5 $ に対して、予想される境界 $ d(3,N) \leq \frac{p^3 + 4p^2 + 5p + 14}{12} $ は $ p = 5,7,11,13 $ のデータと一致し、次元の多項式的形を支持する。
• 重み 4 において $ d(4,4) = 16 $ であり、標準的関係の境界 $ SR(4,4) = 21 $ と一致するが、$ D(4,4) = 16 $ であるため、境界はタイトではない。これはさらなる関係が存在する可能性を示唆する。
• 本稿は、標準的レベル（素数冪 $ p^n $、$ p \geq 5 $）では、標準的関係が $ d(w,N) $ の鋭い境界を与えると予想する。一方、非標準的レベルでは、すべての重み $ w \geq 3 $ において非標準的関係が存在し、重み 2 においては $ N \geq 10 $ の場合に同様の現象が見られる。