若干代数结构的上同调的分析.pdfVIP

第一章 绪论 同调代数于20世纪40年代被引入代数学，最先出现的群的上同调和同 上的上同调群． 已在代数几何，同调代数和表示论的研究上显示出巨大的作用(如【2、3、 4】等)． 在同调代数里，投射、内射和平坦维数起着非常重要的作用，这些概念已 维数一致． 具有有限G一维数的模范畴上，Avramov等人在【10】中定义了三种上同调理 论z绝对的，相对的和rate上同调，该文的主要结论足给出了三种理论之间 的关系，即存在一个函子的长正合列． 最近几年，上述理论已分别在三角范畴中得到研究和发展(见【11．12， 131)．受此启发。本文的第一个主要工作是t首先给出三角范畴中的相对上同 调理论，在此基础上类似于文【10】，在三角范畴中建立上述三种上同调理论之 间的关系． 自从群的上同调群被定义以后，许多代数结构的上同调也相继被研究．如 在文【18】中又研究了缠绕结构的上同调，它可以看作是上述结论的推广．在 第一章 绪论 来越强大，可以看作是双代数与缠绕结构的统一形式．受此启发，本文的第二个 主要工作是。构造了一个关于A一上环c和J4一双模M的上链复形Q(A，M)， 并由此给出了值在模M中的A一上环的上同调．作为应用，我们分析了典则 上环的上同调结构．最后，我们对偶了上一节的构造，给出了值在余模y中的 c一环的上同调．所得结果推广了文【18】中相应结果． 本文中，用AHOmA表示从^一双模范畴到七一向量空间范畴的日Dm一 双函子，向量空间y—÷y的恒等映射记为y，y9n记为yn． 2 第二章预备知识 §2．1三角范畴的概念及基本性质 设C为加法范畴，￡：C—÷C为一自同构函子．C中的一个三角是指c 到三角A2乌B2马Q与￡A2的态射是一个使得下图交换的态射三元组 (a，卢，7)． Alj0Bl_旦‘a上l+EAl —+如 土—1岛 马I～Q 土叫跳 三元组(c，E，△)称为一个三角范畴，其中c为加法范畴，E：C—+C为自 同构函子而△为C中三角所成之类，它满足如下公理： (Trl)与△中三角同构的三角仍在△中．对c中任意态射，：A—斗B，存在 4B与c乌r．A．03 △中一个三角A A三冬A与Eo在△中． 4B与C鸟∑4在△中的充要条件是B与c与EA蔓毒∑B在△ (n2)A 中． Bl—÷岛满足，2口=卢^，则存在7：a—÷岛使得(n，芦，，y)为三角态 射． (Tr4)(八面体公理)给定△中的三个三角 A二B与c，与￡AB与e与以，SP．B，A笃c与B’与∑A， 则存在态射，’：∥—÷∥及g，：B’—÷A，使得下图交换且图中的第三行 3 第二章预备知识 是一个△中的三角； E一1B，罨土二AjoA E型∥d■上∥上∑B 当上喜上土掣曼 土皿曼 八面体公理也常被称作Verdier公理，以下我们给出几个常用的八面体公 理的等价形式．我们的讨论将在取定的三角范畴(C，E，△)上展开． (Tr3)．则下列条件是等价的： 列交换图 0—一M三-M——一0 三一上坐上土 蝗一_皂上生 l 川 一 cI J O一∑Mj∑M一0 其中所有的垂直序列与水平序列都是A中的三角． S