12
現代数学解説
文献あり

多重ゼータ値について初心者向けにわかりやすく書いてみた記事

1982
0

「多重ゼータ値面白そうだけどわかんない…」

「調和積とシャッフル積って何?」

そんな人たちに向けて解説記事を書いてみました。

前提知識は大学1年生までの数学の知識があれば十分です。

一部慣れない記法があるかもしれませんがそのたびに解説していきます。

ぜひ最後までご覧ください。

わかりやすさ重視で書いた記事なので厳密な定義や証明などは一部省略しています。合わせて他の文献も読むことをおすすめします。

お品書き

・多重ゼータ値とは

・インデックス

・word

・調和積とシャッフル積

・正規化複シャッフル関係式

・コネクター

・アソシエータ関係式

多重ゼータ値とは

レベル:★☆☆☆☆

多重ゼータ値について解説する前に、一般のリーマンゼータ関数について解説していきたいと思います。

リーマンゼータ関数とは

ζ(s)=k=11ks=1+12s+13s+

で定義される関数です。

s=1で発散し、1<sでは収束します。

具体的な値はたとえば、

ζ(2)=π26,ζ(4)=π490,

などとなっています。

リーマンゼータ関数は数学の各分野で非常に注目されているのですが、その理由の1つはオイラー積表示があるからでしょう。

k=11ks=p:prime11ps.

具体的な関数と素数を結びつける公式として非常に大きな注目を浴びています。

リーマンゼータ関数についてはたくさん面白い話題があるのですが、今回はこれくらいにして多重ゼータ値について話を進めます。

多重ゼータ値とは、簡単に言えばリーマンゼータ関数の一般化であり拡張バージョンです。

つまり、変数をsの1個からr個へと拡張します。

定義を見ましょう。

多重ゼータ値

r個の正整数の変数a1,a2,,arがある。このとき、これらの変数に対して多重ゼータ値を

ζ(a1,a2,,ar)=0<kr<<k2<k11k1a1k2a2krar(=kr=1kr1=kr+1k1=k2+11k1a1k2a2krar)

で定める。

ζ(a1,a2,,ar)=0<k1<k2<<kr1k1a1k2a2krar(=k1=1k2=k1+1kr=kr1+11k1a1k2a2krar)

と定める流儀もあり、この場合変数の向きが逆転します。

多重ゼータ値の文脈では著者がどちらの変数の向きで定義しているかが重要なので確認しましょう。

私のとっている流儀は左向きと呼ばれています。

まずはシグマの読み方を解説します。

0<kr<<k2<k11k1a1k2a2krar

のシグマの下にある式の意味は0<kr<<k2<k1をみたす整数k1,k2,,kr全体にわたって和を取ることを意味します。

たとえば0<k2<k1だと(k1,k2)=(2,1),(5,3),(7,2),などのペアが該当します。

その条件を満たすr個の整数をすべて集めて和を取るということです。

それを展開したのが1番右の式です。

そして、変数はすべて正整数とします。

そのほうがあとあと便利だからです。

さらに、変数が1つだけのときはリーマンゼータ関数に一致します。

リーマンゼータ関数の一般化であることが簡単にわかりますね。

さて、級数を定めたはいいのですが収束するかどうかが重要です。

これに関しては次のことが知られています。

多重ゼータ値の収束性

1<a1のとき上に定めた多重ゼータ値は収束し、a1=1のとき多重ゼータ値は発散する。

つまり、先頭に来ている数が2以上の整数であれば収束するということですね。

ここで、r個の変数を正整数の組とみてインデックスという概念を導入します。

インデックス

レベル:★☆☆☆☆

インデックス

正整数をr個集めた組(a1,a2,,ar)をインデックスと呼ぶ。順序が異なる数の組は違うインデックスとみなす。

また、2a1のとき(a1,a2,,ar)許容インデックスであるという。

さらに、インデックスa=(a1,a2,,ar)に対してra深さといい、dp(a)(またはdep(a))と書く。

同様に、全要素の和a1+a2++ara重さといい、wt(a)と書く。

また、は深さ0,重さ0の許容インデックスであると定義しておく。

インデックスに線形写像ζを作用させるとその変数に対応する多重ゼータ値を返すものとし、ζ(a)=ζ(a1,a2,,ar)と定義することにする。

便宜上ζ()=1とする。

この許容インデックスの定義は左向きです。

これは定義なので覚えておいてください。

たとえばdp((2,1,3))=3,wt((2,1,3))=6です。

このとき、興味深い公式が成立します。

和公式

深さがr,重さがsのインデックスをすべて集め、それらすべての多重ゼータ値を足すとζ(s)になる。つまり、

