×

三角形分类中的注入对象。 (英语) Zbl 1068.18011号

研究某些商范畴中的(纯)内射对象在现代代数中占有重要地位。本文引入并研究了三角范畴中紧致对象生成集的内射性概念。本研究扩展了D.本森H.克劳斯[J.Reine Angew.数学.542,23–51(2002;Zbl 0987.20026号)].
设(mathcal{T})是具有任意直和的三角范畴。如果协变函子(mathcal{T}(X,-))与余积交换,则对象(X)是紧的。将所有紧对象作为对象的\(mathcal{T}\)的三角化子范畴用\(mathcal{T}^{c}\)表示。如果类别\(\mathcal{T}\)是由集合\(\mathcal{C}\)生成的,那么它是紧凑生成的,使得\(\mathcal{C}\)的每个元素都是紧凑的。如果集合在暂停状态下关闭,则集合\(\mathcal{C}\)是发电集合。设\(\mathcal{R}\)是一组紧致对象,它们在挂起下闭合。作者使用函子\(H:\mathcal{T}\ to \ roman{Mod}\mathcal{R}\),\(X\mapsto H_{X}\)定义了\(\mathcal{R}\)-单态性的概念,其中\(H_{X}\)是反变函子\(\mathcal{T}(-,X)\)对\(\mathcal{R}\)的限制。如果诱导映射(H_{X}到H_{Y})是单态,则映射(X到Y)是(mathcal{R})-单态。然后,利用这个概念,作者引入了(mathcal{R})-内射性的概念和三角形(X~Y~Z~SigmaX~)的(mathca{R}~)-精确性。指出如果(mathcal{R}=mathcal}T}^{c}),那么这些概念就是纯同态、纯客体和纯精确三角形的经典概念。
设(S)是(X)的自映射的分次环,本文的主要结果是定理4.1,它表明存在函子(Gamma:roman{注射}S\识别任意紧对象(X\in\mathcal{T}^{c})的(mathbbZ\)分次自同态环上的内射模类,其中^{n} X(X)\}_{n\在{\mathbb Z}}中)。函子(Gamma)是使用Brown的可表示性定理构造的,该定理由A.内曼【美国数学学会期刊9205-236(1996;Zbl 0864.14008号)].
本文的最后一部分研究了齐格勒谱和扎里希谱。在定理5.1中,证明了对于带生成元的单基因三角范畴(mathcal{T}),(X)的(mathbbZ)分次自同态环是右相干的当且仅当集(mathcal{U}={Gamma{E}\mid E\In roman{西班牙语}西班牙语\}\)是与第二作者引入的Ziegler拓扑相关的\(\roman{Zsp}\mathcal{T}\)的一个紧密子集[M.普雷斯特J.Ann.《纯粹应用》。逻辑62183-205(1993;Zbl 0798.16006号)]. 在这种情况下,同胚{扎尔}S\构造了to\roman{Zar}\mathcal{T}\),其中\(\roman{Zarneneneep \mathcal{T})表示Zarisk拓扑空间。
值得一提的是,本文包含了许多有趣的例子,这些例子说明了主要的结构和结果。

MSC公司:

18至15 Grothendieck类别(MSC2010)
18E30型 派生类别、三角化类别(MSC2010)
18G05年 投射物和注入物(分类-理论方面)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 内政部:10.4153/CJM-2000-010-4·兹比尔0948.18008 ·doi:10.4153/CJM-2000-010-4号文件
[2] DOI:10.1006/jabr.1999.8237·兹比尔0964.18008 ·doi:10.1006/jabr.1999.8237
[3] Beigiannis A.,Beiträge代数几何。第44页,第451页–
[4] Benson D.、J.Reine Angew。数学。542页,第23页
[5] 内政部:10.1016/S0040-9383(99)00034-8·Zbl 1006.18012号 ·doi:10.1016/S0040-9383(99)00034-8
[6] Gabriel P.,公牛。社会数学。法国90,第323页-
[7] DOI:10.1007/BF01112218·Zbl 0136.25602号 ·doi:10.1007/BF01112218
[8] Garkusha G.,基金。申请。数学。第7页,983–
[9] DOI:10.1007/BFb0090389·doi:10.1007/BFb0090389
[10] 数字对象标识码:10.1112/S002461159700018X·Zbl 0909.16004号 ·doi:10.1112/S002461159700018X
[11] Hovey M.,成员。阿默尔。数学。社会128
[12] Jensen C.U.,《模型理论代数:特别强调域、环、模》(1989)·Zbl 0728.03026号
[13] Keller B.,Ann科学。埃科尔规范。补充27,第63页-
[14] DOI:10.1016/S0022-4049(95)00172-7·Zbl 0868.18003号 ·doi:10.1016/S0022-4049(95)00172-7
[15] 内政部:10.1007/s002229900022·Zbl 0937.18013号 ·doi:10.1007/s002229900022
[16] DOI:10.1023/A:1026571214620·Zbl 0970.18012号 ·doi:10.1023/A:1026571214620
[17] 内政部:10.4064/fm173-1-3·Zbl 1001.55022号 ·doi:10.4064/fm173-1-3
[18] 内政部:10.1090/S0894-0347-96-00174-9·Zbl 0864.14008号 ·doi:10.1090/S0894-0347-96-00174-9
[19] 内政部:10.1016/0168-0072(93)90174-C·Zbl 0798.16006号 ·doi:10.1016/0168-0072(93)90174-C
[20] DOI:10.1006/jabr.1995.1131·Zbl 0837.03032号 ·doi:10.1006/jabr.1995.1131
[21] Weibel C.A.,《同调代数导论》(1995)·Zbl 0834.18001号
[22] 内政部:10.1016/0168-0072(84)90014-9·Zbl 0593.16019号 ·doi:10.1016/0168-0072(84)90014-9
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。