Cohen-Macaulay環の基本性質
更新が滞ってましたが、人生が本当に本当に忙しかったんです、すみません。
最近はOLになりたいなと思って過ごしています。休日にインスタ映えするパンケーキを追いかけるOLになりたい。バカにしてるわけじゃなくて本心です。
〜〜〜〜〜〜〜〜〜〜〜〜
メモ書き的なことをしたいと思って、好都合なものがブログだったので、また書きます。
タイトル通り、Cohen-Macaulay環(以下、CM環と略す)についてのメモです。
CM環はdepthを用いて定義されるのが普通ですが、depthはExtにより特徴付けられるのでどうしてもCM環の理論は基本的な部分にもホモロジー代数が食い込んでいるように思いがちです。
ですがまあ簡単なことは簡単に理解したいと言う気持ちで考えてると、ホモロジー代数に頼らなくてもかなりの部分がカバーできると思ったので、それを紹介(未来の自分に対しての紹介?)します。
depthとホモロジー代数の関係については後藤渡辺(GW)や松村(M)、Serre(S)のLocal AlgebraやGrothendieck(G)のlocal cohomologyなどに綺麗にまとめてあります。
〜〜〜〜〜〜〜〜〜〜〜〜
まずはじめにdepthや正則列についてこの記事で必要になる事柄をホモロジー代数によらずに示し、そこからCM環の基本性質を述べる。
【定義:depth】
をNoether環、 を -加群、 をイデアルとする。
が -正則列であるとは、任意の に対して 倍が に非零因子として作用し、 となることを言う。
これ以上延長できない -正則列を、極大と言う。
-正則列の長さの最大値を の -depthといい、 で表す。
がNoether局所環で がその極大イデアルのとき、たんに と表して、 のdepthと言う。
この場合は最後の条件 は中山の補題から自明になる。
係数環 が明らかな場合にはたんに と書く。□
定義から従う重要なこととして、 が -平坦なら となる。
従って特に となる。ここで は の完備化。
正則列やdepthの基本性質をこの記事内で用いられるNoether局所環上の有限生成加群の場合に述べよう。
【基本性質1:depth≦次元】
をNoether局所環、 を有限生成加群とすると、 である。
ただし の次元とは位相空間 の次元とする。□
が に正則に作用すれば なのでdepthによる帰納法が回る。■
【基本性質2:正則列の並び替え】
がNoether局所環、 が有限生成加群であれば、-正則列はどんな並び替えを行なっても -正則列である。□
[証明]
長さ2の正則列についてそれが交換できれば良い。 を -正則列とすれば次の可換図式を得る:
\begin{CD}
0 @>>> \ker f_2 @>{f_1}>> \ker f_2 @>>> 0 @. \\
@. @VVV @VVV @VVV @. \\
0 @>>> M @>{f_1}>> M @>>> M/f_1M @>>> 0 \\
@. @V{f_2}VV @V{f_2}VV @V{f_2}VV @. \\
0 @>>> M @>{f_1}>> M @>>> M/f_1M @>>> 0 \\
@. @VVV @VVV @. @. \\
0 @>>> M/f_2M @>{f_1}>> M/f_2M @.
\end{CD}
一番上の行の右端は正則列の定義から0であり、ここで中山の補題を使って がわかる。
また蛇の補題から一番下の行の左端が0であり、 が正則列となることがわかる。■
【基本性質3:極大正則列の長さ】
をNoether局所環、 を有限生成加群とすれば、極大 -正則列の長さはどれも一定である。□
[証明]
次元に関する帰納法を用いる。 なら なので良い。
一つの元 が極大 -正則列とすると、 なのである があって となる。
するとどんな -正則元 に対しても であるから により と書ける。
このとき を取れば と書けて となり が -正則なので 、つまり となるので、 である。
以上で長さ1の極大 -正則列があればどんな極大 -正則列も長さ1だとわかった。
一般の場合を示す。 と を極大 -正則列とする。
このとき であるから、 のどちらにも正則に作用する が取れて、長さ1の場合を適用することで はどちらも極大 -正則列となる。
並び替えをして はどちらも極大 -正則列となって次元に関する帰納法で がわかる。■
これはExt群によるdepthの特徴付けを用いた方がスッキリした理解が得られる。
一般にNoether環 のイデアル と有限生成加群 に対して、 が i < n で0となることと から長さnの -正則列が取り出せることは同値となる。これから上は従う。
【基本性質4:正則列による剰余】
をNoether局所環、 を有限生成加群、 を -正則列とする。
このとき は長さ の -正則列に延長でき、従って である。□
これは基本性質3から直ちに導かれる。
より詳しいことを調べるには、基本性質1よりも精密な不等式を得る必要がある:
【基本性質5:depthと随伴素イデアル】
命題1と同じ仮定で任意の に対して となる。□
[証明] を -正則列を任意にとる。 とするとある で と書ける。 なので で割れるだけ割っても零化イデアルが変わらず、 で割る操作は無限に続くことがない(Krullの共通部分定理)。従って で として良い。 よって となる が取れて、 である。 繰り返すと、各 で となる素イデアルの列 が取れて証明が終わる。■
[M 系17.2] , [S chap.IV prop 7] , [EGA chap.0 16.4.6.(iii)]を参照。これは[S]や[EGA]などではよくわからない(ちゃんと読んでいない)があまり見通しの良い証明というわけでもなさそうな帰納法で示しているように思える。[M]ではホモロジー代数におけるより一般的な定理の帰結としている。
〜〜〜〜〜〜〜〜〜〜〜〜〜〜
CM環について述べる。
【定義:Cohen-Macaulay】
がNoether局所環のとき、有限生成加群 がCohen-Macaulay加群(CMと略す)であるとは、 となることを言う。
がCM -加群であるとき、Cohen-Macaulay局所環と言う。□
簡単にわかることとして、 が -正則列であれば、 がCM加群であることと がCM加群であることは同値となる。正則列生成なイデアルで割ればその長さ分だけちょうど次元とdepthが下がるからである。
またArtin局所環はCM局所環となる。正則局所環はその極大イデアルが正則列で生成されるのでCM局所環となる。
基本性質5からCM加群は埋込点を持たないことがわかる。つまりCM加群の随伴素イデアルはすべてsupportの極小元である。
この事実はCM加群の本質的な性質であり、これからいろいろ導ける。たとえば次は基本的である:
【命題1】
をNoether局所環、 をCM -加群、 を素イデアルとする。
このとき である。
特に はCM -加群である。□
[証明]
側は自明なので逆を示す。 の場合のみ考えれば良いので とする。
-正則列 に対して を考えて として良い。
はCM加群なので の元はみな の極小元となるが、 より であり となって0次元である。
また なので はCM -加群となる。■
特にCM局所環の任意の素イデアルによる局所化はCM局所環なので、次の定義が有効である:
【定義:CM環】
Noether環 がCohen-Macaulay環であるとは、任意の素イデアルでの局所化がCM局所環であることを言う。
上の事実から任意の極大イデアルでの局所化がCM局所環であればCM環となり、またCM環の任意の局所化はCM環である。□
CM加群が埋込点を持たないことから他にわかることとして、CM局所環のパラメタ系が正則列をなすという重要な事実がある。
一般のNoether局所環で が長さrの正則列ならイデアル は高さrで、 が高さrのイデアルなら の非零因子 を取ればKrullの標高定理から は高さr+1であるから はパラメタ系に延長される。
CM局所環ではこれらが同値になる:
【命題2】
をCM局所環とすると、 がパラメタ系の一部⇔ は -正則列。□
[証明]
側は上で述べたからパラメタ系 が -正則列であることを示せば良い。
もし が零因子なら を取れば、 はCM環で は極小素イデアルだから となる。
一方 は のパラメタ系であるから となってこれは矛盾。■
これからただちに次がわかる:
【定理3:純性定理】
をNoether環とする。 がCM環である⇔ が純性定理を満たす。
ただし が純性定理を満たすとは、r個の元で生成された高さrのイデアルが埋込点を持たないことを言う。□
[証明]
はr個の元で生成された高さrのイデアル に対してその随伴素イデアル で極小でないものを取れば のCM性と命題4から矛盾が出る。
は素イデアル を任意に取って長さ最大の -正則列 を取れば はイデアル の随伴素イデアルなので純性定理より の極小素イデアルとなり がわかる。■
【系4】
をCM環の準同型像とすると、 は鎖状環である。
つまり任意の二つの素イデアル に対して、長さが最大の素イデアル鎖 は全て同じ長さとなる。□
[証明]
はCM環としてよく、さらに局所化を考えて は局所環で は極大イデアルとして良い。
すると を示せば良いが、 とすれば -正則列 が取れて は の随伴素イデアルとなる。
また はCM環なので は の極小素イデアルである。
ここで はCM局所環なので となる。■
この他に大切なこととしては、完備化との比較がある。
【命題5】
をNoether局所環とすると である。
とくに がCM環 ⇔ がCM環。□
[証明]
は平坦 -代数なので 側はわかる。
を長さ最大の -正則列として を考えることで のときに を示せば良い。
なので であり、 の包含射で1の像を とすれば となるから で である。■
depthのExtによる特徴づけを用いてもできる。 より一般に平坦射のfiber環の次元やdepthに関する以下の等式が成り立ち、上の命題はその系である。
【fiber環の次元やdepth】
をNoether局所環、 を平坦な局所準同型とすると、
(1)
(2)
が成り立つ。
とくに、 がCM環⇔ と がCM環。
この証明は平坦射の性質を使うためここでは証明は述べない。証明(特に(2)の方)には平坦性の局所的判定法を用いる。
これから直ちに、 がCM環なら もCM環となることがわかる。
これと系6を組み合わせて、CM環はuniversally catenaryであるとわかる。
つまりCM環上有限型なら鎖状環である。
〜〜〜〜〜〜〜〜〜〜〜〜
CM環には他にも重要な事実がいくつかあり、とくに平坦性との関わりで重要なものが多い(最後の平坦射のfiber環についてなど) それらも含めて、ここで示したことと示してないことを以下にまとめておく:
【CM環の性質】
(1) CM局所環はdepthとdimが等しい(定義)
(2) CM環は埋込点を持たない。
(3) CM局所環では、パラメタ系の一部分をなす元の列⇔正則列。
(4) CM環⇔純性定理を満たす。
(5) CM環はuniversally catenary。(純性定理を用いて がCM環のときに がCM環であることが示せるので、これからわかる)
(6) がNoether局所環の平坦射なら、 がCM環⇔ と がともにCM環。
(7) Noether局所環 がCM環⇔パラメタ系で生成されるあるイデアル があって 。ここで は加群の長さで は重複度。( が 上の多項式環となることを使う(示す)。)
(8) がCM環なら もCM環。( が局所環なら がCM環になるのは簡単だが、そうでない場合は(6)を使う。)
(9) が正則局所環で が有限射とすると、 が平坦⇔ がCM環。( は局所環とは仮定しない。Auslander-Buchsbaumの等式や次の(10)から出る。)
(10) (Miracle Fratness) が正則局所環、 がCM局所環、 が局所準同型で が成り立つとき、 は平坦射。(平坦性の局所的判定法と正則列の性質から容易に従う。)
(11) が体上有限型のとき、局所化がCM局所環となる素イデアルの集合は の空でない稠密開集合をなす。(Noether正規化で 上有限にすると(8)よりCM lociが包含射 のflat lociと一致する。この場合はよく知られている。)
〜〜〜〜〜〜〜〜〜〜〜〜〜