arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv math/0410268math.AGhep-th
收藏

在阿贝尔范畴中。IV。不变量和变化稳定性条件

Configurations in abelian categories. IV. Invariants and changing stability conditions

Dominic Joyce

摘要:

这是关于阿贝尔范畴A中构形的系列论文math.AG/0312190,math.AG/0503029,math.AG/0410267中的第四篇。给定一个有限的偏序集(I,<),(I,<)-构形是A中满足某些公理的对象和态射的有限集合。描述A中的对象X如何分解为子对象。第一篇论文math.AG/0312190定义了构形,并利用Artin栈理论研究了物体的模空间Obj_A,M(I,<)_A和A中的(I,<)-构形。第二个math.AG/0503029考虑了Obj_A上的可构造函数和“堆栈函数”的代数,使用了math.AG/0403305,math.AG/0509722中开发的理论。第三个数学AG/0410267引入了A上的稳定性条件(t,T,<),证明了A中a类t-半稳定对象的模空间Obj_{ss} ^a(t)是Obj_A中的可构造集,因此它的特征函数d_{ss} ^a(t)是可构造的。证明了d_{ss} ^a(t)等可构造函数和栈函数的许多恒等式。本文首先通过将d_{ss} ^a(t ')写成d_{ss} ^b(t)的乘积之和,研究了当我们将稳定性条件(t,T,<)改变为(t',T ',<)时,Obj_{ss} ^a(t)如何变化。然后讨论了A中t-半稳定对象和构型的不变量I_{ss} ^a(t)或I_{ss}(I,<,k,t),满足恒等式和从(t,T,<)到(t ',T',<)的变换律.当A是光滑射影曲线P上凝聚层的表示的范畴mod-KQ或coh(P)时,我们计算了不变量。当A=coh(P),P是具有K_P_1 ^{-1} nef的曲面,或P是Calabi-Yau 3-fold时,我们发现了不变量的特殊性质。

英文摘要:

This is the fourth in a series of papers math.AG/0312190, math.AG/0503029, math.AG/0410267 on configurations in an abelian category A. Given a finite partially ordered set (I,<), an (I,<)-configuration is a finite collection of objects and morphisms in A satisfying some axioms. Configurations describe how an object X in A decomposes into subobjects. The first paper math.AG/0312190 defined configurations and studied moduli spaces Obj_A, M(I,<)_A of objects and (I,<)-configurations in A, using the theory of Artin stacks. The second math.AG/0503029 considered algebras of constructible functions and "stack functions" on Obj_A, using the theories developed in math.AG/0403305, math.AG/0509722. The third math.AG/0410267 introduced stability conditions (t,T,<) on A, and showed the moduli space Obj_{ss}^a(t) of t-semistable objects in class a in A is a constructible set in Obj_A, so its characteristic function d_{ss}^a(t) is constructible. It proved many identities on constructible and stack functions such as d_{ss}^a(t). This paper first studies how Obj_{ss}^a(t) changes as we vary the stability condition (t,T,<) to (t',T',<), by writing d_{ss}^a(t') as a sum of products of d_{ss}^b(t). Then we discuss invariants I_{ss}^a(t) or I_{ss}(I,<,k,t) 'counting' t-semistable objects and configurations in A, satisfying identities and transformation laws from (t,T,<) to (t',T',<). We compute the invariants when A is a category mod-KQ of representations of a quiver Q or coh(P) of coherent sheaves on a smooth projective curve P. We find special properties of the invariants when A=coh(P) for P a surface with K_P^{-1} nef, or P a Calabi-Yau 3-fold.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