[論文レビュー] 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

ひとこと要約

本稿は、1次元のほぼゴレンシュタイン局域環におけるウルリッヒイデアルを調査し、$I$ がウルリッヒイデアルであるときの導来ホモロジー複体 $\operatorname{\mathbf{R}Hom}_{R}(R/I,R)$ の構造定理を確立する。1次元でゴレンシュタインでないほぼゴレンシュタイン局域環において、唯一の非パラメータウルリッヒイデアルは極大イデアルであることを証明し、若手とWatanabeの予想を解決し、このような環におけるウルリッヒイデアルが一意な最小生成数を持つことを示す。

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.

研究の動機と目的

• ほぼゴレンシュタイン局域環、特に1次元の設定におけるウルリッヒイデアルの構造を明確化すること。
• 1次元でゴレンシュタインでないほぼゴレンシュタイン環において、唯一のウルリッヒイデアルは極大イデアルであるという予想を解決すること。
• このような環におけるすべてのウルリッヒイデアルが同じ最小生成数を持つかどうかを調査すること。
• 非ほぼゴレンシュタイン環において、異なる生成数を持つウルリッヒイデアルを構成する方法を提供すること。

提案手法

• コhen–マカウレイ局域環におけるウルリッヒイデアルに対する導来複体 $\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$ に応じて明示的に定義すること。
• この構造を用いて、G-次元の有限性およびバース数を $\nu(I)$ で特徴付けること。
• 多項式環 $S = A[X_1,\dots,X_\ell]$ のイデアル $\mathfrak{c}$ で、$X_i^2 - a_i$ および $i \neq j$ のとき $X_iX_j$ を生成元とする商環を用いて、ウルリッヒイデアルを構成すること。ここで $a_i \in \mathfrak{q}^2$ である。
• $I^2 = QI$ および $\ell_{A}(I/Q) = \ell \cdot \ell_{A}(A/\mathfrak{q})$ を示すことにより、構成されたイデアルがウルリッヒであることを検証すること。これにより $I$ がウルリッヒであることが保証される。
• この構成を用いて、同じ環 $R$ 内で $\nu(I) = d + \ell$ および $\nu(J) = n > d + \ell$ となる異なるイデアル $I,J$ の例を生成すること。

実験結果

リサーチクエスチョン

• RQ1 1次元でゴレンシュタインでないほぼゴレンシュタイン局域環において、可能なウルリッヒイデアルは何か？
• RQ2 非ゴレンシュタインのほぼゴレンシュタイン局域環におけるすべてのウルリッヒイデアルは、同じ最小生成数を持つのか？
• RQ3 非ほぼゴレンシュタイン環において、異なる生成数を持つウルリッヒイデアルが存在しうるか？
• RQ4 コhen–マカウレイ環におけるウルリッヒイデアルに対して、導来複体 $\operatorname{\mathbf{R}Hom}_{R}(R/I,R)$ はどのように振る舞うか？
• RQ5 局域環上の中間多項式環の商として構成された環 $R$ において、イデアル $I$ がウルリッヒであるための条件は何か？

主な発見

• 1次元でゴレンシュタインでないほぼゴレンシュタイン局域環において、唯一の非パラメータウルリッヒイデアルは極大イデアルである。
• 素のコヘン–マカウレイ型をもつ非ゴレンシュタインのほぼゴレンシュタイン環では、すべてのウルリッヒイデアルが同じ最小生成数を持つ。
• $R$ が $G$-正則（例えば、最小多重度をもつ非ゴレンシュタイン環、または非ゴレンシュタインのほぼゴレンシュタイン環）であるとき、任意のウルリッヒイデアル $I$ に対して $\nu(I) \geq d + 2$ が成り立つ。
• 導来複体 $\operatorname{\mathbf{R}Hom}_{R}(R/I,R)$ は、$R/I$ のシフトの直和に分解され、$u_i$ は $\nu(I) - d$ の関数として明示的に計算可能である。
• 非ほぼゴレンシュタイン環では、異なる生成数を持つウルリッヒイデアルを構成可能であり、たとえば同じ環 $R$ 内で $\nu(I) = 2$ および $\nu(J) = n > 2$ となるような $I,J$ の例が得られる。
• $S = A[X_1,\dots,X_\ell]$ および $\mathfrak{c} = (X_i^2 - a_i, X_iX_j \text{ for } i \neq j)$ を用いた構成 $R = S/\mathfrak{c}$ は、$a_i \in \mathfrak{q}^2$ のとき、$\nu(I) = d + \ell$ となるウルリッヒイデアルをもたらす。