以前投稿した問題、 【問題】射影加群・移入加群・平坦加群のなす圏が核・余核を持つのはいつか? について、この記事では解答のみを書きます。
問題を思い出すと、「有限生成射影・平坦・射影・移入加群のなす圏それぞれが、核または余核を持つのはいつか?」という問題で、8個組み合わせがあります。
証明や詳しい用語の定義はしないので(ヒントくらいはちょっとのせます)、各自証明を試みてみるとよい練習問題になります。よく分からない概念(特に連接環と完全環)については、参考文献のLamの本を見てみると良いでしょう。
まずはホモロジー次元の定義から直ちに従うものについてです。
環
ヒント:これらの圏での核は、通常の加群としての核と一致することが確かめられます。
少しだけ難しいが同様に次も分かります。
環
ヒント:上の場合は、余核が通常の余核と一致することが分かります。下については、連接知らない人は初めから
また上を利用して次がすぐに分かります。左右がひっくり返る条件が出るのが面白いですね。
環
ヒント:有限生成射影左加群の圏と、有限生成射影右加群の圏は反変同値です。
実は平坦加群のほうが、(無限生成)射影加群よりも簡単です。割と議論が複雑なのでヒントは控えめにします。
環
ヒント:2と3の同値性はすでに上にあります。1と2が同値なことは、平坦加群の圏と有限生成射影加群の圏がある意味対応するという、「平坦加群の圏=有限生成射影加群のdirect limit closure」「有限生成射影加群の圏=平坦加群の圏のなかで有限表示対象の圏」という2つの事実を念頭において考えてみましょう。
あと残っているのは「射影が余核を持つ」と「移入が核を持つ」の2つです。実は射影加群についてのほうが平坦より難しいです。なので条件がかなりきつくなります。
環
ここで左完全環は連接環よりもマイナーだと思うのですが、一つの(同値な)定義(の一つ)は「平坦左加群=射影左加群」が成り立つことです。なので結局この場合は考えている圏は平坦加群のなす圏と一致しています。
ヒント:参考文献の Chaseの論文 を見てみよう。そして上で述べた「平坦が余核」の特徴づけに帰着しよう。
また残り一つの場合について、いろんな証明がありうると思われるので、誰か簡単な証明を考えて教えて下さい。
環
ヒント:左ネーターなことと、移入加群が直和で閉じることは同値で、その場合の移入加群は、環を左イデアルで割ったものの移入包絡たちの直和で表せます(とくに直和についての「生成集合」みたいなのが取れる状況なわけです)。
よく分からない「連接」やら「完全」やらが出てきたので、もう初めから環は両側ネーター環だと仮定すれば次が成り立ちます(両側ネーター環では大域次元は左右の区別がいりません)。これは以上の解答から従いますが、多分初めから両側ネーターを仮定したほうが最初は証明しやすいと思うので、初めにこれを考えてみるといいかもしれません。
つまり一つを除いてすべて「大域次元
残りの一つだけが違っていて、意外な印象です。:
ヒント:片側ネーターかつ片側完全から両側アルティンが出るし、アルティン環は完全です。
また可換の場合も面白いです。
ヒント: Chaseの論文 を見てみましょう。