三角范畴的Recollement与Abel化

首先给出了加法范畴的Abel化与幂等完备化的关系,证明了加法范畴的幂等完备化范畴是其Abel化范畴的投射子范畴;在此基础上,证明了三角范畴recollement的Abel化是Abel范畴的右recollement。     

左三角范畴的幂等完备化与余稳定化

设(,Ω,Δ)是一个左三角范畴,(■,■,■)与(■,■,■)分别是(,Ω,Δ)的先幂等完备化再余稳定化(三角化)和先余稳定化(三角化)再幂等完备化后得到的三角范畴,则这两个范畴是三角等价的.     

加法范畴的推出范畴的幂等完备化

考虑加法范畴的推出范畴的幂等完备化与加法范畴幂等完备化的推出范畴的关系,进一步证明了Abel范畴的推出范畴的幂等完备化与Abel范畴幂等完备化的推出范畴等价。     

拟Abel范畴的局部化范畴

在加法范畴局部化的基础上证明了拟A be l范畴的局部化范畴仍然是拟A be l范畴.     

Cluster倾斜子范畴导出的Abel范畴的recollement和thick子范畴

设T是三角范畴D的cluster倾斜子范畴.首先,如果D具有一个关于三角范畴D′和D″的recollement,且满足i*i*(T)T,j*j*(T)T,则给出了这个recollement诱导Abel范畴D/T关于Abel范畴D′/(i*T)和D″/(j*T)的recollement的充分必要条件;其次,如果H是D的thick子范畴,i*表示自然嵌入函子i*:H→D的左伴随函子,且i*TT,那么Abel范畴A′=H/(i*T)是Abel范畴A=D/T的thick子范畴.     

Freyd范畴的一点注记

设(,Σ,Δ)是三角范畴,记Δ0是所有可裂三角构成Δ的满子范畴.给出Freyd范畴U()和V()与范畴B()=Δ/Δ0之间的关系.     

关于函子范畴的一点注记

在介绍函子范畴的概念及例子的基础上,证明了拟Abel(正合)范畴的函子范畴仍是Abel(正合)范畴,并给出两个应用.     

Abel范畴的一种构造

利用一般范畴D构造了新范畴ID和PD,证明了若D是Abel范畴,则存在范畴ID到IopD的忠实函子,且ID也是Abel范畴.     

函子范畴与幂等完备化构造的相容性

讨论函子范畴和范畴的幂等完备化构造的相容性,证明小范畴D到任意范畴C的函子范畴C D的幂等完备化范畴等价于D到幂等完备化范畴C～的函子范畴(C～)D.进一步得到函子范畴CD是幂等完备的,当且仅当C是幂等完备的.     

Neat模和等价子范畴

本文通过Morita Context（R，M，N，S，ψ，φ）方法，讨论了absolutely τ-pure左R-模范畴和absolutely σ-pure左S-模范畴，得到了关于模及子范畴等价的一些结果．     

Q-复形和三角范畴

作者定义了Q-复形范畴,它是两类重要的范畴的推广,一类是通常意义下的复形范畴,另一类是重复代数的模范畴;然后证明了在一定条件下Q-复形范畴是Frobenius范畴,从而其稳定范畴是三角范畴;最后刻画了重复代数的模范畴的稳定范畴里的一个满子范畴,并且证明了其上存在Auslander-Reiten三角.     

扩张子范畴的幂等完备化

给定三角范畴D的子范畴X,Y,证明了若X,Y是幂等完备的且HomD(X,Y[i])=0,其中i=0,-1,则其扩张子范畴X*Y也是幂等完备的.应用到t-结构上,证明了包含t-结构的心的最小的有厚度子范畴是幂等完备的.应用到右(左)recollement上,证明了两端的三角范畴是幂等完备的充要条件是中间的三角范畴是幂等完备的.     

有界导出范畴的描述

利用预覆盖类描述Abel范畴A的有界导出范畴D^b( A ), 并给出相应的应用. 结果表明, 模范畴的有界导出范畴可用Gorenstein平坦模和余挠对描述.     

Abel范畴的Jacobson根

加法范畴的Jacobson根可以仿照环论的方式来定义,它在将范畴理论应用于环论研究中起着重要的作用。本文证明Abel范畴的Jacobson根与环的Jacobson根有非常类似的性质,可以直接应用于模范畴的研究中。     

关于Abel群的几个等价定义

本文给出了Abel群的6个等价定义:定理1—定理6.     

Abel 环的性质和刻划

对带有自同态的 Abel 环展开研究,得到丰富的性质和刻划,并推广了许多已知结论.     

关于左三角范畴的一个注记

设C是abelian范畴,W、X是C的反变有限子范畴,且w∈x,则加法范畴（C／w）／（x／w）是一个左三角范畴。     

关于Abelian三角范畴的一个注记

主要证明如下结论:如果(C,T,Δ)是三角范畴,则C是Abelian范畴的充分且必要条件是C中三角是由同构于如下形式的态射图构成:U⊕V(00/01)→W⊕V(00/10)→T(U)⊕W(10/00)T(U)⊕T(V).由此得到:如果C是一个Abelian范畴,T是C上的可逆加法自函子,则有且仅有一种方式使(C,T)构成三角范畴.另外,还通过Abelian范畴C上的Serre类,研究局部化范畴C[S-1]是Abelian三角范畴的条件.     

Abel环的性质和刻划

对带有自同态的Abel环展开研究,得到丰富的性质和刻划,并推广了许多已知结论.     

抽象同伦范畴中的局部化

在抽象同伦范畴中给出了一个局部化函子的存在定理：设C为抽象同伦范畴,S为C中的态类,若(1)存在关于S的左分数范畴;(2)任给si：Xi→Yi(i∈A)属于S,有Vsi：VXi→VYi属于S．这里Λ为任一指标集;则存在C上的幂等对(E,η),使得SE=S┴┴且DE=S┴。