dp(a)=rwt(a)=sζ(a)=ζ(s).

実は多重ゼータ値はリーマンゼータ関数と密接に結びついているのです。

さらに面白いことに、多重ゼータ値の集合には次のような性質があります。

多重ゼータ値の準同型

a,bを許容インデックスとし、wt(a)=s,wt(b)=tとする。すると、ζ(a)ζ(b)は重さがs+tの許容インデックスの多重ゼータ値のQ上の線形結合で書ける。

たとえば、ζ(2)ζ(2,1)=115ζ(2,3)+95ζ(3,2)というふうに書けます。

指数法則のように掛け算と足し算が密接な関係で結びついているんですね。

たとえば4ζ(2,2,1)+6ζ(2,3)=5ζ(5)のように多重ゼータ値を等式で結んだものを関係式といいます。

数学者の目標はすべての関係式を導出することです。

ですが、ζ(2)=Aζ(3) (Aはある定数 ), ζ()ζ(2)=ζ(2) というようによくわからないものや自明なものまで関係式に含めてしまったらきりがありません。

そこで係数は有理数のみ、つまりQ上の非自明な線形関係式に限るという条件を課します。

そうするといろいろな関係式が得られます。

例えばこんな感じです。

ζ(3)=ζ(2,1)ζ(4)=ζ(2,1,1)5ζ(5)=4ζ(2,2,1)+6ζ(2,3).

また、複数の関係式たちを一気に導出できる公式を関係式族とよびます。

有名な関係式族を紹介しましょう。

…と、その前にインデックスに代わるwordという概念を導入します。

word

レベル:★★☆☆☆

word

H(ドイツ文字のHです)をe0,e1を変数とする有理数係数の多項式を集め、和と積を備えた集合とする。ここで、たとえばe0e1e1e0というふうに変数の積は交換できない(厳密に言えばHe0,e1を変数とする有理係数二変数非可換多項式環とする)。

このとき、Hの元をwordと呼び次の規則でインデックスと対応させる:

e0a11e1e0a21e1e0ar1e1(a1,a2,,ar).

便宜上 1とする。

このwordの定義も左向きです。

たとえばe02e1(3)なのでζ(e02e1)=ζ(3)です。

他にもたくさん例を挙げておきましょう。

e03e1e0e12(4,2,1)なのでζ(e03e1e0e12)=ζ(4,2,1)
e02e1e0e13(3,2,1,1)なのでζ(e02e1e0e13)=ζ(3,2,1,1).

このとき、次の有名な関係式が成り立ちます。

双対性

許容インデックスに対応するworde0a1e1b1e0a2e1b2e0are1br(1a1)が存在するとき、

ζ(e0a1e1b1e0a2e1b2e0are1br)=ζ(e0bre1are0br1e1ar1e0b1e1a1)

が成立する。

このように対応するwordの指数部分を反転させたインデックスを双対インデックスと呼び、aの双対インデックスをaと書く。

つまり、任意の許容インデックスaに対して

ζ(a)=ζ(a)

が成立。

wordの指数部分を反転させたものが等しいということですね。

たとえば ζ(4,2,1)=ζ(3,2,1,1)が成立します。

このような理由で、インデックスよりもwordのほうが扱いやすい場面が多々あります。

その1つが調和積とシャッフル積です。

調和積とシャッフル積

レベル:★★★☆☆

調和積

任意の正整数k,l,worda,bに対して調和積を次の条件を満たすものとして再帰的に定義する:

(i)e0k1e1ae0l1e1b=e0k1e1(ae0l1e1b)+e0l1e1(e0k1e1ab)+e0k+l1e1(ab)(ii)a1=1a=a.

シャッフル積

任意のi,j{0,1},worda,bに対してシャッフル積шを次の条件を満たすものとして再帰的に定義する:

(i)eiaшejb=ei(aшejb)+ej(eiaшb)(ii)aш1=1шa=a.

これらの定義も左向きです。

定義だけ見ても意味不明かもしれません。実際に計算してみましょう。

下線を引いた部分に注目してください。たとえば、

e03e12e0e1=e03e1e1e0e1=e03e1(e1e0e1)+e0e1(e03e1e11)+e05e1(e11)=e03e1(e1e0e1)+e0e1e03e12+e05e12=e03e1(e00e1e0e1)+e0e1e03e12+e05e12=e03e1e00e1(1e0e1)+e03e1e0e1(e00e11)+e03e1e02e1(11)+e0e1e03e12+e05e12=e03e12e0e1+e03e1e0e12+e03e1e02e1+e0e1e03e12+e05e12.

