arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1704.03413math.ATmath.KT
收藏

等变无限环空间理论:空间层面的阐释

Equivariant infinite loop space theory, the space level story

J. Peter May, Mona Merling, Angélica M. Osorno

AI总结:

该研究重构推广等变无限环空间理论,聚焦有限群下真正Ω-G-谱构造,补充Segal与operadic机器细节并证明二者输入等价时输出等价,还更新校正了该领域相关内容。

摘要:

我们重构并推广了等变无限环空间理论,该理论阐释了如何从具备适当结构的G-空间构造G-谱。已有经典版本可为任意拓扑群G生成经典Ω-G-谱,但我们的研究重点是当G为有限群时,真正Ω-G-谱的构造。我们还阐明了当G为紧李群时,哪些结论成立、哪些不成立。\n 我们给出了关于Segal等变无限环空间机器与operadic(算子)等变无限环空间机器的新结论,补充了现有文献中缺失的诸多细节,并通过直接比较证明:当输入等价时,这两种机器会输出等价的结果。由May和Thomason提出的对应非等变唯一性定理的证明,对一般群G的经典G-谱成立,但对真正G-谱不成立。即便在非等变情形下,我们的比较定理也更为精确,给出了清晰的直接点集层面比较。\n 我们借此机会更新了等变与非等变这一整体领域,提供了诸多新证明,填补了部分空白,并对文献中的若干结果与证明做出了校正。

英文摘要:

We rework and generalize equivariant infinite loop space theory, which shows how to construct $G$-spectra from $G$-spaces with suitable structure. There is a classical version which gives classical $Ω$-$G$-spectra for any topological group $G$, but our focus is on the construction of genuine $Ω$-$G$-spectra when $G$ is finite. We also show what is and is not true when $G$ is a compact Lie group. We give new information about the Segal and operadic equivariant infinite loop space machines, supplying many details that are missing from the literature, and we prove by direct comparison that the two machines give equivalent output when fed equivalent input. The proof of the corresponding nonequivariant uniqueness theorem, due to May and Thomason, works for classical $G$-spectra for general $G$ but fails for genuine $G$-spectra. Even in the nonequivariant case, our comparison theorem is considerably more precise, giving an illuminating direct point-set level comparison. We have taken the opportunity to update this general area, equivariant and nonequivariant, giving many new proofs, filling in some gaps, and giving a number of corrections to results and proofs in the literature.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