与半对偶模相关的相对同调

发布时间：2017-06-25 16:17

  本文关键词：与半对偶模相关的相对同调，由笔耕文化传播整理发布。

【摘要】：对偶模(Dualizing Module)是由Grothendieck于1967年在交换Noether环上引入的.这一概念在交换代数和代数几何领域,特别是在代数和群的表示理论中有着广泛的应用.然而,只有在一些特殊的环上才存在对偶模,如局部Gorenstein环、局部Artinian环等.而半对偶模作为对偶模的推广,在一般环上是大量存在的.因此,半对偶模以及相关模类近些年来受到了许多学者的广泛关注.本文将在前人的工作基础上,围绕与半对偶模相关的相对同调和Tate同调展开研究.第二章首先凭借有有限χ-投射维数的模M的严格Wχ-分解定义了相对同调函子TorχM(M,-),这里χ表示一个模范畴的关于扩张封闭的子范畴并且存在一个内射余生成子W.证明了关于这种相对Tor-函子的平衡性结果.它包含了Emmanouil的关于Gorenstein投射模的Gorenstein"Tor-函子的平衡性结果,改进了Holm的关于Gorenstein平坦模的平衡性结果.其次,考虑了与半对偶模C相关的子范畴的相对同调函子,如TorgPCM(-,-)与TorgFCM(-,-),其中gPC与gFC分别表示所有gC-投射与gC-平坦模构成的子范畴.作为这一平衡性结果的应用,在存在对偶模D的Cohen-Macaulay环上,通过使用与半对偶模Ct=HomR(C,D)相关的分解,得到了对应于TorgPCM(-,-)与TorgFCM(-,-)的平衡性结果.第三章首先引入了WF-Gorenstein模的概念,揭示了它与gC-平坦模之间的关系,并且证明了如下的Foxby等价：其中g(F),AC与g(FC)分别表示所有Gorenstein平坦模构成的类,Auslander类与所有WF-Gorenstein模构成的类.这个结果从一个新的角度加细了经典的关于Auslander类和Bass类的Foxby等价.其次,定义了二次WF-Gorenstein模.称模M是二次WF-Gorenstein的,如果存在g(FC)中的正合序列G.=…→G1→G0→G-1→G-2→…使得M≌Im(G0→G-1),且G.是HomR(g(FC),-)-与g(FC)*(?)R--正合的.在GF-封闭环上证明了这种模类和WF-Gorenstein模类是一样的.推广了Yang和Bouchiba的关于Gorenstein平坦模类的相应结论.第四章在交换凝聚环上首先定义并研究了模的Tate FC-分解,证明了存在Tate FC-分解的模类等于所有g(FC)-投射维数有限的模构成的类.其次,凭借模的Tate FC-分解,定义了Tate同调函子TorgcM(-,-),得到了如下联结这种Tate同调函子和相对同调函子的“A-M型正合序列”：其中凭借第一个变量的真FC-分解导出于张量积函子的相对同调函子TorFCM(-,-)是由Salimi等在2012年引入.上述函子的正合序列为TorFCM(-,-)的研究提供了新的框架.最后,借助于Enochs等给我们提供的有利工具,通过使用与半对偶模Ct相关的分解得到了关于这种Fate同调的平衡性结果.第五章在Abel范畴A上引入了相对于子范畴χ的相对导出范畴Dχ*(S)这一概念,其中*∈{blank,-,b),S是A的另一个关于直和项封闭的子范畴.通过复形构造的办法证明了如下三角范畴的等价：K-(x)≌Dx-(resx).当x=g(P)时,这个结果将Gao和Zhang建立的关于Gorenstein投射导出范畴的三角等价Kb(g(P))≌Db(P)b(res g(P))推广到了下有界的情形,这里resg(P)表示A中所有Gorenstein投射维数有限的对象构成的子范畴.此外,本章证明了相对上同调群ExtxA(M,N)同构于相对导出范畴里对象M与N之间的所有态射构成的Abel群.从而,为之给出了一个新的解释.作为应用,本章凭借相对导出范畴里的方法,得到了一个联结与半对偶模相关的相对上同调函子和Tate上同调函子的“A-M型正合序列”.
【关键词】：半对偶模 相对同调 有限维数 平衡 W_F-Gorenstein模 范畴的稳定性 Tate分解 Tate同调 Tate上同调 同伦范畴 导出范畴 三角等价
【学位授予单位】：东南大学
【学位级别】：博士
【学位授予年份】：2015
【分类号】：O153.3
【目录】：

• 摘要4-6
• Abstract6-10
• 第一章 绪论10-24
• 1.1 课题背景与发展概况10-12
• 1.2 本文结构与主要结论12-15
• 1.3 预备知识15-23
• 1.4 符号说明23-24
• 第二章 与半对偶模相关的相对同调的平衡性24-34
• 2.1 相对Tor函子的平衡性24-28
• 2.2 Gorenstein Tor-函子的平衡性28-31
• 2.3 C-Gorenstein Tor-函子的平衡性31-34
• 第三章 与半对偶模相关的Gorenstein平坦范畴的稳定性34-44
• 3.1 W_F-Gorenstein模34-40
• 3.2 C-Gorenstein平坦范畴的稳定性40-44
• 第四章 与半对偶模相关的Tate同调44-60
• 4.1 Tate F_C-分解44-52
• 4.2 Tate同调函子52-56
• 4.3 Tate同调的平衡性56-60
• 第五章 相对于子范畴的导出范畴60-74
• 5.1 定义及三角等价60-68
• 5.2 相对上同调函子Ext_(χA)(-,-)68-71
• 5.3 与半对偶模相关的Tate上同调71-74
• 参考文献74-78
• 附录一 攻博期间完成的论文列表78-79
• 附录二 个人简历及学术活动79-80
• 附录三 致谢80-81

【相似文献】

中国期刊全文数据库 前10条

1 丁南庆;特殊模的对偶模[J];数学研究与评论;1990年03期

2 方刚;几类环的对偶模等价性条件[J];广东职业技术师范学院学报;1999年04期

3 赵巨涛;G-型分次对偶模的同调维数[J];晋东南师范专科学校学报;2003年02期

4 赵万忠,赵颖涛;对偶模糊矩阵方程[J];郑州工业大学学报;2001年02期

5 黄兆泳,唐金玉;关于对偶模的平坦性和内射性(Ⅱ)(英文)[J];数学研究与评论;2001年03期

6 章聚乐，杜先能;关于McCoy定理[J];数学研究与评论;1996年01期

7 陈焕艮;关于对偶模Euler特征数的注记[J];苏州大学学报(自然科学);1996年01期

8 郭广泉;量子Yang-Baxter模的对偶模[J];滁州师专学报;1999年02期

9 唐金玉;对偶模的FGT-维数[J];广西科学院学报;2000年02期

10 何家儒;Fuzzy集的模系结构与表现定理(Ⅰ)[J];四川师范大学学报(自然科学版);1999年04期

中国博士学位论文全文数据库 前2条

1 狄振兴;与半对偶模相关的相对同调[D];东南大学;2015年

2 张东东;半对偶模相关模类的研究[D];湖南师范大学;2012年

中国硕士学位论文全文数据库 前1条

1 李芳臻;半对偶模及相关Gorenstein同调维数[D];曲阜师范大学;2007年

  本文关键词：与半对偶模相关的相对同调，由笔耕文化传播整理发布。

，

本文编号：482784