[論文レビュー] Correspondence between trace ideals and birational extensions with application to the analysis of the Gorenstein property of rings

Shirô Gotô, Ryotaro Isobe+1 more|arXiv (Cornell University)|Feb 23, 2018

Commutative Algebra and Its Applications参考文献 13被引用数 4

ひとこと要約

この論文は、特に1次元Gorenstein環に注目して、可換環におけるトレースイデアル、安定イデアル、および有理型拡大の間の対応関係を確立する。1つの極端な場合を除き、トレースイデアルから有理型拡大への対応 ρ が全射であることと、1次元のCohen-Macaulay局域環におけるGorenstein性が同値であることを示している。

ABSTRACT

Over an arbitrary commutative ring, correspondences among three sets, the set of trace ideals, the set of stable ideals, and the set of birational extensions of the base ring, are studied. The correspondences are well-behaved, if the base ring is a Gorenstein ring of dimension one. It is shown that with one extremal exception, the surjectivity of one of the correspondences characterizes the Gorenstein property of the base ring, provided it is a Cohen-Macaulay local ring of dimension one. Over a commutative Noetherian ring, a characterization of modules in which every submodule is a trace module is given. The notion of anti-stable rings is introduced, exploring their basic properties.

研究の動機と目的

• 可換環におけるトレースイデアル、安定イデアル、および有理型拡大の間の構造的関係を調査すること。
• トレースイデアルと有理型拡大の間の自然な対応 ρ による全射性が、環のGorenstein性を特徴づける方法を特定すること。
• すべてのイデアルがそのトレースと同型であるような「反安定環」の概念を導入し、その性質を研究すること。
• 特にネーター環において、モジュールのすべての部分モジュールがトレースモジュールであるような条件を分析すること。
• トレースイデアルの対応関係を用いて、1次元Cohen-Macaulay環におけるGorenstein性の基準を確立すること。

提案手法

• R-加群 M と X に対して、評価写像 τ_X(M) = Im(τ_{M,X}) を用いてトレースイデアルを定義する。
• 3つの集合を導入する：𝒳_R（正則トレースイデアル）、𝒴_R（有限R-加群構造を持つ有理型拡大）、𝒵_R（I² = aI を満たす a ∈ I が存在するイデアル I）。
• 自然な対応関係を確立する：ξ: 𝒵_R → 𝒴_R（I ↦ I:I）、η: 𝒴_R → 𝒳_R（A ↦ R:A）、ρ: 𝒳_R → 𝒴_R（I ↦ I:I）。
• R が1次元Gorenstein環であるとき、ρ ∘ η = id_{𝒴_R} および η ∘ ρ = id_{𝒳_R} が成り立つことを証明し、対応が双対的であることを示す。
• 対応 ρ を用いてGorenstein性を特徴づける：ρ の全射性がR がGorensteinであることを示唆するが、1つの極端な例外を除く。
• すべてのイデアルがそのトレースと同型である環を反安定環と呼び、このような環が高さ1素イデアルにおいて局所的にGorensteinであり、多重度 ≤ 2 であることを示す。

実験結果

リサーチクエスチョン

• RQ1 対応 ρ: トレースイデアル → 有理型拡大 がいつ全射になるのか。これは環の構造にどのような意味を持つのか。
• RQ2 1次元Gorenstein環において、トレースイデアル、安定イデアル、有理型拡大の間の対応関係はどのように振る舞うか。
• RQ3 モジュールのすべての部分モジュールがトレースモジュールであるような環は、どのような特徴を持つのか。
• RQ4 反安定環とGorenstein性の関係は何か。
• RQ5 局所環の高さ1素イデアルにおける多重度 e(R_p) ≤ 2 となる条件は何か。これは反安定性とどのように関係するか。

主な発見

• 対応 ρ: 𝒳_R → 𝒴_R が双対的であることは、R が1次元Gorenstein環であることに同値であり、1つの極端な場合を除く。
• Cohen-Macaulay局域環の1次元において、ρ の全射性がGorenstein性を特徴づけるが、1つの反例を除いて成り立つ。
• ネーター環 R が反安定であることは、すべてのイデアル I ∈ 𝒻_R が τ_R(I) と同型であることと同値であり、このような環はすべての p ∈ Ht₁(R) に対して e(R_p) ≤ 2 を満たすGorenstein環である。
• R が反安定かつ半局所的であるとき、R は強く反安定である。つまり、すべてのイデアルがモジュール同型を介してそのトレースと同型である。
• Cohen-Macaulay環 R がすべての極大イデアル M に対して dim R_M = 1 を満たすとき、反安定性は R が安定環であることを示唆する。
• R が反安定かつ (S₁) を満たすとき、すべての高さ1素イデアル p に対して e(R_p) ≤ 2 であり、この条件は反安定性に必要不可欠である。