e0e1шe02e1=e0e1шe0e0e1=e0(e1шe0e0e1)+e0(e0e1шe0e1)=e0(e1шe0e0e1)+e0(e0e1шe0e1)=e0(e1шe0e0e1)+e0(e0e1шe0e1)=e0e1(1шe0e0e1)+e0e0(e1шe0e1)+e0e0(e1шe0e1)+e0e0(e0e1шe1)==e0e1e02e1+3e02e1e0e1+6e03e12.

非常にめんどくさいですね。

ですが、それよりもどうしてこんなことをし始めたのかというと次の美しい性質が成り立つからです。

有限複シャッフル関係式

a,bを許容インデックスに対応するwordとする。このとき、

ζ(ab)=ζ(aшb)=ζ(a)ζ(b).

証明は別の文献で見ていただきたいのですが、非常に面白いです。

この公式により非常に多くの関係式が得られます。

だからwordが重要なんですね。

さきほどの例でいえば、

ζ(e03e12)ζ(e0e1)=ζ(e03e12e0e1)+ζ(e03e1e0e12)+ζ(e03e1e02e1)+ζ(e0e1e03e12)+ζ(e05e12),ζ(e0e1)ζ(e02e1)=ζ(e0e1e02e1)+3ζ(e02e1e0e1)+6ζ(e03e12).

が成り立っています。

気になる人はwordをインデックスに変換してみてください。

ですが、この有限複シャッフル関係式をもってしても導けない関係式があります。

たとえばζ(2,1)=ζ(3)です。

a,bの両方とも許容インデックスでなければならないという制限がある以上、ζ(2,1)=ζ(3)は導けません。

そこで、片方を許容インデックスでなくてもいいようにしたのが正規化複シャッフル関係式です。

ですが1つ問題があります。

それは、許容インデックスではないインデックスに対応する多重ゼータ値は発散してしまうことです。

そこを正規化というプロセスを経てうまく乗り越えたのが正規化複シャッフル関係式です。

どんなことをするのかというと、発散する多重ゼータ値の定数項だけを取り出そうという発想です。

例えば、正規化複シャッフル関係式の手前のバージョンである次の関係式を見てみてください。

弱い正規化複シャッフル関係式

aを許容インデックス、bを許容インデックスまたは(1)であるインデックスとする。このとき、次が成立:
ζ(abaшb)=0.

これであれば、a=(2),b=(1)とすることにより(2)(1)(2)ш(1)=(3)(2,1)なのでζ(2,1)=ζ(3)が導けます。

つまり、発散する部分を上手く打ち消し合わせることで新しい関係式を導こうという発想です。

これを踏まえ、最強の関係式族の1つと言われている正規化複シャッフル関係式に迫ろうと思います。

正規化複シャッフル関係式

レベル:★★★★☆

正規化多項式

許容インデックスでなくてもよいインデックスを任意にとってa=(a1,,ar)とし、それに対応するwordをv=e0a11e1e0ar1e1とおく。

このとき、次の2つが成立:

(i)調和正規化多項式

ある非負整数nと許容インデックスに対応するwordw0,,wnが一意に存在して、

v=i=0ne1e1iwi.

このとき、Tを変数とする次の多項式を調和正規化多項式と呼ぶ:

ζ(a;T)=i=0nζ(wi)Ti.

ζ(a)=ζ(a;0)と書くことにする。

(ii)シャッフル正規化多項式

ある非負整数nと許容インデックスに対応するwordw0ш,,wnшが一意に存在して、

v=i=0ne1шшe1iшwiш.

このとき、Tを変数とする次の多項式をシャッフル正規化多項式と呼ぶ:

ζш(a;T)=i=0nζ(wiш)Ti.

ζш(a)=ζш(a;0)と書くことにする。

ここで、00=1と定めることに注意してください。

正規化複シャッフル関係式

aを許容インデックス、bを許容インデックスでなくてもよいインデックスとする。

このとき、次の2つが成立:

(i)ζ(abaшb)=0,(ii)ζш(abaшb)=0.

ためしにa=(2),b=(1,1)としてみましょう。

abaшb=(1,3)(1,2,1)+(3,1)2(2,1,1) です。

(1,3)=e1e02e1=e0e1e0e12e02e12+e1шe02e1 より ζш(1,3)=ζ(2,2)2ζ(3,1) です。

一方、(1,2,1)=e1e0e12=3e0e13+e1шe0e12 より ζш(1,2,1)=3ζ(2,1,1) です。

以上より ζ(2,2)2ζ(3,1)+3ζ(2,1,1)+ζ(3,1)2ζ(2,1,1)=ζ(2,2)ζ(3,1)+ζ(2,1,1)=0.

