[论文解读] Ulrich ideals and almost Gorenstein rings

Shirô Gotô, Ryo Takahashi+1 more|arXiv (Cornell University)|Jul 16, 2015

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

一句话总结

本文研究了一维几乎 Gorenstein局部环中的 Ulrich 理想，建立了当 $ I $ 为 Ulrich 理想时，导出 Hom 复形 $\operatorname{\mathbf{R}Hom}_{R}(R/I,R)$ 的结构定理。证明了在一维非 Gorenstein 几乎 Gorenstein 局部环中，唯一的非参数 Ulrich 理想是极大理想，从而解决了 Watanabe 的一个猜想，并表明此类环中 Ulrich 理想的极小生成元个数唯一。

ABSTRACT

The structure of the complex $\operatorname{\mathbf{R}Hom}_R(R/I,R)$ is explored for an Ulrich ideal $I$ in a Cohen-Macaulay local ring $R$. As a consequence, it is proved that in a one-dimensional almost Gorenstein but non-Gorenstein local ring, the only possible Ulrich ideal is the maximal ideal. It is also studied when Ulrich ideals have the same minimal number of generators.

研究动机与目标

• 阐明几乎 Gorenstein 局部环中 Ulrich 理想的结构，特别是在一维情形下。
• 解决一个猜想：在一维非 Gorenstein 几乎 Gorenstein 环中，唯一的 Ulrich 理想是极大理想。
• 研究此类环中所有 Ulrich 理想是否具有相同的极小生成元个数。
• 提供一种在非几乎 Gorenstein 环中构造具有不同生成元个数的 Ulrich 理想的方法。

提出的方法

• 为 Cohen–Macaulay 局部环中 Ulrich 理想的导出复形 $\operatorname{\mathbf{R}Hom}_{R}(R/I,R)$ 推导出一个结构定理。
• 利用导出范畴中的同构 $\operatorname{\mathbf{R}Hom}_{R}(R/I,R) \cong \bigoplus_{i\in\mathbb{Z}}(R/I)^{\oplus u_i}[-i]$，其中 $ u_i $ 显式依赖于 $\nu(I) - d$。
• 将此结构应用于以 $\nu(I)$ 表示 G-维数的有限性与 Bass 数的刻画。
• 通过多项式环 $ S = A[X_1,\dots,X_\ell] $ 模一个由 $ X_i^2 - a_i $ 和 $ X_iX_j $（$ i \neq j $）生成的理想 $\mathfrak{c}$ 的商环，构造具有不同生成元个数的 Ulrich 理想，其中 $ a_i \in \mathfrak{q}^2 $。
• 通过验证 $ I^2 = QI $ 且 $ \ell_{A}(I/Q) = \ell \cdot \ell_{A}(A/\mathfrak{q}) $ 来确认所构造的理想是 Ulrich 理想，从而保证 $ I $ 为 Ulrich 理想。
• 利用该构造在同一个环 $ R $ 中产生满足 $ \nu(I) = d + \ell $ 且 $ \nu(J) = n > d + \ell $ 的不同理想 $ I,J $。

实验结果

研究问题

• RQ1 在一维非 Gorenstein 几乎 Gorenstein 局部环中，可能的 Ulrich 理想有哪些？
• RQ2 在一非 Gorenstein 几乎 Gorenstein 局部环中，所有 Ulrich 理想是否具有相同的极小生成元个数？
• RQ3 在非几乎 Gorenstein 环中，是否存在具有不同生成元个数的 Ulrich 理想？
• RQ4 在 Cohen–Macaulay 环中，Ulrich 理想的导出复形 $\operatorname{\mathbf{R}Hom}_{R}(R/I,R)$ 如何表现？
• RQ5 在局部环上多项式环的商环构造的环 $ R $ 中，什么条件能保证理想 $ I $ 是 Ulrich 理想？

主要发现

• 在一维非 Gorenstein 几乎 Gorenstein 局部环中，唯一的非参数 Ulrich 理想是极大理想。
• 对于素 Cohen–Macaulay 型的非 Gorenstein 几乎 Gorenstein 环，所有 Ulrich 理想具有相同的极小生成元个数。
• 若 $ R $ 是 G-正则环（例如，极小多重性的非 Gorenstein 环或非 Gorenstein 几乎 Gorenstein 环），则对任意 Ulrich 理想 $ I $，有 $ \nu(I) \geq d + 2 $。
• 导出复形 $\operatorname{\mathbf{R}Hom}_{R}(R/I,R)$ 分解为 $ R/I $ 的平移的直和，其中 $ u_i $ 显式地用 $ \nu(I) - d $ 表示。
• 在非几乎 Gorenstein 环中，可以构造出具有不同生成元个数的 Ulrich 理想，例如在同一个环 $ R $ 中存在满足 $ \nu(I) = 2 $ 且 $ \nu(J) = n > 2 $ 的理想 $ I,J $。
• 通过构造 $ R = S/\mathfrak{c} $，其中 $ S = A[X_1,\dots,X_\ell] $，且 $ \mathfrak{c} = (X_i^2 - a_i, X_iX_j \text{ for } i \neq j) $，当 $ a_i \in \mathfrak{q}^2 $ 时，可得到满足 $ \nu(I) = d + \ell $ 的 Ulrich 理想。