多重ゼータ値

数学、とくに整数論における**多重ゼータ値**（）とは、
: \zeta (k_1,\ldots,k_r)=\sum_{0
で定義される実数のことである。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**) と書く。このとき上述したように多重ゼータ値 \zeta(\boldsymbol{k}) が定義され、**k** が許容インデックスなら定義の級数は収束する。

*2* 以上の整数 *k* に対し、重さが *k* のインデックスからできる多重ゼータ値が **Q** 上を張る空間、つまり \mathcal{Z}_k=\mathrm{span}_{\mathbb{Q}}\{\zeta(\boldsymbol{k})\mid\mathrm{wt}(\boldsymbol{k})=k\} を考え、これを \mathcal{Z}_k と書く。また、\mathcal{Z}_0=\mathbb{Q}, \mathcal{Z}_1=\{0\} と考えることにする。このとき、ザギエによって以下が予想されている:


数列 {*d*k} を *d*0 = *d*2 = 1、*d*1 = 0、*d**k*+3 = *d**k*+1 + *d**k* (*k* ≧ 0) で定義すると、\mathrm{dim}_{\mathbb{Q}} \mathcal{Z}_k=d_k であろう。


重さ *k* の許容インデックスの個数は 2*k*-2 なので、2*k*-2 は \mathcal{Z}_k の上界である。以下は *k* = 12 までの値の表である:

:

このように、一般に *d*k は 2*k*-2 よりはるかに小さいので、予想が正しければその分 **Q** 上で多重ゼータ値間の線形関係式が成り立つことになる。よって、多重ゼータ値の研究の中心はその間に成り立つ関係式族を発見することとなっている。そのようなすべての関係式を導出できることが証明された族は発見されていないが、全関係式を導くと予想されている関係式として
* アソシエータ関係式
* 正規化複シャッフル関係式
* 合流関係式
* 川島関係式
* 積分級数等式
がある。なお、ピエール・ドリーニュ、アレクサンダー・ゴンチャロフ、寺杣友秀によって不等式 \mathrm{dim}_{\mathbb{Q}}\mathcal{Z}_k\le d_k が証明されている。この結果の証明はモチーフ論に依存しておりそれ自身難解であるが、残された逆向きの不等式は多重ゼータ値間の代数独立性などの問題を孕んでおり、非常に難しい問題とされている。

## 和公式
深さ *r*、重さ *k* の許容インデックス全体がなす集合を *I*0(*k*, *r*) と書く。このとき、等式

\sum_{\boldsymbol{k}\in I_0(k,r)} \zeta(\boldsymbol{k})=\zeta(k)

が成り立ち、これを**和公式** (*sum formula*) という。この等式はアンドリュー・グランヴィルが級数変形を用いて示したのち、ザギエが後述する反復積分表示を用いて示している。

## 反復積分表示
*i* = 0, 1 に対し \omega_i(t)=(-1)^i/(t-i) とおき、*k* > 1 と \varepsilon_1,\ldots,\varepsilon_k\in\{0,1\} に対し積分

