[論文レビュー] Modules of G-dimension zero over local rings with the cube of maximal ideal being zero

Y. Yoshino|ArXiv.org|Mar 7, 2003

Advanced Topics in Algebra被引用数 21

ひとこと要約

本稿は、$ olimits^3 = 0$ を満たす可換ノエター局域環上でのG次元0のモジュールを調査し、非同型の不定値分解不能モジュールの連続的族を構成し、一般にはGorenstein環における期待とは反して、これらのモジュールの部分圏が反変的に有限でないことを証明している。結果は、コーシュル代数の構造と順次モジュール分解を用いて次元数え上げにより障害を導出する。

ABSTRACT

Let $(R, \m)$ be a commutative Noetherian local ring with $\m^3 =(0)$. We give a condition for $R$ to have a non-free module of G-dimension zero. We shall also construct a family of non-isomorphic indecomposable modules of G-dimension zero with parameters in an open subset of projective space. We shall finally show that the subcategory consisting of modules of G-dimension zero over $R$ is not necessarily a contravariantly finite subcategory in the category of finitely generated $R$-modules.

研究の動機と目的

• 局所環において$ olimits^3 = 0$ を満たす場合に、非自明で非自由なG次元0のモジュールの明示的例を提供すること。
• Gorenstein環上の最大コhen＝マカウルモジュールのカテゴリと同様に、G次元0モジュールのカテゴリが反変的に有限かどうかを調査すること。
• このような環が非自由なG次元0モジュールをもつための条件を、ピオンカーリエおよびバース級数などのホモロジー的不変量と関連付けて特定すること。
• 射影空間によってパrameter化された、不定値分解不能モジュールのG次元0の連続的族を構成し、これらの環における豊かな構造を示すこと。

提案手法

• 完全分解と双対性によるG次元0の定義を用い、明示的な自由分解とその双対を構成することで、Ext群の消滅を検証する。
• モジュールの連続的族の構成には、順次モジュール分解と、同型類をパラメータ化するための剰余体上の行列の使用が関与する。
• 重要な技術的アプローチとして、1次元コhen＝マカウル環で最小多重度を持つ$S$に対して$R = S/x^2S$ と表される環上のモジュールの順次構造を分析する。
• 反変的に有限でないことを証明するには、ワカマツの補題と、仮想近似系列の順次成分における次元数え上げを用いる。
• 環$R$が一意なピオンカーリエ、バース、ヒルベルト級数をもつコーシュル代数であれば、非自明なG次元0モジュールをもつ可能性があることを示す。
• このような環は、1次元コhen＝マカウル環$S$と、2次非零除因子$f$に対して$S/fS$の形に限られる。

実験結果

リサーチクエスチョン

• RQ1 局所環において$ olimits^3 = 0$ を満たすとき、非自由なG次元0モジュールが存在するための条件は何か？
• RQ2 このような環上で、非同型の不定値分解不能モジュールの連続的族を構成できるか？
• RQ3 局所環において$ olimits^3 = 0$ を満たすとき、G次元0モジュールの部分圏は、有限生成モジュールの圏において反変的に有限か？
• RQ4 ピオンカーリエ、バース、ヒルベルト級数といったホモロジー的不変量は、非自由なG次元0モジュールをもつ環をどのように特徴づけるか？
• RQ5 非自由なG次元0モジュールをもつ環$R$の構造はどのようなものか？

主な発見

• 局所環において$ olimits^3 = 0$ を満たす非自由なG次元0モジュールが存在するための必要条件は、環が一意なピオンカーリエ、バース、ヒルベルト級数をもつコーシュル代数であることである。
• このような環において、非自由なG次元0モジュールの存在は、$S$を最小多重度をもつ1次元コhen＝マカウル環とし、$x$を最大イデアルの最小還元因子とするとき、$R \cong S/x^2S$ と同型であることと同値である。
• 射影空間の開部分集合によってパラメータ化された、非同型の不定値分解不能モジュールのG次元0の連続的族が構成された。
• このような環上のG次元0モジュールの部分圏は、仮想近似系列の順次成分における次元数え上げの矛盾により、反変的に有限でないことが示された。
• 障害は方程式$(1 - r)(\sum_{j=u+1}^{n}s_j) = 1$ に起因し、この式は正の整数解を持たないため、$k$（剰余体）に対する$\mathcal{G}(R)$-近似の存在に矛盾する。
• この結果は、$ olimits^3 = 0$ を満たす比較的単純なArtin環でさえ、G次元0モジュールのカテゴリがGorenstein環で知られている基本的な有限性性質を満たさないことを示唆している。