[论文解读] Stable categories and reconstruction

Jeremy Rickard, Raphaël Rouquier|Bristol Research (University of Bristol)|Aug 11, 2010

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

一句话总结

本文提出了一种从其稳定范畴重建自内射代数的方法，利用一组与单模像同构的对象。该研究建立了滤子模范畴与稳定范畴之间的等价关系，从而实现了对与原代数莫里塔等价的代数的幂零滤子的分次代数的重建。

ABSTRACT

This work is an attempt towards a Morita theory for stable equivalences between self-injective algebras. More precisely, given two self-injective algebras A and B and an equivalence between their stable categories, consider the set S of images of simple B-modules inside the stable category of A. That set satisfies some obvious properties of Hom-spaces and it generates the stable category of A. Keep now only S and A. Can B be reconstructed ? We show how to reconstruct the graded algebra associated to the radical filtration of (an algebra Morita equivalent to) B. We also study a similar problem in the more general setting of a triangulated category T. Given a finite set S of objects satisfying Hom-properties analogous to those satisfied by the set of simple modules in the derived category of a ring and assuming that the set generates T, we construct a t-structure on T. In the case T=D^b(A) and A is a symmetric algebra, the first author has shown that there is a symmetric algebra B with an equivalence from D^b(B) to D^b(A) sending the set of simple B-modules to S. The case of a self-injective algebra leads to a slightly more general situation: there is a finite dimensional differential graded algebra B with H^i(B)=0 for i>0 and for i<<0 with the same property as above.

研究动机与目标

• 发展一种关于自内射代数之间稳定等价的莫里塔型理论。
• 从另一个自内射代数 A 的稳定范畴中，利用其单模的像重建代数 B。
• 建立在由具有类似单模同态性质的对象集生成的三角范畴上构造 t-结构的条件。
• 为通过滤子结构从其稳定模范畴重建代数提供范畴论框架。
• 利用 A∞-代数局部化方法，探索此类代数存在的障碍理论。

提出的方法

• 在三角范畴 T 中构造一个滤子图的范畴 F，其中每一层滤子均由一组具有类似单模同态性质的对象 S 构成。
• 通过典范三角形和余锥条件，定义从具有 S-幂零滤子的模范畴到 F 的函子。
• 对同态空间施加条件：从 N₀ 到 M₀ 的同态映射为满射，且对 i ≥ 1，从 Nᵢ 到 Mᵢ 的同态映射为同构，以确保与 S 的相容性。
• 利用 Hom(T, S) ≅ k（当 S, T ∈ S 时），否则为零，来模拟对称代数的稳定范畴。
• 应用提升论证，证明 F 中的任意对象均可来自具有 S-幂零滤子的模，从而证明函子的全忠实性与本质满射性。
• 通过一个典范函子，建立具有 S-幂零滤子的模范畴与滤子图范畴 F 之间的等价关系。

实验结果

研究问题

• RQ1 能否从自内射代数 A 的稳定范畴中，利用代数 B 的单模的像来重建 B？
• RQ2 在三角范畴 T 中，一组对象 S 在何种条件下能生成一个 t-结构，使得其心与 mod-B 等价？
• RQ3 在稳定范畴中，如何通过同态映射刻画无投射余项的模？
• RQ4 如何从 S 和 A 重建与 B 的幂零滤子相关的分次代数？
• RQ5 在 A∞-代数的视角下，存在哪些障碍理论可用于实现此类 B 的构造？

主要发现

• 从具有 S-幂零滤子的 A-模范畴到滤子图范畴 F 的典范函子是一个范畴等价。
• 模 M 无投射余项，当且仅当对所有 S ∈ S，典范映射 Hom(M₀/M₁, S) → Hom(M₀, S) 是同构。
• 存在 S-幂零滤子，当且仅当对 i ≥ 1，从 Nᵢ 到 S 的同态映射与从 Mᵢ 到 S 的同态映射同构，且从 N₀ 到 M₀ 的同态映射在到 S 的同态上为满射。
• 在同态条件与无投射余项性质成立的条件下，范畴 F 与具有 S-幂零滤子的模范畴等价。
• 当 S 满足同态条件且生成 T 时，该构造在三角范畴 T 上给出一个 t-结构。
• 对于对称代数，当同态条件与生成条件满足时，导出范畴 Dᵇ(B) 通过将单模映射到 S 的函子与 Dᵇ(A) 等价。