几类由对象确定的态射范畴.pdfVIP

第 26卷 第 1期 福建师范大学学报 (自然科学版) Vo1．26 No．1 2010年 1月 JournalofFujianNormalUniversity (NaturalScienceEdition) Jan．2010 文章编号：1000—5277(2010)01—0008—05 几类 由对象确定的态射范畴 许丽丽 ，辛 林 (福建师范大学数学与计算机科学学院，福建 福州 350007) 摘要 ：设 是一个范畴，是 的一个局部类．构造 的态射范畴的一个左局部化范畴 。[一]，并给 出 一 定条件下，由不同对象确定的态射范畴及其左局部化之间的关系． 关键词：范畴局部化 ；态射范畴；单边几乎可裂序列 中图分类号：O154．1 文献标识码 ：A SeveralMorphism CategoriesDeterminedbyObjects XU Li—li，XIN Lin (SchoolofMathematicsandComputerScience，FujianNormalUniversity，Fuzhou350007，China) Abstract：Let beacategoryandSbealocalizingclassof ．Constructaleftlocaliza— tion c[S一]ofamorphismcategoryof ．Thenpresenttherelationsamongthemorphism categorieswhichdeterminedbydifferentobjectsandtheirleftlocalizations，undercertain conditions． Keywords：localization ofacategory；morphism category；one—sidedalmostsplitse— qUence 设 是一个范畴．对 中给定的一个对象C，构造一个新的范畴，记为 ／c，其对象为 中所有终 于 c的态射 a：A— c，记为A．对 ／c中任意两个对象A 和 B ， 中使得a—bf的态射厂：A—B作 为从A 到B 的态射．于是Hom ／c(A。，B)一 (厂I厂∈Hom (A，B)，a—bf)．态射合成是 自然的．这样 的范畴 ／c称为由c确定的态射范畴或c一态射范畴．这类范畴有许多重要应用 ，如 Auslander利用这 种范畴研究几乎可裂序列[1]．此类范畴还可以进行推广．设C，C。为范畴 的两个对象，则可构造范 畴 ／{C ，C)，其对象为 中所有形如C — A— C 的态射对，记为A }．对 ／{C，C。)中任意 两个对象A{ )和B{6．6。)， 中使得 口一blf且 a2一bzf的态射厂： — B作为从 Af )到B{6，6，)的 态射，即Hom ／{c，C2}(A{1“1。。)，B{b．b2))一 {fI厂∈Horn (A，B)，a1一blf，口2—6。厂)．相应地 ，这种范畴 ／{c ，c。}称为由c ，c 确定的态射范畴或 c一c一态射范畴． 局部化方法是代数表示论中最基本的方法之一．Abelian范畴局部化和三角范畴局部化等都极大地 丰富了局部化理论，使得局部化理论的应用在环论、代数几何以及代数表示论的研究中都占据重要的地 位．Freyd在Is]中给出一个例子，表明在一般情况下，一个范畴 局部化后得到的 [S ]未必构成范 畴，主要原因是对 VX，Y ∈ ]，Hom IS～13(，y)未必构成集合．但是如果 是 skeletallysmall 的，则 ]构成范畴．当然如果局部类s经过一定的限制后 ，也有可能使 [sI1]构成范畴．相关研 究成果可参阅[4—8]． 设 是一个范畴．本文约定：用Mor％~表示范畴 的所有态射构成的类．对 中任意两个对象 ， B，用Cg(A，B)表示 中从A到B的态射集，而不再用Hom (A，B)．用 表示 的C一态射范畴，用 收稿 日期：2009一O1—08 基金项 目：国家自然科