前回の記事「概リー/ラインハート代数」において、リー/ラインハート代数の条件〈公理〉を少しゆるくした代数系である概リー/ラインハート代数〈almost Lie-Rinehart algebra〉を定義しました。これはリー/ラインハート代数の一般化と言えます。
「リー/ラインハート代数とその周辺 // そしてそれから」で、リー/ラインハート代数の一般化の方向性を幾つか列挙しておきました。その2番目に:
今日はこの層論化をやってみます。概リー/ラインハート代数層を定義します。
内容:
ネーミングと記号の約束
概リー/ラインハート代数の構成素(の役割)に英字1文字から3文字で名前を付けます。
- A : associative algebra から。可換代数〈環〉
- B : bracket から。括弧積マグマ。
- ls : left scalar multiplication から。加群の左スカラー倍。
- rs : right scalar multiplication から。加群の右スカラー倍。
- der : derivation action から。導分作用。
小文字は写像ですが、すべて-ベクトル空間の射です(
は基礎体)。アンダーラインは、可換代数/括弧積マグマの台ベクトル空間〈underlying vector space〉を示します。
以下では、いちいちアンダーラインを付けるのは省略します。可換代数上の加群を考えているので、左スカラー倍があれば右スカラー倍は定義できます。よって、右スカラー倍は通常は構成素には入れません。
概リー/ラインハート代数を一文字 で表した場合、
と書きます。左スカラー倍と導分作用を中置演算子記号で表す場合は
。右スカラー倍も同じ中置演算子記号を使います。さらに、下付き添字は適宜省略し、左右のスカラー倍は単に併置で表すこともあります。略記することを
で表すと:
を
と省略してしまうとさすがにワケワカランになるので省略しません。
概リー/ラインハート代数のあいだの射の構成素は2つあったので、 と書きます。
をそれぞれ(射の)Aパート、Bパートと呼ぶことにします。Aパートは可換代数射、Bパートは単なる線形写像です。ただし、「概リー/ラインハート代数」で述べた公理は満たします。Aパートの向きが逆であることに注意してください。
層と前層
層は、層条件〈貼り合わせ条件〉を満たす前層として扱います。が、この記事は主に計算方法の話なので層条件はあまり気にしません。特に、引き戻し層は(層にならないかもしれない)前層のままで扱います。また、軟層〈soft sheaf〉、細層〈fine sheaf〉といった議論はサボります。総じて、層と言いながらも前層の計算を扱っています。
位相空間 を
と書きます。台集合
は単なる集合ですが、アンダーラインは省略することがあります(記号の乱用)。開集合の集合
は包含順序から圏とみなします。が、圏としての対象集合
を単に
と書きます(サボリ記法)。
が集合層のとき、層のあいだの射は自然変換
です。自然変換の成分は通常次のように書きます。
しかし、右下添字は他の用途で使うので、開集合を左肩に乗せることにします。
位相空間の任意の部分集合(開集合とは限らない) に対して、
と定義します。 が層/前層のとき、
を次のように定義します。
これは層の茎〈stalk〉と同じ定義です。一点集合以外の集合にも茎を定義したことになります。この記法を使うと、層の引き戻し前層(もはや層ではないかも知れない)の記述が楽になります。
位相空間上の概リー/ラインハート代数層
を、基礎体
上の概リー/ラインハート代数〈almost Lie-Rinehart algebra〉の圏とします(「概リー/ラインハート代数」参照)。
は位相空間とします。
上の概リー/ラインハート代数前層〈almost Lie-Rinehart algebra sheaf〉の圏は次のように定義されます。
ここでのブラケットは関手圏〈functor category〉を表します。
が概リー/ラインハート代数前層のとき、開集合
での値は概リー/ラインハート代数になるので次のように書けます。
概リー/ラインハート代数前層のあいだの射 は次のようです。
のなかで層条件を満たす前層(つまり層)からなる部分圏を
とします。前節で述べたように、層条件にはあまり触れないので、ほぼ前層の計算をします。
層/前層の前送りと引き戻し
同じ位相空間の上の概リー/ラインハート代数層のあいだの射は前節で定義しました。が、2つの概リー/ラインハート代数層が異なる空間に載っている場合; のときの射
は定義していません。定義しましょう。まず、そのために準備をします。
を連続写像とします。
は、次のような集合前層圏のあいだの関手を誘導します。
これらは次のように定義されます。
を
の前送り前層〈pushforward presheaf〉(または順像)、
を
の引き戻し前層〈pullback sheaf〉(または逆像)と呼びます。今回使うのは引き戻し前層です。
層の場合も前層と同様にして前送りと引き戻しが定義できます。その結果が再び層になるとは限りませんが、そこは気にしないことにします。計算は前層レベルで出来るので。
が関手になることを示すには、前層/層のあいだの射(実体は自然変換)に対して前送り/引き戻しが定義できて、
が関手条件〈関手性〉を満たすことを示す必要がありますが、それは容易です。
以上の話は集合前層/集合層の前送り・引き戻しですが、集合層の上に構築された構造、例えばモノイド層やベクトル空間層*1も同様に前送り・引き戻しできます。例えば、位相空間 上の概リー/ラインハート代数層
があるとき、その導分作用が次のようだとします。
これを で引き戻すと次の図式になります。
関手 は可換図式(等式的法則)を可換図式に移すので、概リー/ラインハート代数層の法則〈公理〉も関手で移されて、
上の概リー/ラインハート代数から
上の概リー/ラインハート代数層(あるいは前層)が得られます。
概リー/ラインハート代数層のあいだの射
に対する射
は3つの構成素からなります。
の C は carrier〈担体〉のつもりです。
のペアは、
上の概リー/ラインハート代数前層のあいだの射となります。
開集合 に対する成分は次のようになります。
定義により展開すれば:
おわりに
位相空間 と圏
があると、
は決まった手順で作れます。また、
に対する
の作り方も手順が決まっています。
結局、概リー/ラインハート代数を層論化して概リー/ラインハート代数前層、概リー/ラインハート代数層を作ることは、決まった手順に従うだけです。その意味で特に工夫は要りません。やってみただけです。ただし、やり方が幾つかあるので、今回のこのやり方が最適だったかはまだ分かりません。調べる必要があります。
ところで、この記事を書いていて「層と前層の区別がめんどくさいなー」と感じました。位相空間の代わりにサイト〈site〉を使うと、サイトが自明トポロジーを持てば、そのサイト上の層は前層のことです。つまり、前層は層の一種として扱えます。 をサイトとして、前層も込みで
と書くのが楽ちんな気がします。とはいえ、サイトを使った層論を僕が理解してない、という問題が ‥‥