[论文解读] On torsion torsionfree triples

Pedro Nicolás|ArXiv.org|Jan 3, 2008

Nonlinear Waves and Solitons参考文献 53被引用 38

一句话总结

本文通过同调代数与导出范畴，对模范畴和三角范畴中的挠-无挠（TTF）三元组进行了全面分类。它通过微分分次范畴的同调态射对三角范畴中的TTF三元组进行了参数化，并证明左/右分裂TTF三元组对应于幂等理想，同时在非诺特情形下揭示了Ext函子不消失的关键结果。

ABSTRACT

We study torsion torsionfree(=TTF) triples in abelian and triangulated categories. (Notice that TTF triples in a triangulated category are essentially in bijection with recollement data for this triangulated category.) In particular, we complete Jans' characterization of split TTF triples on a category of modules, prove a weak version of the Generalized Smashing Conjecture, use homological epimorphisms of differential graded(=dg) categories to give an explicite description of all the TTF triples in the derived category of a k-flat dg category and develope an unbounded approach to Koenig's theorem on recollements of right bounded derived categories of ordinary algebras.

研究动机与目标

• 对任意环上模范畴中的挠-无挠（TTF）三元组进行分类，推广Jans关于中心TTF三元组的经典结果。
• 通过黏合结构与导出范畴，将TTF三元组的参数化推广至三角范畴。
• 研究TTF三元组为左/右/中心分裂的条件，尤其关注幂等理想的关系。
• 分析在非诺特情形下Ext函子的行为，特别是对可数简单冯·诺伊曼正则环上内射模的情形。
• 建立导出范畴中打碎子范畴与双边理想之间的联系，为广义打碎猜想做出贡献。

提出的方法

• 利用黏合与去黏合结构刻画三角范畴中的TTF三元组。
• 应用B. Keller的导出范畴莫代推理论，将TTF三元组与微分分次范畴的同调态射联系起来。
• 采用无限分次分解与完美生成技术，分析紧致对象与打碎子范畴。
• 构造一个微分分次范畴的右有界导出范畴，以研究t-结构与TTF三元组。
• 利用可数冯·诺伊曼正则环中纯全局维数≤1的事实，证明其遗传性。
• 通过内射包与正交幂等元的提升论证，证明HomA(Q, ?)保持小直和。

实验结果

研究问题

• RQ1 环中的哪些双边理想对应于模范畴Mod A中左或右分裂的TTF三元组？
• RQ2 在什么条件下，对于内射右A-模Q，函子HomA(Q, ?)保持小直和？
• RQ3 当Λ为无限集时，Ext1A(Q, Q(Λ))在何时为零？其非零意味着什么？
• RQ4 三角范畴中的TTF三元组如何通过微分分次范畴的导出范畴参数化？
• RQ5 打碎子范畴与导出范畴中的双边理想之间存在何种关系？

主要发现

• 对于一个不可数的简单冯·诺伊曼正则环A（非右诺特），存在一个内射右A-模Q，使得HomA(Q, ?)保持小直和。
• 对每个无限集Λ，均有Ext1A(Q, Q(Λ)) ≠ 0，表明即使HomA(Q, ?)保持直和，Ext函子仍不消失。
• 对任意指标集I，自然映射⊕i∈I HomA(Q, Xi) → HomA(Q, ⊕i∈I Xi)是双射，表明Q在同伦范畴中是紧致对象。
• 此类Q的存在意味着广义打碎猜想在非诺特环中一般不成立。
• 通过微分分次范畴的同调态射对三角范畴TTF三元组的参数化，在完美生成设定下提供了完整分类。
• 尽管HomA(Q, ?)保持直和，但Ext1A(Q, Q(N))不消失，表明在非诺特情形下，紧致性不蕴含内射生成。