0
現代数学解説
文献あり

シャッフル関係式とindexシャッフル

182
0

これはどういう文章ですか?

多重ゼータ値の文脈においてしばしば現れるシャッフル積 (たとえば (2)ш(2)=4(1,3)+2(2,2)) とindexのシャッフル積 (たとえば (2)ш(2)=2(2,2)) との関係を述べたものです。肝心なところはすべて参考文献に放り投げているためあまり中身がありません。

約束

代数は常に結合的かつ単位元を伴うものとします。

観察

通常の多重ゼータ値のケースを考えましょう。ナイーブには正整数 k1,,kd (kd2) に対し
ζ(k1,,kd):=0<n1<<nd1n1k1ndkd
で定義される実数 (r=0 のときは 1) が多重ゼータ値ですが、これは反復積分表示を持ちます: a1,,ak{0,1} (a10, ak1) に対し
I(0;a1,,ak;1):=0<t1<<tk<1i=1kdtitiai
とおく (k=0 のときは 1) と
ζ(k1,,kd)=(1)dI(0;1,0,,0k11,,1,0,,0kd1;1)
が成り立ちます。この段階で、二つの多重ゼータ値の積はいくつかの多重ゼータ値の和に分解されることがわかります: たとえば
ζ(2)2=0<s1<s2<10<t1<t2<1ds1s11ds2s2dt1t11dt2t2
ですが、右辺の積分範囲を sitj の大小関係ごとに分割すれば ζ(2)2=2ζ(2,2)+4ζ(1,3) が得られます。

このような状況を整理すべく、次の定式化を導入します:

シャッフル積

L を集合、K を体とする。このとき L が生成する自由モノイド L×K 上で張るベクトル空間を KL と書き、L× の単位元に K を作用させることで KKL とみなす。L× の元 w,wa,bL に対して 1шw=wш1=w と規定し、また
waшwb=(wшwb)a+(waшw)b
と定めることで帰納的に二項演算 ш:KL2KL が定まる。これをシャッフル積と呼ぶ。

上記の設定で、(KL,ш,1) は必ず可換な K 代数になります (証明は省略)。

ここで使うのは二元集合 {e0,e1} と係数体 Q に伴う Qe0,e1 上のシャッフル積です (記号は変わらず ш を使います)。いま I:Qe0,e1Cea1eakI(0;a1,,ak;1)Q 線型延長として定めれば、先ほどの ζ(2)2 を観察したときのような議論で IQ 代数射になることがわかります (厳密には文字数に関する帰納法を使えばよいです)。したがって、多重ゼータ値の反復積分表示にもとづいて正整数のtupleの集合 (つまり ζ の定義域) を {e0,e1}× の部分集合であると考え、シャッフル積をエンコードしてやることで ζ (の線型延長) が代数射として振る舞うことになります。この性質のことをシャッフル関係式と呼びます。少し煩雑ですが、改めて主張を明示しておきます:

シャッフル関係式

正整数の組 (k1,,kd) (kd2 もしくは d=0) すべてが張る Q ベクトル空間を R と書き, 対応
(k1,,kd)(1)de1e0k11e1e0kd1
によって RQe0,e1 の部分空間とみなす。このとき R は部分空間であるだけではなく (シャッフル積に関する) 部分 Q 代数になっており、ζ は代数射を引き起こす。

さて、反復積分表示に基づいて多重ゼータ値のシャッフル正規化が定義されます: 積分範囲を一般化し, 実数 0<z<1 に対し
I(0;a1,,ak;z):=0<t1<<tk<zi=1kdtitiai
というものを考えましょう。定義域は先ほどとほぼ同じですが、ak1 という制約はなくてもかまいません。したがって、多重ゼータ値の反復積分表示の右辺の一般化
(1)dI(0;1,0,,0k11,,1,0,,0kd1;z)
kr=1 でも意味を持ちます。この量のことを Li(k1,,kd;z) と書くことにすれば、先ほどとまったく同様の議論で kLi(k;z)Q 代数射となります (ただし定義域を右端成分に関する制約のない R:=spanQ(r0(Z1)r) に広げる必要あり。やはりこの場合でもシャッフル積についての部分代数にはなります)。

