17.ホム函手とテンソル
今回はhomoだけどホモじゃないHom函手及び加群のテンソルを導入し、その間の関係を見ていく。テンソルの構成は初学者的にはややこしいが、既にケーラー導分の構成を述べているのでその焼き直しだと思えば分かり易いと思う。また加群の係数拡大についても取り扱う。多くの同型が出てくるが、その全てを逐一証明する気力が無いことを許してほしい。*1ケーラー導分が局所化と可換になることを自然性という観点から捉えなおす。ただし、きちんと述べるためには何もかもが足りないので、お話し程度に考えていただければ幸いである。詳しく知りたい人は圏論、自然変換、米田の補題などの単語でググってね。
加群の直積とHom函手
添え字により定まる-加群の組全体をで表す。これは成分毎の演算により-加群となり、達による直積加群と呼ぶ。特にが有限集合ならが成り立つ。
-加群に対し、からへの-準同型全体をで表す。これはに対しをと定めることにより-加群となる。
に対し、による引き戻し及びによる押し出しを、により定めることができる。従ってに対し-準同型
を得る。
命題 は左完全共変函手(left-exact covariant functor)である。即ちが完全なら
となる。
命題 は左完全反変函手(- contravariant functor)である。即ちが完全なら
となる。
証明は図式追跡(diagram chasing)により容易に示せるので、定義通りに計算すればよい。局所化は完全系列を完全系列に移していたことを思い出せば、上の文脈において両側完全共変函手であることが分かる。
命題 次の同型が成り立つ。
- が成り立つ。
- が成り立つ。
- が成り立つ。
- 特にが成り立つ。
- が有限生成ならが成り立つ。
加群のテンソル
-加群に対し、写像が-双線型(bilinear)であるとは、を固定したときが-準同型となることをいう。-双線型写像全体をと表すと、自然に-加群となり、
が成り立つ。
さて、加群のテンソルとは、双線型写像に対する普遍性により定まる加群のことを指す。
定理 -加群に対し、ある-加群及び-双線型写像が存在して次の普遍性を満たす。任意の-加群及び-双線型写像に対し、なる-準同型が唯一つ存在する。特には一意的である。
により定める。の余核をとすればよい。つまりが完全となる。の同値類をと表せば、に対しと定めれば普遍性の条件を満たす。の一意性は明らか。
はが明らかな場合と略記することもある。普遍性より
が成り立つ。逆にいえば、この同型が成り立つように定めたと言っても良い。
に対し、をにより定めると双線型となる。従って普遍性よりがとして定まる。この操作は合成と可換となる。即ちに対し、
が成り立つ。
命題 次の同型が成り立つ。
- が成り立つ。
- が成り立つ。
- が成り立つ。
- が成り立つ。
- が成り立つ。
(証明)普遍性を利用すると簡単に証明できる。例えば一つ目ならをにより定めれば双線型となるので-準同型が定まる。逆はで与えればよい。
以下の百マステンソルを解け(解けるかどうかは確認してない)
加群の係数拡大
テンソルは代数と親和性が高い。以降と書いたら-加群を表すことにする。また同型も-加群として同型であることをで表す。
は-加群だが、により-加群と見なすことができる。またも-加群だが、により-加群と見なすことができる。この見方はを-加群として捉えた場合と矛盾しない。
も-加群だが、により-加群と見なすことができる。特に-加群をのへの係数拡大と呼ぶ。
命題 (係数拡大における準同型の対応) 代数に対し
が成り立つ。特に左右の間に全単射が存在する。
(証明)に対して、を対応させればよい。逆はに対しが対応する。
命題 (係数拡大の推移性) 代数及び-加群に対し次が成り立つ。
次は普遍性の拡張になっている。
命題 代数に対し
が成り立つ。
局所化に対しては次が従う。
命題 環及び乗法的集合、-加群に対し次が成り立つ。
- が成り立つ。
- が成り立つ。
導分に関するおまけ
一般に-加群においてなら任意のに対しが成り立つ。ではこの逆は成り立つだろうか? 実は自然性(naturality)という概念が必要で、それはがに対し、集合として
と
が一致することを意味する。つまり二つの加群から定まるホム達の同型(集合における同型、即ち全単射)が自然であれば、元の加群も同型となる。これは素朴に示すこともできるが、圏論という枠組みで捉えるべき話題なのでここではやらない。しかし良く使われる議論なので、頭の片隅に留めておくと良い。
ではこれを踏まえて前回の最後にやった定理の二つ目の証明を紹介しよう。代数及び乗法的集合に対しを示したい。まず
であった。一方であるから、
が成り立つ。最後だけ-同型だが、全単射だけ見ればよいので加群の構造は忘れても良い。(特に述べなかったがに加群の構造を矛盾なく入れることもできる。)
補題 -加群及び-導分に対し、-導分であり、がと一致するものが唯一つ定まる。
(補題)と定めればよい。
補題より全単射を得る。これが自然であることはとして より分かる。よって同型が従う。
*1:落ち着いたらpdf化する予定だが、そのときにちゃんと入れようと思う。