同调光滑连通上链DG代数的一个注记

本文给出了有关同调光滑连通上链微分分次(简称DG)代数的两个重要结论.具体地说,当A是同调光滑连通上链DG代数且其同调分次代数H(A)是诺特分次代数时,证明D_(fg)(A)中的任意Koszul DG A-模都是紧致的.另外,当A是Kozul连通上链DG代数且其同调分次代数H(A)是有平衡对偶复形的诺特分次代数时,证明A的同调光滑性质等价于D_(fg)(A)=D~c(A).     

紧致DG模和Gorenstein DG代数

证明同调有界的连通微分分次代数（简称为DG代数）上的紧致DG模的ampli-tude与基代数的amplitude的差恰为该DG模的投射维数.由此可得非平凡的正则DG代数是同调无界的.对正则DG代数A,若它的同调代数H（A）是分次Koszul代数,则证明H（A）有有限的整体维数;如果把条件减弱为A是Koszul DG代数,则给出了一个H（A）的整体维数为无限的例子.对一般的正则DG代数A,给出了其为Gorenstein DG代数的一些等价刻画.对同调有限维的连通DG代数A,证明由紧致对象全体构成的三角范畴Dc（A）和Dc（Aop）存在Auslander-Reiten三角当且仅当A和Aop都是Gorenstein DG代数.当A是非平凡的正则DG代数,且H（A）是局部有限维时,Dc（A）不存在Auslander-Reiten三角.对正则DG代数A,转而讨论了Auslander-Reiten三角在Dlbf（A）以及Dlbf（Aop）上的存在性.     

一类特殊的Koszul Calabi-Yau DG代数

假设一个连通上链DG代数A的基分次代数A~#或者同调分次代数H(A)是由一次元素x,y生成的代数kx,y/(xy+yx).本文证明A是Koszul Calabi-Yau DG代数.     

一个非平凡的Calabi-Yau DG代数

证明例1中的DG代数不仅是Koszul,同调光滑DG代数,而且还是一个Calabi-Yau DG代数.该例子说明一个Calabi-Yau DG代数的同调分次代数不一定具有Calabi-Yau性质,甚至可能不是同调光滑的;另外,该例子还说明一个Calabi-Yau DG代数忘掉微分后得到的分次代数不一定是分次Calabi-Yau代数.     

Koszul微分分次模

引入了Koszul微分分次模的概念. 给定Koszul微分分次代数上的一个下有界的微分分次模, 如果这个模到平凡模的Ext-\!群是有界的分次空间, 则它必定包含一个微分分次子模, 其在适当的截断和移位下是Koszul微分分次模; 这样的模还可以通过一系列Koszul微分分次模来逼近(参见本文推论3.6). 设$A$是一个Koszul微分分次代数, $D^c(A)$是微分分次右$A$-\!模范畴的导出范畴中由对象$A_A$生成的满三角子范畴. 如果平凡微分分次模$k_A$落在范畴$D^c(A)$中, 则三角范畴$D^c(A)$的标准$t$-\!结构的中心, 作为Abel范畴, 与某个有限维代数上的有限生成模范畴对偶. 进一步, 可推得三角范畴$D^c(A)$等价于它的标准$t$-\!结构的中心的有界导出范畴.     

连通微分分次代数的整体维数

首次把有理同伦论中的同伦不变量-锥长度(cone length)引入到微分分次(简记为DG)同调代数中,定义了连通DG代数上DG模的锥长度.连通DG代数A的左(右)整体维数定义为所有DGA-模(Aop-模)的锥长度的上确界.在一些特殊情形下,发现连通.DG代数A的左(右)整体维数与H(A)的整体维数有着密切的关系.任意一个连通分次代数,如果将它视为微分为O的连通DG代数,其左(右)整体维数与其作为连通分次代数的整体维数是一致的.因此该定义是连通分次代数整体维数的一种推广形式.证明A的整体维数足三角范畴D(A)以及Dc(A)的维数的一个上界.当A是正则DG代数时,给出了A的左(右)整体维数的一个有限上界.     

分段Koszul代数

一般情形下, 分段Koszul代数是一类不同于经典Koszul代数的齐次代数, 同时, 它包含经典Koszul代数和高阶Koszul代数作为其特殊例子. 通过研究分次代数的Yoneda-Ext代数E(A)的极小生成次数, 给出了一个正分次代数是分段Koszul代数的判定定理, 并且在E(A)上构造了一种特殊的A_∞-结构. 最后讨论了分段Koszul代数和经典的Koszul代数的关系. 特别地, 所得结果与Green-Marcos的一个未解决问题有密切的关系.     

分段Koszul代数, II

本文继续研究了分段Koszul 代数. 具体地, 给出了一些分段Koszul 代数的判定准则; 作为构造更多分段Koszul 代数例子的尝试, 讨论了分段Koszul 代数的“单点扩张” 和“H-Galois 分次扩张”, 其中H 是有限维的半单余半单Hopf 代数.     

广义分段Koszul代数

广义分段Koszul代数(简称为K_p代数)一般是一类二次代数,其平凡模允许有非单纯的投射分解.利用Yoneda-Ext代数E(A)给出了分次代数A是K_p代数的一个充分条件,同时讨论了K_p代数的商代数是否继承K_p性质.     

广义分段Koszul代数

广义分段Koszul代数(简称为κ_p代数)一般是一类二次代数,其平凡模允许有非单纯的投射分解.利用Yoneda-Ext代数E(A)给出了分次代数A是κ_p代数的一个充分条件,同时讨论了κ_p代数的商代数是否继承κ_p性质.