Nilpotence and descent in equivariant stable homotopy theory

详细信息    查看全文

• 作者：Akhil Mathew^a ; ^{amathew@math.harvard.edu" class="auth_mail" title="E-mail the corresponding author} ; Niko Naumann^b ; ^{Niko.Naumann@mathematik.uni-regensburg.de" class="auth_mail" title="E-mail the corresponding author} ; Justin Noel^b ; ^{justin.noel@mathematik.uni-regensburg.de" class="auth_mail" title="E-mail the corresponding author}
• 关键词：Stable equivariant homotopy theory ; Stable homotopy theory ; Localization ; Completion ; Nilpotence ; Koszul duality ; Eilenberg&ndash ; Moore spectral sequence ; Infinity categories ; Tensor triangulated categories ; Spectral sequences ; Descent ; Unipotence ; Equivariant topological K-theory ; Real K-theory
• 刊名：Advances in Mathematics
• 出版年：2017
• 出版时间：10 January 2017
• 年：2017
• 卷：305
• 期：Complete
• 页码：994-1084
• 全文大小：1314 K

文摘

Let G   be a finite group and let aabcedaca6a529b65644a7086d88c821" title="Click to view the MathML source">F$\mathcal{F}$ be a family of subgroups of G. We introduce a class of G  -equivariant spectra that we call aabcedaca6a529b65644a7086d88c821" title="Click to view the MathML source">F$\mathcal{F}$-nilpotent  . This definition fits into the general theory of torsion, complete, and nilpotent objects in a symmetric monoidal stable ∞-category, with which we begin. We then develop some of the basic properties of aabcedaca6a529b65644a7086d88c821" title="Click to view the MathML source">F$\mathcal{F}$-nilpotent G-spectra, which are explored further in the sequel to this paper.

In the rest of the paper, we prove several general structure theorems for ∞-categories of module spectra over objects such as equivariant real and complex K-theory and Borel-equivariant MU. Using these structure theorems and a technique with the flag variety dating back to Quillen, we then show that large classes of equivariant cohomology theories for which a type of complex-orientability holds are nilpotent for the family of abelian subgroups. In particular, we prove that equivariant real and complex K-theory, as well as the Borel-equivariant versions of complex-oriented theories, have this property.