[论文解读] An informal introduction to dg categories

Xiaofa Chen, Xiao‐Wu Chen|arXiv (Cornell University)|Aug 13, 2019

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

一句话总结

本文以非正式但严谨的方式介绍了微分分次（dg）范畴，将其定位为比三角范畴更基础的结构。文章证明，通过 dg 商构造，具有函子性锥结构的 dg 与增强结构的范畴，为导出范畴提供了更优越的框架，且表明预三角 dg 范畴的 dg 商构造所得到的同伦范畴与经典的 Verdier 商同构，即三角等价。

ABSTRACT

In this informal introduction to dg categories, the slogan is that dg categories are more rudimentary than triangulated categories. We recall some details on the dg quotient category introduced by Bernhard Keller and Vladimir Drinfeld.

研究动机与目标

• 将 dg 范畴呈现为比三角范畴更基础且结构更优越的导出范畴框架。
• 解释 Drinfeld 和 Keller 提出的 dg 商构造，突出其在解决三角范畴中锥的非函子性问题中的作用。
• 证明预三角 dg 范畴的 dg 商构造所得到的同伦范畴与经典 Verdier 商同构。
• 为理解导出范畴的 dg 增强（特别是导出 Morita 理论与 Koszul 对偶性背景下的增强）提供概念基础。
• 通过提供关键定义与示例，为研究人员阅读关于 dg 范畴的高级综述文献提供准备性、易懂的概述。

提出的方法

• 将 dg 范畴定义为在交换环 $k$ 上的链复上进行 enriched 的范畴，其复合映射为链映射。
• 定义关键结构：dg 模、悬垂、锥与 dg 双模，强调度数与微分相容性的作用。
• 将导出范畴 $H^0(\text{dg})$ 定义为 dg 范畴的上同调范畴，将其与经典同伦范畴和导出范畴联系起来。
• 通过 Drinfeld 方法应用 dg 商构造，其中对象是 dg 范畴关于全子范畴的正式商，其态射通过锥与同伦上积构造。
• 利用预三角与强预三角 dg 范畴的概念，确保锥的函子性及与三角结构的相容性。
• 运用同伦代数技术，包括滤子上积与同伦平坦复形，证明 dg 商构造诱导出与 Verdier 商的三角等价。

实验结果

研究问题

• RQ1 为何 dg 范畴比三角范畴更适合作为导出范畴的基础框架？
• RQ2 dg 商构造如何解决三角范畴中锥的非函子性问题？
• RQ3 在何种条件下，预三角 dg 范畴的 dg 商构造所得到的同伦范畴同构于经典的 Verdier 商？
• RQ4 dg 导出范畴 $\mathbf{D}^{b}_{\rm dg}(\mathcal{E})$ 如何增强一个恰当范畴 $\mathcal{E}$ 的有界导出范畴 $\mathbf{D}^b(\mathcal{E})$？
• RQ5 在将 dg 商构造推广至任意 dg 范畴时，可换性替换与同伦平坦复形起什么作用？

主要发现

• 对预三角 dg 范畴 $\mathcal{A}$ 关于全 dg 子范畴 $\mathcal{B}$ 的 dg 商构造，得到的 dg 范畴其同伦范畴 $H^0$ 与 Verdier 商 $\mathcal{A}/\mathcal{B}$ 三角等价。
• 有界 dg 导出范畴 $\mathbf{D}^{b}_{\rm dg}(\mathcal{E}) = C^{b}_{\rm dg}(\mathcal{E}) / C^{b,{\rm ac}}_{\rm dg}(\mathcal{E})$ 是预三角的，且为 $\mathbf{D}^b(\mathcal{E})$ 提供了自然的 dg 增强。
• 自然映射 $\operatorname{Ext}^i_{\mathcal{A}^{\rm tr}/\mathcal{B}^{\rm tr}}(x,y) \to \operatorname{Ext}^i_{(\mathcal{A}/\mathcal{B})^{\rm tr}}(x,y)$ 对所有 $i \in \mathbb{Z}$ 是同构，从而确立了三角等价性。
• dg 商构造在可换性替换下保持稳定，使得可通过将 $\mathcal{A}$ 替换为一个可换性模型，将其推广至任意 dg 范畴。
• 小 dg 范畴的同伦范畴 $\mathbf{Hodgcat}$ 为研究 dg 范畴、张量积与函子范畴提供了自然框架，且这些结构天然地具有 dg 结构。
• 使用滤子上积与同伦平坦复形，可确保 $\operatorname{colim}_{\alpha \in Q_y} H^i(\operatorname{Hom}^{\geq 1}_{\mathcal{A}^{\rm pretr}/\mathcal{B}}(x,z)) = 0$，这对证明主要等价性至关重要。