多重ゼータ値の双対性と連結和

多重ゼータ値には双対性と呼ばれる美しい性質があります. これは, $\mathit{k}=(\{1{\}}^{a_1-1},b_1+1,\{1{\}}^{a_2-1},b_2+1,\dots ,\{1{\}}^{a_r-1},b_r+1)$としたとき, ${\mathit{k}}^{†}:=(\{1{\}}^{b_r-1},a_r+1,\{1{\}}^{b_{r-1}-1},a_{r-1}+1,\dots ,\{1{\}}^{b_1-1},a_1+1)$として定義される双対インデックスに対し,
$$\begin{array}{r}\zeta (\mathit{k})=\zeta ({\mathit{k}}^{†})\end{array}$$が成り立つというものです. 具体例を見ていきましょう. $(3)$の双対インデックスは定義より, $(1,2)$なので,
$$\begin{array}{r}\zeta (3)=\zeta (1,2)\end{array}$$が成り立ちます. これはEulerによって初めて示された式です. 一見双対インデックスの定義がよくわからないかもしれませんが, これを証明するためにコネクターというものをもちいることができます.

連結和の導入

$\mathit{k}=(k_1,\dots ,k_a)$に対し,
$$\begin{array}{rcl}{\mathit{k}}_{\to }& =& (k_1,\dots ,k_a,1)\\ {\mathit{k}}_{\uparrow }& =& (k_1,\dots ,k_{a-1},k_a+1)\end{array}$$という矢印記号を考えます. そして, ${\to }^n,{\uparrow }^n$をそれぞれ, $\underset{n}{\underbrace{\to \cdots \to }},\underset{n}{\underbrace{\uparrow \cdots \uparrow }}$の意味でもちいることにします. また${\varnothing }_{\to }=(1)$とすると, $(\{1{\}}^{a_1-1},b_1+1,\{1{\}}^{a_2-1},b_2+1,\dots ,\{1{\}}^{a_r-1},b_r+1)={\varnothing }_{{\to }^{a_1}{\uparrow }^{b_1}\cdots {\to }^{a_r}{\uparrow }^{b_r}}$と表すことができます. つまり, 双対インデックスは, ${\varnothing }_{{\to }^{a_1}{\uparrow }^{b_1}\cdots {\to }^{a_r}{\uparrow }^{b_r}}$に対し, ${\varnothing }_{{\to }^{b_r}{\uparrow }^{a_r}\cdots {\to }^{b_1}{\uparrow }^{a_1}}$で表すことができます. これを矢印一つずつ輸送して証明する, という具体的な方法が連結和法というもので, この場合, 横矢印が縦矢印に, 縦矢印が横矢印に移っているということを考えれば,
$$\begin{array}{rcl}Z({\mathit{k}}_{\to };\mathit{l})& =& Z(\mathit{k};{\mathit{l}}_{\uparrow })\\ Z({\mathit{k}}_{\uparrow };\mathit{l})& =& Z(\mathit{k};{\mathit{l}}_{\to })\end{array}$$を満たす$Z(\mathit{k};\mathit{l})$があればよいことが分かります. 対称性より, 横矢印を縦矢印に変える輸送関係式があれば十分ということになります.　これを級数をもちいて構成します. とりあえず, $C(n_a,m_b)$というものがあるとして,
$$\begin{gathered} \begin{array}{r}Z(\mathit{k};\mathit{l}):=\sum _{0=n_0<n_1<\cdots <n_a \\ 0=m_0<m_1<\cdots <m_b}\frac{1}{{\mathit{n}}^{\mathit{k}}{\mathit{m}}^{\mathit{l}}}C(n_a,m_b)\end{array} \end{gathered}$$としてみます. すると$C(n,m)$が満たすべき等式は,
$$\begin{array}{r}\sum _{n<a}\frac{1}{a}C(a,m)=\frac{1}{m}C(n,m)\end{array}$$となります. これは$n$について差分すると,
$$\begin{array}{r}\frac{1}{n}C(n,m)=\frac{1}{m}(C(n-1,m)-C(n,m))\end{array}$$つまり,
$$\begin{array}{r}C(n,m)=\frac{n}{n+m}C(n-1,m)\end{array}$$これを帰納的に適用して,
$$\begin{array}{r}C(n,m)=\frac{n(n-1)\cdots 1}{(n+m)\cdots (m+1)}C(0,m)\end{array}$$ここで, 境界条件を考えます. 満たすべき等式,
$$\begin{array}{r}\sum _{n<a}\frac{1}{a}C(a,m)=\frac{1}{m}C(n,m)\end{array}$$に$n=0$を代入して,
$$\begin{array}{r}\sum _{0<a}\frac{1}{a}C(a,m)=\frac{1}{m}C(0,m)\end{array}$$となりますが, この右辺は通常の多重ゼータ値になるために$\frac{1}{m}$である必要があります. よって, $C(0,m)=1$と考えます.
$$\begin{array}{rcl}C(n,m)& =& \frac{n(n-1)\cdots 1}{(n+m)\cdots (m+1)}C(0,m)\\ & =& \frac{n!m!}{(n+m)!}\end{array}$$という対称的なコネクターの形が求まりました. これで具体的に輸送をしてみましょう.
$$\begin{array}{rcl}\zeta (3)& =& \sum _{0<n}\frac{1}{n^3}C(n,0)\\ & =& \sum _{0<n,m_1}\frac{1}{n^2{m}_1}C(n,m_1)\\ & =& \sum _{\begin{array}{c}0<n\\ 0<m_1<m_2\end{array}}\frac{1}{n{m}_1{m}_2}C(n,m_2)\\ & =& \sum _{0<m_1<m_2}\frac{1}{m_1{m}_2^2}\\ & =& \zeta (1,2)\end{array}$$これで一般に双対性が証明できることが分かりますね.
$$\begin{array}{r}\zeta (\mathit{k})=Z(\mathit{k};\varnothing )=Z({\mathit{k}}_{\downarrow };1)=\cdots =Z(1;({\mathit{k}}^{†}{)}_{\downarrow })=Z(\varnothing ;{\mathit{k}}^{†})=\zeta ({\mathit{k}}^{†})\end{array}$$という風に$\mathrm{wt}(\mathit{k})$回の輸送を行うことで証明ができます. 一方でこの連結和の輸送関係式は連結和$Z$が多重ゼータ値で表せることも示しています. 美しい具体例として,
$$\begin{array}{rcl}\sum _{0<n,m}\frac{(n-1)!(m-1)!}{(n+m)!}& =& Z(1;1)\\ & =& \zeta (2)\end{array}$$という計算ができます.

参考文献

Shin-ichiro Seki, Shuji Yamamoto, A new proof of the duality of multiple zeta values and its generalizations, arXiv:1806.04679