完全交叉環

完全交叉環とは

完全交叉環（かんぜんこうさかん）は、代数幾何学において重要な構造を持つ可換環です。この環は、代数多様体の座標環と類似の性質を持っており、その定義は必要最低限の関係式で特徴づけられる局所環に基づいています。

定義と性質

完全交叉環はネーター局所環であり、その完備化が正則局所環の生成する正則列によって定義されるイデアルの商となります。この完備化を用いる理由は、すべての局所環が正則局所環の商になるわけではないため、技術的な背景があります。しかし、代数幾何学の多くの局所環は正則局所環の商であり、そうした場合には完全交叉環の定義において完備化の取り扱いが不要となることが一般的です。

もう一つの定義方法として、局所環 R の極大イデアルが m であるとき、m/m² の次元を R の埋込み次元と呼び、emb dim(R) で表記します。コシュール複体 H(R) は、これに関する極小生成系から得られるホモロジーを示します。この H(R) は次数付き環であり、R のみから決まる性質を持ちます。そして、H1(R) の次元を ε1 とすると、R が正則なら ε1(R) がゼロであることが知られています。

完全交叉環は、次元や第1差異の和が埋込み次元と等しい場合、完全交叉環として定義することもできます。つまり、以下の関係が成り立つとき、R は完全交叉環です。

$$
ext{emb dim}(R) = ext{dim}(R) + ε1(R)
$$

再帰的な特徴付けもあり、完備ネーター局所環 R において、次元が0より大きい場合に特定の条件が成り立つとき、R が完全交叉環であることと R/(x) がも同様であることが示されます。また、0次元の環 R が完全交叉環となるには、極大イデアルのフィッティング・イデアルが非ゼロである必要があります。この特徴付けはWiebeによって発表されています。

例

完全交叉環の一例として、正則局所環が挙げられますが、すべての完全交叉環が正則であるわけではありません。例えば、環 $$k[x]/(x^2)$$ は0次元の完全交叉環ですが、正則ではありません。また、完全交叉環はゴレンシュタイン環に含まれますが、逆は成り立たない点にも注意が必要です。特に、環 $$k[x,y,z]/(x^2,y^2,xz,yz,z^2-xy)$$ は0次元のゴレンシュタイン環ですが、完全交叉環ではないのです。

結論

完全交叉環は、高度に抽象的な概念でありながら、代数幾何学における多様体の研究において中核的な役割を果たしています。この性質や定義により、さまざまな数学的構造との関係を深く理解することが可能になります。

もう一度検索