コーエン・マコーレー環

コーエン・マコーレー環の概要

コーエン・マコーレー環（Cohen–Macaulay ring）は数学の分野において、主に代数幾何や可換代数で重要な役割を果たす特性を持った可換環です。この環の名称は、純性定理の証明に寄与した二人の数学者、マコーレーとコーエンに由来しています。

定義と基本的な性質

ここで「コーエン・マコーレー」という概念について理解するために、可換ネーター環Rを考えます。Rが局所環である場合、有限生成の加群Mが、次の等式を満たすときにMはコーエン・マコーレー加群と呼ばれます。
\(\text{dim M} = \text{depth M}\)。さらに、この等式が成り立つとき、Mは極大コーエン・マコーレー加群と呼ばれます。

一般の場合においても、加群Mがすべての極大イデアルに対して局所化したときにコーエン・マコーレー加群であるならば、M自体がコーエン・マコーレー加群と見なされます。コーエン・マコーレー環の重要な特徴は、純性定理が成り立つことです。これは、環の特定の条件が満たされるとき、そのイデアルに関する深さや次元の関係が同値であることを示しています。

例について

いくつかの具体的な環の例を挙げましょう。正則局所環（たとえば、体や形式的冪級数環Kx）、アルティン環、1次元ネーター被約環、2次元正規環、さらにGorenstein環などがコーエン・マコーレー環としての性質を持っています。これらの環がどのようにコーエン・マコーレーであるかを具体的に確認することで、コーエン・マコーレー環の理解が深まるでしょう。

一方、異なる条件を満たす環も存在します。たとえば、K[x]/(x²) は局所アルティン環であってコーエン・マコーレーですが、正則ではありません。また、Kt², t³は正則ではないがGorensteinの1次元局所環であり、したがってコーエン・マコーレーです。

性質の深化

局所環に関する性質としては、局所環がコーエン・マコーレーであることと、その完備化がコーエン・マコーレーであることが同値である点が挙げられます。また、環がコーエン・マコーレーであれば、その多項式環も同様の性質を持ちます。

コーエン・マコーレー環の商環は強鎖状環であるという特性も重要ですが、対照的に、ある環の商環がコーエン・マコーレーでない場合もあります。たとえば、Kが体である場合、特定の形式的冪級数環の商環はコーエン・マコーレーではありません。

結論と今後の展望

コーエン・マコーレー環の研究は、代数幾何学や可換代数の発展に寄与してきました。この概念の理解を深めることは、より高次の数学的理論や応用に対する基盤を築くことにつながります。
特に、幾何学的な視点から見た場合、コーエン・マコーレーとGorensteinという概念は、滑らかな点よりも広い範囲を示すための強力な道具となるのです。コーエン・マコーレー環の性質を通じて、代数的対象のより深い理解を得ることが期待されます。

もう一度検索