I(\varepsilon_1,\ldots,\varepsilon_k)=\int_{0

を考える。これは \varepsilon_1=1,\,\varepsilon_k=0 なら収束する。 このとき、許容インデックス **k** = (*k*1, ... , *k*r) に対し等式

\zeta(\boldsymbol{k})=I\left(1,\{0\}^{k_1-1},\ldots,1,\{0\}^{k_r-1}\right)

が成り立つ。ここで {*x*}*n* は *x* を *n* 個並べたものである。この表示を多重ゼータ値の**反復積分表示** と呼ぶ。この表示はマキシム・コンツェビッチによって指摘された。

## 双対性

許容インデックス **k** は正整数 *a*1, ... , *a*s, *b*1, ... , *b*s を用いた一意な表示

\boldsymbol{k}=\left(\{1\}^{a_1-1},b_1+1,\ldots,\{1\}^{a_s-1},b_s+1\right)

を持つ。これを用いて、**k** の**双対インデックス** (*dual index*) を

\boldsymbol{k}^{\dagger}=\left(\{1\}^{b_s-1},a_s+1,\ldots,\{1\}^{b_1-1},a_1+1\right)

で定める。このとき、等式 \zeta(\boldsymbol{k})=\zeta(\boldsymbol{k}^{\dagger}) が成り立つ。この事実を多重ゼータ値の**双対性** (*duality*) という。証明は反復積分表示において変数変換 t_i\mapsto t_{k+1-i} を施せばできる。

双対性の積分表示を用いない証明は長らく知られていなかったが、2018年に関真一朗、山本修司により級数変形のみを用いた証明が発見された。詳細は#コネクターの節を参照。

## 大野関係式
非負整数 *h* と許容インデックス **k** = (*k*1, ... , *k*r) に対し

O_h(\boldsymbol{k})=\sum_{e_1,\ldots,e_r\ge 0\atop{e_1+\cdots+e_r=h}} \zeta(k_1+e_1,\ldots,k_r+e_r)

とおき、**大野和** (*Ohno sum*) と呼ぶ。このとき任意の非負整数 *h* に対し等式 O_h(\boldsymbol{k})=O_h(\boldsymbol{k}^{\dagger}) が成り立ち、これを**大野関係式** (*Ohno relation*) と呼ぶ。*h* = 0 のときは上記の双対性に一致し、一方で **k** の深さを 1 にとれば和公式を含んでいることもわかる。

## 代数的定式化と複シャッフル関係式

\mathfrak{H}=\mathbb{Q}\langle x,y\rangle を有理係数非可換二変数多項式環とし、\mathfrak{H}^1=\mathbb{Q}+y\mathfrak{H}、\mathfrak{H}^0=\mathbb{Q}+y\mathfrak{H}x をその部分代数とする。\mathfrak{H}^1 の (定数でない) 単項式は正整数 *k*1, ... ,*k*r を用いて *yx**k*1-1 … *yx**k*r-1 と書けるため、これらはインデックスと一対一に対応する (\mathfrak{H}^0 の単項式は許容インデックスに対応する。)。この対応関係を線形に拡張した写像を I:\mathfrak{H}^1\to\mathbb{R} と書く。また、

Z(1)=1

Z(yx^{k_1-1}\cdots yx^{k_r-1})=\zeta(k_1,\ldots,k_r)

を線形に拡張してできる写像 Z:\mathfrak{H}^0\to\mathbb{R} を *evalutation map* という。

次の規則で \mathfrak{H}^1 上に双線形な積 ∗ を導入する
* w\in\mathfrak{H}^1 に対し 1 ∗ *w* = *w* ∗ 1 = *w* 
* 正整数 *k*, *l* と w_1,w_2\in\mathfrak{H}^1 に対し *w*1*yx**k*-1 ∗ *w*2*yx**l*-1 = (*w*1 ∗ *w*2*yx**l*-1)*yx**k*-1 + (*w*1*yx**k*-1 ∗ *w*2)*yx**l*-1 + (*w*1 ∗ *w*2)*yx**k*+*l*-1

この積を**調和積** (*harmonic product*) という。このとき evaluation map *Z* が調和積を入れて考えた代数 \mathfrak{H}^0 から **R** への群準同型になっているという事実を**調和関係式** (*harmonic relation*) という。

同様にして、\mathfrak{H} 上に双線形な積 ш を導入する:

* w\in\mathfrak{H} に対し 1 ш *w* = *w* ш 1 = *w* 
* u_1,u_2\in\{x,y\} と w_1,w_2\in\mathfrak{H} に対し *u*1*w*1 ш *u*2*w*2 = *u*1(*w*1 ш *u*2*w*2) + *u*2(*u*1*w*1 ш *w*2)

この積を**シャッフル積** (*shuffle product*) という。このとき evaluation map *Z* がシャッフル積を入れて考えた代数 \mathfrak{H}^0 から **R** への群準同型になっているという事実を**シャッフル関係式** (*shuffle relation*) という。

二つの多重ゼータ値の積を調和関係式とシャッフル関係式の二つを用いて展開し、比較することで多重ゼータ値の線形関係式が得られる。これを**有限複シャッフル関係式** (*finite double shuffle relation*) という。

調和積とシャッフル積のいずれかを積として考えた代数において、\mathfrak{H}^1 が多項式環 \mathfrak{H}^0[y] に同型であるという事実が証明されている。このことを用いて、\mathfrak{H}^1 の単項式を *y* の多項式として表示したときの定数項を取り出す写像 (を線形に拡張したもの) を、使う積の種類に応じてそれぞれ reg∗, regш と書く。このとき調和関係式、シャッフル関係式において \mathfrak{H}^0 を \mathfrak{H}^1 に、Z を Z\circ\mathrm{reg} に置き換えても同様の事実が成り立つ。そうして得られる関係式を**正規化複シャッフル関係式** (*regularized double shuffle relation*) という。

## コネクター
二つの許容インデックス **k** = (*k*1, ... , *k*r) と **l** = (*l*1, ... , *l*s) に対し

Z(\boldsymbol{k};\boldsymbol{l})=\sum_{0=m_0

という級数を考える。これは二つの多重ゼータ値 *ζ*(**k**), *ζ*(**l**) が因子 *m**r*!*n**s*!/(*m**r*+*n**s*)! によって「繋がった」ものと思うことができ、この因子を**コネクター** (connector)、繋がれた和 *Z*(**k**;**l**) を**連結和** (connected sum) と呼ぶ。このとき簡単な等式

\sum_{a=m+1}^{\infty} \frac{1}{a}\frac{a!n!}{(a+n)!}=\frac{1}{n}\frac{m!n!}{(m+n)!}

より、二つの関係式

Z(k_1,\ldots,k_r,1;l_1,\ldots,l_s)=Z(k_1,\ldots,k_r;l_1,\ldots,l_s+1)

Z(k_1,\ldots,k_r+1;l_1,\ldots,l_s)=Z(k_1,\ldots,k_r;l_1,\ldots,l_s,1)

が成り立つ。これらは左側のインデックスにある ",1" や "+1" を右側のインデックスに "+1" や ",1" として「輸送」していると思うことができ、**輸送関係式** (*transport relation*) と呼ばれる。

許容インデックス **k** に対し、Z(\boldsymbol{k};\varnothing) を始点として、左側のインデックスが空になるまで輸送関係式を繰り返し適用することで、Z(\varnothing;\boldsymbol{k}^{\dagger}) になることが簡単に確かめられる。対称性 *Z*(**k**;**l**) = *Z*(**l**;**k**) と等式 *Z*(**k**;&empty;) = *ζ*(**k**) は定義より明らかなので、この変形により双対性が証明される。

このコネクターを用いた証明は、適切な因子に取り換えることによって双対性以外の関係式にも応用できる。例えばコネクターを変数 *x* を含んだ因子 \frac{(1-x)_{m_r}(1-x)_{n_s}}{(1-x)_{m_r+n_s}} ((X)_n はポッホハマー記号) に置き換えれば、同様の輸送関係式が成り立って大野関係式を証明できる。こうした証明は**連結和法** (*connected sum method*) や**動的証明法** (*dynamical proof*) などと呼ばれ、変数変換による証明が通用しない双対性や大野関係式のq-類似に対しても同様に適用できる。連結和法のより広い応用については Seki や Hirose-Sato-Seki を参照。

## その他に知られている関係式

Ihara-Kaneko-Zagier において**導分関係式** (*derivation relation*) という大きな関係式族が得られており、これは大野関係式から双対性を除いた関係式族 (弱大野関係式などと呼ばれる) と同値であることが分かっている。また Hoffman-Ohno による**巡回和公式** (*cyclic sum formula*) は和公式の精密化を与える。冒頭で述べたように、ほかにもKZ方程式の基本解を調べることで得られる**アソシエータ関係式** (*associator relation*) や射影平面 **P**1 から 0, 1, z, ∞ を除いた空間上で反復積分を考えることで得られる**合流関係式** (*confluence relation*)、ニュートン級数を調べることで得られる**川島関係式** (*Kawashima relation*)などがあり、これらはいずれも多重ゼータ値間の全線形関係式を導くと予想されているが証明はなされていない。

## 参考文献


## 関連項目
* リーマンゼータ関数

## 外部リンク
* 多重ゼータの深化と新展開
* 第26回整数論サマースクール「多重ゼータ値」
* REFERENCES ON MULTIPLE ZETA VALUES AND EULER SUMS
* 関西多重ゼータ研究会