[论文解读] Rings which are almost Gorenstein

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

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

一句话总结

本文引入并研究了‘几乎广中’环——即满足广中类似性质的交换诺特局部科恩-麦克aulay环，特别是其迹理想 $ω^*(\omega)$ 包含极大理想。作者在特定情形下建立了此类环的等价刻画，尤其是类型为二的阿廷环与类型为三的单项式理想，并推广了特泽关于阿廷广中环模其余维理想的结果，当 2 是单位时消除了一个技术性假设。

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.

研究动机与目标

• 理解科恩-麦克aulay环在至多可数科恩-麦克aulay类型下的结构，特别是其在参数系特殊化下的Hilbert函数。
• 定义并研究‘几乎广中’环——即满足广中类似迹理想条件但未必是广中环的环。
• 推广特泽于1974年对阿廷广中环模其余维理想之刻画，当 2 是单位时消去一个技术性假设。
• 证明在类型为二的阿廷局部环与类型为三的 $ω$-主单项式理想的情形下，多个广中类似条件是等价的。
• 对类型为三的 $ω$-主单项式理想中为几乎广中的情形进行分类，表明在此情况下定义条件等价。

提出的方法

• 引入并分析三个等价条件以判断环是否为几乎广中：(1) 极大理想包含于迹理想 $ω^*(\omega)$ 中，(2) 对参数系存在某种理想包含关系，(3) 在有限个被排除素理想下该关系的弱化版本。
• 利用马特利对偶性与零化子的性质，将迹理想 $ω^*(\omega)$ 与广中环中的零化子理想联系起来。
• 通过构造 $R = S/(0:K)$ 的商环（其中 $S$ 为广中环，$K$ 为理想）来构造几乎广中环的例子，并确认 $ω_R \cong K$。
• 通过其关联理想 $J_1, J_2, J_3$ 分析类型为三的单项式理想，并利用变量的次数对迹理想条件成立的情形进行分类。
• 运用关于单项式次数与变量包含关系的组合论证，证明在类型为三的单项式情形下，命题1.1中的条件是等价的。
• 利用每个变量至少属于 $I:J_1, I:J_2, I:J_3$ 之一的事实，将分类简化为五种典型情形。

实验结果

研究问题

• RQ1 命题1.1中的三个广中类似条件是否对所有阿廷局部环都等价？
• RQ2 当 2 是单位时，是否可将特泽对阿迪斯广中环模其余维理想的刻画推广，以消除技术性假设？
• RQ3 在类型为二的阿迪斯局部环中，‘几乎广中’环的定义条件是否等价？
• RQ4 在类型为三的 $ω$-主单项式理想中，定义广中类似条件是否等价？
• RQ5 对类型为三的 $ω$-主单项式理想中为几乎广中的情形，其完整分类为何？

主要发现

• 在类型为二的阿迪斯局部环中，命题1.1中的三个条件是等价的。
• 在类型为三的阿迪斯局部环中，这些条件等价当且仅当该环是特泽理想，或属于另外四种特定的单项式构型之一。
• 本文通过在 2 是单位时消去‘对称表示’假设，推广了特泽定理。
• 在 2 是单位的分次情形下，一个标准分次阿迪斯环是其余维元素的广中环的同态像，当且仅当它满足迹理想条件。
• 对类型为三的 $ω$-主单项式理想中为几乎广中的情形的分类表明，定义条件在此情况下是等价的。
• 对每个变量 $x_k$，要么 $x_k \in J_i$，要么 $x_k = x^{a_j - a_i}$ 对某个 $j$ 成立，由此导出完整的分类分析，得到五种典型类型。