正則局所環

可換環論において、正則局所環（せいそくきょくしょかん、英: regular local ring）とは、ネーター局所環 [math](A, \mathfrak{m})[/math] であって、剰余体 [math]k=A/\mathfrak{m}[/math] について [math]\dim A = \dim_k \mathfrak{m}/\mathfrak{m}^2[/math] を満たすような環である。ただし左辺は A のクルル次元、右辺は k ベクトル空間としての次元である。右辺の数はしばしば埋め込み次元（英: embedding dimension）と呼ばれ [math]\operatorname{emb\,dim} A[/math] と書かれることもある。

正則局所環は代数幾何学において代数多様体の非特異点に対応するため中心的な役割を占める。

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

強鎖状環 ⊃ コーエン・マコーレー環 ⊃ ゴレンシュタイン環 ⊃ 完全交叉環 ⊃ 正則局所環

例

以下ではクルル次元のことを単に次元と呼ぶ。

• すべての体は0次元の正則局所環であり、0次元の正則局所環は体である。
• すべての離散付値環は1次元の正則局所環であり、1次元の正則局所環は離散付値環である。特に k が体で X を不定元とするとき形式的冪級数環 kテンプレート:Brackets は1次元の正則局所環である。
• より一般に k が体で X₁, ..., X_d を不定元とするとき形式的冪級数環 kテンプレート:Brackets は d 次元の正則局所環である。
• p を有理素数とすれば、p進整数環は離散付値環ゆえ正則局所環であり、体を含まない。
• Z を整数環とし X を不定元とすると局所化 Zテンプレート:Brackets_{(2, X)} は2次元正則局所環で体を含まない。
• Cohenの構造定理により完備な等標数の d 次元正則局所環で体を含むものはある体上の形式的冪級数環である。

特徴付け

次元 [math]d = \dim A[/math] のネーター局所環 [math](A, \mathfrak{m})[/math] について、次は同値である。

• A は正則局所環。
• [math]\mathfrak{m}[/math] は d 個の元で生成される。
• [math]\mathrm{gr}_{\mathfrak{m}}\,A \simeq k[X_1, X_2, \dots, X_d][/math]。ただし、右辺は d 不定元の多項式代数で同型は [math]k = A/\mathfrak{m}[/math] 上の次数環としてのものとする。
• 大域次元が有限である：[math]\operatorname{gl\,dim}A \lt \infty[/math]。
• 大域次元とクルル次元が一致する：[math]\operatorname{gl\,dim}A = d[/math]。

性質

• ネーター局所環が正則であることとその完備化が正則であることは同値である。
• 正則局所環は一意分解整域である。
• A が局所環ならば形式的冪級数環 Aテンプレート:Brackets は正則局所環である。

参考文献

• 堀田良之 『可換環と体』 岩波書店、2006年。ISBN 4-00-005198-9。
• (1995) Commutative algebra. With a view toward algebraic geometry, Graduate Texts in Mathematics. Springer-Verlag. ISBN 3-540-94268-8. 
• (1986) Commutative ring theory, Cambridge Studies in Advanced Mathematics. Cambridge University Press. ISBN 0-521-36764-6.