Murahara-Sakataの和公式
$x,y$からなる非可換多項式環を$\mathfrak{H}:=\QQ\langle x,y\rangle, \mathfrak{H}^0:=\QQ+y\mathfrak{H}x$とする. Hoffman代数による多重ゼータ値の定式化
\begin{align}
\zeta(yx^{k_1-1}\cdots yx^{k_r-1}):=\zeta(k_1,\dots,k_r):=\sum_{0< n_1<\cdots< n_r}\frac 1{n_1^{k_1}\cdots n_r^{k_r}}
\end{align}
を用いる. $\mathrm{dep}(\bk)$でインデックス$\bk$の深さとする. 導分関係式は以下のように表される.
$\mathfrak{H}[[u]]$上の同型写像$\Delta$を
\begin{align}
\Delta(x):=\frac 1{1-yu}x, \Delta(y):=\frac{y}{1-yu}(1-(x+y)u)
\end{align}
によって定義するとき, 任意の$w\in\mathfrak{H}^0$に対して,
\begin{align}
\zeta(\Delta(w))=\zeta(w)
\end{align}
が成り立つ.
この記事では, 導分関係式を用いることによって, 以下の定理を示す.
正整数$r\leq n$とインデックス$\bk=(k_1,\dots,k_r)$に対して,
\begin{align}
&\sum_{\substack{0< e_1,\dots,e_r\\e_1+\cdots+e_r=n}}\zeta(\{1\}^{e_1-1},k_1+1,\dots,\{1\}^{e_r-1},k_r+1)\\
&=\sum_{\bk\preceq \bl}(-1)^{\mathrm{dep}(\bl)-r}\sum_{\substack{0< e_1,\dots,e_{\mathrm{dep}(\bl)}\\e_1+\cdots+e_{\mathrm{dep}(\bl)}=n}}\zeta(l_1+e_1,\dots,l_{\mathrm{dep}(\bl)}+e_{\mathrm{dep}(\bl)})
\end{align}
が成り立つ. ただし, $\sum_{\bk\preceq \bl}$は$\bk$を縮約インデックスに持つインデックス$\bl$全体の和を表す.
準同型写像$\beta:\mathfrak{H}\to \mathfrak{H}[[u]]$を
\begin{align}
\beta(x):=x-y\frac{xu}{1-xu}, \beta(y):=y\frac{xu}{1-xu}
\end{align}
とすると,
\begin{align}
(\Delta\circ \beta)(x)=x, (\Delta\circ \beta)(y)&=\frac{yu}{1-yu}x
\end{align}
よって, 導分関係式より$w=yx^{k_1-1}\cdots yx^{k_r-1}$として, $\zeta((\Delta\circ\beta)(w))=\zeta(\beta(w))$であり,
\begin{align}
\zeta((\Delta\circ \beta)(w))&=\zeta\left(\frac{yu}{1-yu}x^{k_1}\cdots\frac{yu}{1-yu}x^{k_r}\right)\\
\zeta(\beta(w))&=\zeta\left(y\frac{xu}{1-xu}\left(x-y\frac{xu}{1-xu}\right)^{k_1-1}\cdots y\frac{xu}{1-xu}\left(x-y\frac{xu}{1-xu}\right)^{k_r-1}\right)\\
&=\sum_{\bk\preceq \bl}(-1)^{\mathrm{dep}(\bl)-r}\zeta\left(y\frac{xu}{1-xu}x^{l_1-1}\cdots y\frac{xu}{1-xu}x^{l_{\mathrm{dep(\bl)}-1}}\right)
\end{align}
であるから,
\begin{align}
\zeta\left(\frac{yu}{1-yu}x^{k_1}\cdots\frac{yu}{1-yu}x^{k_r}\right)=\sum_{\bk\preceq \bl}(-1)^{\mathrm{dep}(\bl)-r}\zeta\left(y\frac{xu}{1-xu}x^{l_1-1}\cdots y\frac{xu}{1-xu}x^{l_{\mathrm{dep(\bl)}-1}}\right)
\end{align}
の両辺の$u^n$の係数を比較して定理を得る.
Murahara-Sakataの和公式における右辺に現れるインデックスは全ての成分が2以上である. このようなインデックスは高さ最大のインデックスと呼ばれている. Murahara-Sakataの論文においては, 同様の方針で有限(対称)多重ゼータ値における類似も示されている.
特に$r=1$とすることによって, 以下のKaneko-Sakataによる和公式を得る.
正整数$a,b$に対して,
\begin{align}
\zeta(\{1\}^{a-1},b+1)&=\sum_{0< r}(-1)^{r-1}\sum_{\substack{0< a_1,\dots,a_r,a_1+\cdots+a_r=a\\0< b_1,\dots,b_r,b_1+\cdots+b_r=b}}\zeta(a_1+b_1,\dots,a_r+b_r)
\end{align}
が成り立つ.
インデックスにおける2以上の成分の個数を高さというが, Kaneko-Sakataの和公式は高さ1の多重ゼータ値を高さ最大の多重ゼータ値で明示的に表す公式を与えている.
