[论文解读] Almost Gorenstein rings

Shirô Gotô, Naoyuki Matsuoka+1 more|arXiv (Cornell University)|Jun 7, 2011

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

一句话总结

本文将几乎 Gorenstein 环的概念推广至包含解析分支的一维 Cohen-Macaulay 局部环，提出一个统一的定义，扩展了 Barucci 与 Fröberg 的原始理论。关键贡献在于：基于一个新定义，即对一个典范理想 $ I $，有 $\mathrm{e}_1(I) \leq \mathrm{r}(R)$，完全解决了 endomorphism 代数 $\tau = \mathfrak{m} : \mathfrak{m}$ 为 Gorenstein 的问题，并证明了理想化保持几乎 Gorenstein 性质。

ABSTRACT

The notion of almost Gorenstein ring given by Barucci and Fr{ö}berg \cite{BF} in the case where the local rings are analytically unramified is generalized, so that it works well also in the case where the rings are analytically ramified. As a sequel, the problem of when the endomorphism algebra $\m : \m$ of $\m$ is a Gorenstein ring is solved in full generality, where $\m$ denotes the maximal ideal in a given Cohen-Macaulay local ring of dimension one. Characterizations of almost Gorenstein rings are given in connection with the principle of idealization. Examples are explored.

研究动机与目标

• 将几乎 Gorenstein 环理论从解析无分支情形推广至包含解析分支的环。
• 弥合 Barucci 与 Fröberg 在证明 $\mathfrak{m} : \mathfrak{m}$ 为 Gorenstein 的条件时存在的漏洞。
• 通过典范理想 $ I $ 的第一 Hilbert 系数 $\mathrm{e}_1(I)$ 提供几乎 Gorenstein 环的统一刻画。
• 研究 $3$-生成的数值半群环中以及通过理想化构造的环中的几乎 Gorenstein 性质。
• 建立理想化 $ R \ltimes \mathfrak{m} $ 为几乎 Gorenstein 的条件，并构造出新的非 Gorenstein 几乎 Gorenstein 环的例子。

提出的方法

• 基于不等式 $\mathrm{e}_1(I) \leq \mathrm{r}(R)$ 提出一种新的几乎 Gorenstein 环定义，该定义在解析分支情形下依然有效。
• 应用 Northcott–Rees 不等式分析 $\mathfrak{m}$-权理想下 $\mathrm{e}_1(I)$ 的行为。
• 将端自同态代数 $\mathfrak{m} : \mathfrak{m} = \mathrm{Hom}_R(\mathfrak{m}, \mathfrak{m})$ 作为核心对象，研究 Gorenstein 性质。
• 应用理想化理论（平凡扩张）从已有环构造新的几乎 Gorenstein 环。
• 利用典范模 $\mathrm{K}_R$ 及其对偶 $\mathfrak{m}^\vee = \mathrm{Hom}_R(\mathfrak{m}, \mathrm{K}_R)$，将 $\mathfrak{m} : \mathfrak{m}$ 与 $ S = R[K] $ 对于分式理想 $ K $ 关联起来。
• 利用等价关系 $ R \ltimes \mathfrak{m} $ 是几乎 Gorenstein $\Leftrightarrow$ $ R $ 是几乎 Gorenstein（定理 6.5）生成无限多个非 Gorenstein 的几乎 Gorenstein 环族。

实验结果

研究问题

• RQ1 对于一维 Cohen-Macaulay 局部环 $ R $，何时其端自同态代数 $\mathfrak{m} : \mathfrak{m}$ 是 Gorenstein 环？
• RQ2 如何将几乎 Gorenstein 环的概念推广至包含解析分支的环？
• RQ3 在何种条件下，理想化 $ R \ltimes \mathfrak{m} $ 是几乎 Gorenstein？
• RQ4 当 $ S = R[K] $ 且 $ K \cong \mathrm{K}_R $ 时，$ R \ltimes S $ 何时为几乎 Gorenstein？
• RQ5 何时有 $ v(R \ltimes S) = e(R \ltimes S) $，这对其 Gorenstein 性质有何含义？

主要发现

• 新定义的几乎 Gorenstein 环——即对典范理想 $ I $ 要求 $\mathrm{e}_1(I) \leq \mathrm{r}(R)$——在解析无分支情形下与 Barucci 与 Fröberg 的原始定义等价。
• 关于 $\mathfrak{m} : \mathfrak{m}$ 为 Gorenstein 的问题已得到完全解决：$\mathfrak{m} : \mathfrak{m}$ 是 Gorenstein 当且仅当 $ R $ 是几乎 Gorenstein 且 $ v(R) = e(R) $。
• 理想化 $ R \ltimes \mathfrak{m} $ 是几乎 Gorenstein 当且仅当 $ R $ 是几乎 Gorenstein（定理 6.5）。
• 当 $ R $ 是几乎 Gorenstein 但非 Gorenstein 且剩余域无限时，$ R \ltimes S $ 不是 Gorenstein，但当 $ S = \mathfrak{m} : \mathfrak{m} $ 时有 $ v(R \ltimes S) = 2v(R) $。
• 通过迭代理想化可构造出无限多个非 Gorenstein 的几乎 Gorenstein 环：令 $ R_n = (R_{n-1})_1 $，其中 $ R_1 = R \ltimes \mathfrak{m}^\vee $，且 $ v(R_n) = 2^n v(R) $。
• 环 $ k[[X,Y]]/(Y^2) \ltimes (X,Y)/(Y^2) $ 是一个通过理想化构造的非 Gorenstein 几乎 Gorenstein 环的例子。