n实验室E-无穷大代数

重定向自“E-∞代数”。
目录

目录

定义

给定一个稳定的 对称单体(无穷大,1)范畴 C类C类,一个E类 E_\信息-代数在里面C类C类交换幺半群在里面C类C类。最常见C类C类链复合物的(无穷大,1)-范畴超过领域交换环,或稳定(无穷大,1)-范畴属于光谱(另请参见E-infinity环).

依据歌剧,一个E类 E_\信息-代数是一个运算对象上的代数对于E-∞运算.

实现

链内复合物

E类 E_\信息-代数链状复合体等同于阿贝尔语系单形群.

有关此语句的详细信息,请参阅单体Dold-Kan对应操作杜德-坎通信.

这个奇异上同调 H(H) *(X(X),)H^*(X,\mathbb{Z})拓扑空间的是整数上的分级交换代数,但奇异cochain复杂的C类 *(X(X),)C^*(X,\mathbb{Z})不是:相反,它是一个E类 E_\信息-代数。

混凝土结构E类 E_\信息-上的代数结构奇异耳蜗,更一般地说,单纯形协单纯集合可以在中找到麦克卢尔和史密斯他们的工作对所涉及的序列操作的,这是一个E类 E_\信息-操作,以及它对单纯形协这是对斯滕罗德杯的概括-产品。回想一下,cup-1产品控制了普通产品的非对易性杯形产品:

d日(x个 1)=x个(1) |x个|||x个.d(x\cup_1y)=x\cup y-(-1)^{x|\cdot|y|}y\cup x。

可以使用与用于杯形产品,高级操作也具有类似的性质。

值得注意的是简单连接的空格,共个有限型E类 E_\信息-代数知道关于弱同伦型属于X(X)X(X)事实上,一个更有力的说法是:

定理

有限类型幂零空间 X(X)X(X)Y(Y)Y(Y)弱同伦等价当且仅当E类 E_\信息-代数C类 *(X(X),)C^*(X,\mathbb{Z})C类 *(Y(Y),)C^*(Y,\mathbb{Z})是准同质的。

这已经被证明了曼德尔2003年。

在拓扑空间中

定理(梅识别定理)

A类连通空间同伦型CW-复杂具有具有同伦型k个k个-折叠循环空间为所有人k个k\in\mathbb{N}承认的结构E类 E_\信息-空间。

在单形集合中

这是在BergerMoerdijk一世,BergerMoerdijk二世.

In光谱

E类 E_\信息-代数光谱是一个E-∞环.

\英菲-烟囱

请参见Ek-代数.

(,n个)(\infty,n)-类别

请参见对称单体(∞,n)范畴.

工具书类

在以下背景下(无穷大,1)-运算E类 E_\信息-代数在中讨论

系统研究模型类别操作数及其代数的结构

诱导模型结构及其性质操作数上的代数在中进行了讨论

上次修订时间:2023年10月24日05:24:24。请参阅历史获取所有贡献的列表。