模的Gorenstein投射覆盖
我们从一个你已经熟悉的概念开始:模的“覆盖”。在模论中,对于一个模 \(M\),一个投射覆盖指的是一个满同态 \(P \to M\),其中 \(P\) 是投射模,并且这个同态的“核”是多余的。这里的核心思想是,投射覆盖以“最小”的方式用投射模来逼近给定的模。
现在,考虑一类更一般的模。在Gorenstein同调代数中,我们研究“Gorenstein投射模”。简单来说,一个模 \(G\) 被称为Gorenstein投射模,如果存在一个完全投射分解,即一个正合序列:
\[\cdots \to P_1 \to P_0 \to P^0 \to P^1 \to \cdots \]
其中所有 \(P_i, P^i\) 都是投射模,并且 \(G = \operatorname{Ker}(P^0 \to P^1)\)。直观上,Gorenstein投射模是那些“在无限远处”看起来像投射模的模,它们是对通常投射模的一种推广,尤其是在环不是完全正则的情况下(比如在Gorenstein环上)显得非常重要。
基于此,我们可以定义Gorenstein投射覆盖的概念。对于一个模 \(M\),一个Gorenstein投射预覆盖 是一个同态 \(\phi: G \to M\),其中 \(G\) 是Gorenstein投射模,并且对于任意Gorenstein投射模 \(G'\) 和任意同态 \(f: G' \to M\),都存在一个同态 \(g: G' \to G\) 使得 \(\phi \circ g = f\)。也就是说,任何从Gorenstein投射模到 \(M\) 的映射,都可以通过 \(\phi\) 分解。如果一个Gorenstein投射预覆盖 \(\phi\) 的核 \(K = \operatorname{Ker}(\phi)\) 满足:对任意Gorenstein投射模 \(G'\),任意同态 \(h: G' \to K\) 在合成到 \(G\) 后,即 \(G' \to K \to G\),是零映射,则称这个核是“多余的”,并且此时称 \(\phi\) 为一个Gorenstein投射覆盖。这里的“多余”条件确保了覆盖在某种意义上是“极小”的。
为了理解其存在性,我们需要考虑环的性质。一个重要定理是:如果环 \(R\) 是左凝聚的 并且有有限的左Gorenstein整体维数,那么任何左 \(R\)-模都存在Gorenstein投射覆盖。这个定理表明,在相当广泛的代数条件下(包括所有交换Noetherian环和许多非交换环),每个模都可以用Gorenstein投射模以一种“极小”的方式覆盖。
Gorenstein投射覆盖在同调代数,特别是在研究模的Gorenstein投射维数 和稳定范畴时,是一个基本工具。它允许我们将任意模分解为Gorenstein投射部分和一个“小”的部分(即覆盖的核),然后对核进行迭代,可以构造模的Gorenstein投射分解,从而计算其Gorenstein投射维数。这使得Gorenstein投射覆盖成为相对同调代数中分析和分类模结构的关键概念。