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

ひとこと要約

本稿は、無限大の残渣体をもつ2次元正則局所環 $(R,\mathfrak{m})$ における $\mathfrak{m}$-主要で整的に閉じた任意のイデアル $I$ のリース代数 $ρ(I) = \bigoplus_{n\geq 0} I^n$ が、ほとんどゴレンスタインな次数付き環であることを証明する。この結果はヴェルマの共同還元理論に依拠しており、既知のほとんどゴレンスタインなリース代数のクラスを拡張し、ゴレンスタインなリース代数がまれであるにもかかわらず、次元2においてほとんどゴレンスタインなリース代数が広く存在することを示している。

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$.

研究の動機と目的

• 2次元正則局所環におけるイデアルのリース代数がいつほとんどゴレンスタインであるかを特定すること。
• ゴレンスタイン例を超えて、既知のほとんどゴレンスタインな次数付き環のクラスを拡張すること。
• 低次元正則環におけるほとんどゴレンスタインなリース代数の広がりを調査すること。
• 共同還元とヒルベルト＝バーチ行列が、ほとんどゴレンスタイン構造を特徴付ける役割を果たすことの解明。

提案手法

• 2次元正則局所環における $\mathfrak{m}$-主要イデアルに対して、ヴェルマの結果である、共同還元が存在し、共同還元数が0であることを用いる。
• 短い完全系列 $0 \to R \to \mathrm{K}_R(-a) \to C \to 0$ を用いたほとんどゴレンスタイン次数付き環の定義を適用し、ここで $\mu_R(C) = e^{0}_{\mathfrak{M}}(C)$ である。
• ヒルベルト＝バーチ理論を用いてリース代数 $\mathcal{R}(I)$ の表示を記述し、その正準モジュール $\mathrm{K}_{\mathcal{R}}$ を計算する。
• リース代数の定義行列の構造を、べき級数環上での次数付き環として分析し、$a$-不変量とモジュール条件を特定する。
• 局所化と基底変換を用いて、問題を次元5の正則局所環に還元し、[6, Theorem 7.8] を適用してほとんどゴレンスタイン構造が除外されることを示す。
• [6, Theorem 7.8] の基準を適用し、次元 ≥5 の正則局所環上の定義行列が最初の行に正則なパラメータ系をもたない場合、その局所環はほとんどゴレンスタインでないことを示す。

実験結果

リサーチクエスチョン

• RQ1 2次元正則局所環における $\mathfrak{m}$-主要イデアルのリース代数がいつほとんどゴレンスタインであるか。
• RQ2 共同還元理論が、リース代数におけるほとんどゴレンスタイン性を確立するために用いられる可能性は何か。
• RQ3 高次元環上のリース代数において、ほとんどゴレンスタイン性に構造的障害は存在するか。
• RQ4 リース代数のヒルベルト＝バーチ行列は、ほとんどゴレンスタイン条件とどのように関係するか。
• RQ5 2次元正則局所環におけるソークルイデアルのリース代数において、ほとんどゴレンスタイン性は保存されるか。

主な発見

• 無限大の残渣体をもつ2次元正則局所環における $\mathfrak{m}$-主要で整的に閉じた任意のイデアル $I$ に対して、リース代数 $\mathcal{R}(I)$ はほとんどゴレンスタインである。
• $\mathcal{R}(\mathfrak{m}^\ell)$ はすべての $\ell > 0$ に対してほとんどゴレンスタインであり、最大イデアルのべきへの結果の拡張がなされた。
• イデアル $Q = (x^m, y^n)$ のリース代数は、$n = 2$ である場合に限りほとんどゴレンスタインであり、単項式の場合には鋭い制限が存在することが示された。
• 生成元が $\mathfrak{m}^3$ に属する場合、$\mathcal{R}_{\mathfrak{M}}$ はほとんどゴレンスタインでないことが示され、強い障害が存在することが判明した。
• ソークルイデアル $Q:\mathfrak{m}$ のリース代数は、2次元であっても、一般にほとんどゴレンスタインではない。反例によって示された。
• 次元5の正則局所環上でのリース代数の定義行列は、最初の行に正則なパラメータ系をもつ形に変形できない。[6, Theorem 7.8] より、これはほとんどゴレンスタイン構造ではないことを示唆する。