[论文解读] Grothendieck groups and tilting objects

Idun Reiten, Michel Van den Bergh|ArXiv.org|May 10, 2000

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

一句话总结

该论文在具有 Serre 自同态、存在无限长度对象的连通、诺特、遗传、Ext-有限的阿贝尔范畴（定义在代数闭域上）中，建立了格罗滕迪克群的有限生成性与倾斜对象存在的精确等价关系。利用先前工作的分类结果，证明了在这些条件下，格罗滕迪克群有限生成当且仅当存在倾斜对象，从而将一个同调不变量（格罗滕迪克群）与一类结构性质（倾斜对象）联系起来，适用于包括加权射影直线上的凝聚层和分次奇点商范畴在内的广泛范畴类。

ABSTRACT

Let C be a connected noetherian hereditary abelian Ext-finite category with Serre functor over an algebraically closed field k, with finite dimensional homomorphism and extension spaces. Using the classification of such categories from math.RT/9911242, we prove that if C has some object of infinite length, then the Grothendieck group of C is finitely generated if and only if C has a tilting object.

研究动机与目标

• 确定在代数闭域上，连通、诺特、遗传、Ext-有限的阿贝尔范畴的格罗滕迪克群何时是有限生成的。
• 阐明此类范畴中倾斜对象的存在性与格罗滕迪克群有限生成性之间的关系。
• 扩展对加权射影直线上凝聚层及分次奇点商范畴在更广泛导出范畴类中作用的理解。
• 在具有 Serre 对偶性的范畴背景下，提出一个基于同调消去与生成性的倾斜对象判定准则。
• 在给定条件下，建立格罗滕迪克群有限生成性蕴含倾斜对象存在的双向关系。

提出的方法

• 利用文献[31]中建立的关于代数闭域上具有 Serre 对偶性的连通、诺特、遗传、Ext-有限阿贝尔范畴的分类结果。
• 在 Ext-有限、遗传范畴的背景下应用格罗滕迪克群理论，分析在存在无限长度对象时的有限生成性。
• 提出一个基于 Hom 和 Ext¹ 函子消去及生成条件的新倾斜对象判定准则。
• 在离散赋值环上的遗传序的模上构造例外系，以促进在 P¹ 上带序层的凝聚层范畴中倾斜对象的构造。
• 利用关键性质（倾斜对象、格罗滕迪克群有限生成性、Serre 对偶性）在导出等价下的不变性，将结果推广至诺特范畴之外的导出等价范畴。
• 在分次环及其商范畴的背景下，运用局部化与内射化解析技术，分析商范畴的全局维数与遗传性。

实验结果

研究问题

• RQ1 在代数闭域上，连通、诺特、遗传、Ext-有限的阿贝尔范畴的格罗滕迪克群在何种条件下是有限生成的？
• RQ2 格罗滕迪克群的有限生成性是否意味着此类范畴中存在倾斜对象，特别是在存在某个无限长度对象时？
• RQ3 Serre 自同态的存在如何影响倾斜对象与格罗滕迪克群结构之间的相互作用？
• RQ4 在加权射影直线上的凝聚层范畴或分次奇点的商范畴中，格罗滕迪克群与倾斜对象存在性之间的确切关系是什么？
• RQ5 能否提出一个不依赖于投射维数、而基于同调消去与生成性的新倾斜对象判定准则？

主要发现

• 在具有 Serre 自同态且存在无限长度对象的连通、诺特、遗传、Ext-有限阿贝尔范畴中，格罗滕迪克群有限生成当且仅当范畴允许存在倾斜对象。
• 倾斜对象的存在性意味着格罗滕迪克群是有限秩的自由阿贝尔群，该结果在更广泛背景下得到确认。
• 提出一个新倾斜对象判定准则：对象 T 是倾斜对象当且仅当 Ext¹(T,T)=0，且 Hom(T,X)=0 与 Ext¹(T,X)=0 蕴含 X=0。
• 在离散赋值环上的遗传序上构造例外系，使得能够在 P¹ 上带序层的凝聚层范畴中显式构造倾斜对象。
• 对于克尔ull维数为2的交换诺特孤立奇点上的分次模的商范畴，格罗滕迪克群有限生成当且仅当存在倾斜对象。
• 结果可推广至与诺特遗传范畴具有 Serre 对偶性的导出等价范畴，表明格罗滕迪克群有限生成性与倾斜对象存在的等价性在导出等价下保持不变。