余代数のグラフ表現について
誕生日パラドックス→ベルヌーイ数ちゃんと知らないなぁ→umbral calculus(陰計算)という擬数学があるらしい→余代数で正当化できるらしい→余代数に興味が沸いた
ということで余代数を少し学んだので知識の整理をする。オリジナルと言うほどでもないけど、幾つかの例はグラフ余代数と呼ばれる例(の剰余)で表せることを考えた。この注意について言及がある本やPDFは未だ見ていないので、何か文献が有れば教えて欲しい。
代数
代数(algebra)とは、可換環論の文脈において環準同型を指す。これはアティマクに倣ったもので「ざっくり学ぶ可換環論」でも踏襲している。ところがより広い文脈では、-加群(このは可換環)であって、結合的かつ和に関して分配的な積演算が定義され、がで成り立つものを指す。特に両側単位的な元を持つことを要請する場合もあるが、いずれにせよ積の可換性を仮定しない。可換環論の立場なら斜代数(skew-algebra)とでも呼ぶべきなのかもしれないが、実は広義の方の定義を三つ組みで表現することができる。
は-代数、は-双線型写像、は-準同型とする。またを誘導された準同型とする。また
及び
及び
がそれぞれ一致することを仮定する。(図式で書ければ一目瞭然なのだが。)このときを広義の代数とみなせ、また逆に広義の代数はこのような写像を定め、お互いに復元できる。従って広義の代数を代数と表すことができ、表記の上で狭義の代数と区別できる。
余代数
-加群及び準同型が上の図式の双対図を満たすとき、組を余代数(coalgebra)と呼ぶ。例は豊富にあるのでいくつか紹介しよう。
例1:を集合、として、と定める。天野勝利氏のPDFに依れば差分作用素に対応する。
例2:として、、と定める。微分作用素らしい。
例3:として、、はクロネッカーのデルタ、と定める。高階導分に対応するそうだ。
例4:上で
としたものはdivided power coalgebraと呼ばれる余代数となる。
例5:他にもとして、、と定めたのはtrigonometric coalgebraと呼ばれる。
例6:またで表されるのがとして、(テンソルは適宜省略する)、と定めた余代数。
例7:行列余代数というのはで、基底に対してと定めたもの。
を頂点とする有向グラフを考えよう。(は必ずしも加算である必要は多分ないが、一応可算としておく。)が推移的(なら)で、局所有限(に対し、なるは高々有限個)とする。辺をと表し、と置く。更に
と定めれば、は余代数となる。便宜上、グラフ余代数と呼ぶことにする。
例との関係を見てみよう。
例1について:として、としたものに他ならない。
例6について:としたものに他ならない。実際である。
例7について:としてとしたものに他ならない。
余イデアルと剰余余代数
余代数の部分加群を考える。剰余加群を余代数とみることができないだろうか? 一般には勿論不可能だが、余イデアルという状況を考えれば可能となる。
まず基本となるのは完全系列である。テンソル積の右完全性より
は完全となる。テンソルの順序を交換する同型を施せば
も完全となる。また同様にをテンソルして、更にを施せば、完全系列
を得る。特に写像の作り方より
は一致する(可換)ので、これをと置く。
今がを満たすと仮定する。このときならが従うので、この写像はを誘導する。これは余代数の図式を満たす。
またを満たすなら、が誘導され図式を満たす。
定義 が余イデアルとは、を満たすことをいう。このときは余代数を定める。これをによる剰余余代数と呼ぶ。
上の完全系列よりが従う。これは具体的に条件を満たすかどうかを判定するのに都合が良い。
例との関係を見てみよう。以降は適宜省略する。
例5について:サイズの行列余代数(と置く)において、で生成される部分加群は余イデアルとなり、その剰余余代数となる。実際
であり、それぞれ第項はの元、項はの元となる。つまり余イデアルであることが分かる。行列余代数を歪対称に折り曲げたイメージだろうか。
例2について:例6のによる剰余となる。
例3について:確かめてないが次のようにして構成できるだろう。のときとなるグラフを考える。このときで生成される部分加群は余イデアルとなり、その剰余余代数となる。とすればよい。
一般化
上記のままだと例4の説明がつかない。そこでグラフ余代数を見直すことを考える。を添え字集合としての自由加群を与え、(適切な意味で)推移的かつ局所有限な重み付けを用意して、
が余代数になるような条件を適当に仮定する。このように解釈すれば、係数をに拡張した余代数を定義できる。例3で剰余を取る前に、重みとしてを考えれば多分上手く行く…気がする。上手くいくなら、一つの予想として余代数は全てこの形に表せることが立つ。任意の加群が自由加群の剰余加群として表されたように、余代数も「自由余代数」の剰余余代数として表されるのではないか。「自由余代数」はグラフの形が影響するので、自由加群よりずっと豊かな理論が広がっているだろう。
ちなみに余代数の圏はアーベル圏にはならない。何故かと言うと余代数準同型が自然に定義できるが、核()は余イデアルにならない。一般にであって、逆が成り立つとは限らない。が全射なら成り立つそうだ。
参考文献
天野勝利. Hopf 代数とは. PDFファイル.
天野勝利. 代数学I (Hopf 代数と量子群の入門). PDFファイル.
John W. Milnor and John C. Moore. On the Structure of Hopf Algebras. The Annals of Mathematics, Second Series, Vol. 81, No. 2 (Mar., 1965), pp. 211-264.