19.ケーラー導分の第二完全系列
今回はケーラー導分のまとめとして、剰余環の導分を計算する際に有用な第二完全系列を紹介する。
テンソル函手の右完全性
ホム函手の左完全性は逆についても成り立つ。
命題 -加群の系列に対し、次が成り立つ。
- 任意の-加群に対し
ならは完全系列となる。
- 任意の-加群に対し
ならは完全系列となる。
(証明)一番目はがにより得られることによる。逆はに対しが対応する。二番目を示そう。と置き、を自然な準同型とする。だが、は単射であるからが従う。即ちは全射である。次にを取る。よりが分かる。最後にと置き、を自然な準同型とする。よりを得る。よってあるが存在してとなる。故にが従う。
この命題よりテンソル函手の右完全性が従う。
命題 加群のテンソルは右完全共変函手となる。即ち-加群の系列に対し、
であることと、任意の-加群に対し
であることは同値となる。更に代数に対してとしたとき、上の系列は-加群としての完全系列を与える。
(証明)を取れば下から上が示せる。を-加群とし、を取る。ホム函手の左完全性より
は完全系列となる。ところでであったから、先の命題より
は完全系列となる。
ケーラー導分の第二完全系列
代数及びイデアルに対し、剰余環のケーラー導分を調べたい。第一完全系列よりを得るが、ここでは全射だからとなる。従ってにより定まる全射の核を求めてみよう。
をにより定めれば-準同型となる。ここでに対しよりの元はゼロへ写る。故に-準同型が誘導される。
定理 (ケーラー導分の第二完全系列) 代数及びイデアルに対し、
は-加群の完全系列となる。
(証明)まずは-準同型、特に-準同型である。実際に対し
となる。としてよりが成り立つ。逆の包含を示せばよい。
を取る。このときがで成り立つ。ここでを考えれば可換であり、とが可換となるを得る。このとき前回の補題よりが従う。ところでより、適当なにより、と表せる。ここでであるから、を取れば、は-導分なので
が従う。
例えば、代数は有限型であるとする。とする。の核をとすれば、環の同型を得る。第二完全系列より完全系列
が従う。ここで-加群としての同型
が、
により定まる。逆はが対応する。ここでの右完全性より上の同型は-加群としての同型をも与えている。故に完全系列
がにより定まる。
特にと表せるとする。自然な全射をにより定める。ここでに注意すると、
となる。つまりとすれば
は可換となる。ここでより一番右の準同型も全射となる。即ちは行列の余核として表現されることが分かる。
具体的に計算すると、よりはの余核、即ちとして表される。しかしであり、を左から作用させればを得る。よって結局となる。
体の拡大とケーラー導分との関連を見ても面白いと思うが、とりあえずはここまでにしておこう。
ケーラー導分の別構成
ケーラー導分は代数的に定義された導分によって構成された。実はテンソルで構成することもでき、これは代数的構造を持たないような、より抽象度の高いクラスにおいても導分が定義できることを示唆している。
代数に対し積から誘導される-準同型を考える。-加群としての構造がにより定まることを思い出せば-準同型でもある。この核をと置き、-準同型をにより定める。ここから誘導される-準同型は-導分となる。実際であり、
からが従う。故にを得る。ケーラー導分の普遍性よりを得るが、実は以下のようにして逆を与えることが出来る。
まずと表せる。実際に対し、である。そこでを引けばとなるので、確かに表せている。-双線型をにより与える。-準同型が誘導されるので、への制限を取ると-準同型でもある。ここでに対し、
となるので-準同型が誘導される。が互いに逆を与えるのでが従う。