×

单形群和代数中的Peiffer元素。 (英语) Zbl 1146.18006号

摘要:本文的主要目的是全面证明以下两个事实:
A.对于({mathcal A}b\)中的一个操作数\({mathcal O}\),设\(A\)是一个单纯形\({mathcal O})-代数,使得\(A_m\)由\((sum_{i=0}^{m-1}s_i(A_{m-1{))生成为\({mathcal O{)-理想,对于\(m>1),设({mathbf N}A\)为\(A\)。然后
\[d({mathbf N}_mA)=\sum_I\gamma\biggl({mathcal O}_p\otimes\bigcap_{I\ in I_1}\ker-d_I\otime\cdots\otimes\ bigcap_{I\ inI_p}\ker_d_I\biggr)\]
其中,在\([m-1]\)、\(I=(I_1,\dots,I_p)\)、(p\geq1\)和\(\gamma\)的分区上求和是\(A\)上的\({\mathcal O}\)的作用。
B.设(G)是一个具有Moore复形({mathbf N}G)的单形群,其中(G_N)由维(N>1)中的退化元素生成为正规子群,则
\[d({mathbf N}_nG)=\prod_{I,J}\biggl[\bigcap_{I\ in I}\kerd_I,\bigcap{J\ in J}\kere_J\biggr],\]
对于\(I,J\子标准[n-1]\)和\(I杯J=[n-1])。
在这两种情况下,\(d_i\)都是对应的单纯对象的第\(i\)个面。
前一个结果完成并概括了İ. 阿克萨Z.阿瓦西【同调同伦应用4,No.1,43–57(2002;Zbl 0999.18010号)]、和Z.阿瓦西T.波特【理论应用类别3,1–23(1997;兹比尔0874.18011)]; 后者完成来自A.穆特鲁T.波特[理论应用类别4148-173(1998;兹比尔0917.18006)]。
我们对这个问题的处理方法与所引用的作品不同。我们首先通过引入归一化函子({mathbf N}:{mathcal a}b^{Delta^{text{op}}}}到CH_{geq0})的逆的不同描述,成功地证明了代数在操作数上的情形。对于单形群的情况,我们将代数的逆等价结构用于从单形群(G)的摩尔复形({mathbf N}G\boxtimes\Lambda)得到单形群。这座建筑本身可能很有趣。

MSC公司:

18G30型 单纯形集;类别中的简单对象(MSC2010)
18克50 非阿贝尔同调代数(范畴理论方面)
18D50型 运营(MSC2010)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 阿克萨,I。;Arvasi,Z.,单纯形和交叉李代数,同调同伦应用。,4, 1, 43-57 (2002) ·兹比尔0999.18010
[2] André,M.,对易同义词(Die Grundlehren der Mathematischen Wissenchaften,vol.206(1974),Springer-Verlag:Springer-Verlag Berlin)·Zbl 0284.18009号
[3] Z.阿瓦西。;Porter,T.,单形交换代数中的高维Peiffer元,理论应用。类别。,3, 1, 1-23 (1997) ·Zbl 0874.18011号
[4] 布朗,R。;Loday,J.L.,Van Kampen空间图定理,拓扑,26,3,311-335(1987)·Zbl 0622.55009号
[5] 布朗,R。;Tonks,A.,AXIOM中的单群和立方群计算,符号计算。,17, 2, 159-179 (1994) ·Zbl 0830.20001
[6] P.Carrasco,Complejos hipercruzados,cohomologías y extensions,格拉纳达大学博士论文,1987年;P.Carrasco,Complejos hipercruzados,cohomologías y extensions,格拉纳达大学博士论文,1987年
[7] 卡拉斯科,P。;Cegara,A.M.,同伦类型的群理论代数模型,J.Pure Appl。代数,75,3,195-235(1991)·Zbl 0742.55003号
[8] Castiglioni,J.L。;Cortiñas,G.,《共简与DG-rings:Dold-Kan通信的一个版本》,J.Pure Appl。代数,191,1-2,119-142(2004)·Zbl 1049.18007号
[9] Conduché,D.,Modules croisés généralisés de longueuur 2,J.Pure Appl。代数,134,2-3,155-178(1984)·Zbl 0554.20014号
[10] 柯蒂斯,E.B.,《单纯形同伦理论》,高等数学。,6, 107-209 (1971) ·Zbl 0225.55002号
[11] Goerss,P.G。;Jardine,J.F.,单纯形同伦理论,(《数学进展》,第174卷(1999年),Birkhäuser:Birkháuser Basel)·Zbl 0914.55004号
[12] Inassaridze,H。;Inassaridze,N.,群的非贝尔同调,(K)-理论,18,1,1-17(1999)·Zbl 0939.18010号
[13] Inassaridze,N。;Khmaladze,E。;Ladra,M.,李代数的非阿贝尔同调,Glasg。数学。J.,46,24117-429(2004年)·Zbl 1053.17014号
[14] I.Kriz,J.P.May,《操作、代数、模块和动机》,《Astérisque》,第233卷,法国数学协会,巴黎,1995年;I.Kriz,J.P.May,《操作、代数、模块和动机》,《Astérisque》,第233卷,法国数学协会,巴黎,1995年·Zbl 0840.18001号
[15] A.Mutlu,Peiffer Pairings in the Moore Complex of A simplicial Group,班戈大学博士论文,1997年;A.Mutlu,Peiffer Pairings in the Moore Complex of A simplicial Group,班戈大学博士论文,1997年·Zbl 0917.18006号
[16] Mutlu,A。;波特,T.,佩弗对在单纯形群的摩尔复形中的应用,理论应用。类别。,4, 7, 148-173 (1998) ·Zbl 0917.18006号
[17] Pilz,G.,《Near Rings》(1977年),《北荷兰:北荷兰阿姆斯特丹》·Zbl 0505.16015号
[18] Quillen,D.,关于交换环的(co-)同调,(范畴代数的应用。范畴代数的应用,Proc.Sympos.Pure Math.,vol.17(1970)),65-87·Zbl 0234.18010号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。