[論文レビュー] Normal Sally modules of rank one

Phuong Tran Thi|arXiv (Cornell University)|Jun 17, 2015

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

ひとこと要約

本稿は、解析的に分岐していないナガタの還元済み局域環におけるランク1のノーマルサリー代数の性質を調査し、最初のノーマルヒルベルト係数 $\overline{e}_1(I)$ が極値であると、$\overline{\mathcal{G}}$ の深さが $\dim R - 1$ 以上であることを示している。さらに、第3のノーマルヒルベルト係数が0であるとき、$\overline{\mathcal{G}}$ はコhen–マカウレイ的になる。主な貢献は、関連付ける順序付き環上のモジュール論的およびコhomオロジー的条件を用いたランク1ノーマルサリー代数の特徴付けである。

ABSTRACT

In this paper, we explore the structure of the normal Sally modules of rank one with respect to an $m$-primary ideal in a Nagata reduced local ring which is not necessary Cohen-Macaulay. As an application of this result, when the base ring is Cohen-Macaulay analytically unramified, the extremal bound on the first normal Hilbert coefficient leads to the Cohen-Macaulayness of the associated graded rings with respect to a normal filtration.

研究の動機と目的

• 非コhen–マカウレイ局所環へのノーマルサリー代数理論の拡張。
• 最初のノーマルヒルベルト係数 $\overline{e}_1(I)$ と関連付ける順序付き環 $\overline{\mathcal{G}}$ の深さとの明確な関係の確立。
• $\overline{e}_3(I) = 0$ のとき $\overline{\mathcal{G}}$ がコhen–マカウレイ的になる条件の特定。
• コhen–マカウレイ環から得られる結果を、条件 $(C_1)$, $(C_2)$, $(C_3)$ を満たす還元済みナガタ局所環へ一般化すること。

提案手法

• 拡張リース代数 $\overline{\mathcal{R}}$ と関連付ける順序付き環 $\overline{\mathcal{G}}$ の次数構造を用いて、モジュール論的性質を分析する。
• フィルトレーション $\{\overline{I^n}\}$ の振る舞いを制御し、深さの境界の有効性を保証するために、条件 $(C_1)$, $(C_2)$, $(C_3)$ を適用する。
• $\overline{\mathcal{R}} = \oplus_{n \geq 0} \overline{I^n}t^n$ の等式と $T$ 上での $\overline{\mathcal{R}}$ の有限生成性を用いて、コホモロジー的制約を導出する。
• $\overline{\mathcal{R}}_+(1) \cong \oplus_{n \geq 0} \overline{I^{n+1}}t^n$ の同型を用い、$\overline{S}$ を $\oplus_{n \geq 1} \overline{I^{n+1}} / Q^n \overline{I}$ として表現する。
• $a$-不変量とモジュール論的基準を用いたリース代数および関連付ける順序付き環のコhen–マカウレイ的性質に関する既知の結果を活用する。

実験結果

リサーチクエスチョン

• RQ1 条件 $(C_1)$, $(C_2)$, $(C_3)$ の下で、$\overline{e}_1(I) = e_0(I) + e_1(Q) - \ell_R(R/\overline{I}) + 1$ が成り立つとき、$\overline{S}_{Q}(I)$ が $B = T/\mathfrak{m}T$ 上のランク1モジュールであるための必要十分条件は何か？
• RQ2 非コhen–マカウレイ環において、$\overline{e}_1(I)$ が極値をとるとき、$\overline{\mathcal{G}}$ の深さにどのような境界が得られるか？
• RQ3 $\overline{e}_3(I) = 0$ のとき、$\overline{\mathcal{G}}$ がコhen–マカウレイ的になる条件は何か？
• RQ4 $d \leq 2$ のとき、$\overline{S}_{Q}(I)$ の構造は、$\overline{\mathcal{R}}$ および $\overline{\mathcal{G}}$ のコhen–マカウレイ的性質とどのように関係するか？

主な発見

• 条件 $(C_1)$, $(C_2)$, $(C_3)$ の下で、ノーマルサリー代数 $\overline{S}_{Q}(I)$ が $B(-q)$ に同型 ($q \geq 1$) であるための必要十分条件は、$\overline{e}_1(I) = e_0(I) + e_1(Q) - \ell_R(R/\overline{I}) + 1$ が成り立つことである。
• 条件 $(C_1)$, $(C_2)$, $(C_3)$ の下で、$\overline{e}_1(I) = e_0(I) + e_1(Q) - \ell_R(R/\overline{I}) + 1$ ならば、$\overline{S}_{Q}(I)$ は $T$-モジュールとしてコhen–マカウレイ的である。
• 同じ係数条件のもとで、$\mathrm{depth}\,\overline{\mathcal{G}} \geq \max\{d-1, t\}$ が成り立ち、ここで $t = \mathrm{depth}\,R$ である。
• $\overline{e}_3(I) = 0$ かつ $\overline{e}_1(I) = e_0(I) - \ell_R(R/\overline{I}) + 1$ ならば、$\overline{\mathcal{G}}$ はコhen–マカウレイ的である。
• $d=2$ のとき、$\overline{\mathcal{R}}$ がコhen–マカウレイ的でない場合でも、$\overline{\mathcal{G}}$ がコhen–マカウレイ的であることがある。$\dim R=2$, $\mathrm{e}_0(\mathfrak{m})=3$, $\ell_R(\mathfrak{m}^2/Q\mathfrak{m})=1$ である反例により示された。
• 次元1では、$\overline{\mathcal{G}}$ がコhen–マカウレイ的であると仮定すると、$\overline{\mathcal{R}}$ がコhen–マカウレイ的であることと $R$ が離散付値環であることとは同値である。