[论文解读] Direct limits of Gorenstein injective modules

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

Algebraic structures and combinatorial modelsMathematics被引用 3

一句话总结

本文通过证明：当且仅当环是左诺特环且每个Gorenstein内射模的特征模是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内射模类在任意直极限下封闭，当且仅当环是左诺特环且每个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} $ 在纯子模和纯商下封闭，当且仅当其在直极限下封闭。