[论文解读] Silting reduction and Calabi--Yau reduction of triangulated categories

Osamu Iyama, Dong Yang|arXiv (Cornell University)|Aug 12, 2014

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

一句话总结

本文建立了一套范畴框架，将三角范畴中的tilting约化与Calabi–Yau约化联系起来。结果表明，tilting约化可被实现为子商范畴，从而在包含给定预tilting子范畴的tilting子范畴与商范畴中的tilting子范畴之间建立自然双射。关键结果证明，Amiot–Guo–Keller构造的$d$-Calabi–Yau范畴将tilting约化映射为Calabi–Yau约化，统一了簇倾斜理论中两种主要的约化过程。

ABSTRACT

It is shown that the silting reduction $\ct/ hick\cp$ of a triangulated category $\ct$ with respect to a presilting subcategory $\cp$ can be realized as a certain subfactor category of $\ct$, and that there is a one-to-one correspondence between the set of (pre)silting subcategories of $\ct$ containing $\cp$ and the set of (pre)silting subcategories of $\ct/ hick\cp$. This is analogous to a result for Calabi-Yau reduction. This result is applied to show that Amiot-Guo-Keller's construction of $d$-Calabi-Yau triangulated categories with $d$-cluster-tilting objects takes silting reduction to Calabi-Yau reduction.

研究动机与目标

• 在三角范畴中发展tilting约化的范畴框架。
• 证明tilting约化可被实现为子商范畴，使其比三角商范畴更易处理。
• 在包含预tilting子范畴的tilting子范畴与商范畴中的tilting子范畴之间建立自然双射。
• 证明Amiot–Guo–Keller构造的$d$-Calabi–Yau范畴与tilting约化和Calabi–Yau约化均保持交换性。
• 将这些约化与表示理论中的猜想（包括Auslander–Reiten猜想与Tachikawa猜想）联系起来。

提出的方法

• 将tilting约化定义为三角商范畴$\mathcal{T}/\mathsf{thick}\mathcal{P}$，其中$\mathcal{P}$为预tilting子范畴。
• 将tilting约化实现为子商范畴$\mathcal{Z}/[\mathcal{P}]$，其中$\mathcal{Z} = (^\perp\mathcal{P}[>0]) \cap (\mathcal{P}[<0]^\perp)$，并证明其继承三角结构。
• 在条件(P1)与(P2)下，建立三角等价关系$\mathcal{Z}/[\mathcal{P}] \simeq \mathcal{T}/\mathsf{thick}\mathcal{P}$。
• 利用此实现，证明包含$\mathcal{P}$的$\mathcal{T}$中的tilting子范畴与商范畴中的tilting子范畴之间存在自然双射。
• 对$(d+1)$-Calabi–Yau三元组$({\mathcal{T}}, {\mathcal{T}}^{\mathsf{fd}}, {\mathcal{M}})$应用Amiot–Guo–Keller构造，分别形成Calabi–Yau约化$\mathcal{C}_\mathcal{P}$与先进行tilting约化后应用Calabi–Yau构造的结构。
• 证明所得的$d$-Calabi–Yau范畴三角等价，表明该构造与约化过程可交换。

实验结果

研究问题

• RQ1 在三角范畴中，tilting约化能否被实现为子商范畴而非三角商范畴？
• RQ2 是否存在包含预tilting子范畴$\mathcal{P}$的$\mathcal{T}$中的tilting子范畴与tilting商范畴$\mathcal{T}/\mathsf{thick}\mathcal{P}$中的tilting子范畴之间的自然双射？
• RQ3 Amiot–Guo–Keller的$d$-Calabi–Yau范畴构造是否与tilting约化过程可交换？
• RQ4 在$d$-簇倾斜子范畴的背景下，tilting约化与Calabi–Yau约化之间有何关系？
• RQ5 tilting约化与Calabi–Yau约化之间的等价性能否用于推导表示理论中经典猜想的推论？

主要发现

• 在条件(P1)与(P2)下，tilting约化$\mathcal{T}/\mathsf{thick}\mathcal{P}$与子商范畴$\mathcal{Z}/[\mathcal{P}]$三角等价，其中$\mathcal{Z} = (^\perp\mathcal{P}[>0]) \cap (\mathcal{P}[<0]^\perp)$。
• 包含$\mathcal{P}$的$\mathcal{T}$中的tilting子范畴与$\mathcal{T}/\mathsf{thick}\mathcal{P}$中的tilting子范畴之间存在自然双射，且保持自然偏序关系。
• Amiot–Guo–Keller构造将tilting约化映射为Calabi–Yau约化：通过$\mathcal{C} = \mathcal{T}/\mathcal{T}^{\mathsf{fd}}$进行Calabi–Yau约化所得的$d$-Calabi–Yau范畴，与先进行tilting约化再应用相同构造所得范畴三角等价。
• 所得等价关系尊重$d$-簇倾斜子范畴：$\pi_{{\mathcal{U}}} (\rho({\mathcal{M}})) \simeq \frac{\pi({\mathcal{M}})}{[\pi({\mathcal{P}})]}$。
• 该构造作为子商实现的特例，提供了Buchweitz等价关系$\underline{\mathsf{CM}}A \simeq \mathsf{D}^b(\mathsf{mod}A)/\mathsf{K}^b(\mathsf{proj}A)$的范畴实现。
• 结果表明，猜想6.2（关于厚子范畴的Grothendieck群）蕴含猜想6.1（关于预tilting对象），后者又蕴含Auslander–Reiten猜想。