[論文レビュー] Sequentially Cohen--Macaulay modules with respect to an irrelevant ideal

Ahad Rahimi|arXiv (Cornell University)|Dec 16, 2011

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

ひとこと要約

本稿は、標準的大域的次数付き多項式環 $ S $ における二重次数付き無関係イデアル $ Q $ に関する逐次 Cohen–Macaulay $ S $-加群の概念を導入し、有限生成の大域的次数付き $ S $-加群に対して相対 Cohen–Macaulay 濃縮 $ \mathcal{F} $ を定義する。本稿では、$ Q $ に関して逐次 Cohen–Macaulay であるすべての超曲面環を特徴づけ、このような濃縮の長さを明示的に計算する。

ABSTRACT

For a finitely generated bigraded $S$-module $M$ where $S$ is a standard bigraded polynomial ring we define the relative Cohen--Macaulay filtration $\mathcal{F}$ of $M$ with respect to the bigraded irrelevant ideal $Q$. We call $M$ to be sequentially Cohen-Macaulay with respect $Q$ if $M$ admits a relative Cohen-Macaulay filtration with respect to $Q$. We investigate the algebraic properties of these modules and compute the length of a relative Cohen-Macaulay filtration with respect to $Q$ explicitly. All hypersurface rings that are sequentially Cohen--Macaulay with respect to $Q$ are classified.

研究の動機と目的

• 標準的大域的次数付き多項式環における二重次数付き無関係イデアル $ Q $ に関する逐次 Cohen–Macaulay 加群を定義し、その性質を研究すること。
• このような加群を分析するための構造的道具として相対 Cohen–Macaulay 濃縮 $ \mathcal{F} $ を導入すること。
• 有限生成の大域的次数付き $ S $-加群に対して、相対 Cohen–Macaulay 濃縮の長さを明示的に計算すること。
• $ Q $ に関して逐次 Cohen–Macaulay であるすべての超曲面環を分類すること。

提案手法

• 加群 $ M $ の各次数成分と関連付ける素イデアルを用いて、大域的次数付き $ S $-加群 $ M $ とイデアル $ Q $ に関する相対 Cohen–Macaulay 濃縮 $ \mathcal{F} $ を定義する。
• 環 $ S $ の構造と $ Q $ の性質を用いて、濃縮の存在と長さを分析する。
• ホモロジー代数の技法を用いて、関連素イデアルと次元濃縮を焦点に、相対的状況における Cohen–Macaulay 性質を研究する。
• 各商加群が $ Q $ に関して Cohen–Macaulay であるような濃縮の存在によって、逐次 Cohen–Macaulay 性質を特徴付ける。
• 超曲面環の構造を用いて、$ Q $ に関して逐次 Cohen–Macaulay 条件を満たす場合を特定する。
• 次元濃縮における非自明な濃縮段階の数を分析することによって、相対 Cohen–Macaulay 濃縮の長さを計算する。

実験結果

リサーチクエスチョン

• RQ1 有限生成の大域的次数付き $ S $-加群が、二重次数付き無関係イデアル $ Q $ に関していつ逐次 Cohen–Macaulay であるか？
• RQ2 このような加群に対して、相対 Cohen–Macaulay 濃縮の明示的な長さは何か？
• RQ3 $ Q $ に関して逐次 Cohen–Macaulay である超曲面環はどれであり、どのように特徴づけられるか？
• RQ4 相対 Cohen–Macaulay 濃縮は、加群 $ M $ の次元および関連素イデアル構造とどのように関係するか？
• RQ5 大域的次数付き設定において、逐次 Cohen–Macaulay 性質を制御する代数的不変量は何か？

主な発見

• 大域的次数付き $ S $-加群 $ M $ とイデアル $ Q $ に関する相対 Cohen–Macaulay 濃縮 $ \mathcal{F} $ は存在し、$ M $ の関連素イデアルと次元濃縮によって一意に定まる。
• 相対 Cohen–Macaulay 濃縮の長さは明示的に計算可能であり、$ M $ の次元濃縮における異なる次元の数に一致する。
• $ Q $ に関して逐次 Cohen–Macaulay であるすべての超曲面環は、その定義方程式と関連素イデアル構造の観点から完全に分類されている。
• 大域的次数付き $ S $-加群 $ M $ が $ Q $ に関して逐次 Cohen–Macaulay であることは、各段階の商加群が $ Q $ に関して Cohen–Macaulay であるような濃縮が存在することと同値である。
• 相対 Cohen–Macaulay 濃縮は、$ M $ の $ Q $ に関する次元と深さの挙動を反映する構造的分解を提供する。