[論文レビュー] Rings which are almost Gorenstein

Craig Huneke, Adela Vraciu|ArXiv.org|Mar 18, 2004

Algebraic structures and combinatorial models参考文献 3被引用数 10

ひとこと要約

この論文は、Gorensteinに類似した性質を満たすが、必ずしもGorensteinではない可換ノエター環局所コhen＝マカウレイ環としての「ほぼGorenstein」環を導入し、その性質を研究する。特に、トレースイデアル $ω^*(\omega)$ が極大イデアルを含むという性質を特徴としている。著者らは、特にタイプ2のアーティン環およびタイプ3の単項式イデアルの場合に、このような環の同値な特徴づけを確立し、2が単元である場合の技術的仮定を除いてテーターの1974年のアーティンGorenstein環の特徴づけを一般化する。

ABSTRACT

We introduce classes of rings which are close to being Gorenstein. These rings arise naturally as specializations of rings of countable CM type. We study these rings in detail, and along the way generalize an old result of Teter which characterized Artinian rings which are Gorenstein rings modulo their socle.

研究の動機と目的

• コhen＝マカウレイ型が高々可算であるコhen＝マカウレイ環の構造を理解し、特にパラメータ系による特殊化におけるそのヒルベルト関数を解明すること。
• Gorensteinに類似したトレースイデアル条件を満たすが、必ずしもGorensteinではない環として「ほぼGorenstein」環を定義し、その性質を研究すること。
• 1974年にテーターが提示したアーティンGorenstein環のソクルを法として見た特徴づけを一般化し、2が単元である場合の技術的仮定を除去すること。
• タイプ2のアーティン局所環およびタイプ3の $ω$-主単項式イデアルにおいて、いくつかのGorensteinに類似した条件が同値であることを証明すること。
• $ω$-主単項式イデアルのうち、タイプ3で「ほぼGorenstein」であるものの完全分類を行い、この場合における定義条件が同値であることを示すこと。

提案手法

• 環が「ほぼGorenstein」であるための3つの同値な条件を導入・分析する：(1) 極大イデアルがトレースイデアル $ω^*(\omega)$ に含まれること、(2) パラメータ系に対してあるイデアルの包含関係が成り立つこと、(3) 有限個の除外された素イデアルを除いた状況での(2)の弱化版。
• マトリス双対性およびアニュレーターの性質を用いて、トレースイデアル $ω^*(\omega)$ をGorenstein環におけるアニュレーターイデアルと関連付ける。
• $S$ をGorenstein環、$K$ をイデアルとするとき、商 $R = S/(0:K)$ を用いて「ほぼGorenスタイン」環の例を構成し、$ω_R \cong K$ を特定する。
• 単項式イデアルのタイプ3について、関連するイデアル $J_1, J_2, J_3$ を分析し、変数の次数を用いてトレースイデアル条件を満たす場合を分類する。
• 単項式の次数および変数の包含関係に関する組合せ的議論を用い、命題1.1における条件がタイプ3の単項式の場合に同値であることを示す。
• すべての変数 $x_k$ が $I:J_1, I:J_2, I:J_3$ の少なくとも1つに属することを用いて、分類を5つの標準的ケースに簡略化する。

実験結果

リサーチクエスチョン

• RQ1 命題1.1における3つのGorensteinに類似した条件は、すべてのアーティン局所環に対して同値であるか？
• RQ2 2が単元である場合の技術的仮定を除いて、テーターによるアーティンGorenstein環のソクルを法とした特徴づけを一般化できるか？
• RQ3 タイプ2のアーティン局所環において、「ほぼGorenstein」環を定義する条件は同値であるか？
• RQ4 $ω$-主単項式イデアルのタイプ3において、定義されるGorensteinに類似した条件は同値であるか？
• RQ5 $ω$-主単項式イデアルのタイプ3で「ほぼGorenstein」であるものの完全分類は何か？

主な発見

• 命題1.1における3つの条件は、タイプ2のアーティン局所環において同値である。
• タイプ3のアーティン局所環では、その環がテーターイデアルであるか、または他の4つの特定の単項式構成のいずれかに属する場合に限り、条件が同値である。
• 2が単元である場合の仮定を除いて、テーターの定理を一般化した。
• 2が単位であるグレード付き状況において、標準的グレード付きアーティン環は、そのソクル要素によるGorenstein環の準同型像であるための必要十分条件がトレースイデアル条件を満たすことである。
• $ω$-主単項式イデアルのタイプ3で「ほぼGorenstein」であるものの分類により、この場合における定義条件が同値であることが示された。
• すべての変数 $x_k$ に対して、$x_k \in J_i$ または $x_k = x^{a_j - a_i}$ を満たす $j$ が存在する。この性質により、完全なケース解析が可能となり、5つの標準的タイプが得られる。