What is connector?
この記事はこの曲を聴きながら読むのがオススメです:
Prince & 3rdEyeGirl - FIXURLIFEUP
Prince & 3RDEYEGIRL Fixurlifeup hd720
2018 年 6 月 12 日、arXiv に論文
が投稿されました。本記事は、この論文で導入された素晴らしい概念「コネクター」について解説を試みたものです。実はこの論文の著者・関真一朗さんによるこれまた素晴らしいブログ記事
において解説がなされているのですが、自分の理解を深めることと、今後の準備のため、自力で解説を書いてみることにしました。殆どが上記記事の焼き直しになってしまうかと思いますが、どうかご容赦ください。
前提知識とモチベーション
多重ゼータ値について多少の知識がある方はこの節を読み飛ばしても構いません。
正整数 個の組 を インデックス と呼びます。最後の成分 が より大きいとき、許容インデックス と呼びます。インデックス の成分の個数 を 深さ といい、 と書きます。また、成分の総和を 重さ といい、 と書きます。
深さ のインデックスがただ一つあると考え、 で書きます (しばしば空インデックスとかいいます)。空インデックスも許容インデックスということにしておきましょう。
許容インデックス に対し、級数
を 多重ゼータ値 と呼びます。英称 Multiple zeta value に由来した MZV という略称を使うこともあります。後々のために とおいておきましょう。
多重ゼータ値の間に成り立つ様々な関係式が今までの研究で知られています。その概略については九大のレクチャーノートとして出版された荒川先生、金子先生の解説 pdf
http://gcoe-mi.jp/temp/publish/b3ab8d917d96ba8e8fb37328483cbd01.pdf
や2年前の整数論サマースクール報告集の冒頭を飾った金子先生の記事
http://www.ist.aichi-pu.ac.jp/~tasaka/ss2018/1.pdf
を見るとわかりやすいです。また、Wikipedia の記事
にも簡単な解説が載せられています。
その中でも 双対性 と呼ばれる一連の関係式族に注目することとしましょう。インデックス の 以上の成分の個数を 高さ といい と書きます。
許容インデックス の高さを簡単のため と書くと、 は正整数 を用いて
という風に一意に表示できます。ここで は を 個並べたものです。例えば だと
という具合なので、
となりますね。
さてこの表示を用いて、新たな許容インデックス
が定まります。これを の 双対インデックス と呼び、 と書きます。たとえばさっきの例 だと、
なので、 ですね。
Hoffman 代数での定式化も説明しておきましょう。
係数の二変数非可換多項式環 を考えて、この部分代数 と を定めておきます。インデックス が word (単項式) に対応し、空インデックスが空 word に対応すると思うと、任意のインデックスがちょうど の単項式に対応します。許容インデックスは に対応しますね。
さて、 上の反自己同型 を で定めます。補足しておくと、写像 が 上の反自己同型であるとは、任意の に対し となることです。
この言葉を使うと、許容インデックス に対応する word を と書いたとき に対応する許容インデックスが であるということができます。
例えばインデックス は word に対応し、これに対して での移り先を計算すると
という具合になります。 に対応する許容インデックスはきちんと に対応しますね。
以上の準備の下、次の定理が成立します。
許容インデックス に対し
が成り立つ。
この定理を 双対性 と呼びます。多重ゼータ値には Kontsevich の発見した 反復積分表示 という事実があり、これを使うと双対性はほとんど自明に証明されてしまう一方、級数表示だけを弄って証明する方法は知られていませんでした。その障壁を取り払うのがコネクターの発想の元です。
コネクターによる双対性の証明
正整数 に対し、双対性の コネクター を
で定めます。これを用いて、二つのインデックス に対し、連結和 を
で定めます。文字通り、二つの多重ゼータ値 をコネクター で繋いだ形の和ですね。
さて、インデックス に対し
とおきます。Hoffman 代数でいうと、 は右端に をつけることに対応し、 は右端に をつけることに対応します。
定義より明らかに
ですが、 に関する和だけ取り出すと
となります。これをもとの表示に代入すると
であるため、結局
がわかります。また、対称性 が自明に成り立つので、
も確かですね。この二本の等式を合わせて 輸送関係式 と呼びます。なぜ輸送と呼ばれるのかですが、例えばこれを用いて
という具合の変形ができますが、これを見るとまさに左側の を右側の に、左側の を右側の に「輸送」している感じがしますね。一方、先ほど言ったように、Hoffman 代数だと右矢印は に、上矢印は に対応するので、輸送関係式を繰り返し適用することは即ち
「 を に、 を に輸送する」
こととなります。ところでこれはまさに、反自己同型 の定義ですね!!!
ということで、輸送関係式を繰り返し適用することで双対性が証明できることが確認できました。
いかがでしたか?
大野関係式への応用
大野関係式について復習しておきましょう。許容インデックス と非負整数 に対し
とおき、これを 大野和 と呼びます。大野関係式は次の定理です:
許容インデックス と非負整数 に対し
が成り立つ。
もちろん大野和は のとき多重ゼータ値に一致する ので、大野関係式は双対性を含んでいることがわかります。さて大野関係式の証明ですが、 に関する母関数を と書くと
となります。この母関数の双対性 を示すことができたなら、係数比較して大野関係式を取り出すことができます。ではこの母関数を適切なコネクターで繋いで輸送関係式を準備すればいいわけですが、今度は
とおいてみましょう。ここで は Pochhammer 記号です。
連結和も同様に
と定めておくと、
となり、双対性のときと同じように に関する和だけ取り出すと
と計算できます。故に全く同様の輸送関係式
が成り立ち、以降は全く同様の議論により大野関係式 が証明できます。
さらなる応用と関連する話題
-類似の世界では積分の変数変換が通常よりも難しい (はっきりとした理論がまだ構築されていない) ために、-双対性の積分表示による「自明」な証明はありませんでしたが、コネクターは級数の変形しか用いていないため、 のついた世界でもそのまま適用することができます。コネクターの形は、双対性と大野関係式の場合でそれぞれ
となります。ここで
は -階乗で、
とおきました。このコネクターによる -双対性および -大野関係式の証明は読者の演習問題とします。
また、コネクターによる証明法を 連結和法 といったり、あるいは輸送を通じてダイナミックに証明されているとみて 動的証明法 といったりしますが、関真一朗さんによる RIMS での講演のサーベイ
では、大野関係式以外にも様々な多重ゼータ値の関係式が連結和法で証明できることが記されています。