[論文レビュー] Direct limits of Gorenstein injective modules

Alina Iacob|arXiv (Cornell University)|Aug 16, 2023

Algebraic structures and combinatorial modelsMathematics被引用数 3

ひとこと要約

この論文は、Gorensteinホモロジー代数における長年の未解決問題を解決し、環 $ R $ が左ネーター的であることと、Gorenstein射影的モジュールの特性モジュールがGorenstein平坦であることの両方が成り立つとき、Gorenstein射影的モジュールのクラスが任意の直和極限に関して閉じていることを示した。この同値性は、双対対、コトーショント対、および純粋部分モジュールと商の性質を通じて確立された。

ABSTRACT

One of the open problems in Gorenstein homological algebra is: when is the class of Gorenstein injective modules closed under arbitrary direct limits? It is known that if the class of Gorenstein injective modules, $\mathcal{GI}$, is closed under direct limits, then the ring is noetherian. The open problem is whether or not the converse holds. We give equivalent characterizations of $\mathcal{GI}$ being closed under direct limits. More precisely, we show that the following statements are equivalent:\\ (1) The class of Gorenstein injective left $R$-modules is closed under direct limits.\\ (2) The ring $R$ is left noetherian and the character module of every Gorenstein injective left $R$-module is Gorenstein flat.\\ (3) The class of Gorenstein injective modules is covering and it is closed under pure quotients.\\ (4) $\mathcal{GI}$ is closed under pure submodules.

研究の動機と目的

• Gorenstein射影的モジュールのクラスが任意の直和極限に関して閉じている条件を解明すること。
• ネーター的条件だけが直和極限に関して閉じることを示すか、それ以上の追加条件が必要かを特定すること。
• 双対対、コトーショント対、および純粋性条件を用いて、閉じる性質の同値な特徴づけを確立すること。
• Gorenstein射影的モジュールの被覆性とその直和極限に関しての閉じる性質との関係を調査すること。
• Gorenstein射影的モジュールの特性モジュールがGorenstein平坦であるための十分条件を探索すること。

提案手法

• 特性モジュールを通じて、Gorenstein射影的モジュールとGorenstein平坦モジュールを双対対によって関連付ける。
• 以前の研究で確立された、任意の環 $ R $ に対して完全な遺伝的コトーショント対 $ (^{ot}\mathcal{GI}, \mathcal{GI}) $ を応用する。
• 直和極限が直和の純粋商であるという事実を活用し、直和極限に関する閉じる性質と純粋商に関する閉じる性質を結びつける。
• 純粋部分モジュールおよび純粋商に関して閉じているクラスは、直和極限についても閉じているという特徴づけを用いる。
• 被覆性と定義可能性の同値性を用いて、純粋部分モジュールに関する閉じる性質を導出する。
• 双対複体とIwanaga-Gorenstein環を用いて、モジュールの単射次元と特性モジュールの平坦性を分析する。

実験結果

リサーチクエスチョン

• RQ1 Gorenstein射影的モジュールのクラスが任意の直和極限に関して閉じているのは、環 $ R $ が左ネーター的であり、かつすべてのGorenstein射影的左 $ R $-モジュールの特性モジュールがGorenstein平坦であることの必要十分条件であるか？
• RQ2 すべての左ネーター環は、すべてのGorenstein射影的モジュールの特性モジュールがGorenstein平坦であるという条件を満たすか？
• RQ3 クラス $ \mathcal{GI} $ の被覆性は、その直和極限に関しての閉じる性質と同値か？
• RQ4 純粋性と双対対構造を用いて、$ \mathcal{GI} $ の直和極限に関しての閉じる性質を特徴づけられるか？
• RQ5 どのような環のクラス（例えば、Gorenstein環、双対複体をもつ環など）は、Gorenstein射影的モジュールの特性モジュールがGorenstein平坦であるという条件を満たすか？

主な発見

• Gorenstein射影的モジュールのクラス $ \mathcal{GI} $ は、任意の直和極限に関して閉じている。その必要十分条件は、$ R $ が左ネーター的であり、かつすべてのGorenstein射投影的左 $ R $-モジュールの特性モジュールがGorenstein平坦であることである。
• クラス $ \mathcal{GI} $ が被覆的であることは、純粋商および純粋部分モジュールに関して閉じていることと同値であり、これはさらに直和極限についての閉じる性質を含意する。
• 環 $ R $ が左ネーター的であり、かつ $ \operatorname{id}_R(R) \leq n $ であるならば、すべてのGorenstein射投影的モジュールの特性モジュールはGorenstein平坦である。
• 双対複体をもつ可換ネーター環では、Gorenstein射投影的モジュールの特性モジュールはGorenstein平坦である。
• Iwanaga-Gorenstein環では、Gorenstein射投影的モジュールの特性モジュールがGorenstein平坦であるという条件を満たす。
• クラス $ \mathcal{GI} $ が純粋部分モジュールおよび純粋商に関して閉じていることは、被覆性の仮定のもとで、直和極限に関して閉じていることと同値である。