3
大学数学基礎解説
文献あり

極小自由分解

514
0

本稿は局所環上の有限生成加群において極小自由分解が存在するならば、複体として一意的であることを示したものである。[1]で証明が委ねられていた部分の行間を補っただけなので誤りを含む可能性が大いにある。

極小自由分解

(A,m,k)を局所環,Mを有限生成A加群とする。完全列
LidiLi1L1d1L0εM0
が次の3条件を満たすとき、これをM極小自由分解という。
(1)各Liは有限生成自由A加群である。
(2)各i0に対してdiLimLi1が成立する。
(3)εk:L0kMkA同型写像である。

実は、極小自由分解は存在すれば複体としての同型を除いて一意的であることが示される。その前に「2つの複体が同型」とは何かを述べておく。

複体としてして同型

Aを環とする。A加群とA準同型からなる2つの複体(K,d),(L,e)が次の条件を満たすとき、(K,d)(L,e)複体として同型であるという。
(条件)A同型の列{fn:KnLn}nZが存在して各nZに対して次の図式を可換にする。

2つの極小自由分解が存在すれば複体として同型であることを示したいが(2)と(3)をうまく使いたいのでそのために補題を用意する。

(A,m,k)を局所環,M,Nを有限生成A加群とする。A準同型ϕ:MNから生じるk線型写像ϕk:MkNkについて次が成立する。
(1)ϕは全射でkerϕmMが成立する。ϕkk同型である。
(2)M,Nが自由A加群ならば
  ϕA同型であるϕkk同型である。

もう少し良い証明方法があるように思う。(元を取りまくってるので)

MkMm/mMmであることに注意する。このとき、ϕk:Mm/mMmNm/mNmab+mMmϕ(a)b+mNmに対応している。
(1)
()完全列MϕN0kを適用するとtensor積の右完全性からMkϕkNk0も完全であることが分かる。よって、ϕkは全射である。ϕkが単射であることが次のように示される。xs+mMmMm/mMm(ϕk)(xs+mMm)=0を満たしたとする。すると、ϕ(x)smNmゆえあるmmnNが存在してϕ(x)=mnとなる。ここで、ϕは全射ゆえn=ϕ(l)とすると、xmlkerϕmMゆえxmMとなる。これはxs+mMm=0を意味するのでϕkは単射である。
()まず、kerϕmMを示す。xkerϕを任意の元とする。ϕ(x)=0ゆえ(ϕk)(x1)=0である。これはx1+mMm=0を意味する。よって、あるaAmが存在してaxmMとなるがAは局所環であるからaは単元ゆえxmMとなり示すべき包含が示される。次に、ϕが全射であることを示す。
Cokerϕk=Coker(ϕk)=0であるがAは局所環ゆえCokerϕ=0つまりϕは全射である。([1]の定理4.4を参照せよ。)
(2)M,Nは自由A加群であるからϕ:MNA成分の行列で表示される。Mk,Nkは自由k加群であるからϕ:Mkkk成分の行列で表示される。ここで、ϕk=ϕ(Akへの像を表す)であることに注意すると
ϕは同型detϕは単元detϕAmdetϕ0(ink)ϕは同型
となり証明が完了する。

極小自由分解の一意性

Aを局所環,Mを有限生成A加群,
LidiLi1L1d1L0εM0,
FieiFi1F1e1F0δM0
Mの極小自由分解とする。このとき、上の2つの複体は同型である。

記号の整理のため、L2=F2=0,L1=F1=M,d0=ε,e0=δとする。A同型の列{fn:LiFi}i2で各i0に対して次の図式を可換にするものが存在することを示せば良い。
1 1
帰納的に{fn}n1を定義する。まず、f2=0,f1=idMとして定める。(i=1のとき条件を満たすことは明らかである。)fi1まで定まったとしてfiを定める。
Liは自由加群ゆえ射影加群でもある。ei:FiImeiは全射であるからfi:LiFiで次の図式の左四角部分が可換にするものが存在する。(真ん中の準同型は右側の準同型を制限したものだから、右側の四角形は可換になる。)
これ これ
これをkすることで、次のような可換図式を得る。

ここで、(fi1k)|kerdi1k=(fi1|kerdi1)kであることに注意すると次の可換図式から真ん中の準同型は同型になることが分かる。

ここで、全射di:LiImdiの核を調べると、極小自由分解の定義からkerdimLiとなるので前補題よりdikは同型である。同様に、eikも同型である。よって、可換性からfikも同型であることが分かる。Li,Fiは自由A加群であるから前補題よりfiも同型であることが分かる。図2を合わせることで図1を可換にする同型fi:LiFiが得られるのでこれで証明が完了する。

Noether局所環上では極小自由分解が存在する。

参考文献

[1]
松村英之, 復刊 可換環論, 共立出版, 2000
投稿日:202234
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

B2 現在代数学(特に環論)を勉強中。 将来は群論やりたいとか思ってます。 気が向いた時に更新していく感じでいきます。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中