単位元の記法

R あるいはその部分集合からの写像を扱うときに断りなく括弧を省いていますが、RQe0,e1 の部分代数だと思っているときは乗法単位元の書き方に注意が必要です: 適当な集合 S と写像 f:RS があったときの像を見るとしましょう。(1)R の像は本来 f((1)) と書かれるべきですが、いま言ったようにしばしば括弧を省くので f(1) とも書きます。一方で、Qe0,e1 の単位元 1R (この中でみれば空列のことです) にも含まれますが、この像も f(1) と書けるため混乱が生じます。めんどくさいので空列の記号は本記事には一切登場させないことにします (なので単位元は文脈から読み取ってください)。

一方で、解析的な議論により次がわかります:

多重ポリログの漸近挙動

いかなる k1,,kdZ1 を取っても、ある J>0 が存在して z+0
Li(k1,,kd;1z)=P(logz)+O(z(logz)J)
となるような P(x)C[x] が一意的に存在する。

この P の定数項を ζш(k1,,kd) と書くことが多いです。kd2 の場合には P は常に定数なので ζш|R=ζ が成り立ちます。実はこれに留まらず、「log の多項式オーダーで増加する量から定数項を取り出す」という操作 (これを正規化極限と呼びます) は存在する限り和と積を常に保存するため、ζш は (シャッフル積に関する) 代数射 RC にもなっています。

ここまでは多重ゼータ値に関する入門文献のほとんどに書いてあることですが、R におけるシャッフル積の定義は少々わかりづらいです: 正整数の組としてシャッフルを取っているわけではなく、ei たちのconcatenationだと思ったうえでシャッフル操作を行っています。
この記事は「実は前者を用いてもシャッフル関係式が説明できる」ということを述べるものです。

多重ゼータ値に限れば簡単にこの現象を垣間見ることができます: 母関数
Zag(X1,,Xd):=k1,,kd1ζш(k1,,kd)X1k11(X1+X2)k1+k2(X1++Xd)kd1C[[X1,,Xd]]
を考えましょう。これはもちろん
F(X1,,Xd):=k1,,kd1Li(k1,,kd;z)X1k11(X1+X2)k1+k2(X1++Xd)kd1
の係数ごとに正規化極限をとった級数になっているわけですが、Xi を十分小さい数だと思い、積分の変数変換 tzt を行うことで
F(X1,,Xd)=(1)d0=t0<t1<<td<td+1=1i=1d(k1ti<s1<<sk1<ti+1ds1s1dsk1sk1(X1++Xi)k1dtitiz1)=(1)d0=t0<t1<<td<td+1=1i=1d(k11(k1)!(ti<s<ti+1dss)k1(X1++Xi)k1dtitiz1)=(1)d0=t0<t1<<td<td+1=1i=1d(ti+1ti)X1++Xidtitiz1=(1)d0<t1<<td<1i=1dtiXidtitiz1
を得ます。したがって、積分範囲のシャッフルにより二つの F() たちはいくつかの F() たちの和で書け、その規則は Xi たちのシャッフルに従います: 言い換えれば、FQX1,X2,=spanQ{(X1,,Xd)d0} へ延長し、ここにシャッフル積を入れれば FQ 代数射になります。正規化極限を取れば Zag もまったく同じ性質を満たすことがわかります。ここまでは母関数の議論を行っていましたが、係数比較を行うことで次の定理を得ます:

シャッフル関係式のindexシャッフルによる言い換え

