先週の記事「リー/ラインハート代数とその周辺 // 階付きベクトル空間」で階付きベクトル空間〈graded vector space〉の紹介をしました。この記事で、階付きベクトル空間のもう少し詳しい話をします。特に、階付き対象のあいだの射を再階付けモノイドという概念で整理します。
内容:
階付き対象と階付けの変更
を圏として、整数でインデックスされた の対象達 を、 の階付き対象〈graded object〉と呼びます。 なら階付き集合、 なら階付き-ベクトル空間になります。
階付き対象 を とも書きます。右肩の黒丸は整数インデックスを書く場所を示すアノテーションで、なくても意味は変わりません。つまり、 。関数 を と書くのと同じことです。また、右下付きの はラムダ式の と同じです。右肩の黒丸があると、ひと目で階付き対象だと分かるので、ここでは右肩黒丸を付けます。
与えられた階付き対象 の階付け〈grading | graduation | indexing〉を変える方法として、左シフト〈left shift〉 と一般のシフト は紹介しました*1。
階付けの反転〈reversing〉を次のように定義します。
シフトと反転を組み合わせると、例えば次のような階付けを定義できます。
シフトと反転があればたいてい間に合いますが、より一般的な階付けの変更も定義しておきます。写像 は一次関数だとします。つまり、適当な整数 が在って、 と書けます。
一次関数 を使って、次のように階付けの変更ができます。
一次関数をラムダ式で書くことにして、次は階付け変更の例です。
再階付けモノイドと階付き対象の圏
が圏だとして、階付き対象を対象として、階付けを保存する射の集まりを射とする圏を とします。 と置いて具体的に書くと:
- の対象は の階付き対象
- 階付き対象 のあいだの射は、インデックスされた の射
- 射の結合は成分ごとの結合
- 恒等射 は
この は射が少なすぎて困ることがあるのでもっと一般化します。一次関数による階付けの変更を許します。 を整数から整数への一次関数の全体からなるモノイドとします。モノイドの乗法は関数の結合〈合成〉、モノイドの単位元は恒等関数です。"AFL"は affine linear function の頭文字です。
一次関数 に対して、集合 を次のように定義します。
さらに、モノイド の部分モノイド に対して次のように定義します。
をホムセットとする圏を定義できます。それを とします。最初に定義した は、 です。この方法で定義できる最も大きな圏は ですが、大きすぎるかも知れません。
よく使うモノイド として次の2つがあります。
は任意の整数による階付けのシフト〈ずらし〉を含むモノイドです。 はシフトと反転を組み合わせた関数を含むモノイドです。階付き対象の圏としては、 が多く使われるようです。
階付け変更のために選ぶモノイド を再階付けモノイド〈regrading monoid〉と呼ぶことにします。そして、再階付けモノイドの要素である一次関数は再階付け関数〈regrading function〉と呼びます。
射 は、再階付け関数 をもちいて と書けます。この再階付け関数 は一意に決まるので、
と書くことにします。 は、射 の次数〈階数〉の一般化です。 ならば、 は単一の整数で表現できて、それが射の次数〈階数〉です。
目的に応じて再階付けモノイド をうまく選んで階付き対象の圏 を作ることが重要です。
階付き対象のモノイド積
はモノイド圏とします。記号の乱用で と書きます。 がモノイド圏でも、階付き対象の圏 にモノイド圏の構造を入れられるとは限りません。 に直和と始対象も要求します。直和と始対象もモノイド積の形で与えらるとします。つまり、モノイド積 とは別にもうひとつのモノイド圏構造 を備えています。さらに、モノイド積は直和に対して分配するとします。
2つのモノイド積を持ち、分配法則を満たすような圏を僕は半環圏〈semiringal category | semiring category〉と呼んでいます。厳密でない半環圏では分配法則も同型で与えられるので、その同型法則を支配する法則(一貫性)が必要になります。半環圏のちゃんとした定義は大変です。
分配法則に関しては次の論文が参考になります。
- Title: Differential 2-rigs
- Submitted: 1 Mar 2021
- Authors: Fabrizio Genovese, Fosco Loregian
- Pages: 32p
- URL: https://arxiv.org/abs/2103.00938
今回は、だいたいの話でいいとします。
ベースとなる圏 の例としては、集合圏に直積・直和を一緒に考えた圏 とベクトル空間の圏にテンソル積・双積を一緒に考えた圏 があります。
さて、 がモノイド積と直和を持つ半環圏として、階付き対象のモノイド圏 を構成します。(非自明な)再階付けモノイドを考えませんが、後から再階付けモノイドを組み入れることができます。
階付き対象 に対して、そのモノイド積と単位対象を次のように定義します。
は、「リー/ラインハート代数とその周辺 // 階付きベクトル空間」で述べた“0に集中した階付き対象”です。
次の同型が成立します。
同型を示すだけ(一貫性まで考えない)なら、分配法則を使った計算をすればOKです。ひとつだけやってみます。
ベースとなる圏がモノイド積と直和に関して半環圏ならば、階付き対象の圏にモノイド積が入ることが(おおよそは)分かったでしょう。射に対するモノイド積や再階付けモノイドによる射の拡張などもこの枠組み内で出来ます。
双対の階付け
「リー/ラインハート代数とその周辺 // 階付きベクトル空間」では、階付きベクトル空間の圏を と書きましたが、今まで述べたことを使って正確に書くと:
再階付けには一般的シフトと反転を許します。ベクトル空間/線形写像のテンソル積と双積を考えているので、階付きベクトル空間の圏にもテンソル積が入ります。
線形代数では、しばしば双対空間を考えるので、階付きベクトル空間の双対階付きベクトル空間を定義しておきましょう。通常の(階付きではない)ベクトル空間 の双対空間は と書きます。階付きベクトル空間 の双対階付きベクトル空間は と書いて区別することにします。
は次のように定義します。
- 同じことだが
つまり、成分ごとに双対ベクトル空間をとって階付けを反転します。階付けが反転するので、例えば、 が非負領域に集中〈concentrate〉しているとき は非正領域に集中します。
双対に伴う標準ペアリング〈canonical pairing〉を と書くと、次のようになります。
標準ペアリングは階数0の階付き双線形写像であり、余域である は0に集中しているので、意味のある成分は だけです。
域のテンソル積を展開してみると:
は通常の標準ペアリング双線形写像とすればいいわけです。
コホモロジーとホモロジーの双対性を議論するときなどは、 という添字付けの約束を採用すると便利です。
階付き拡張
主に階付きベクトル空間について述べてきましたが、階付き代数〈階付き多元環〉、階付き可換代数、階付きリー代数、階付きベクトルバンドル、 ‥‥ のように、何でも階付き対象にできます。
階付きでなかったモノを階付きに拡張すると面白くなることがあります。「とりあえず階付きバージョンを考えてみる」というのもいいかも知れまませんね。
*1:左シフトは、正確には「左にひとつだけシフト」です。