[论文解读] Derived Equivalence induced by $n$-tilting modules

Silvana Bazzoni, Francesca Mantese+1 more|ArXiv.org|May 22, 2009

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

一句话总结

该论文证明，对于任意关联环 $ R $ 上的 $ n $-tilting 模 $ T_R $，存在一个等价的 $ n $-tilting 模 $ T'_R $，其诱导了无界导出范畴 $ \mathcal{D}(R) $ 与 $ \mathcal{D}(\operatorname{End}(T')) $ 的三角化子范畴 $ \mathcal{E}_\perp $ 之间的导出等价，而 $ \mathcal{E}_\perp $ 同构于 $ \mathcal{D}(\operatorname{End}(T')) $ 模去总左导出函子 $ -\otimes^\mathbb{L}_{S'}T' $ 的核。该结果推广了 Bazzoni 的 1-tilting 结果，并在经典 $ n $-tilting 情况下恢复了经典的导出等价。

ABSTRACT

Let $T_R$ be a right $n$-tilting module over an arbitrary associative ring $R$. In this paper we prove that there exists a $n$-tilting module $T'_R$ equivalent to $T_R$ which induces a derived equivalence between the unbounded derived category $\D(R)$ and a triangulated subcategory $\mathcal E_{\perp}$ of $\D(\End(T'))$ equivalent to the quotient category of $\D(\End(T'))$ modulo the kernel of the total left derived functor $-\otimes^{\mathbb L}_{S'}T'$. In case $T_R$ is a classical $n$-tilting module, we get again the Cline-Parshall-Scott and Happel's results.

研究动机与目标

• 将 Bazzoni 的 1-tilting 导出等价结果推广至一般的 $ n $-tilting 模。
• 构造一个等价的 $ n $-tilting 模 $ T'_R $，使其诱导 $ \mathcal{D}(R) $ 与 $ \mathcal{D}(\operatorname{End}(T')) $ 的三角化子范畴 $ \mathcal{E}_\perp $ 之间的导出等价。
• 证明 $ \mathcal{E}_\perp $ 同构于商范畴 $ \mathcal{D}(\operatorname{End}(T')) / \ker(-\otimes^\mathbb{L}_{S'}T') $，从而推广 Miyashita 型等价。
• 在经典 $ n $-tilting 情况下，将 Cline-Parshall-Scott 和 Happel 的结果作为特例恢复。

提出的方法

• 通过变换 tilting 模，定义一个与 $ T_R $ 等价的良态 $ n $-tilting 模 $ T'_R $，并保持 tilting 类 $ KE_i(T) $ 不变。
• 构造总左导出函子 $ -\otimes^\mathbb{L}_{S'}T' $，并在 $ \mathcal{D}(S') $ 中识别其核 $ \mathcal{E} $，其中 $ S' = \operatorname{End}(T') $。
• 定义三角化子范畴 $ \mathcal{E}_\perp \subseteq \mathcal{D}(S') $ 为 $ \mathcal{E} $ 的右正交，确保其为三角化范畴且对移位封闭。
• 通过伴随函子 $ \mathbb{R}H $ 与 $ \mathbb{L}G $ 建立三角化等价 $ \mathcal{D}(R) \simeq \mathcal{E}_\perp $，其中 $ H = \operatorname{Hom}_R(T', -) $，$ G = - \otimes_{S'} T' $。
• 证明该等价性在模层面上限制为 $ KE_i(T) $ 与 $ KT_i(T') \cap \mathcal{E}_\perp $ 之间的等价，推广了 Miyashita 的结果。
• 证明 $ \mathcal{E} = 0 $ 当且仅当 $ T_R $ 是经典 $ n $-tilting，从而恢复经典导出等价 $ \mathcal{D}^b(R) \simeq \mathcal{D}^b(S) $。

实验结果

研究问题

• RQ1 能否将 1-tilting 模诱导的导出等价性推广至 $ n > 1 $ 的 $ n $-tilting 模？
• RQ2 是否存在一个等价的 $ n $-tilting 模 $ T'_R $，使得导出函子 $ -\otimes^\mathbb{L}_{S'}T' $ 与 $ \operatorname{Hom}_R(T', -) $ 诱导 $ \mathcal{D}(R) $ 与 $ \mathcal{D}(S') $ 的商范畴之间的导出等价？
• RQ3 在经典 $ n $-tilting 模情况下，该导出等价性如何与经典导出等价性关联？
• RQ4 在 $ \mathcal{D}(\operatorname{End}(T')) $ 中，与 $ \mathcal{D}(R) $ 在导出等价下对应的三角化子范畴 $ \mathcal{E}_\perp $ 的精确结构是什么？
• RQ5 在何种条件下，函子 $ -\otimes^\mathbb{L}_{S'}T' $ 的核 $ \mathcal{E} $ 为零？这与经典 $ n $-tilting 性质有何关联？

主要发现

• 对于任意 $ n $-tilting 模 $ T_R $，存在一个等价的 $ n $-tilting 模 $ T'_R $，使得 $ \mathcal{D}(R) $ 与 $ \mathcal{E}_\perp \subseteq \mathcal{D}(S') $ 三角化等价，其中 $ S' = \operatorname{End}(T') $。
• 子范畴 $ \mathcal{E}_\perp $ 同构于商范畴 $ \mathcal{D}(S') / \ker(-\otimes^\mathbb{L}_{S'}T') $，从而在推广情形下实现导出等价。
• 该等价性在模层面上诱导出 $ KE_i(T) \simeq KT_i(T') \cap \mathcal{E}_\perp $，对每个 $ 0 \leq i \leq n $ 成立，推广了 Miyashita 的等价。
• 当 $ T_R $ 为经典 $ n $-tilting 时，核 $ \mathcal{E} $ 为零，因此 $ \mathcal{E}_\perp = \mathcal{D}(S') $，从而恢复经典导出等价 $ \mathcal{D}^b(R) \simeq \mathcal{D}^b(S) $。
• 导出等价通过伴随函子 $ \mathbb{R}H = \operatorname{Ext}^i_R(T', -) $ 与 $ \mathbb{L}G = \operatorname{Tor}_i^S(-, T') $ 实现，其在各自类上限制为互逆等价。
• 条件 $ \mathcal{E} = 0 $ 成立当且仅当 $ T_R $ 是经典 $ n $-tilting，从而在推广框架中刻画了经典情形。