n实验室代数谱

目录

上下文

高等代数

稳定同伦理论

目录

想法

代数谱A-∞代数-光谱超过环形谱是中的模拟高等代数属于稳定同伦理论结合代数超过戒指普通的代数.

定义

抽象地说A类 A_\信息-代数谱超过E-∞环谱 R(右)R(右)(∞,1)范畴中的代数在中稳定(∞,1)-范畴属于R(右)R(右)-模谱.

具体来说(∞,1)-范畴提出了幺半群上的模型结构在中单体的 R(右)R(右)-中的模块对称谱的模型结构.

(…)

属性

稳定单体Dold-Kan对应

R(右)以下为:=H(H)R:=H\mathbb{Z}成为艾伦伯格-麦克莱恩谱对于整数第条。

提议

有一个之字形松弛单体 奎伦当量

H(H)国防部U型Z轴服务提供商 Σ(sAb公司)直径 *N个L(左)服务提供商 Σ(中国 +)R(右)D类中国 ,H\mathbb{Z}模式\堆叠{\overset{Z}{\longrightarrow}}}{\underset{U}{\leftarrow}}Sp^\西格玛(sAb)\stackrel{\overset{L}{\leftarrow}}{\underset{\phi^*N}{\longrightarrow{}}Sp^\西格玛(Ch_+)\stackrel{\overset{D}{\longrightarrow}}{\underset{R}{\leftarrow{}}Ch_\项目符号\,,

之间一元模型类别满足一个拟单模型范畴中的拟单公理以下为:

这会导致奎伦等效在相应的幺半群上的模型结构在这些单体范畴,左边是上的模型结构H(H)H\mathbb{Z}-代数谱和右边的dg-代数的模型结构以下为:

H(H)阿尔戈dGArg公司 .H\mathbb{Z}Alg\simeq dgAlg_\mathbb{Z}\,.

这是由于(希普利). 相应的(∞,1)-范畴的等价性对于R(右)R(右)具有内在定义的交换环(∞,1)-范畴属于E1-代数左侧的对象显示为(Lurie道具。7.1.4.6).

备注

这是一个稳定版本的单体Dold-Kan对应。有关详细信息,请参阅此处。

工具书类

一个帐户(∞,1)范畴理论见第7.1.4节

等效于H(H)H\mathbb{Z}-代数谱dg-代数s是由于

Eilenberg-MacLane光谱H(H)R(右)H R(右后)对于R(右)R(右)本身adg-代数在中进行了讨论

另请参阅参考资料稳定同伦理论.

上次修订时间:2017年3月16日10:21:36。请参阅历史获取所有贡献的列表。