QZ1=spanQ{(k1,,kd)kiZ1} のシャッフル積を ш と書く。また、Zag(X1,,Xd)X1k11Xdkd1 の係数を A(k1,,kd) と書く: すなわち
A(k1,,kd):=l1,,ld1ni,j0 (1jid)ni,1++ni,i=li1nj,j++nd,j=kj(i=1d(li1)!ni,1!ni,i!)ζш(l1,,ld)
とおくと、Aш を保つ。

なんで?

実は「こう定義した Aш について代数射になっているなら ζшш を保つ」まで言えます。Qe0,e1шQ 代数だと思ったとき、deconcatenation ea1eaki=0kea1eaieai+1eak
およびconcatenationに関する準同型 ea0 によってHopf代数構造が入ります。これは無限次元なので双対空間 Qf0,f1 (fiei の双対) には完備Hopf代数構造が入ります。したがって、Q 代数 R および Q 線型な Z:Qe0,e1R があったとき、Zш に関する代数射であることは母関数
ΦZ:=a1,,ak{0,1}Z(ea1eak)fa1fak
Rf0,f1 においてgroup-likeであることと同値です。

さてこれは Qf0,f1 は二元 {f0,f1} で生成される自由 Lie 代数 f2 の完備普遍包絡代数 U^f2 と思えるわけですが、f2 の直和分解 Qf0D1f2 によって、部分 Lie 代数 D1f2 の完備普遍包絡代数 U^f2:=U^(D1f2) も考えることができます。実は構造定理 Qe0,e1R[e0] (ш を伴った Q 代数としての同型) が成り立つので、ZR からの Q 線型写像ということにしておいても、Z(e0n)=δn,0 としておくことでgroup-likeな ΦZ を得ることができます。

さて U^f2U^f2 の完備部分 Hopf 代数ですが、いまの Z の絞り方と e0f0 の双対であったことを思い出せば ΦZU^f2 となります。

一方、可換な母関数の集まり M:=d0R[[X1,,Xd]] およびそれを二つの行に延ばした M2:=d,d0R[[X1,,Xd+d]] を考えましょう。XZX1,X2, たちが張る Z 加群とし、QXZ のシャッフル積 ш
ωшη=α(XZ)×Sh(ω;ηα)α
と明示することにします。このとき MM に対し
Sh(M)(X1,,Xd;Xd+1,,Xd+d):=α(XZ)×Sh(X1,,Xd;Xd+1,,Xd+dα)M(α)
とすることで R 線型な Sh:MM2 が得られます。ここでなんと次の事実が成り立ちます:

  1. 畳み込み積によって M および M2 は非可換な R 代数になる。
  2. テンソルの両側の変数を分配する R 線型写像 M 2M2R 代数の同型 M^2M2 を誘導する。
    1. によって Sh を加群の射 MM^2 と思ったとき、これは R 代数の射になり、M は畳み込み積と Sh によって完備Hopf代数になる。
  3. Q 線型写像 A:RRш を保つことと、母関数 FA:=k1,,kd1A(k1,,kd)X1k11Xdkd1M の余積についてgroup-likeになることと同値。
  4. ma:(Uf2R)Mk0,,kd0ak0,,kdf0k0f1f0k1f1f0kdk1,,kd0ak1,,kdX1k1(X1+X2)k2(X1++Xd)kd で定めると、ma は完備Hopf代数の同型 (U(D1f2)R)M を誘導する。

この事実から、Aш を保つというのはその素直な母関数 FAM のgroup-like元であることにほかならず、それはさらに ma1(A)(U(D1f2)R) においてgroup-likeということであり、すなわち ma1(A) の各係数が ш を保つ (そして f0 で消えている) ことと同値です。これらのストーリーを ma1(A)=Zag とおいて適用すれば多重ゼータ値の場合を復元できます。

参考文献

[1]
N. Komiyama, On properties of adari(pal) and ganit(pic), arXiv:2110.04834
投稿日:202493
更新日:202493
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

KIRINJI/ICE BAHN/RED SPIDER

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. これはどういう文章ですか?
  2. 約束
  3. 観察
  4. なんで?
  5. 参考文献