纯奇点范畴中的Buchweitz定理

我们定义纯奇点范畴D_(psg)~b(R)为有界纯导出范畴D_(pur)~b(R)与纯投射模构成的有界同伦范畴K~b(■)的Verdier商,得到了纯奇点范畴D_(psg)~b(R)三角等价于相对纯投射模的Gorenstein范畴的稳定范畴■的一个充分必要条件.同时,还给出三角等价D_(psg)~b(R)≌D_(psg)~b(S)的充分条件,这里R和S都是环.     

代数$\Omega$-范畴的等价范畴

本文基于$\Omega$-范畴研究了(连续) $\mathcal{I}$-余万备$\Omega$-范畴的一些性质. 我们给出了双完备$\Omega$-范畴和逼近双模的概念并讨论了它们的性质, 证明了任何$\mathcal{I}$-余万备$\Omega$-范畴都是双完备$\Omega$-范畴. 得到了代数$\Omega$-范畴范畴等价于双完备$\Omega$-范畴.     

范畴CDCPO及其子范畴的完备性

讨论范畴CDCPO的完备性以及余积的存在性。证明了CDCPO的子范畴L-CDCPO不是完备的;给出了该范畴的一个非满的完备子范畴LCDOM并证明了该子范畴存在余积。给出了L-CDCPO范畴的满子范畴LCDOMI并证明其存在等值子。     

On the braided structures of Radford's biproduct

We obtain the necessary and sufficient conditions for Radford’s biproduct to be a braided Hopf algebra. As an application, a nontrivial example is given.     

Fuzzifying闭包系统的研究

在Fuzzifying(模糊化)数学的框架下,建立了Fuzzifying闭包系统和Birkhoff型Fuzzifying闭包算子的概念; 引入了Fuzzifying闭包空间范畴和Fuzzifying闭包系统空间范畴,并从范畴论的角度证明Birkhoff型Fuzzifying闭包算子与Fuzzifying闭包系统是协调的.最后文中还得到Fuzzifying闭包空间范畴和Fuzzifying闭包系统空间范畴可以嵌入到Birkhoff型L-闭包空间范畴这一重要结果.     

奇点模型范畴的Quillen等价

令R是左Gorenstein环.我们构造了奇点反导出模型范畴和奇点余导出模型范畴(见文[Models for singularity categories,Adv Math.,2014,254:187-232])之间的Quillen等价.作为应用,给出了投射,内射模的正合复形的同伦范畴之间的一个具体的等价■.     

Gorenstein正则环、奇点范畴和Ding模

本文证明了任意环的整体Ding投射维数和整体Ding内射维数一致,研究了奇点范畴和相对于Ding模的稳定范畴间的关系,并刻画了Gorenstein (正则)环以及环的整体维数的有限性.     

双单子分配律的R-矩阵

本文讨论了双单子分配律的表示及其R-矩阵结构.设F和G是给定的双单子,刻画了单子双模范畴,并给出了其为辫子范畴的充要条件,由此构造了量子YangBaxter方程的一组新解系.     

具有核的态射的 w -加权Drazin逆

该文中, a: X→Y, w: Y→ X为加法范畴 £ 中的态射, k₁: K ₁→X是(aw)ⁱ 的核, k₂: K₂ →Y是(wa)^j 的核. 那么下列命题等价: (1) a 在 £ 中有w -加权Drazin逆a _d,w; (2) ₁:X→ L₁是(aw)ⁱ 的上核,k_{1 1}(aw)ⁱ⁺¹}+ ₁(k_{1 1})^-1k₁是可逆的; (3) ₂: Y→ L₂是(wa)^j 的上核, k_{2 2}和(wa)^j+1+ ₂(k_{2 2})^-1k₂是可逆的. 作者又研究了具有{1} -逆的正合加法范畴中态射的w -加权Drazin逆的柱心幂零分解, 证明了其存在性. 作者把具有核的态射的Drazin逆及其柱心幂零分解推广到具有核的态射的w -加权 Drazin逆及其柱心幂零分解, 并给出了表达式.     

群Yetter-Drinfel''d范畴中的Hopf代数

In this note we first show that if H is a finite-dimensional Hopf algebra in a group Yetter-Drinfel＇d category L^LyD（π） over a crossed Hopf group-coalgebra L, then its dual H^＊ is also a Hopf algebra in the category L^LyD（π）. Then we establish the fundamental theorem of Hopf modules for H in the category L^LyD（π）.