[论文解读] Relative singularity categories, Gorenstein objects and silting theory

Jiaqun Wei|arXiv (Cornell University)|Apr 25, 2015

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

一句话总结

本文在三角范畴中引入了 $ω$-Gorenstein 对象，作为 Gorenstein 项目模与内射模的推广，证明了这些对象的稳定范畴与三角范畴关于半自正交子范畴 $ω$ 的相对奇异范畴之间存在三角等价。核心贡献在于构建了一个统一框架，将 silting 理论、Gorenstein 同调代数与奇异范畴联系起来，通过三角范畴技巧将经典 Gorenstein 环结果推广至更广泛的设定。

ABSTRACT

We study singularity categories through Gorenstein objects in triangulated categories and silting theory. Let $ω$ be a semi-selforthogonal (or presilting) subcategory of a triangulated category $\mathcal{T}$. We introduce the notion of $ω$-Gorenstein objects, which is far extended version of Gorenstein projective modules and Gorenstein injective modules in triangulated categories. We prove that the stable category $\underline{\mathcal{G}_ω}$, where $\mathcal{G}_ω$ is the subcategory of all $ω$-Gorenstein objects, is a triangulated category and it is, under some conditions, triangle equivalent to the relative singularity category of $\mathcal{T}$ with respect to $ω$.

研究动机与目标

• 通过 silting 理论将 Gorenstein 项目模与内射模推广至三角范畴。
• 为三角范畴 $τ$ 中的半自正交子范畴 $ω$ 定义并研究 $ω$-Gorenstein 对象。
• 建立 $ω$-Gorenstein 对象的稳定范畴与 $τ$ 关于 $ω$ 的相对奇异范畴之间的三角等价。
• 将经典 Gorenstein 环奇异范畴结果推广至更一般设定，包括非诺特环与诺特环。
• 通过基于相对奇异范畴与 silting 理论的共同框架，统一各类奇异范畴。

提出的方法

• 在三角范畴 $τ$ 中引入 $ω$-Gorenstein 对象的概念，推广 Gorenstein 项目模与内射模。
• 将相对奇异范畴 $τ_{ω}$ 定义为 Verdier 商 $τ / τ_{ω}^{ot}$，其中 $τ_{ω}^{ot}$ 是 $τ$ 中关于 $ω$ 正交的子范畴。
• 在适当条件下证明 $ω$-Gorenstein 对象的稳定范畴 $τ_{ω}$ 是三角范畴。
• 运用 silting 理论与相对同调代数技术，将 $ω$-Gorenstein 对象与 silting 复形及模的子范畴联系起来。
• 通过 silting 复形的结构，建立 Gorenstein 对象稳定范畴与大或小奇异范畴之间的三角等价。
• 将该框架应用于有限 Gorenstein 全局维数的环，证明 $υ\underline{\mathcal{G}P}$、$υ\underline{\mathcal{G}I}$、$υ\underline{\mathcal{G}}_{\mathrm{Add}M}$ 与 $υ\mathcal{D}_{σ}(R)$ 之间的等价性。

实验结果

研究问题

• RQ1 如何通过 silting 理论在三角范畴的语境下推广 Gorenstein 项目模与内射模？
• RQ2 在何种条件下，$ω$-Gorenstein 对象的稳定范畴是三角范畴，并与 $τ$ 关于 $ω$ 的相对奇异范畴三角等价？
• RQ3 经典奇异范畴与稳定 Gorenstein 对象范畴之间的三角等价性是否可超越 Gorenstein 环，推广至有限 Gorenstein 全局维数的更一般环？
• RQ4 silting 复形在通过 Gorenstein 对象刻画奇异范畴中起何种作用？
• RQ5 相对奇异范畴如何通过统一导出与稳定同调代数中的各类奇异范畴版本？

主要发现

• 在适当条件下，$ω$-Gorenstein 对象的稳定范畴 $υ\underline{\mathcal{G}}_{ω}$ 是三角范畴。
• 存在 $υ\underline{\mathcal{G}}_{ω}$ 与相对奇异范畴 $τ_{ω}$ 之间的三角等价，建立了 Gorenstein 同调代数与奇异理论之间新的联系。
• 对于有限 Gorenstein 全局维数的环 $R$，大奇异范畴 $υ\mathcal{D}_{σ}(R)$ 与 $υ\underline{\mathcal{G}P}$、$υ\underline{\mathcal{G}I}$ 及 $υ\underline{\mathcal{G}}_{\mathrm{Add}M}$ 三角等价，其中 $M$ 是 $\mathcal{D}^b(\mathrm{Mod}R)$ 中的任意大 silting 复形。
• 对于有限 Gorenstein 全局维数的左诺特环 $R$，小奇异范畴 $\mathcal{D}_{sg}(R)$ 与 $\underline{\mathcal{G}p}$ 及 $\underline{\mathcal{G}}_M$ 三角等价，其中 $M$ 是 $\mathcal{D}^b(R)$ 中的任意 silting 复形。
• 该框架通过证明各类奇异范畴均与关联于 silting 复形的 Gorenstein 对象稳定范畴等价，从而统一了各类奇异范畴。
• 在具有平方为零的根基的自内射代数的示例中，奇异范畴 $\mathcal{D}_{sg}(R)$ 被证明与 $\underline{\mathcal{G}}_M$ 三角等价，其中 $M$ 是一个两段的 silting 复形，验证了该理论的一般性。