[论文解读] On the vanishing of cohomology in triangulated categories

Petter Andreas Bergh|ArXiv.org|Nov 17, 2008

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

一句话总结

本文研究三角范畴中上同调的消失现象，重点探讨有限消失间隙是否意味着最终消失，以及上同调消失在对象之间是否对称。在上同调关于范畴的分次中心满足有限生成条件时，本文证明了间隙检测与对称性均成立，尤其对于对称周期代数，一个方向的Ext消失意味着另一方向也消失。

ABSTRACT

We study the vanishing of cohomology in triangulated categories admitting a central ring action. In particular, we study vanishing gaps and symmetry.

研究动机与目标

• 确定在三角范畴中，上同调的有限消失间隙是否意味着在大度数时最终消失。
• 研究Ext群在一个方向上消失是否意味着在对偶方向也消失（即上同调消失的对称性）。
• 建立这些现象成立的条件，特别是当上同调在范畴的分次中心上有限生成时。
• 提供一个适用于对称代数和群代数的一般框架，特别关注周期代数。
• 证明在非对称自内射代数（如某些Nakayama代数）中，上同调消失的对称性会失效。

提出的方法

• 在三角范畴中，对对象的上同调引入关于范畴分次中心的有限生成假设。
• 利用分次中心的结构定义其对Ext群的中心作用，从而支持模论论证。
• 应用有限生成假设，证明若消失间隙长度为c+1，则对所有大度数均有消失，其中c为复杂度。
• 使用厚子范畴及子范畴的张量积概念，分析范畴的结构。
• 应用Hochschild上同调的结果，证明对称周期代数上的Ext群是Hochschild上同调环上的有限生成模。
• 在Nakayama代数中使用显式的极小项目化解，构造对称性失效的反例。

实验结果

研究问题

• RQ1 在何种条件下，三角范畴中上同调的有限消失间隙意味着在大度数时最终消失？
• RQ2 若Ext^n(X,Y)在大n时消失，是否意味着Ext^n(Y,X)在大n时也消失，即上同调消失是否具有对称性？
• RQ3 当上同调在范畴的分次中心上有限生成时，是否可通过有限间隙检测上同调的消失？
• RQ4 对称周期代数上，上同调消失的对称性是否成立？在代数或其上同调的何种条件下成立？
• RQ5 是否存在上同调消失不对称的例子，特别是在非对称自内射代数中？

主要发现

• 对于交换局部完整交环，若Ext^n(M,N)在长度为c+1的间隙中消失（其中c为余维数），则对所有大n均有消失。
• 在具有半单张量积单模的对称周期代数上，一个方向的Ext消失意味着另一方向也消失，且两者等价于对所有i>0的消失。
• 在有限生成假设下，简单模S与N的Ext群Ext*(S,N)是Hochschild上同调环HH*(Λ)上的有限生成模。
• 在自内射Nakayama代数中，当参数r = t−1时，上同调消失的对称性失效，因为Ext^n(S1,S2)在奇数n时非零，而Ext^n(S2,S1)恒为零。
• Ext*(S,N)在HH*(Λ)上的有限生成性通过分次中心的作用得以确立，尤其当Λ/𝑟⊗Λ/𝑟为半单时。
• 本文通过在Nakayama代数中构造显式的极小项目化解，证明Ext^n(S1,S2) ≠ 0对所有奇数n成立，而Ext^n(S2,S1) = 0对所有n成立，从而在非对称情形下展示了对称性的失效。