[论文解读] Ringel modules and homological subcategories

Haishan Chen, Changchang Xi|arXiv (Cornell University)|Jun 4, 2012

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

一句话总结

本文引入环上的Ringel模作为统一框架，以研究当一个环 $ A $ 上的 $ n $-tilting 或 $ n $-cotilting 模 $ T $ 时，左导出函子 $ T \otimes^\mathbb{L}_B - $ 的核是否可通过环的环同态 $ B \to C $ 同构于某个环 $ C $ 的导出范畴 $ \mathscr{D}(C) $。本文提供了此类实现的一般准则，并为 $ n \geq 2 $ 构造了一个非交换的正例与一个交换的反例，解决了tilting理论中的一个开放问题，并将分析扩展至具有更高复杂度的cotilting模。

ABSTRACT

Given a good $n$-tilting module $T$ over a ring $A$, let $B$ be the endomorphism ring of $T$, it is an open question whether the kernel of the left-derived functor $T\otimes^L_B-$ between the derived module categories of $B$ and $A$ could be realized as the derived module category of a ring $C$ via a ring epimorphism $B ightarrow C$ for $n\ge 2$. In this paper, we first provide a uniform way to deal with the above question both for tilting and cotilting modules by considering a new class of modules called Ringel modules, and then give criterions for the kernel of $T\otimes^L_B-$ to be equivalent to the derived module category of a ring $C$ with a ring epimorphism $B ightarrow C$. Using these characterizations, we display both a positive example of $n$-tilting modules from noncommutative algebra, and a counterexample of $n$-tilting modules from commutative algebra to show that, in general, the open question may have a negative answer. As another application of our methods, we consider the dual question for cotilting modules, and get corresponding criterions and counterexamples. The case of cotilting modules, however, is much more complicated than the case of tilting modules.

研究动机与目标

• 解决tilting理论中的一个开放问题：对于 $ n \geq 2 $ 的 $ n $-tilting 模 $ T $，其函子 $ T \otimes^\mathbb{L}_B - $ 的核是否可通过环同态 $ B \to C $ 同构于 $ \mathscr{D}(C) $。
• 通过引入一类新模——Ringel模，统一处理tilting与cotilting模的理论。
• 为 $ T \otimes^\mathbb{L}_B - $ 的核同构于环 $ C $ 的导出范畴 $ \mathscr{D}(C) $ 提供一般准则，其中 $ B \to C $ 为同调环同态。
• 在非交换代数中构造此类实现的正例，在交换代数中构造 $ n $-tilting 模的反例。
• 将分析扩展至cotilting模，表明其相较于tilting模具有显著更高的复杂性，并提供相应的准则与实例。

提出的方法

• 引入Ringel模作为统一框架，以分析 $ n $-tilting 与 $ n $-cotilting 模下 $ T \otimes^\mathbb{L}_B - $ 的核。
• 利用导出函子、Tor与Ext的消去性，以及相对Mittag-Leffler模的性质，建立同调准则。
• 通过环同态在导出范畴中利用recollement结构，关联 $ \mathscr{D}(C) $、$ \mathscr{D}(B) $ 与 $ \mathscr{D}(A) $。
• 将准则应用于非交换代数中构造正例，以及在交换代数中构造 $ n $-tilting 模的反例。
• 通过适配准则并证明同调子范畴的必要条件，分析cotilting模的对偶情形。
• 利用谱序列、内射包与局部上同调的性质，验证反例中Tor与Ext群的消去性与非消去性。

实验结果

研究问题

• RQ1 对于 $ n \geq 2 $，是否存在一个环 $ A $ 上的良好数 $ n $-tilting 模 $ T $，使得 $ T \otimes^\mathbb{L}_B - $ 的核通过环同态 $ B \to C $ 同构于某个环 $ C $ 的导出范畴 $ \mathscr{D}(C) $？
• RQ2 引理1.2(1)的逆命题是否成立？即，若 $ T \otimes^\mathbb{L}_B - $ 的核是同调的，是否必有 $ T $ 为1-tilting模？
• RQ3 对于一个良好数 $ n $-cotilting 模 $ U $，是否存在一个同调环同态 $ \lambda: \mathrm{End}_A(U) \to C $，使得 $ \mathscr{D}(C) $ 实现 $ U \otimes^\mathbb{L}_B - $ 的核？
• RQ4 导出范畴 $ \mathscr{D}(A) $ 的同调子范畴能否通过从 $ A $ 出发的同调环同态进行参数化或等价地分类？
• RQ5 引理6.2中的Ringel $ R $-模 $ M $ 是否总是良好数？若成立，是否意味着可推广引理6.3？

主要发现

• 本文在非交换环上构造了一个良好数 $ n $-tilting 模（$ n \geq 2 $），使得 $ T \otimes^\mathbb{L}_B - $ 的核通过环同态 $ B \to C $ 同构于 $ \mathscr{D}(C) $。
• 在交换代数中为 $ n $-tilting 模提供了反例，表明对于任意环 $ C $，通过此类同态 $ B \to C $，$ T \otimes^\mathbb{L}_B - $ 的核均不与 $ \mathscr{D}(C) $ 同构。
• 对于 $ n $-cotilting 模，本文证明 $ U \otimes^\mathbb{L}_B - $ 的核在 $ \mathscr{D}(B) $ 中一般不是同调的，即使 $ n=2 $，原因在于 $ \mathrm{Ext}^n(W, U_n) \neq 0 $。
• 实现核为 $ \mathscr{D}(C) $ 的准则对tilting模有效，但对cotilting模则复杂得多，需深入分析Tor与Ext的消去性。
• 本文确认，对于 $ n \geq 2 $ 的 $ n $-tilting 模，此类recollement的存在性并非总是保证，其存在性取决于环与模的结构。
• 在反例中，有 $ \mathrm{Tor}_n^A(E(A/\mathfrak{m}), E(A/\mathfrak{m})) \neq 0 $ 且 $ \mathrm{Ext}_A^n(W, U_n) \neq 0 $，这阻止了核成为同调的。