[论文解读] The almost Gorenstein Rees algebras over two-dimensional regular local rings

Shirô Gotô, Naoyuki Matsuoka+2 more|arXiv (Cornell University)|Jun 22, 2015

Commutative Algebra and Its Applications参考文献 7被引用 3

一句话总结

该论文证明了，在具有无限剩余域的二维正则局部环 $(R,\mathfrak{m})$ 中，任意 $\mathfrak{m}$-主且整闭的理想 $I$ 的 Rees 代数 $ρ(I) = \bigoplus_{n\geq 0} I^n$ 是一个几乎 Gorenstein分次环。该结果依赖于 Verma 的联合约化理论，并将已知的几乎 Gorenstein Rees 代数的类推广，表明尽管 Gorenstein Rees 代数较为稀少，但在二维情形下几乎 Gorenstein Rees 代数却很普遍。

ABSTRACT

Let $(R,\mathfrak{m})$ be a two-dimensional regular local ring with infinite residue class field. Then the Rees algebra $\mathcal{R} (I)= \bigoplus_{n \ge 0}I^n$ of $I$ is an almost Gorenstein graded ring in the sense of Goto-Takahashi-Taniguchi for every $\mathfrak{m}$-primary integrally closed ideal $I$ in $R$.

研究动机与目标

• 确定二维正则局部环中理想之 Rees 代数为几乎 Gorenstein 的条件。
• 将已知的几乎 Gorenstein 分次环类扩展至超越 Gorenstein 例子的范围。
• 研究几乎 Gorenstein Rees 代数在低维正则环中的普遍性。
• 阐明联合约化与 Hilbert-Burch 矩阵在刻画几乎 Gorenstein 结构中的作用。

提出的方法

• 利用 Verma 关于二维正则局部环中 $\mathfrak{m}$-主理想存在联合约化且联合约化数为零的结果。
• 通过短正合列 $0 \to R \to \mathrm{K}_R(-a) \to C \to 0$ 定义几乎 Gorenstein 分次环，其中 $\mu_R(C) = e^{0}_{\mathfrak{M}}(C)$。
• 运用 Hilbert-Burch 理论描述 Rees 代数 $\mathcal{R}(I)$ 的表示形式，并计算其典范模 $\mathrm{K}_{\mathcal{R}}$。
• 分析 Rees 代数在幂级数环上定义矩阵的结构，以确定 $a$-不变量与模条件。
• 通过局部化与基变换，将问题约化为维数为五的正则局部环，应用 [6, 定理 7.8] 排除几乎 Gorenstein 结构的可能性。
• 应用 [6, 定理 7.8] 的判别准则：若局部环在其定义矩阵（在维数 ≥5 的正则局部环上）不能等价于第一行为正则参数组的矩阵，则该环不是几乎 Gorenstein。

实验结果

研究问题

• RQ1 在二维正则局部环中，$\mathfrak{m}$-主理想之 Rees 代数在何种条件下为几乎 Gorenstein？
• RQ2 联合约化理论是否可用于建立 Rees 代数的几乎 Gorenstein 性质？
• RQ3 在高维环上的 Rees 代数中，是否存在几乎 Gorenstein 性质的结构性障碍？
• RQ4 Rees 代数的 Hilbert-Burch 矩阵如何与几乎 Gorenstein 条件相关联？
• RQ5 在二维正则局部环中，socle 理想之 Rees 代数的几乎 Gorenstein 性质是否保持不变？

主要发现

• 在具有无限剩余域的二维正则局部环中，任意 $\mathfrak{m}$-主且整闭的理想 $I$ 的 Rees 代数 $\mathcal{R}(I)$ 均为几乎 Gorenstein。
• 对于所有 $\ell > 0$，Rees 代数 $\mathcal{R}(\mathfrak{m}^\ell)$ 均为几乎 Gorenstein，结果扩展至极大理想的幂次情形。
• 对于理想 $Q = (x^m, y^n)$，其 Rees 代数为几乎 Gorenstein 当且仅当 $n = 2$，表明在单项式情形下存在严格的限制。
• 若 $Q$ 的生成元属于 $\mathfrak{m}^3$，则 $\mathcal{R}_{\mathfrak{M}}$ 不是几乎 Gorenstein，表明存在强烈的障碍。
• 即使在二维情形下，socle 理想 $Q:\mathfrak{m}$ 的 Rees 代数也不一定是几乎 Gorenstein，反例已给出。
• 在维数为五的正则局部环上，Rees 代数的定义矩阵无法变换为第一行为正则参数组的矩阵形式，根据 [6, 定理 7.8]，这表明其结构不是几乎 Gorenstein。