[论文解读] Ladders and simplicity of derived module categories

Lidia Angeleri H ugel, Steffen Koenig+2 more|arXiv (Cornell University)|Oct 13, 2013

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

一句话总结

本文引入了重排阶梯（ladders of recollements）作为分析导出模范畴的结构性工具，表明此类阶梯的高度决定了在不同导出范畴层级（无界、有界及构造性）中的导出单纯性。研究证明，导出单纯性依赖于范畴层级，并通过阶梯高度提供了刻画；同时构造了新的导出单纯环示例，并给出了导出 Jordan–Hölder 定理的反例。

ABSTRACT

Recollements of derived module categories are investigated, using a new technique, ladders of recollements, which are mutation sequences. The position in the ladder is shown to control whether a recollement restricts from unbounded to another level of derived category. Ladders also turn out to control derived simplicity on all levels. An algebra is derived simple if its derived category cannot be deconstructed, that is, if it is not the middle term of a non-trivial recollement whose outer terms are again derived categories of algebras. Derived simplicity on each level is characterised in terms of heights of ladders. These results are complemented by providing new classes of examples of derived simple algebras, in particular indecomposable commutative rings, as well as by a finite-dimensional counterexample to the Jordan--Hölder property for derived module categories. Moreover, recollements are used to compute homological and K-theoretic invariants.

研究动机与目标

• 理解重排在不同导出范畴层级（无界、有界、构造性）中的行为，特别是其上抬与限制特性。
• 通过阶梯高度对每个层级上的导出单纯性（即无法通过非平凡重排分解导出范畴）进行刻画。
• 提供新的导出单纯环类，包括不可分解的交换环，并探讨导出 Jordan–Hölder 问题。
• 利用重排递归计算同调与 K-理论不变量，尤其在有界与构造性层级中通过 K-群同构实现。

提出的方法

• 引入阶梯概念：相邻重排的最大序列，其高度表示此类层级的数量。
• 利用阶梯高度对导出单纯性进行分类：若某层级上所有非平凡阶梯的高度均为 0（或 ≤1 等），则该环在该层级上为导出单纯。
• 应用命题 3.2 中的上抬与限制准则，判断重排是否可在不同导出范畴层级间传递。
• 利用重排推导代数 K-理论中的长正合列，并证明 K-群同构：对于有限维代数，在 $D^{-}$ 层级有 $\mathbb{K}_*(A) \cong \mathbb{K}_*(B) \oplus \mathbb{K}_*(C)$。
• 利用 $Ae_2A$ 是分层理想这一事实，构造 $\mathcal{D}(\mathrm{Mod}A)$ 的两个不同重排，从而得到非等价的商范畴。
• 通过分析函子 $i_*$ 与 $j_!$ 的准则，研究重排为何无法限制到 $K^b(\mathrm{proj})$、$D^b(\mathrm{mod})$ 或 $D^{-}(\mathrm{Mod})$。

实验结果

研究问题

• RQ1 导出单纯性是否依赖于导出范畴层级的选择（例如无界 vs. 有界 vs. 构造性）？
• RQ2 在何种条件下，导出范畴之间的重排可以上抬或限制到不同层级？
• RQ3 导出 Jordan–Hölder 定理能否推广？是否存在反例？
• RQ4 哪些代数是导出单纯的？能否构造出新的此类代数类？
• RQ5 如何利用重排递归计算 K-理论与同调不变量？

主要发现

• 有限维代数是 $\mathcal{D}(\mathrm{Mod})$-单纯当且仅当其导出范畴中所有非平凡阶梯的高度为 0。
• 代数是 $\mathcal{D}^{-}(\mathrm{Mod})$-单纯当且仅当所有非平凡阶梯的高度至多为 1。
• 本文构造了一个有限维代数，其为 $\mathcal{D}^{-}(\mathrm{Mod})$-单纯但非 $\mathcal{D}(\mathrm{Mod})$-单纯，表明导出单纯性具有层级依赖性。
• 提供了导出 Jordan–Hölder 定理的反例：一个导出范畴可 admits 两个不同的重排，其局部因子非 Morita 等价。
• 对于有限维代数，当 $\mathcal{D}^{-}(\mathrm{Mod}A)$ 允许由 $\mathcal{D}^{-}(\mathrm{Mod}B)$ 与 $\mathcal{D}^{-}(\mathrm{Mod}C)$ 构成重排时，有 $\mathbb{K}_*(A) \cong \mathbb{K}_*(B) \oplus \mathbb{K}_*(C)$ 成立。
• 第二个重排（因子为 $k[x]/(x^2)$）可扩展为高度至少为 2 的阶梯，而第一个重排（因子为 $k\langle x,y\rangle/(x^2,y^2,xy)$）无法向上扩展，表明阶梯行为并非一致。