[论文解读] Simple dg modules for positive dg algebras

Bernhard Keller, Pedro Nicolás|arXiv (Cornell University)|Sep 29, 2010

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

一句话总结

本文使用 Dwyer-Greenlees-Iyengar 方法，在由紧致对象生成的三角范畴中构造权结构，证明了对于正的 dg 代数（其同调在零度上为半单），其同调上的每个单模在导出范畴中唯一地提升为 dg 模。这在完美导出范畴上诱导出一个典范 t-结构，并在某些 dg 代数（包括 Ginzburg 代数）上建立了 t-结构心与单-minded 对象集合之间的双射。

ABSTRACT

Using techniques due to Dwyer-Greenlees-Iyengar we construct weight structures in triangulated categories generated by compact objects. We apply our result to show that, for a dg category whose homology vanishes in negative degrees and is semi-simple in degree 0, each simple module over the homology lifts to a dg module which is unique up to isomorphism in the derived category. This allows us, in certain situations, to deduce the existence of a canonical t-structure on the perfect derived category of a dg algebra. From this, we can obtain a bijection between hearts of t-structures and sets of so-called simple-minded objects for some dg algebras (including Ginzburg algebras associated to quivers with potentials). In three appendices, we elucidate the relation between Milnor colimits and homotopy colimits and clarify the construction of t-structures from sets of compact objects in triangulated categories as well as the construction of a canonical weight structure on the unbonded derived category of a non positive dg category.

研究动机与目标

• 使用同调技术在由紧致生成元生成的三角范畴中构造权结构。
• 建立正的 dg 代数的同调上每个单模在导出范畴中唯一提升为 dg 模的存在性。
• 从该唯一提升性质推导出此类 dg 代数的完美导出范畴上存在典范 t-结构。
• 阐明在 dg 代数（包括 Ginzburg 代数）中，t-结构心与单-minded 对象集合之间的对应关系。
• 阐明 Milnor 上极限、同伦上极限与三角范畴中 t-结构构造之间的联系。

提出的方法

• 将 Dwyer、Greenlees 与 Iyengar 的技术适配于在具有紧致生成元的三角范畴中构造权结构。
• 将权结构理论应用于其同调在负度为零、且在零度为半单的 dg 范畴。
• 利用权结构的存在性，在 dg 代数的完美导出范畴上诱导出一个典范 t-结构。
• 通过单模的唯一 dg 提升，建立 t-结构心与单-minded 对象集合之间的双射。
• 在导出范畴的背景下，分析 Milnor 上极限及其与同伦上极限的关系。
• 通过显式的同伦方法，在非正 dg 范畴的无界导出范畴上构造一个典范权结构。

实验结果

研究问题

• RQ1 能否系统地使用同调技术在由紧致生成元生成的三角范畴中构造权结构？
• RQ2 在何种条件下，正的 dg 代数的同调上的单模能唯一地提升为导出范畴中的 dg 模？
• RQ3 在何种条件下，此类唯一提升的存在性可推出完美导出范畴上典范 t-结构的存在性？
• RQ4 在 Ginzburg 代数等 dg 代数中，单-minded 对象集合与 t-结构心之间的精确关系是什么？
• RQ5 在 dg 代数的导出范畴中，Milnor 上极限与同伦上极限之间有何关系？

主要发现

• 对于零度同调为半单的正 dg 代数，其同调上的每个单模在导出范畴中同构意义下唯一地提升为 dg 模。
• 该唯一提升性质确保了该 dg 代数的完美导出范畴上存在典范 t-结构。
• 在该类 dg 代数的导出范畴中，建立了 t-结构心与单-minded 对象集合之间的双射。
• 该构造适用于与带势的图相关联的 Ginzburg 代数，为这些代数提供了 t-结构框架。
• 本文阐明，在给定条件下，导出范畴中 Milnor 上极限与同伦上极限重合。
• 在非正 dg 范畴的无界导出范畴上构造了一个典范权结构，将理论扩展至有界或完美情形之外。