よって ζ(2,1,1)=ζ(2,2)+ζ(3,1) を得ます。

これは数値的にも一致しています。

この正規化複シャッフル関係式はすべての関係式を導くと予想されていて、最強の関係式族の1つだと言われています。

しかし、双対性が正規化複シャッフル関係式から導けるかどうかは現状未解決であり、多分導けるだろうと予想されてはいますが証明されていません。

そこで、双対性をも導ける最強の関係式族であるアソシエータ関係式についてあとで紹介します。

まずは多重ゼータ値のもう一つの中心的な話題であるコネクターについて紹介しようと思います。

コネクター

レベル:★★★☆☆

突然ですが、a=(a1,,ar),b=(b1,,bs)としてこんな級数を考えます。

Z(a;b)=0<kr<<k10<ls<<l11k1a1krark1!l1!(k1+l1)!1l1b1lsbs.

ここで、シグマの意味は0<kr<<k1を満たす整数k1,,kr0<ls<<l1を満たす整数l1,,lsを全て集めてそれぞれ独立に足すという意味です。

その前に便利な記法について紹介します。

矢印記法

インデックスa=(a1,,ar)に対して次のように定義する:

(i)a=(1,a1,,ar)(ii)a=(a1+1,a2,,ar)(iii)a=(a11,a2,,ar)(iv)a=(a1,,ar,1)(v)a=(a1,,ar1,ar+1)(vi)a=(a1,,ar1,ar1).

空インデックスに対しては==(1),====と定める。

この定義も左向きです。

このとき、次の3つの等式が成り立ちます。

コネクターの等式

次の3つが成立:

(1)対称性

Z(a;b)=Z(b;a)

(2)輸送関係式

(i)Z(a;b)=Z(a;b)(b)(ii)Z(a;b)=Z(a;b)(a)

(3)境界条件

Z(a;)=Z(;a)=ζ(a).

(1)と(3)は定義より明らかで、(2)の証明は

j=k+11jj!l!(j+l)!=j=k+11l((j1)!l!(j1+l)!j!l!(j+l)!)=1lk!l!(k+l)!

から簡単にわかる。

Q.E.D.

この3つの式を使えば双対性が示せます。

双対性

次が成立:

ζ(a)=ζ(a).

許容インデックスaに対応するwordをe0a1e1b1e0a2e1b2e0are1brとおくと、輸送関係式により

Z(e0a1e1b1e0a2e1b2e0are1br;)=Z(e0a11e1b1e0a2e1b2e0are1br;e1)=Z(e0a12e1b1e0a2e1b2e0are1br;e12)==Z(e1b1e0a2e1b2e0are1br;e1a1)=Z(e1b11e0a2e1b2e0are1br;e0e1a1)==Z(e0a2e1b2e0are1br;e0b1e1a1)==Z(;e0bre1are0br1e1ar1e0b1e1a1).

ここで対称性と境界条件を使えば

ζ(e0a1e1b1e0a2e1b2e0are1br)=ζ(e0bre1are0br1e1ar1e0b1e1a1)

を得る。

Q.E.D.

このように、簡単な級数変形だけで双対性が証明できてしまいました。

このような方法は連結和法と呼ばれていて、日本人の関真一朗さんと山本修司さんにより初めて発見されました。

多重ゼータ値の世界では日本人が大きな役割を果たしています。すごいですね。

そんな話は他の文献にゆずるとして、いよいよアソシエータ関係式について話をしようと思います。

アソシエータ関係式

レベル:★★★★★

この章は非常に難しい内容であり、私の勉強不足により一部の内容が間違っている可能性があります。

詳しくは参考文献を参照してください。

まず、アソシエータ関係式について話を始める前に準備をしたいと思います。

すでにわかっている人は飛ばしていただいて大丈夫です。

双線形写像

kを定数として、×が双線形写像であるとは次の条件を満たすこととして定める:

(i)(ka)×b=a×(kb)=k(a×b),(ii)a×(b+c)=a×b+a×c,(iii)(a+b)×c=a×c+b×c

ここで、a×bb×aでも構わない。

普通の掛け算の×,そしてさっき登場した調和積,シャッフル積шなどはすべて双線形写像です。

テンソル積

USTのテンソル積である、つまりU=STであるとは次の条件を満たすことをいう:

(i) 存在性

双線形写像 Φ:S×TUが存在する。

(ii) 一意性

任意の双線形写像 F:S×TRに対してある準同型写像f:URが一意に存在してF=fΦを満たす。

このとき、sS,tTに対してΦ(s,t)=stと書く。

