Equivariant Structure on Smash Powers Morten Brun Department of Mathematics, University of Bergen, 5008 Bergen, Norway [email protected] Bjørn Ian Dundas Department of Mathematics, University of Bergen, 5008 Bergen, Norway [email protected] Martin Stolz [email protected] April 8, 2021 arXiv:1604.05939v2 [math.AT] 7 Apr 2021 2 Contents 1 Unstable equivariant homotopy theory 13 1.1 G-Spaces .................................... 13 1.2 Illman’s Triangulation Theorem . 19 1.3 MixedModelStructures . .. .. .. .. .. .. .. .. 20 2 Equivariant Orthogonal Spectra 27 2.1 Orthogonalspectraasfunctors . 27 2.2 EquivariantOrthogonalSpectra. 30 2.3 Semi-FreeEquivariantSpectra . 32 2.4 Families of Representations . 36 2.5 LevelModelStructures. 41 2.6 MixingPairs .................................. 44 3 Stable Structures 51 3.1 StableEquivalences .............................. 51 3.2 HomotopyGroups ............................... 56 3.3 TheStableModelStructure . 62 3.4 Smash Products in the Stable Category of Spectra . ...... 66 3.5 Ring-andModuleSpectra. 70 4 Fixed Points 75 4.1 FixedPointSpectra .............................. 75 4.2 Orthogonallyfinalsubgroups . 79 4.3 Change of Group and Geometric Fixed Points . 80 5 Finite Smash Powers and Commutativity 85 5.1 The Geometric Diagonal and Induced Regular Cells . ...... 86 5.2 CellularFiltrations . .. .. .. .. .. .. .. .. 93 5.3 Equivariant Cellular Filtrations of Smash Powers . ......... 99 5.4 CommutativeRingSpectra . 106 5.5 Realization and Tensor in Commutative Ring Spectra . .......112 3 CONTENTS 6 The Geometric Diagonal 119 6.1 Functoriality of the Geometric Diagonal for Finite Groups.........120 6.2 ChangeofGroup ................................126 6.3 The Geometric Diagonal for Compact Lie Groups . 128 6.4 Other ground rings, actions on input and isovariance. ..........134 7 Category Theory 137 7.1 MonoidalCategories .............................. 137 7.2 Symmetric Monoidal Categories . 140 7.3 EnrichedCategoryTheory. 144 7.4 TensorsandCotensors . .. .. .. .. .. .. .. .. 149 7.5 KanExtensions.................................152 7.6 Cofinalityforcoends .............................. 154 7.7 ModelCategories................................157 7.8 Topological Model Categories . 160 7.9 Simplicial Objects in Topological Categories . .........164 7.10 AssemblingModelStructures . 168 Index 179 4 Preface Introduction Let G be a compact Lie group. Below we prove theorems demonstrating to what extent commutative G-ring spectra have functorial “diagonals” and how these results about equivariant G-ring spectra interact. Why should the reader care? Stable homotopy occupies a sweet spot between geometry, combinatorics and alge- bra. This is particularly apparent when taking symmetries into account. Spectra have equivariant features originating in geometry and in algebra, and playing these features against each other has proven to be extremely fruitful, also when answering questions that themselves originate purely in either geometry or algebra. The smash product of spectra is historically a latecomer and there was rightly much enthusiasm when it finally was constructed on the point-set level in the 1990’s. In many functorial models it is a surprisingly uncomplicated construction, but any way you look at it, the smash product has combinatorial roots encapsulating symmetries of the indexing category, which at the very least includes finite sets. This becomes particularly exciting when coupled with a commutative (or E∞) algebra structure. Some consequences of this structure were well known in classical algebra, but appeared as separate entities not obviously having any connections. An instructive example can be seen as follows. If X is a set, you can consider the action of the group C2 of order two swapping the two factors in the product X ×X. The diagonal ∆: X → X × X is C2-equivariant (with the trivial action on X), with image the fixed points ∆X = {(x,x) | x ∈ X}. Considering the associated free abelian group Z[X × X] =∼ Z[X] ⊗ Z[X] we see that there are more fixed points than just the diagonal ones; any element (x,y) ax,y(x,y) with ax,y = ay,x is a fixed point, and the fixed points may be identified with free group on the orbits Z[X × X/C ]. However, for an arbitrary P 2 abelian group there need not exist any linear “diagonal homomorphism” M → M ⊗ M. In the dual world of algebraic geometry, the analogy is the C2-action on the tensor product A ⊗ A of a commutative ring A and the diagonal is given by the multiplication A ⊗ A → A. The dual of the fixed points is the orbits in the category of commutative rings and a quick check reveals that the multiplication is exactly the map to the orbits. However, the also fixed points for commutative rings are important in many situations, for instance, a divided power structure is given by a certain lift of the multiplication to maps (A⊗n)Σn → A. 5 CONTENTS For spectra E there does not exist a natural “diagonal” E → E∧E. Just as for free abelian groups, diagonals do exist for suspension spectra Σ∞X, but in contrast with the algebraic situation, the diagonal for spaces has significant remnants in spectra whose consequences are felt widely. This text is all about this phenomenon in a guise which we have called the “geometric diagonal”. The fixed points of the natural action of the group C2 of order two on E∧E contains a lot of information, both of an algebraic and of a combinatorial nature. For instance, there is an important map (E∧E)C2 → E (we hide all fibrant and cofibrant replacements in this introduction), which we in this introduction will call the restriction map. What follows is in many ways an enormous elaboration on the intricacies of this map. The restriction map is not some sort of multiplication map: E was not required to have a ring structure, but if E does have a ring structure, the restriction map is behind a very important construction in commutative algebra. The algebraic shadow of this map is closely connected with what is known as Witt-vectors which appears prominently in algebraic number theory and in lifts of structure from finite to infinite characteristic. As a concrete example, if E = HZ/2 is the mod-2 Eilenberg-Mac Lane spectrum, then E∧E represents the “dual Steenrod algebra” and on path components the map (E∧E)C2 → E is the surjection Z/4 → Z/2. Furthermore, the fixed points of the n 2n-fold smash (E∧2 )C2n has path components Z/2n: letting n go to infinity we get a tower converging to the 2-adic numbers and have gone from characteristic 2 to infinite characteristic. At the next level, the fixed points of the Klein group C2 × C2 on the fourfould smash of E = HZ/2 goes further. Not only does the divisibilty by 2 increase, but the C2 × C2-fixed points also capture a shadow of Bott periodicity — and so leave the realm of algebra and see a bit more of the complexity of the sphere spectrum. This is the beginning of a phenomenon in stable homotopy theory, transcending the notion of characteristic into an entire “chromatic tower”, with the sphere spectrum sitting at the top. What has not always been so clear is the strong equivariant nature of chromatic homotopy theory – in the above toy example reflected in that the complexity (in this case the rank) of the symmetries corresponds to the height of the chromatic information. In hindsight, the success of B¨okstedt, Hsiang and Madsen’s topological cyclic homol- ogy, TC, partially relies on this phenomenon for the case of cyclic groups. They build their theory on B¨okstedt’s topological Hochschild homology, THH, which was an exceed- ingly clever way to encode smash powers functorially – even before the smash product existed. More precisely, THH(A) is the realization of a simplicial spectrum, which in degree q has as many smash factors of A as there are simplices in the standard simplicial circle, and then uses the structure of the ring spectrum A to make face and degeneracy maps. Now, the cyclic action on all the smash powers ensure that THH is a T1-spectrum and the restriction maps ensure that one has control over the equivariant structure with respect to the finite cyclic groups. What B¨okstedt, Hesselholt and Madsen observe, first for A = HZ/p and A = HZ 6 CONTENTS and later for more complex situation (with crowning achievement being the case of local number fields in [HMlocal]) is that the fixed points of THH(A) conspire to shift the chromatic behavior and they see this in connection with the Lichtenbaum-Quillen conjecture for algebraic K-theory. Later, Ausoni and Rognes state this more generally in the form of their red-shift conjecture and take it one step further. The red-shift conjecture has proven to be elusive, partially because it predicts a be- havior for algebraic K-theory which was not underpinned by even a conjectural under- standing of what underlying mechanism might be responsible. This lack of foundations has been somewhat ameliorated, but we have still a long way to go. The point of the cur- rent text is that we feel that we are closer to understanding the corresponding behavior in stable equivariant homotopy theory (with the link given by variants of the cyclotomic trace), and that the phenomenon is more likely to be understood at this level. Another example where the equivariant structure of smash powers has turned out to capture crucial information can be found in Hill, Hopkins and Ravenel’s solution of the Kervaire invariant one problem [HHR], where they had to study a certain four-fold smash power with a twisted action. The reader will notice some convergent evolution regarding the relation of [HHR] and the current text, whose first version appeared in fully independent form in the last author’s 2011 PhD thesis. The subsequent lengthy editing process has not disrupted this independence, but by now we must probably concede priority. We will point out a few differences and similarities later on.