[論文レビュー] Invariants of Cohen-Macaulay rings associated to their canonical ideals

Laura Ghezzi, Shirô Gotô+2 more|arXiv (Cornell University)|Jan 19, 2017

Commutative Algebra and Its Applications被引用数 5

ひとこと要約

この論文は、正則理想を備えたコhen–マカウレイ局域環に対して、新しい不変量—標準次数、根、およびリース代数に基づく標準次数—を導入する。標準次数が標準理想の選び方に依存しないこと、およびそれがゼロとなるのはかつてその環がゴレンシュタインであることと同値であること、を確立し、タイプや還元数といった古典的不変量をゴレンシュタイン性からの逸脱を測るものに拡張する。

ABSTRACT

The purpose of this paper is to introduce new invariants of Cohen-Macaulay local rings. Our focus is the class of Cohen-Macaulay local rings that admit a canonical ideal. Attached to each such ring R with a canonical ideal C, there are integers--the type of R, the reduction number of C--that provide valuable metrics to express the deviation of R from being a Gorenstein ring. We enlarge this list with other integers--the roots of R and several canonical degrees. The latter are multiplicity based functions of the Rees algebra of C.

研究の動機と目的

• 正則理想を備えるコhen–マカウレイ局域環に対して、タイプや還元数といった古典的不変量を改善する新たな数値的不変量を定義すること。
• 正則理想のリース代数から導かれる多重度に基づく不変量として、標準次数を定義すること。
• 正の整数 n の集合として、ある分数イデアル L が L^n ≅ C を満たすようなものとして、環の根集合を定義し、その構造を研究すること。
• 完備化、多項式拡張、超平面切断といった環の演算における標準次数の振る舞いを調査すること。
• 高次元の環への標準次数の拡張を検討し、特に関連層の環を通じた定義を含む代替定義を提案すること。

提案手法

• 標準次数 cdeg(R) を高さ1の素点の和として定義する：cdeg(R) = Σ [e₀(Cₚ) − λ((R/C)ₚ)] ⋅ deg(R/p) であり、これは標準理想 C の選び方に依存しない。
• ヒルベルト係数 e₀(I) と長さ関数 λ を用いて、高さ1の素点における局所的データから標準次数を計算する。
• C が最小還元 (a) と等倍多項式であるとき、cdeg(R) = deg(C/(a)) = e₀(m, C/(a)) が成り立ち、標準的多重度論と関連づけられる。
• 関連層の環を通じて標準次数 ∗ を定義する：cdeg∗_C(R) = deg(gr_C(R)) − deg(R/C) であり、C が等倍多項式であるとき、cdeg(R) と等しいことを証明する。
• 単項式環に理論を適用し、特定の例について Macaulay2 を用いて計算的検証を行う。
• 相対的標準次数 cdeg♯_C(R) = min{cdeg(R/(x))} を、C を法とするパラメータ系 (x) について定義し、それがゼロとなるのはかつて R がゴレンシュタインであることと同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 標準次数は、標準理想の選び方に依存しない形でどのように定義できるか？
• RQ2 標準次数とタイプや還元数といった古典的不変量との関係は何か？
• RQ3 標準次数は次元 ≥ 2 の環へ意味的に拡張可能か？その障害は何か？
• RQ4 正則理想を備えるコhen–マカウレイ環の根集合の構造は何か？また、タイプとはどのように関係するか？
• RQ5 標準次数がゼロとなるのはかつてその環がゴレンシュタインであることと同値であり、相対的設定へ一般化可能か？

主な発見

• 標準次数 cdeg(R) は、高さ1の素点の上でのwell-definedかつ有限な和であり、標準理想 C の選び方に依存しない。
• C が最小還元 (a) と等倍多項式であるとき、cdeg(R) = deg(C/(a)) = e₀(m, C/(a)) が成り立ち、計算可能な表現が得られる。
• cdeg(R) ≥ r(R) − 1 が成り立ち、等号が成立するのはかつて R がほとんどゴレンシュタインであることと同値である。
• cdeg(R) = 0 であることはかつて R がゴレンシュタインであることと同値であり、ゴレンシュタイン性を鋭く特徴づける基準が得られる。
• 関連層の環を通じて定義される標準次数 ∗ は、C が等倍多項式であるとき cdeg∗_C(R) = cdeg(R) を満たし、C の選び方に依存しない。
• 正則理想 C を備える環 R に対して、相対的標準次数 cdeg♯_C(R) がゼロとなるのはかつて R がゴレンシュタインであることと同値である。