[论文解读] On the structure of Calabi-Yau categories with a cluster tilting subcategory

Gonçalo Tabuada|ArXiv.org|Jul 17, 2006

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

一句话总结

该论文证明，当 $ d ≥ 2 $ 时，一个具有 $ d $-簇倾斜子范畴的代数 $ d $-Calabi-Yau 三角范畴，可实现为某个 DG 范畴的稳定范畴，该 DG 范畴具有完美的 $ (d+1) $-Calabi-Yau 性质，并且 admits 一个非退化的 $ t $-结构，其心具有足够的投射对象。该构造基于 DG 增强和 $ \mathcal{E} $-无挠复形的稳定化程序，推广了关于簇范畴的先前结果。

ABSTRACT

We prove that for $d \geq 2$, an algebraic $d$-Calabi-Yau triangulated category endowed with a $d$-cluster tilting subcategory is the stable category of a DG category which is perfectly $(d+1)$-Calabi-Yau and carries a non degenerate $t$-structure whose heart has enough projectives.

研究动机与目标

• 使用 DG 范畴和稳定化来描述具有 $ d $-簇倾斜子范畴的代数 $ d $-Calabi-Yau 三角范畴的结构。
• 通过将框架推广到更高维的 Calabi-Yau 范畴，推广先前关于簇范畴的结果。
• 证明此类范畴可从一个 DG 增强中重构，该增强具有非退化的 $ t $-结构和具有足够投射对象的心。
• 建立一个 DG 范畴 $ \mathcal{B} $ 的典范构造，该范畴具有完美的 $ (d+1) $-Calabi-Yau 性质，并通过稳定化编码原始范畴。
• 证明当 $ d=2 $ 时，DG 增强 $ \mathcal{B} $ 在导出等价意义下唯一，且不依赖于 $ d $-簇倾斜子范畴的选择。

提出的方法

• 构造一个 Frobenius 正合范畴 $ \mathcal{E} $，使其稳定范畴 $ \underline{\mathcal{E}} $ 为给定的 $ d $-Calabi-Yau 三角范畴 $ \mathcal{C} $，且具有 $ d $-簇倾斜子范畴 $ \mathcal{T} $。
• 定义 $ \mathcal{M} \subset \mathcal{E} $ 为 $ \mathcal{T} $ 的原像，并考虑 $ \mathcal{E} $-无挠有界复形的 DG 范畴 $ \mathcal{B} \subset \mathcal{C}^b(\mathcal{M})_{\text{dg}} $。
• 使用函子 $ G: \mathcal{H}^{-}(\mathcal{M}) \to \mathcal{D}(\mathcal{B}^{\text{op}})^{\text{op}} $，将复形映射到 $ \mathcal{B} $ 上的 dg 模，以关联 $ \mathcal{H}^b_{\mathcal{E}\text{-}ac}(\mathcal{M}) $ 与 $ \text{per}(\mathcal{B}^{\text{op}})^{\text{op}} $。
• 利用 $ d $-簇倾斜结构构造一个非退化的廊道 $ \mathcal{U} \subset \mathrm{H}^0(\mathcal{B}) $，其心具有足够的投射对象。
• 应用 [16] 第 7 节中的稳定化程序，从 $ \mathcal{B} $ 和 $ \mathcal{U} $ 重构 $ \mathcal{C} $，推广了轨道范畴的构造。
• 证明 $ \mathcal{B} $ 是完美的 $ (d+1) $-Calabi-Yau 范畴，且 $ \mathrm{H}^0(\mathcal{B}) $ 上的 $ t $-结构是非退化的，其心具有足够的投射对象。

实验结果

研究问题

• RQ1 一个具有 $ d $-簇倾斜子范畴的代数 $ d $-Calabi-Yau 三角范畴，能否被实现为具有增强 Calabi-Yau 和 $ t $-结构性质的 DG 范畴的稳定范畴？
• RQ2 选择不同的 $ d $-簇倾斜子范畴如何影响相关 DG 范畴 $ \mathcal{B} $ 的导出等价类？
• RQ3 是否存在一个典范构造的 DG 增强 $ \mathcal{B} $，使其通过稳定化和 $ t $-结构数据编码原始范畴 $ \mathcal{C} $？
• RQ4 $ d $-簇倾斜子范畴 $ \mathcal{T} $ 与 $ \mathrm{H}^0(\mathcal{B}) $ 上 $ t $-结构的心之间的确切关系是什么？
• RQ5 当 $ d=2 $ 时，DG 范畴 $ \mathcal{B} $ 是否在导出等价意义下唯一，且不依赖于 $ \mathcal{T} $ 的选择？

主要发现

• 范畴 $ \mathcal{C} $ 同构于 $ \mathcal{B} $ 关于非退化廊道 $ \mathcal{U} $ 的稳定化，从而建立了从 $ \mathcal{B} $ 和 $ \mathcal{U} $ 重构 $ \mathcal{C} $ 的方法。
• DG 范畴 $ \mathcal{B} $ 是完美的 $ (d+1) $-Calabi-Yau 范畴，意味着其导出范畴满足 $ (d+1) $-移位的 Serre 对偶性。
• $ \mathrm{H}^0(\mathcal{B}) $ 上的 $ t $-结构是非退化的，且其心具有足够的投射对象，从而确保了良好的同调控制。
• 当 $ d=2 $ 时，DG 范畴 $ \mathcal{B} $ 在导出等价意义下唯一，仅依赖于 $ \mathcal{C} $ 及其增强，而不依赖于 $ \mathcal{T} $ 的选择。
• 函子 $ G $ 在 $ \mathcal{E} $-无挠复形的子范畴与 $ \mathcal{B}^{\text{op}} $ 上的完美模之间诱导出一个等价，将 $ \mathcal{C} $ 的同调结构与 $ \mathcal{B} $ 联系起来。
• 在 $ \mathrm{H}^0(\mathcal{B}) $ 上的 $ t $-结构的心等价于该 $ t $-结构心中的投射对象范畴，从而确认了足够投射对象的存在。