Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userEquivariant infinite loop space theory, I. The space level story
167
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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 naive version which gives naive G-spectra for any topological group G, but our focus is on the construction of genuine G-spectra when G is finite. 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 naive G-spectra for general G but fails hopelessly for genuine G-spectra when G is finite. Even in the nonequivariant case, our comparison theorem is considerably more precise, giving a 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 some corrections to results in the literature.
rate research
Read More
We give a new construction of the equivariant $K$-theory of group actions (cf. Barwick et al.), producing an infinite loop $G$-space for each Waldhausen category with $G$-action, for a finite group $G$. On the category $R(X)$ of retractive spaces over a $G$-space $X$, this produces an equivariant lift of Waldhausens functor $A(X)$, and we show that the $H$-fixed points are the bivariant $A$-theory of the fibration $X_{hH}to BH$. We then use the framework of spectral Mackey functors to produce a second equivariant refinement $A_G(X)$ whose fixed points have tom Dieck type splittings. We expect this second definition to be suitable for an equivariant generalization of the parametrized $h$-cobordism theorem.
Let $G=SU(2)$ and let $Omega G$ denote the space of based loops in SU(2). We explicitly compute the $R(G)$-module structure of the topological equivariant $K$-theory $K_G^*(Omega G)$ and in particular show that it is a direct product of copies of $K^*_G(pt) cong R(G)$. (We intend to describe in detail the $R(G)$-algebra (i.e. product) structure of $K^*_G(Omega G)$ in a forthcoming companion paper.) Our proof uses the geometric methods for analyzing loop spaces introduced by Pressley and Segal (and further developed by Mitchell). However, Pressley and Segal do not explicitly compute equivariant $K$-theory and we also need further analysis of the spaces involved since we work in the equivariant setting. With this in mind, we have taken this opportunity to expand on the original exposition of Pressley-Segal in the hope that in doing so, both our results and theirs would be made accessible to a wider audience.
We extend the theory of Thom spectra and the associated obstruction theory for orientations in order to support the construction of the string orientation of tmf, the spectrum of topological modular forms. We also develop the analogous theory of Thom spectra and orientations for associative ring spectra. Our work is based on a new model of the Thom spectrum as a derived smash product. An earlier version of this paper was part of arXiv:0810.4535.
In fall of 2019, the Thursday Seminar at Harvard University studied motivic infinite loop space theory. As part of this, the authors gave a series of talks outlining the main theorems of the theory, together with their proofs, in the case of infinite perfect fields. These are our extended notes on these talks.
We construct a $C_2$-equivariant spectral sequence for RO$(C_2)$-graded homotopy groups. The construction is by using the motivic effective slice filtration and the $C_2$-equivariant Betti realization. We apply the spectral sequence to compute the RO$(C_2)$-graded homotopy groups of the completed $C_2$-equivariant connective real $K$-theory spectrum. The computation reproves the $C_2$-equivariant Adams spectral sequence results by Guillou, Hill, Isaksen and Ravenel.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
