16.加群の局所化と導分
加群の局所化は環に対する局所化と同様に定義される。加群の研究には系列を調べることが有効であったが、局所化は完全列を完全列へと写すという優れた性質を持つ。導分とは純代数的に定義される微分(のようなもの)である。導分に対する普遍性を満たす加群を構成できるが、今回はその加群が局所化と可換になることを示す。この事実が意味するのは、微分が局所的な概念であるということだろう。
加群の局所化
-加群及び乗法的集合に対して加群の局所化を定める。の元に対し、環の局所化と同様に同値関係を入れることで、その同値類全体は自然に-加群としての構造を持つ。(もちろん-加群でもある。)このをのによる局所化と呼ぶ。
最初の方で加群は環の表現であると述べたが、例えばリンゴ一個の半分とリンゴ半個の一つ分は同じ事象を表しているはずだ。実際加群の局所化と環の局所化との間には密接な関係があるのだが、それを記述するためには次回で学ぶテンソルという概念が必要となる。この後学ぶ導分はその布石という意味で紹介した。
-準同型に対し、-準同型をにより定めることができる。実際なら、あるによりとできるが、となりwell-definedが言える。特にが成り立つ。
命題 (局所化の完全性) は完全函手となる。つまり
が成り立つ。
(証明)を示せば良い。
系 局所化は部分加群による和と共通部分、そして剰余と可換となる。即ち次が成り立つ。
導分
代数及び-加群に対し、写像が次の三条件を満たすとき-導分(derivation)であるという。
- 任意のに対しが成り立つ。即ち加法的である。
- 任意のに対しが成り立つ。ライプニッツ則(Leibnitz rule)と呼ばれる。
- 任意のに対しが成り立つ。つまり-準同型となる。
三番目の条件は-定数(constant)(任意のに対し)としてもよい。(一番目と二番目の下で-準同型-定数が成り立つ。)
-導分全体をで表せば、自然に-加群となることに注意する。
一般によりとなる。つまり導分は-代数として、常に-導分である。この意味で-導分のことを相対的(relative)導分と呼ぶこともある。*1
導分に対して重要なのは、次の普遍性を満たす加群の存在である。
定理 を代数とする。-加群及び-導分が存在して、任意の-加群及び任意の-導分に対し、を満たす-準同型が唯一つ存在する。特には一意的である。
(証明)に対して記号を用意し、自由加群を定める。その部分加群を
と定める。このときの余核としてを取ればよい。つまりが完全系列を定める。をにより定めれば-導分となる。に対してはにより定めればよい。
以降の同値類をと表すことにする。
例 例えばのときを
により定めると、となる。
一般にに対し、が成り立つ。実際をにより定めればとなる。従って普遍性より-準同型を得る。これはを満たす。ただしは番目が、それ以外はのである元を表す。
さて、をにより定めれば-準同型でありを満たす。逆にに対しだから、となる。ここでをにより定めると、-導分となりを満たすことが分かる。故にライプニッツ則よりは恒等的にゼロとなるため、が従う。以上によりが示される。
最後に局所化との関係を見ておこう。
定理 を代数、を乗法的集合とする。このとき
が成り立つ。
(証明)-導分に対し、-導分を
により定めたい。まずはwell-definedであることを示そう。とする。あるによりがにおいて成り立つ。を作用させるとがにおいて成り立つ。を左から作用させるとの項が消え、となる。を再び作用させるとを得る。ここでであったから、が従う。故に
がにおいて成り立つ。つまりはwell-definedであることが分かる。また-導分であることも分かる。
の普遍性より-準同型を得る。定理の同型を得るためには、これが全単射となることを示せば良い。全射性はに対しを取ればよい。実際より
が分かる。*4単射性を示すためにを考える。これも-導分であるから、の普遍性より-準同型を得る。とする。あるが存在してがにおいて成り立つ。従ってが成り立つ。ところでだから
が従う。
この定理は後で別の証明を与える。
所感
実の所自分はこの導分についてあまり理解がない。代数的整数論や代数幾何において、技術的な面での重要さは勿論あるだろう。しかし-導分の核は、積による分解が少ないとゼロになる可能性が減るという意味で積の複雑さを表していると言えるのだから、環論的にもかなり重要な概念だと思われる。素朴にとの差も気になる。とは言えmath overflowには関数論的な微分の方が真に強いといった議論もあるため何とも言えない。ZFでは示せない可能性もある。いずれにせよ関数論における微分は普遍性以上の何かを持っている。それはやはり極限操作に基づく何かなのだろうか。誰か知ってたら教えて欲しい。*5
*1:そもそも導分ではなく微分(differential)と呼ぶ人もいる。
*2:人により(相対)ケーラー微分(形式)などと呼ばれることもあるが、本稿では導分という言葉で統一することにした。ちなみに微分というよりは微分形式に近い。いやむしろ積分形式? と言った方が妥当なのかもしれない。この双対を取った方が良いという議論もある。ライプニッツ則より定まる最も弱い微分、程度に理解しておくのが良いのかもしれない。というか自分もそれ以上の理解は知らない。
*3:はと書いた方が良いかもしれないが、多くの場合がを部分環として含む場合を考えるので、慣例と簡略化の為に環の拡大の記号を援用した。
*4:ところでは全射とは限らない(つまり積分ができるとは限らない)のには全射になるのが興味深い。
*5:環論について纏め始めた理由の一つに導分をちゃんと理解したいという思いが密かにある。