重み付き余代数グラフ(weighted graph coalgebra)
以前「余代数のグラフ表現について」という記事を書いた。
最後の方に述べた注意で、例4に挙げたdivided power coalgebraはグラフ余代数(またはその剰余)として表すことが出来ない(知られていない)が、適切な重みを付けてやれば良いだろうと書いた。最近になって真面目に計算してみたら、2変数の重み付けではダメで3変数にしたらいい感じになったので報告しておく。
グラフ余代数
まず簡単なおさらいから始めよう。
は可換環とする。を頂点とする有向グラフは反射的()かつ推移的(なら)かつ局所有限()であるとする。辺の自由加群において、
及びと定めると組は余代数を定める。即ち
が成り立つ。この余代数をグラフ余代数と呼ぶ。
一方のdivided power coalgebraとはとして、
及びはクロネッカーのデルタ、と定めたものだ。係数が違うのでグラフ余代数ではない。
重み付きグラフ余代数(weighted graph coalgebra)を以下で定めよう。「重み」とはに対するのことである。
定理 重みは以下の条件を満たすとする。
このとき
は余代数を定める。
定義 上記を重み付きグラフ余代数と呼ぶ。
例えば先ほどのdivided power coalgebraは、についてとしたときの、
による重み付きグラフ余代数である。
数論的関数に関する例
最近、数論的関数について調べていたのもあり、面白そうな例を思いついた。
についてのときと定める。これは推移的かつ局所有限である。今とし、数論的関数による重み付けを考えたい。重みを
と定めると、上記の条件を満たすにはであればよい。つまりconvolutionで可逆でない数論的関数に対し、重み付けグラフ余代数が定義できる。
もちろん重みの付け方は他にもあるだろう。いずれにせよ(重み付け)グラフ余代数は例が非常に豊富なので、何か新しいことができる予感はある。「こんな結果があるよ」というのがあれば、コメントなり表示名 - Mathtodonなりで是非教えてください。