[论文解读] A Note on Support in Triangulated Categories

Aaron Bergman|ArXiv.org|Apr 24, 2008

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

一句话总结

本文引入了三角范畴中紧支集的新概念，通过紧致对象到总同态空间的有限维性来定义。研究证明，在凝聚层或模的导出范畴中，紧支集对象恰好对应于具有紧支集或有限维上同调的那些对象，并将该理论应用于导出莫代尔等价性以及奇点处的D膜物理。

ABSTRACT

In this note, I define a notion of a compactly supported object in a triangulated category. I prove a number of propositions relating this to traditional notions of support and give an application to the theory of derived Morita equivalence. I also discuss a connection to supersymmetric gauge theories arising from D-branes at a singularity.

研究动机与目标

• 在具有小余积的三角范畴中定义并研究紧支集对象。
• 将这一新的紧支集概念与代数几何和表示论中的经典支集概念相联系。
• 建立紧支集子范畴与具有紧支集或有限维上同调的子范畴之间的等价关系。
• 将结果应用于导出莫代尔等价性和由奇点处D膜产生的超对称规范理论。
• 通过结构层的Ext-有限性条件，为紧支集提供同调判别准则。

提出的方法

• 通过所有紧致对象ℱ满足∑ᵢ dim Hom(ℱ, 𝒪[i])有限来定义紧支集对象。
• 利用Hom函子的长正合列证明紧支集对象的全子范畴是三角的。
• 使用上同调谱序列和截断技巧，将紧支集与上同调有限性联系起来。
• 应用紧致性的赋值准则，证明从曲线结构层出发的有限Ext维数蕴含紧支集。
• 利用流形的光滑性确保完美复形有界，从而可与经典支集理论进行比较。
• 使用谱序列和长正合列，将问题约化为上同调模和层上同调群。

实验结果

研究问题

• RQ1 在D^b(Coh(X))中的有界复形何时在导出范畴中具有紧支集？
• RQ2 在诺特光滑代数簇中，紧支集与上同调层的紧支集之间的确切关系是什么？
• RQ3 在D(A-Mod)中，紧支集如何与复形的有限维上同调模相关？
• RQ4 能否通过从曲线结构层出发的Ext-有限性来刻画紧支集子范畴？
• RQ5 紧支集对导出莫代尔等价性和奇点处D膜构型有何影响？

主要发现

• 在三角范畴中，紧支集对象的子范畴是三角的，且对移位和扩张封闭。
• 对于诺特代数簇X，X上凝聚层的有界复形具有紧支集当且仅当其所有上同调层具有紧支集。
• 对于域上代数A，A-模的有界复形具有紧支集当且仅当其所有上同调模是有限维的。
• 若从约化曲线C的结构层𝒪_C到凝聚层𝒪的Ext群为有限维，则该层具有紧支集。
• 在光滑诺特代数簇中，D^c(Coh(X))的紧支集子范畴与上同调层具有紧支集的复形的全子范畴等价。
• 在光滑性假设下，紧支集条件等价于对所有属于支撑的约化曲线C，有∑ᵢ dim Hom(𝒪_C, 𝒪_C[i])有限。