コーエン・マコーレー環

テンプレート:Distinguish 数学において、コーエン・マコーレー環 (テンプレート:Lang-en-short) は局所テンプレート:仮リンクのような非特異多様体の代数幾何的な性質のいくつかをもった可換環のタイプである。

名称は純性定理を多項式環に対して証明したテンプレート:Harvtxtと、純性定理を形式的冪級数環に対して証明したテンプレート:Harvtxtによる。すべての Cohen–Macaulay 環は純性定理が成り立つ。

可換ネーター局所環については次の包含関係が成り立つ。

テンプレート:仮リンク ⊃ コーエン・マコーレー環 ⊃ ゴレンシュタイン環 ⊃ 完全交叉環 ⊃ 正則局所環

定義

テンプレート:Mvar を可換ネーター環とする。以下ではテンプレート:Harvtxtに従って定義を述べる。

局所環の場合

テンプレート:Mvar がさらに局所環であるとする。有限生成 テンプレート:Mvar-加群 テンプレート:Math が テンプレート:Math を満たすとき、テンプレート:Mvar はコーエン・マコーレー加群であるという。さらに テンプレート:Math が成り立つとき、テンプレート:Mvar は極大コーエン・マコーレー加群であるという。また正則加群 テンプレート:Mvar がコーエン・マコーレー加群のとき、テンプレート:Mvar はコーエン・マコーレー環であるという。

一般の場合

テンプレート:Mvar-加群 テンプレート:Mvar はすべての極大イデアル テンプレート:Math に対して局所化 テンプレート:Math がコーエン・マコーレー加群のとき、テンプレート:Mvar はコーエン・マコーレー加群であるという。さらに極大イデアル テンプレート:Math に対して テンプレート:Math が極大コーエン・マコーレー加群のとき、テンプレート:Mvar は極大コーエン・マコーレー加群であるという。また正則加群 テンプレート:Mvar がコーエン・マコーレー加群のとき、テンプレート:Mvar はコーエン・マコーレー環であるという。

例

以下の環は Cohen–Macaulay である。

• 正則局所環テンプレート:Sfn（例えば体や K[[x]]）
• アルティン環
• 1次元ネーター被約環
• 2次元正規環
• Gorenstein 環。とくに、テンプレート:仮リンク
• $R$ が標数 0 の体上の Cohen–Macaulay 多元環で G が有限群（より一般に reductive algebraic group）のとき、不変式環 $R^G$。これはテンプレート:仮リンクである。

• 環 K[x]/(x²) は局所アルティン環なので Cohen–Macaulay だが、正則でない。
• K[[t², t³]]、ただし t は不定元、は正則でないが Gorenstein でありしたがって Cohen–Macaulay な1次元局所環の例である。
• K[[t³, t⁴, t⁵]]、ただし t は不定元、は Gorenstein でないが Cohen–Macaulay である1次元局所環の例である。

テンプレート:仮リンクは Cohen–Macaulay だが Gorenstein とは限らない。

性質

• 局所環が Cohen–Macaulay であることとその完備化が Cohen–Macaulay であることは同値である。
• 環 R が Cohen–Macaulay であることと多項式環 R[x] が Cohen–Macaulay であることは同値である。
• Cohen–Macaulay 環の商環はテンプレート:仮リンクであるテンプレート:Sfn。

反例

• K が体であれば、形式的冪級数環の商 $K[[x,y]]/(x^2,xy)$ （局所環の、埋め込まれた二重点をもつ直線の二重点における完備化）は Cohen–Macaulay でない、なぜならば深さ0だが次元1だからだ。
• K が体であれば、環 $K[[x,y,z]]/(xy,xz)$ （局所環の、平面と直線の共通部分における完備化）は Cohen–Macaulay でない（テンプレート:仮リンクですらない）。$x-z$ で割ると直前の例を得る。
• K が体であれば、環 $K[[w,x,y,z]]/(wy,wz,xy,xz)$ （局所環の、一点で交わる二平面の共通部分における完備化）は Cohen–Macaulay でない。$w-x$ で割ると直前の例を得る。

条件の帰結

Cohen–Macaulay の条件の1つの意味は coherent duality theory において見られる。ここで条件はアプリオリ に導来圏にある dualizing object がただ1つの加群（連接層）によって表現されるケースに対応する。するとより良い Gorenstein の条件は射影的なこの加群（可逆層）によって表現される。非特異性（正則性）はなお強い条件である。これは幾何学的な対象のある点における滑らかさの概念に対応する。したがって、幾何学的な意味で、Gorenstein と Cohen–Macaulay の概念は滑らかな点よりも広い範囲の点、滑らかとは限らないが多くの意味で滑らかな点のように振る舞う点、を捕らえる。

純性定理テンプレート:Anchors

ネーター環 A のイデアル I は、A/I の任意の素因子 P に対して ht(I) = ht(P) であるときに純 (unmixed) と呼ばれる。環 A に対して純性定理 (unmixedness theorem) が成り立つとは、イデアル I であって ht(I) 個の元で生成されるものがすべて純であることをいう。ネーター環が Cohen–Macaulay であることと純性定理が成り立つことは同値である。

参考文献

• テンプレート:Citation
• テンプレート:Citation Cohen's paper was written when "local ring" meant what is now called a "Noetherian local ring".
• テンプレート:SpringerEOM
• David Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry (Springer), ISBN 0-387-94268-8 (hardcover), ISBN 0-387-94269-6 (soft cover)
• テンプレート:Citation
• テンプレート:Citation