[论文解读] Relative Singularity Categories and Gorenstein-Projective Modules

Xiao‐Wu Chen|arXiv (Cornell University)|Sep 12, 2007

Algebraic structures and combinatorial models参考文献 15被引用 4

一句话总结

本文引入了在阿贝尔范畴中关于自正交子范畴 𝜔 的相对奇异范畴，证明在适当条件下，𝜔-科恩-麦克aulay 对象的稳定范畴与相对奇异范畴之间存在三角等价。主要贡献是将 Buchweitz-Happel 对偶性推广至 Gorenstein 环的情形，表明 Gorenstein-投影模的稳定范畴是紧生成的，且紧对象恰好为模（至直和项）的有限生成 Gorenstein-投影模。

ABSTRACT

We introduce the notion of relative singularity category with respect to any self-orthogonal subcategory $ω$ of an abelian category. We introduce the Frobenius category of $ω$-Cohen-Macaulay objects, and under some reasonable conditions, we show that the stable category of $ω$-Cohen-Macaulay objects is triangle-equivalent to the relative singularity category. As applications, we relate the stable category of (unnecessarily finitely-generated) Gorenstein-projective modules with singularity categories of rings. We prove that for a Gorenstein ring, the stable category of Gorenstein-projective modules is compactly generated and its compact objects coincide with finitely-generated Gorenstein-projective modules up to direct summands.

研究动机与目标

• 定义并研究相对于自正交子范畴 𝜔 ⊆ 𝒜 的相对奇异范畴 $ D_{\omega}(\mathcal{A}) $，推广经典奇异范畴。
• 引入 𝜔-科恩-麦克aulay 对象的弗罗贝尼乌斯范畴，并建立其稳定范畴为三角商范畴。
• 通过相对奇异范畴，将 Gorenstein 环上 Gorenstein-投影模的稳定范畴与奇异范畴联系起来。
• 证明 Gorenstein 环上 Gorenstein-投影模的稳定范畴是紧生成的，且紧对象与有限生成 Gorenstein-投影模（至直和项）一一对应。
• 将 Buchweitz-Happel 对偶性推广至可能无限生成的 Gorenstein-投影模的情形。

提出的方法

• 将相对奇异范畴 $ D_{\omega}(\mathcal{A}) $ 定义为 Verdier 商 $ D^b(\mathcal{A}) / K^b(\omega) $，其中 𝜔 为自正交子范畴。
• 引入子范畴 $ \widehat{\omega} $、$ {}_\omega\mathcal{X} $ 和 $ \omega^\perp $，并证明在自正交性条件下有 $ \omega \subseteq \widehat{\omega} \subseteq {}_\omega\mathcal{X} \subseteq \omega^\perp $。
• 构造从 𝜔-科恩-麦克aulay 对象的稳定范畴到 $ D_{\omega}(\mathcal{A}) $ 的全满正合嵌入，并在合理条件下证明其为等价。
• 利用同调代数中的维数转移技巧，证明投影复形的上循环属于 $ {}^\perp R\text{-Proj} $，因此属于 $ R\text{-Gproj} $。
• 应用 Thomason-Trobaugh-Yao-Neeman 定理于商三角范畴的紧生成性，证明 $ R\text{-\underline{GProj}} $ 是紧生成的。
• 利用函子 $ Z^0 $（取零阶上循环）与函子 $ \mathbf{a} $（将复形映射到其对应的完全解析复形），建立 $ K(R\text{-Proj}) $ 与 $ R\text{-\underline{GProj}} $ 之间的联系。

实验结果

研究问题

• RQ1 在何种条件下，𝜔-科恩-麦克aulay 对象的稳定范畴与相对奇异范畴 $ D_{\omega}(\mathcal{A}) $ 三角同构？
• RQ2 相对奇异范畴如何与经典奇异范畴及倾斜子范畴相关联？
• RQ3 Gorenstein 环上 Gorenstein-投影模的稳定范畴是否为紧生成的？
• RQ4 Gorenstein-投影模稳定范畴中的紧对象是否恰好为有限生成 Gorenstein-投影模（至直和项）？
• RQ5 Buchweitz-Happel 对偶性是否可推广至可能无限生成的 Gorenstein-投影模的情形？

主要发现

• 𝜔-科恩-麦克aulay 对象的稳定范畴全满且忠实嵌入于相对奇异范畴 $ D_{\omega}(\mathcal{A}) $，且在适当条件下该嵌入成为等价。
• 对于 Gorenstein 环 $ R $，Gorenstein-投影模的稳定范畴 $ R\text{-\underline{GProj}} $ 作为三角范畴是紧生成的。
• 在 $ R\text{-\underline{GProj}} $ 中，紧对象子范畴恰好由有限生成 Gorenstein-投影 $ R $-模的直和项构成。
• 函子 $ Z^0: K^{\rm ex}(R\text{-Proj}) \to R\text{-\underline{GProj}} $ 是三角等价，将投影复形的正合复形与 Gorenstein-投影模联系起来。
• 相对奇异范畴 $ D_{\omega}(\mathcal{A}) $ 推广了经典奇异范畴 $ D_{\rm sg}(\mathcal{A}) $，并通过倾斜子范畴恢复经典奇异范畴。
• 该结果将 Buchweitz-Happel 对偶性推广至非有限生成情形，表明即使 Gorenstein-投影模未必有限生成，仍有 $ D_{\rm sg}(R) \simeq R\text{-\underline{GProj}} $ 成立。