これはどういう文章ですか?
多重ゼータ値の文脈においてしばしば現れるシャッフル積 (たとえば ) とindexのシャッフル積 (たとえば ) との関係を述べたものです。肝心なところはすべて参考文献に放り投げているためあまり中身がありません。
約束
代数は常に結合的かつ単位元を伴うものとします。
観察
通常の多重ゼータ値のケースを考えましょう。ナイーブには正整数 () に対し
で定義される実数 ( のときは ) が多重ゼータ値ですが、これは反復積分表示を持ちます: (, ) に対し
とおく ( のときは ) と
が成り立ちます。この段階で、二つの多重ゼータ値の積はいくつかの多重ゼータ値の和に分解されることがわかります: たとえば
ですが、右辺の積分範囲を と の大小関係ごとに分割すれば が得られます。
このような状況を整理すべく、次の定式化を導入します:
シャッフル積
を集合、 を体とする。このとき が生成する自由モノイド が 上で張るベクトル空間を と書き、 の単位元に を作用させることで とみなす。 の元 と に対して と規定し、また
と定めることで帰納的に二項演算 が定まる。これをシャッフル積と呼ぶ。
上記の設定で、 は必ず可換な 代数になります (証明は省略)。
ここで使うのは二元集合 と係数体 に伴う 上のシャッフル積です (記号は変わらず を使います)。いま を の 線型延長として定めれば、先ほどの を観察したときのような議論で が 代数射になることがわかります (厳密には文字数に関する帰納法を使えばよいです)。したがって、多重ゼータ値の反復積分表示にもとづいて正整数のtupleの集合 (つまり の定義域) を の部分集合であると考え、シャッフル積をエンコードしてやることで (の線型延長) が代数射として振る舞うことになります。この性質のことをシャッフル関係式と呼びます。少し煩雑ですが、改めて主張を明示しておきます:
シャッフル関係式
正整数の組 ( もしくは ) すべてが張る ベクトル空間を と書き, 対応
によって を の部分空間とみなす。このとき は部分空間であるだけではなく (シャッフル積に関する) 部分 代数になっており、 は代数射を引き起こす。
さて、反復積分表示に基づいて多重ゼータ値のシャッフル正規化が定義されます: 積分範囲を一般化し, 実数 に対し
というものを考えましょう。定義域は先ほどとほぼ同じですが、 という制約はなくてもかまいません。したがって、多重ゼータ値の反復積分表示の右辺の一般化
は でも意味を持ちます。この量のことを と書くことにすれば、先ほどとまったく同様の議論で は 代数射となります (ただし定義域を右端成分に関する制約のない に広げる必要あり。やはりこの場合でもシャッフル積についての部分代数にはなります)。
単位元の記法
あるいはその部分集合からの写像を扱うときに断りなく括弧を省いていますが、 を の部分代数だと思っているときは乗法単位元の書き方に注意が必要です: 適当な集合 と写像 があったときの像を見るとしましょう。 の像は本来 と書かれるべきですが、いま言ったようにしばしば括弧を省くので とも書きます。一方で、 の単位元 は (この中でみれば空列のことです) にも含まれますが、この像も と書けるため混乱が生じます。めんどくさいので空列の記号は本記事には一切登場させないことにします (なので単位元は文脈から読み取ってください)。
一方で、解析的な議論により次がわかります:
多重ポリログの漸近挙動
いかなる を取っても、ある が存在して で
となるような が一意的に存在する。
この の定数項を と書くことが多いです。 の場合には は常に定数なので が成り立ちます。実はこれに留まらず、「 の多項式オーダーで増加する量から定数項を取り出す」という操作 (これを正規化極限と呼びます) は存在する限り和と積を常に保存するため、 は (シャッフル積に関する) 代数射 にもなっています。
ここまでは多重ゼータ値に関する入門文献のほとんどに書いてあることですが、 におけるシャッフル積の定義は少々わかりづらいです: 正整数の組としてシャッフルを取っているわけではなく、 たちのconcatenationだと思ったうえでシャッフル操作を行っています。
この記事は「実は前者を用いてもシャッフル関係式が説明できる」ということを述べるものです。
多重ゼータ値に限れば簡単にこの現象を垣間見ることができます: 母関数
を考えましょう。これはもちろん
の係数ごとに正規化極限をとった級数になっているわけですが、 を十分小さい数だと思い、積分の変数変換 を行うことで
を得ます。したがって、積分範囲のシャッフルにより二つの たちはいくつかの たちの和で書け、その規則は たちのシャッフルに従います: 言い換えれば、 を へ延長し、ここにシャッフル積を入れれば は 代数射になります。正規化極限を取れば もまったく同じ性質を満たすことがわかります。ここまでは母関数の議論を行っていましたが、係数比較を行うことで次の定理を得ます:
シャッフル関係式のindexシャッフルによる言い換え
のシャッフル積を と書く。また、 の の係数を と書く: すなわち
とおくと、 は を保つ。
なんで?
実は「こう定義した が について代数射になっているなら が を保つ」まで言えます。 を で 代数だと思ったとき、deconcatenation
およびconcatenationに関する準同型 によってHopf代数構造が入ります。これは無限次元なので双対空間 ( は の双対) には完備Hopf代数構造が入ります。したがって、 代数 および 線型な があったとき、 が に関する代数射であることは母関数
が においてgroup-likeであることと同値です。
さてこれは は二元 で生成される自由 Lie 代数 の完備普遍包絡代数 と思えるわけですが、 の直和分解 によって、部分 Lie 代数 の完備普遍包絡代数 も考えることができます。実は構造定理 ( を伴った 代数としての同型) が成り立つので、 が からの 線型写像ということにしておいても、 としておくことでgroup-likeな を得ることができます。
さて は の完備部分 Hopf 代数ですが、いまの の絞り方と が の双対であったことを思い出せば となります。
一方、可換な母関数の集まり およびそれを二つの行に延ばした を考えましょう。 を たちが張る 加群とし、 のシャッフル積 を
と明示することにします。このとき に対し
とすることで 線型な が得られます。ここでなんと次の事実が成り立ちます:
- 畳み込み積によって および は非可換な 代数になる。
- テンソルの両側の変数を分配する 線型写像 は 代数の同型 を誘導する。
-
- によって を加群の射 と思ったとき、これは 代数の射になり、 は畳み込み積と によって完備Hopf代数になる。
- 線型写像 が を保つことと、母関数 が の余積についてgroup-likeになることと同値。
- を で定めると、 は完備Hopf代数の同型 を誘導する。
この事実から、 が を保つというのはその素直な母関数 が のgroup-like元であることにほかならず、それはさらに が においてgroup-likeということであり、すなわち の各係数が を保つ (そして で消えている) ことと同値です。これらのストーリーを とおいて適用すれば多重ゼータ値の場合を復元できます。