厳密な定義には加群の概念が必要ですがここでは省略させてください。

明らかには双線形写像です。

これを踏まえてアソシエータを定義します。

アソシエータ

KQを部分体に持つ体、Ke0,e1を係数がKの元でe0,e1を変数とする二変数非可換冪級数環(2つの変数の積が交換できないべき級数の集合で和と積を備えたもの)とする。

また、φKe0,e1とwordwに対して、φでのwの係数をZφ(w)で表す。

この条件のもと、(μ,φ)K×Ke0,e1が体K上のアソシエータであるとは次の条件を満たすことをいう:

(1)commutator group-like

準同型写像Δ:Ke0,e1Ke0,e1Ke0,e1Δ(ei)=ei1+1eiで定めたとき、

(i) Δ(φ)=φφ
(ii) φ(0,0)=1,Zφ(e0)=Zφ(e1)=0

(2)2-cycle relation

φ(e0,e1)φ(e1,e0)=1

(3)3-cycle relation

e0+e1+e=0として、

exp(μ2e0)φ(e,e0)exp(μ2e)φ(e1,e)exp(μ2e1)φ(e0,e1)=1

(4)5-cycle relation

1i,j,k,l5としたとき、eijは次の条件を満たすものとする:

(i) eii=0
(ii) eij=eji
(iii) ei1+ei2+ei3+ei4+ei5=0
(iv) i,j,k,lが相異なるとき、eijekl=ekleij

このとき、

φ(e12,e23)φ(e34,e45)φ(e51,e12)φ(e23,e34)φ(e45,e51)=1

意味不明ですね。笑

特にΔが意味不明だと思いますが、たとえば
Δ(e0e1)=Δ(e0)Δ(e1)=(e01+1e0)(e11+1e1)=e0e11+e0e1+e1e0+1e0e1
です。

これはテンソル積に次のような演算が成り立っているからです。

テンソル積の演算

(ab)(cd)=acbd

ですがこれはあくまでアソシエータの一般的な定義であって多重ゼータ値に対応するアソシエータが存在します。

アソシエータ関係式

ΦKZCe0,e1を次で定める:

ΦKZ(e0,e1)=w:word(1)dp(w)ζш(w)w.

すると、(μ,φ)=(2πi,ΦKZ)C上でアソシエータとなる。

このときの関係式たちをアソシエータ関係式と呼ぶ。

実際に代入して遊んでみましょう。

(1)commutator group-like の(i)は次のように書き直せます。

group-like

次が成立:

Δ(w:word(1)dp(w)ζш(w)w)=v:word(1)dp(v)ζш(v)vw:word(1)dp(w)ζш(w)w

これを準同型写像および双線形写像の性質を使い証明してみます。

ここで、

Δ(w:wordZφ(w)w)=w:wordZφ(w)Δ(w)=v,w:wordZφ(vшw)vw

が成り立っていることにより

w:wordΔ((1)dp(w)ζш(w)w)=v,w:word(1)dp(v)+dp(w)ζш(vшw)vw=v:word(1)dp(v)ζш(v)vw:word(1)dp(w)ζш(w)w=v,w:word(1)dp(v)+dp(w)ζш(v)ζш(w)vw

を得る。

これはシャッフル関係式、ζш(a)ζш(b)=ζш(aшb)に他ならない。

Q.E.D.

あとの関係式たちは私の勉強不足により紹介できないため参考文献を参照することをおすすめします。

ですが、このアソシエータ関係式は双対性や正規化複シャッフル関係式すらも従わせることのできる超強力な関係式です。

もちろん、すべての関係式がアソシエータ関係式から従うだろうと予想されてはいますが証明はされていません。

これからも研究は続いていくと思うので、最後に有名な未解決の予想を紹介して終わろうと思います。

次元予想

重さがkの多重ゼータ値たちが張るQ上の線形空間の次元をdimQZkとおく。

一方、数列dkを漸化式dk+3=dk+1+dk(0k),d0=d2=1,d1=0で定める。

このとき、任意の0kに対して

dimQZk=dk

が成立する。

dimQZkdk はすでに証明されていますが、逆側の不等式が証明される気配は全くありません。

この記事を読んでもっと気になったという方は調べてみてください。

最後まで読んでいただきありがとうございました。

参考文献

投稿日:2024222
更新日:423
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

みつき
みつき
26
8601
数学が好きな大学1年生です。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 多重ゼータ値とは
  2. インデックス
  3. word
  4. 調和積とシャッフル積
  5. 正規化複シャッフル関係式
  6. コネクター
  7. アソシエータ関係式
  8. 参考文献