多重ゼータ値

数学、とくに整数論における多重ゼータ値（）とは、
で定義される実数のことである。18世紀のクリスティアン・ゴールドバッハ、レオンハルト・オイラーらが特殊な場合を研究して以来長らく触れられていなかったが、1990年代にマイケル・ホフマン、ドン・ザギエ、金子昌信、荒川恒男などによって再発見され、現在まで活発に研究が進められている。
性質と主予想.
正整数 "r" に対し、正整数 "r" 個の組 k = ("k"1, ... , "k"r) をインデックス ("index") と呼び、最後の成分 "k"r が 2 以上であるときとくに許容インデックス、あるいは収束インデックス ("admissible index") と呼ぶ。また、インデックス k = ("k"1, ... , "k"r) の成分の個数 "r" を k の深さ ("depth")、成分の総和 "k"1 + … + "k"r を k の重さ ("weight") と呼び、それぞれ dep(k)、wt(k) と書く。このとき上述したように多重ゼータ値 formula_2 が定義され、k が許容インデックスなら定義の級数は収束する。
"2" 以上の整数 "k" に対し、重さが "k" のインデックスからできる多重ゼータ値が Q 上を張る空間、つまり formula_3 を考え、これを formula_4 と書く。また、formula_5, formula_6 と考えることにする。このとき、ザギエによって以下が予想されている:
数列 {"d"k} を "d"0 = "d"2 = 1、"d"1 = 0、"d""k"+3 = "d""k"+1 + "d""k" ("k" ≧ 0) で定義すると、formula_7 であろう。
重さ "k" の許容インデックスの個数は 2"k"-2 なので、2"k"-2 は formula_4 の上界である。以下は "k" = 12 までの値の表である:
このように、一般に "d"k は 2"k"-2 よりはるかに小さいので、予想が正しければその分 Q 上で多重ゼータ値間の線形関係式が成り立つことになる。よって、多重ゼータ値の研究の中心はその間に成り立つ関係式族を発見することとなっている。そのようなすべての関係式を導出できることが証明された族は発見されていないが、全関係式を導くと予想されている関係式として
がある。なお、ピエール・ドリーニュ、アレクサンダー・ゴンチャロフ、寺杣友秀によって不等式 formula_9 が証明されている。この結果の証明はモチーフ論に依存しておりそれ自身難解であるが、残された逆向きの不等式は多重ゼータ値間の代数独立性などの問題を孕んでおり、非常に難しい問題とされている。
和公式.
深さ "r"、重さ "k" の許容インデックス全体がなす集合を "I"0("k", "r") と書く。このとき、等式
formula_10
が成り立ち、これを和公式 ("sum formula") という。この等式はアンドリュー・グランヴィルが級数変形を用いて示したのち、ザギエが後述する反復積分表示を用いて示している。
反復積分表示.
"i" = 0, 1 に対し formula_11 とおき、"k" > 1 と formula_12 に対し積分
formula_13
を考える。これは formula_14 なら収束する。 このとき、許容インデックス k = ("k"1, ... , "k"r) に対し等式
formula_15
が成り立つ。ここで {"x"}"n" は "x" を "n" 個並べたものである。この表示を多重ゼータ値の反復積分表示 と呼ぶ。この表示はマキシム・コンツェビッチによって指摘された。
双対性.
許容インデックス k は正整数 "a"1, ... , "a"s, "b"1, ... , "b"s を用いた一意な表示
formula_16
を持つ。これを用いて、k の双対インデックス ("dual index") を
formula_17
で定める。このとき、等式 formula_18 が成り立つ。この事実を多重ゼータ値の双対性 ("duality") という。証明は反復積分表示において変数変換 formula_19 を施せばできる。
双対性の積分表示を用いない証明は長らく知られていなかったが、2018年に関真一朗、山本修司により級数変形のみを用いた証明が発見された。詳細は#コネクターの節を参照。
大野関係式.
非負整数 "h" と許容インデックス k = ("k"1, ... , "k"r) に対し
formula_20
とおき、大野和 ("Ohno sum") と呼ぶ。このとき任意の非負整数 "h" に対し等式 formula_21 が成り立ち、これを大野関係式 ("Ohno relation") と呼ぶ。"h" = 0 のときは上記の双対性に一致し、一方で k の深さを 1 にとれば和公式を含んでいることもわかる。
代数的定式化と複シャッフル関係式.
formula_22 を有理係数非可換二変数多項式環とし、formula_23、formula_24 をその部分代数とする。formula_25 の (定数でない) 単項式は正整数 "k"1, ... ,"k"r を用いて "yx""k"1-1 … "yx""k"r-1 と書けるため、これらはインデックスと一対一に対応する (formula_26 の単項式は許容インデックスに対応する。)。この対応関係を線形に拡張した写像を formula_27 と書く。また、
formula_28
formula_29
を線形に拡張してできる写像 formula_30 を "evalutation map" という。
次の規則で formula_25 上に双線形な積 ∗ を導入する
この積を調和積 ("harmonic product") という。このとき evaluation map "Z" が調和積を入れて考えた代数 formula_26 から R への群準同型になっているという事実を調和関係式 ("harmonic relation") という。
同様にして、formula_35 上に双線形な積 ш を導入する:
この積をシャッフル積 ("shuffle product") という。このとき evaluation map "Z" がシャッフル積を入れて考えた代数 formula_26 から R への群準同型になっているという事実をシャッフル関係式 ("shuffle relation") という。
二つの多重ゼータ値の積を調和関係式とシャッフル関係式の二つを用いて展開し、比較することで多重ゼータ値の線形関係式が得られる。これを有限複シャッフル関係式 ("finite double shuffle relation") という。
調和積とシャッフル積のいずれかを積として考えた代数において、formula_25 が多項式環 formula_41 に同型であるという事実が証明されている。このことを用いて、formula_25 の単項式を "y" の多項式として表示したときの定数項を取り出す写像 (を線形に拡張したもの) を、使う積の種類に応じてそれぞれ reg∗, regш と書く。このとき調和関係式、シャッフル関係式において formula_26 を formula_25 に、formula_45 を formula_46 に置き換えても同様の事実が成り立つ。そうして得られる関係式を正規化複シャッフル関係式 ("regularized double shuffle relation") という。
コネクター.
二つの許容インデックス k = ("k"1, ... , "k"r) と l = ("l"1, ... , "l"s) に対し
formula_47
という級数を考える。これは二つの多重ゼータ値 "ζ"(k), "ζ"(l) が因子 "m""r"!"n""s"!/("m""r"+"n""s")! によって「繋がった」ものと思うことができ、この因子をコネクター (connector)、繋がれた和 "Z"(k;l) を連結和 (connected sum) と呼ぶ。このとき簡単な等式
formula_48
より、二つの関係式
formula_49
formula_50
が成り立つ。これらは左側のインデックスにある ",1" や "+1" を右側のインデックスに "+1" や ",1" として「輸送」していると思うことができ、輸送関係式 ("transport relation") と呼ばれる。
許容インデックス k に対し、formula_51 を始点として、左側のインデックスが空になるまで輸送関係式を繰り返し適用することで、formula_52 になることが簡単に確かめられる。対称性 "Z"(k;l) = "Z"(l;k) と等式 "Z"(k;∅) = "ζ"(k) は定義より明らかなので、この変形により双対性が証明される。
このコネクターを用いた証明は、適切な因子に取り換えることによって双対性以外の関係式にも応用できる。例えばコネクターを変数 "x" を含んだ因子 formula_53 (formula_54 はポッホハマー記号) に置き換えれば、同様の輸送関係式が成り立って大野関係式を証明できる。こうした証明は連結和法 ("connected sum method") や動的証明法 ("dynamical proof") などと呼ばれ、変数変換による証明が通用しない双対性や大野関係式のq-類似に対しても同様に適用できる。連結和法のより広い応用については Seki や Hirose-Sato-Seki を参照。
その他に知られている関係式.
Ihara-Kaneko-Zagier において導分関係式 ("derivation relation") という大きな関係式族が得られており、これは大野関係式から双対性を除いた関係式族 (弱大野関係式などと呼ばれる) と同値であることが分かっている。また Hoffman-Ohno による巡回和公式 ("cyclic sum formula") は和公式の精密化を与える。冒頭で述べたように、ほかにもKZ方程式の基本解を調べることで得られるアソシエータ関係式 ("associator relation") や射影平面 P1 から 0, 1, z, ∞ を除いた空間上で反復積分を考えることで得られる合流関係式 ("confluence relation")、ニュートン級数を調べることで得られる川島関係式 ("Kawashima relation")などがあり、これらはいずれも多重ゼータ値間の全線形関係式を導くと予想されているが証明はなされていない。