18.代数のテンソル積とケーラー導分
加群同士のテンソルは加群となるが、代数同士をテンソルすると環構造が入り再び代数となる。新たな代数は加群に対し良く振舞い、複数ある構造の捉え方あるいは見方に矛盾しない。特にケーラー導分に対しても自然な結果をもたらし、ケーラー導分が言わば代数から加群への導分のように振舞うことを示すことができる。最後に示す第一完全系列と呼ばれる系列は、ケーラー導分の大きさを量る一つの指標となる。
代数のテンソル積
を代数とする。は-加群だが、-加群あるいは-加群とも見なせる。ここでをにより定めると、各成分に対し-準同型となる。従って普遍性よりを得るが、これはの各成分に対して-準同型となる。これを繰り返せば-準同型を得る。故にがとして定まる。これはに積の構造を定め、は環となる。イチはである。
-加群及び-加群に対しは自然に-加群と見なせる。この記号の下で次が成り立つ。
命題 (テンソル積の係数拡大に対する振る舞い) によるの係数拡大について
が成り立つ。
(証明)-双線型写像をにより定める。すると普遍性より-準同型が定まる。このが-準同型でもあることは、
より従う。一方をにより定めれば-双線型であるから、再び普遍性より-準同型が定まる。が-準同型となることも同様に示せる。が互いに逆を与えていることは明らかだろう。
代数のテンソル積とケーラー導分
テンソル積はケーラー導分に自然な同型をもたらす。
定理 を代数とする。とおくと、
が成り立つ。
(証明)ケーラー導分の構成法を思い出し、完全系列を取っておく。をにより定めれば、が-導分、特に-導分であることから-双線型となる。ここから-双線型が誘導されることは、の元がゼロに写ることを示せばよい。例えば
だが、
より第二項が打ち消し合う。第一項もが-導分であることから
となり打ち消し合う。従ってゼロへ写る。
普遍性より-準同型を得る。が-準同型となることは、
より従う。逆はより、に写せばよい。
が自然であることを示しても良い。まず
である。(ここで最後の同型はに-加群*1としての構造を自然に定めてとしてもよい。)一方
より、自然性は次の補題に帰着される。
補題 を代数、を-加群とする。このとき-導分に対し、とが一致するような-導分が一意的に存在する。
(証明)をにより定めると-双線型となる。普遍性より求める-準同型を得る。更にであり、
よりライプニッツ則も従う。よっては-導分となる。一意性も
より従う。
命題 (ケーラー導分のテンソル積に対する振る舞い) 上の状況において
が成り立つ。
構成法による証明も可能だが、もう十分な気がするので自然性を見てお茶を濁そう。-加群に対し、
が成り立つ。最後の変形はなどから分かる。これは
と自然に全単射になる。(-加群として同型と思っても良いし、-加群の構造を定めて同型を考えることもできる。)一方で、
より、自然性は次の補題に帰着される。
補題 -導分に対し、拡張となる-導分が一意的に存在する。
ケーラー導分の第一完全系列
代数が与えられたとき、そのケーラー導分を計算したいとする。一般に元の積構造について良く知っている必要があるが、そんな状況は稀である。そこである程度分かっている代数のケーラー導分を経由して、その大きさを比較することを考える。第一完全系列はその一つの方法を与える。
環の間の準同型達が可換()であるとする。このとき及びが可換となるような-準同型が一意的に存在する。実際が-導分となることから普遍性よりが一意的に定まる。
が成り立つ。
(証明)に対し、全射性よりなるが取れる。ここでよりも全射であることが分かる。また等式の右から左は、とすればより分かるので、逆を示せばよい。
構成法より完全系列を取り、-準同型をにより定めておく。とする。このときが成り立つ。つまりとなる。故に生成元
の有限-線型和として表せる。に対し、全射性よりをとなるように取れる。また係数についてもの像として表せる。このようなによる-線型和をと置く。このとき
が成り立つので、を得る。故にが従う。ところで
であるため、結局はを満たすに関するの-線型和として表せていることが分かる。従ってを得る。
定理 (ケーラー導分の第一完全系列) 環の準同型に対し、-加群の系列
は完全である。*2
(証明)及びを考えると補題より全射-準同型を得る。またをにより定めれば-双線型となり、普遍性より-準同型が定まる。これが-準同型になることは明らかだろう。
後はが成り立つことを示せば良い。の元はによりの有限-線型和として書けるから、によりの有限-線型和として表せる。従ってに属することは明らかだろう。一方補題よりはなるの有限-線型和で表せるが、これはに属することを意味する。
所感
なんだかよく分からないテンソルというものが、導分を通して見えるようになれば幸いだと思う。