Arxiv:1604.05939V2 [Math.AT] 7 Apr 2021

arXiv:1604.05939v2 [math.AT] 7 Apr 2021 eateto ahmtc,Uiest fBre,50 Bergen, 5008 Bergen, of University Mathematics, of Department eateto ahmtc,Uiest fBre,50 Bergen, 5008 Bergen, of University Mathematics, of Department qiain tutr nSahPowers Smash on Structure Equivariant [email protected] [email protected] [email protected] jr a Dundas Ian Bjørn otnBrun Morten pi ,2021 8, April atnStolz Martin Norway Norway 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 Orthogonallyﬁnalsubgroups ...... 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 Coﬁnalityforcoends ...... 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 algebra. 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ökstedt, Hsiang and Madsen’s topological cyclic homology, TC, partially relies on this phenomenon for the case of cyclic groups. They build their theory on Bökstedt’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ökstedt, 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 behavior for algebraic K-theory which was not underpinned by even a conjectural understanding 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 current 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. We propose that a fuller understanding of the functorial properties of smash powers, also indexed by spaces, is needed. Smash powers can be indexed functorially over sets,

S 7→ S A, precisely when A is a commutative ring spectrum, and in that case we can even index over arbitrary spaces (ignoring the equivariant structure, modelling THH as V 1 a smash power T1 A (aka “tensor”, T ⊗ A) is old and appears already in [MSV]; the reason THH can be applied to non-commutative ring spectra is that the circle T1 has a V cyclic model). Some steps towards an equivariant understanding were taken in [BCD] and [CDD], but these were based on Bökstedt’s (brilliant) hack for representing smash products, which has several technical disadvantages when trying to extract more delicate structure. The present text aims at understanding the full equivariant structure for smash powers over free G-spaces, for G a compact Lie group, directly from its definition. This approach has the great advantage of allowing categorical access to the construction. However, from a homotopical algebra point of view it is well known that commutative ring spectra are quite elusive, especially in an equivariant context. We deal with this by keeping the categorical foundations smaller and – we believe – more transparent than what is usual, but provide it with a model structure with an inordinately liberal view on cofibrancy. This results in a delicate navigation between the Scylla of destroying homotopy invariance and the Charybdis of not having sufficient power to perform induction arguments. It is of course Quillen-equivalent to the usual stable model structure [MM] and in view of the relationship with Shipley’s “convenient” structure we call this model structure the S-model structure. The nontrivial extension we propose as a prototypical proponent of redshift is as

7 CONTENTS follows: let α: Tn → Tn be an isogeny of the n-dimensional torus, i.e., a surjective group homomorphism Tn → Tn with ﬁnite kernel. For a commutative ring spectrum A (for instance A = HZ/2) we construct a “restriction map”

ker(α) ( Tn A) / Tn A V V of commutative Tn ring spectra which is compatible as α varies and which has been shown to exhibit extensions sufficiently intricate to explain some of the phenomena predicted by red-shift (see e.g., [Veen]). Actually, this generalizes to a class of compact Lie groups G with a finite normal subgroup N being “orthogonally final and having simplicial approximations”, resulting in a map

( A)N / A X XN V V from the fixed points of the smash indexed by a free cofibrant G-space X to the smash indexed over the orbits XN (the target could also be described as the N-orbits of the X-fold smash in the category of commutative ring spectra). The “cyclotomic structure” promoted in much of the literature is nothing but the fact that if α is an isogeny then Tn =∼ Tn/ker α. One way to explain this state of affairs is that there is a well understood “isotropy separation” fiber sequence

norm N N ( X A)hN / ( X A) / Φ X A , V V V where ΦN signifies the so-called geometric fixed point construction. An important part of our contribution is to provide a natural “geometric diagonal” ∆ between A and ΦN A and show that the geometric diagonal is an isomor- X XN X phism V V =∼ ∆ : A / ΦN A X XN X for all S-cofibrant commutative ringV spectra A (see TheoremV 6.3.7). Being S-cofibrant is a very weak requirement (and, of course, all stable homotopy classes contain S-cofibrant ones) – much weaker than the cofibrancy conditions usually considered in the literature. We restrict ourselves to free (cofibrant) G-spaces X partially out of convenience and partially out of necessity. It is not hard to construct maps of G-spaces where the geometric diagonal screws things badly up; however things are well behaved if the map is what is called isovariant which is automatically satisfied in the free setting. This was discovered by the second author in a late revision, and we have refrained from incorporating this generalization of our results. Another way of looking at the geometric diagonal is obtained by observing that the source A is naturally isomorphic to the N-orbits of A in the category XN X of commutative orthogonal ring spectra (coproduct powers preserve colimits), and so V V exposes the geometric N-fixed point functor as an orbit construction.

8 CONTENTS

Regardless, the fact that the geometric diagonal is an isomorphism (as opposed to some sort of weak equivalence) is a very handy technical fact, allowing us a functorial inverse automatically inheriting a trail of good properties on the nose. The full naturality of the geometric diagonal is a key ingredient: it is not to hard writing up a candidate for a “geometric diagonal”, but the book-keeping and the choice of appropriate cells to do the induction over are non-trivial. For instance, if you let G be finite and X a fixed finite free G-set, we can dispense of the ring structure on A. Then, for sufficiently “free” orthogonal spectra A, just by looking at the definitions we find that a trivial application of the Yoneda Lemma shows that A and ΦN A XN X are isomorphic - a fact that has been known for a long time and is here recorded as V V Proposition 4.1.11. However, Definition 5.1.1 exposes this isomorphism as a particular case of a map which we use significant time on developing the naturality of with respect to G, A and – in case A is a commutative ring spectrum – X. Even so, there are still non-trivial hurdles to be overcome in order to pass from finite discrete G and X to the most general situation. Part of what makes this delicate is that none of the previously understood model structures on equivariant orthogonal spectra do much of a job in this setting and we need the full force of our new structure. In his thesis, Kro [Kr] studied the non-commutative case for X the circle, in which case the classical stable structure is adequate. Another difference between the commutative and associative case is that – as we’ve already commented on – in the commutative setting the full functoriality of our construction in G and X is a feature which requires a lot of careful attention. In the non-commutative setting this is neither true nor essential, but in our setup it is indispensable.

Organization

In Chapter 1 we collect the results about unstable equivariant spaces that we are going to need. In particular we recall Illman’s Triangulation Theorem and, inspired by Shipley [Sh04], we provide mixed model structures on G-spaces for G a compact Lie group depending on pairs of families of subgroups of G. In Chapter 2 we present mixed model structures on the category of equivariant orthogonal G-spectra. We follow the by now standard way of passing from so called level model structures on orthogonal spectra to stable model structures in Chanpter 3. By focusing more on semi-free orthogonal spectra than on free ones we gain flexibility in the choice of level model structures. We observe that there is a bijection between the set of isomorphism classes of n- dimensional orthogonal representation of G and the set of conjugacy classes of subgroups P of G × ORn with the property that the projection to the first factor induces an embedding of P in G. This observation leads us to work with compatible families of subgroups of the groups G×ORn instead of universes of G-representations, which in turn leads to level model structures on orthogonal G-spectra different from the ones usually obtained from universes.

9 CONTENTS

In Chapter 4 we review some properties of fixed point spectra and introduced the concept of an orthogonally final subgroups. We prove that the cases we are interested in are all orthogonally final, but embarassingly enough we don’t know of any examples that are not orthogonally final. The importance of a subgroup N ⊆ G being orthogonally final is that the geometric N-fixed points preserve both induction and restriction, as explained in Proposition 4.3.6 and Proposition 4.3.8. In Chapter 5 we study the equivariant properties of finite smash powers (categorical tensors) of a commutative orthogonal ring-spectrum A indexed on a space X. The main result of this chapter, Theorem 5.3.2, gives a detailed equivariant description of the cells present in smash powers. It is both used in the construction of model structures on the category of commutative orthogonal G-ring-spectra and in the identification of geometric fixed points of a smash-power as a smash-power 5.3.4. Here our choice of model structure is seen to be crucial in the sense that we retain full equivariant control over the smash powers. We end the chapter by giving the foundations necessary for moving from the finite case to more general topological spaces. In the final chapter 6 we start by exploring how the functoriality of the smash powers implies that many of our results for finite smash powers continue to hold when the index- ation is over spaces. Most importantly for the equivariant study of iterated topological Hochschild homology, for A an S-cofibrant commutative orthogonal ring spectrum, The- orem6.3.6 states that the geometric diagonal A → ΦN A is an isomorphism XN X when N is the kernel of an isogeny of a torus Tn and X is a free cofibrant Tn-space. V V This is generalized to other compact Lie groups in Theorem 6.3.7. The question regarding what properties of the sphere spectrum are used to prove these results is addressed in Section 6.4 where a parallel result for algebras over a commutative orthogonal ring spectrum R with certain properties is discussed. The appendix 6 is used to fix some notation, recall some facts about topological model categories and provide a result about assembling model structures. This result is used in the construction of level model structures on the category of orthogonal G-spectra.

Notation

We use the following notation: (i) N = {0, 1,... }, Z = {..., −1, 0, 1, 2 . . . }, Q, R and C are the sets of natural, integer, rational, real and complex numbers, with the usual algebraic structure.

(ii) For n ≥ 0, Rn is n-dimensional Euclidean space (with the dot product). For n m+n 1 ≤ i ≤ n, ei ∈ R forms the standard basis. We choose R together with the canonical inclusions of Rm onto the ﬁrst coordinates and of Rn as the last coordinates as the direct sum Rm ⊕ Rn.

(iii) The phrase “let V be a Euclidean space” means “let V = Rn for some n ≥ 0”.

(iv) The one-point compactiﬁcation SV of a real inner product space V with its induced V action by the orthogonal group OV is denoted S , and is referred to as the V -

10 sphere. It is pointed at the added point ∞. Given x ∈ V we consider x as an element x ∈ SV through the inclusion of V in its one-point compactiﬁcation SV . Given x,y ∈ SV we allow ourselves to write x + y with the convention that ∞ + x = ∞ = x + ∞. Whenever the phrase “x ∈ SW is in the orthogonal complement of V in W ” is applied to V = W , it will mean “x ∈ {0, ∞}”.

(v) The category U is the category of compactly generated weak Hausdorﬀ spaces and continuous functions (see e.g., [St]), and T is the category of based spaces in U. Unless we explicitly state otherwise, a space is an object in T and maps between spaces are assumed to be continuous (and base point preserving). If X ∈ U is an unbased space, then X+ ∈T is the space obtained by adding a disjoint base point. (vi) When we use the symbol G to denote a group it will always be a compact Lie group. Subgroups of compact Lie groups are always assumed to be closed.

Chapter 1

Unstable equivariant homotopy theory

In this section we will recall results from (unstable) equivariant homotopy theory. We begin with a recollection on model structures on G-spaces and will continue with some consequences of the results of Illman [Ill83]. We work in the pointed setting T (the category of based, compactly generated, weak Hausdorﬀ spaces) as this is the more important case for us, but all results could be stated in the unbased category U as well. We refer to the objects of T as spaces.

1.1 G-Spaces

Let G be a compact Lie group, and let GT be the category of spaces with a continuous action of G. Considering G as a one object category, GT is the category of continuous functors from G to T . Deﬁnition 1.1.1. The set

n−1 n IG = {(S × G/H)+ ⊆ (D × G/H)+ | n ≥ 0,H ⊆ G closed subgroup} is called the set of generating genuine cofibrations. An IG-cell complex is a (possibly transfinite) composition of coproducts of pushouts of maps in IG. A map of G-spaces is a genuine cofibration if it is a retract of an IG-cell complex. A G-space Z is genuinely cofibrant if the map from the one-point set is a genuine cofibration. The genuine cofibrations will be the cofibrations in the model structure of Defini- tion 1.3.6. There is a competing structure, occasionally called the Borel structure; there the cofibrations are the genuine cofibrations where only the trivial subgroup 0 = H ⊆ G is allowed for the cells. We may in the future refer to these as free cofibrations of G-spaces. Limits and colimits in GT are formed in T and then given the induced G-action. We say that G acts freely on a G-space Z if the stabilizer group Stabz = {g ∈ G | gz = z} of every point z ∈ Z except the base–point is trivial (since we are considering based spaces, the base point will always be a fixed point).

13 CHAPTER 1. UNSTABLE EQUIVARIANT HOMOTOPY THEORY

Deﬁnition 1.1.2. Given a surjective group homomorphism p: G → G′ with kernel N, the continuous functor p∗ : G′T → GT equipping a G′ space with the G-action through p has both a left and a right adjoint. The left adjoint

′ (−)N : GT → G T , assigns to a G-space X its N-orbit space XN , and the right adjoint

(−)N : GT → G′T , assigns the subspace XN of X of N-ﬁxed points.

The fact that they are adjoints, implies in particular that (−)N preserves colimits and (−)N preserves limits, but even more is true (cf. [MM, III.1.6], or [Mal, Proposition 1.2]):

Lemma 1.1.3. In the situation of Deﬁnition 1.1.2 the functor (−)N preserves coproducts, pushouts of diagrams one leg of which is a closed inclusion, and colimits along sequences of closed inclusions. For X and Y in GT , we have (X∧Y )N = XN ∧Y N .

Recall that a Hurewicz cofibration is a map i: A → X in GT so that the canonical map Mi = X A A ∧ I+ → X ∧ I+ has a retract. The following technicality proves to be helpful in several places: ` Lemma 1.1.4. In the situation of Definition 1.1.2 the fixed point functors (−)N preserve Hurewicz cofibrations.

N N N Proof. By Lemma 1.1.3 there are homeomorphisms (X ∧ I+) =∼ X ∧ I+ and (Mi) =∼ N N N M(i ), so that (Mi) → (X ∧ I+) has a retraction.

Given a subgroup H of G, the left adjoint of the restriction i∗ : GT → HT is given by inducing up:

Deﬁnition 1.1.5. Let H be a closed subgroup of G. For an H-Space Y ∈ HT the smash −1 product G+∧Y has an action of G × H, given by the formula (g, h)(a ∧ y)= gah ∧ hy for (g, h) ∈ G × H and a ∧ y ∈ G+∧Y . The induced G-space is the H-orbit G-space

G+∧H Y = (G+∧Y )H .

While the inducing up functor is generally not symmetric monoidal, there is an important compatibility property with the smash product of spaces which one checks by inspection:

Lemma 1.1.6. If X is an H-space and Y a G-space there is a natural G-equivariant homeomorphism

∗ −1 (G+∧H X)∧Y =∼ G+∧H (X∧i Y ), ([g,x],y) ↔ [g, (x, g y)].

14 1.1. G-SPACES

Lemma 1.1.7. Let N ⊆ H ⊆ G be inclusions of closed subgroups with N normal in G. If X is an H-space then the natural map

N N G/N+∧H/N X → [G+∧H X] adjoint to the N-ﬁxed points of the H-map X → G+∧H X sending x ∈ X to [1,x] is an isomorphism.

N N Proof. Sending [g,x] ∈ [G+∧H X] to [[g],x] ∈ G/N+∧H/N X is a well deﬁned inverse: since [g,x] is an N-ﬁxed point, N ⊆ H and N normal, we have for any n ∈ N that

[g,x] = [(gng−1)g,x] = [gn,x] = [g,nx] and so x is an N-ﬁxed point.

Orbits and Fixed Points for semi-direct Products Actions of groups that are semi-direct products appear in various places throughout our work. We will recall a few elementary properties, before investigating the more compli- cated interactions of the orbit and fixed point functors that play a role in computing the fixed points of smash powers. We restate the definition, in order to fix some notation:

Deﬁnition 1.1.8. Let (G, ·, e) be a compact Lie group acting on another compact Lie group (O, ⊙, E) ∈ U via a group homomorphism φ: G → Aut(O). The semi-direct product G ⋉ (O, φ) is the product space G × O equipped with the multiplication deﬁned by

(G ⋉ (O, φ)) × (G ⋉ (O, φ)) → (G ⋉ (O, φ)) (g, A), (h, B) 7→ (g · h, A ⊙ φ(g)(B)).

When φ is implicit in the context we write G ⋉ O instead of G ⋉ (O, φ).

For the rest of this section G and O are compact Lie groups with a group homomorphism φ: G → Aut(O). Remark 1.1.9. Specifying an action of the semi-direct product G ⋉ O on a space Z is the same as a giving actions of G and O on Z such that the map O →T (Z,Z) deﬁning the action of O on Z is a G-map. Remark 1.1.10. If G acts on O through inner automorphisms, that is, if there is a −1 homomorphism ψ : A → O such that φ(g)(A)= ψ(g)⊙A⊙ψ(g ), then we write G⋉ψ O instead of G ⋉ (O, φ). In this situation then there is an isomorphism G ⋉ψ O → G × O of topological groups taking (g, A) to (g, A ⊙ ψ(g)). It is usually cumbersome to explicitly write the signs “·” and “⊙” for the multipli- cations of G and O, so we often omit them. The following properties are elementary: Lemma 1.1.11. (i) Mapping A ∈ O to (e, A) ∈ G⋉O embeds O as a (closed) normal subgroup.

15 CHAPTER 1. UNSTABLE EQUIVARIANT HOMOTOPY THEORY

(ii) Mapping g ∈ G to (g, E) ∈ G ⋉ O embeds G as a closed subgroup.

(iii) For A ∈ O and g ∈ G, the following elements of the semi-direct product are equal:

(e, φ(g)(A)) = (g, E)(e, A)(g, E)−1

(iv) G × {E} is normal in G ⋉ O if and only if φ is trivial. In this situation the semi-direct product is actually the direct product.

(v) The projection pr1 : G ⋉ O → G to the first factor is a group homomorphism. Motivated by the first two points in the lemma, we identify A ∈ O with (e, A) ∈ G⋉O and g ∈ G with (g, E) ∈ G ⋉ O. Under this identification, the third point of the lemma reads gAg−1 = φ(g)(A).

Lemma 1.1.12. Let Z be an G ⋉ O-space. Given z ∈ Z, write Stabz for the stabilizer subgroup of z with respect to the action of G ⋉ O on Z. The O-orbit Oz is free if and only if the composition pr1 Stabz ⊆ G ⋉ O −−→ G is injective.

O Proof. The O-orbit Oz is free if and only if the stabilizer subgroup Stabz of O is trivial. Under the embedding of O in G ⋉ O, this stabilizer subgroup corresponds to the kernel −1 Stabz ∩({e} ⋉ O) = Stabz ∩ pr1 (e) of the composite homomorphism in question.

For any space Z with an action of the semi-direct product, its orbit space ZO inherits an action of G. We want to investigate in how far taking such O-orbits commutes with taking ﬁxed points with respect to subgroups of G.

Proposition 1.1.13. Let Z be an G ⋉ O-space. Assume that O acts freely on Z. Then the canonical map from the quotient of the ﬁxed points into the ﬁxed points of the quotient G G (Z )OG → (ZO) (1.1.14) is injective.

G Proof. Assume that two non-base points [z1] and [z2] in (Z )OG map to the same element in the target, i.e., z1 = Az2, for some A in O. Then for any g in G we have that

Az2 = z1 = gz1 = g(Az2) = (φ(g)A)(gz2) = (φ(g)A)z2.

Since the O-action on Z was free, this implies that A = φ(g)A for all g ∈ G. Thus G A ∈ O and [z1] = [z2]. Surjectivity can not be guaranteed in this generality, as the following example illus- trates:

16 1.1. G-SPACES

Example 1.1.15. Let Z = S(C)+ where S(C) is the unit circle in the complex plane. Let O = Z/4 and G = Z/2 such that the action of the non trivial element in G maps an element of O to its inverse. In particular, G ⋉ O is the dihedral group D4. Then O acts freely on S(C) through rotations by 90 degrees, G acts by complex conjugation, and one checks that the actions compatibly fit together into an action of D4. Take a closer look G G at source and target of the map (Z )OG → (ZO) : Note that OG is the subgroup of self inverse elements Z/2 ⊂ Z/4, i.e., generated by the rotation by 180 degrees. The G-fixed point space (S(C))G has 2 points which are in the G G G same O -orbit, i.e., the source of (Z )OG → (ZO) contains only one non-base point. On the other hand, taking orbits first, we see that ZO is isomorphic to S(C), with the G G action of G again given by complex conjugation, i.e., target of (Z )OG → (ZO) consists of two non-base points, such that the map can not be surjective.

The intuition behind the failure in surjectivity is that there are “diagonal” copies of G in G ⋉ O, and points with isotropy type of such a diagonal copy contribute to the G G target of (Z )OG → (ZO) but not to the source. Motivated by this, we will give a G G suﬃcient condition for the surjectivity of (Z )OG → (ZO) . First, consider the simple case of only one G ⋉ O-orbit, and take a closer look at the target space:

Lemma 1.1.16. Let Z be a G ⋉ O-space consisting of a single O-free G ⋉ O-orbit, i.e., Z = G ⋉ O/P+ for some closed subgroup P of G ⋉ O with the projection pr1 : P → G G to the ﬁrst factor injective. Then (ZO) contains at most two element, and it contains two elements if and only if the projection pr1 : P → G is an isomorphism.

Proof. The projection pr1 : P → G to the first factor is injective by Lemma 1.1.12. ∼ Hence ZO = G/pr1 P + as G-spaces, and the latter has exactly two G-fixed point if and only if pr1(P )= G, and one G-fixed point otherwise. On the other hand, the following elementary fact gives a characterization of the source:

Lemma 1.1.17. Let H be a topological group with subgroups P and G. Then the space G (H/P+) is non-trivial, if and only if G is subconjugate to P . More precisely, (H/P )G is a quotient of the subspace of all those elements h ∈ H, that conjugate G into P .

Proof. Let hP be a point in the orbit space. Then hP is G-ﬁxed, if and only if for all g ∈ G we have ghP = hP , or equivalently h−1gh ∈ P .

Proposition 1.1.18. Let Z be a genuinely coﬁbrant G ⋉ O-space. Suppose O acts freely G G on Z. Then the map (Z )OG → (ZO) is an isomorphism if for every stabilizer subgroup P of an orbit appearing in the cell-decomposition of Z the following two statements are logically equivalent: ∼ (i) the projection to the ﬁrst factor induces an isomorphism pr1(P ) = G (ii) G ⋉ {E}⊂ G ⋉ O is subconjugate to P .

17 CHAPTER 1. UNSTABLE EQUIVARIANT HOMOTOPY THEORY

Proof. Note that both taking ﬁxed points and taking orbits preserves the cell-complex G G construction by Lemma 1.1.3. Hence the natural map (Z )OG → (ZO) induces a natural isomorphism of cell diagrams, hence an isomorphism on the transﬁnite composition.

Corollary 1.1.19. Suppose G ⋉ O has the property that for every subgroup P of G ⋉ O ∼ the projection to the ﬁrst factor induces an isomorphism pr1(P ) = G if and only if G ⋉ {E}⊂ G ⋉ O is subconjugate to P . Then for any genuinely coﬁbrant G ⋉ O-space G G the natural map (Z )OG → (ZO) is an isomorphism. The main example we want to apply Corollary 1.1.19 to is the following:

Example 1.1.20. Let V be an Euclidean space with automorphism group OV , G a discrete group, X a discrete free G-space and ϕ: G → OV a representation of G (in which case it is customary to abuse language and say that “V is an orthogonal G- ϕ representation”). Then G acts on OV through the composition G −→ OV → Aut(OV ) of ϕ and the conjugation homomorphism letting OV act on itself by inner automorphisms. If Q ⊆ OV is a G-invariant subgroup, let O = X Q, with G acting by conjugation: i.e., −1 g ∈ G acts on {M } ∈ O by taking it to {ϕ(g)M −1 ϕ(g )} . The conditions of x x∈X Q g x x∈X Corollary 1.1.19 are satisﬁed by the semi-direct product G ⋉ X Q: ∼ Q Indeed, consider a subgroup P with pr1(P ) = G and let ψ : G → P ⊂ G ⋉ O g g 7→ (g, {Ax}x∈X ) g be the inverse of pr1. Given (g, {Ax}) ∈ P , the fact that ψ is a group homomorphism, amounts to the formula

g h −1 gh Axϕ(g)Ag−1xϕ(g )= Ax ∀g, h ∈ G, x ∈ X (1.1.21)

Now chose a system of representatives R for the G-orbits in X. Let B = {Bx} ∈ O be the element given by h−1 −1 Bx = Bhr := ϕ(h)Ar ϕ(h ), where x = hr is the unique presentation of x with h ∈ G and r ∈ R. The formal deﬁnition of multiplication in G ⋉ X Q gives: Q g g (e, {Bx})(g, {Ax}) = (g, {BxAx}) and −1 (g, E)(e, {Bx}) = (g, {ϕ(g)Bg−1 xϕ(g )}). − −1 −1 −1 h 1g −1 If x = hr, then g x = g hr and Bg−1x = ϕ(g h)Ar ϕ(h g). By equation 1.1.21 − h 1g h−1 −1 g we have Ar = Ar ϕ(h )Ahrϕ(h) so

−1 h−1g −1 h−1 −1 g g ϕ(g)Bg−1 xϕ(g )= ϕ(h)Ar ϕ(h )= ϕ(h)Ar ϕ(h )Ahr = BxAx.

18 1.2. ILLMAN’S TRIANGULATION THEOREM

Hence P is subconjugate to G ⋉ {E} via B ∈ O. Because pr1 is surjective this implies that P is conjugate to G ⋉ {E} and therefore taking O-orbits commutes with taking G-fixed points. Proposition 1.1.22. Let G be a discrete group, X a free discrete G-space, V a finite dimensional G-representation and Q ⊆ OV a G-invariant subgroup. Let as in Exam- ple 1.1.20 O = X Q, with G acting by conjugation. For every O-free genuinely cofibrant G ⋉ O-space Z and for every subgroup H of G, Q taking O-orbits commutes with taking H-fixed points in the sense that the canonical map

H H (Z )OH → [ZO] , is an isomorphism. Proof. Note that for subgroups H ⊂ G, any free G-set is a free H-set, and any genuinely coﬁbrant G ⋉ O-space is also genuinely coﬁbrant as a H ⋉ O-space by Corollary 1.2.4. We can then apply Corollary 1.1.19 with the help of Example 1.1.20 for all choices of H.

1.2 Illman’s Triangulation Theorem

In several places we will need to check that certain spaces are genuinely cofibrant in the sense of Definition 1.1.1. By the general theory for model categories it will usually suffice to understand the class of IG-cell complexes in GT (cf. Definition 1.1.1 and 5.2.1). For the rest of the section, we restrict to the case of G a compact Lie group. For convenience, we will recall the statements and the relevant definition from [Ill83] before we give some corollaries.

Deﬁnition 1.2.1. Let X be a G-space. Given an orbit [x] ∈ XG, deﬁne the G-isotropy type of [x] as the conjugacy class of the stabilizer subgroup Stabx = {g ∈ G | gx = x} of G. Since the stabilizer subgroups of elements in the same orbit are all conjugate, this indeed only depends on the element [x] ∈ XG.

The following results concern IG-cell complexes in the sense of Deﬁnition 1.1.1 and 5.2.1. Theorem 1.2.2 ([Ill83, 5.5, 6.1, 7.1]). Let X be space with action of a compact Lie group G and a triangulation t: K → XG of the orbit space XG, such that the G-isotropy type is constant on open simplices, i.e., for each open simplex ˚s of K the G-isotropy type is constant on t(˚s) ⊂ XG. Then X admits a structure of a G-equivariant CW -complex. In particular X is an IG-cell complex. Furthermore, if M is a smooth G-manifold (with or without boundary), then the orbit space MG does admit a triangulation such that the G-isotropy type is constant on open simplices, and consequently M admits a structure of a G-equivariant CW -complex. Remark 1.2.3. In particular, for every representation V of a compact Lie group G, its one-point compactiﬁcation SV is a G-CW-complex.

19 CHAPTER 1. UNSTABLE EQUIVARIANT HOMOTOPY THEORY

Corollary 1.2.4. Let G be a compact Lie group and H a closed subgroup. Then G is an H-CW complex and an IG-cell complex is an IH -cell complex. Proof. By induction on the cell structure, and since smashing with a space preserves colimits, it suﬃces to show that for any closed subgroup K ⊂ G the orbit space G/K is an IH -cell complex. However, G/K is a smooth G-manifold, and thus also a smooth H-manifold. Theorem 1.2.2 now implies that G/K is an IH -cell complex. The following result is elementary:

Lemma 1.2.5. Let Y be a G-retract of an IG-cell complex X. The cells of X are of the form Dn × G/L, where L is the isotropy group of an element of X. Conversely, if L is the isotropy group of an element of Y , then there is at least one cell of X isomorphic to a cell of the form Dn × G/L. Corollary 1.2.6. Let H and K closed subgroups of G. The product G/H × G/K is again an IG-cell complex, and the only orbit types that appear are of the form G/L, with L subconjugate to both H and K. Proof. Note that G/H × G/K is isomorphic to (G × G)/(H × K) and embed G into G × G as the diagonal (closed) subgroup, so that Corollary 1.2.4 gives that G/H × G/K is an IG-cell complex. For the statement about orbit types, we check what kind of stabilizer subgroups can appear in the product G/H × G/K and use Lemma 1.2.5. In fact, if L is the stabilizer of ([g1], [g2]), then we have that Lg1 ⊂ g1H or equivalently that L is subconjugate to H. The analogous argument for K ﬁnishes the proof.

1.3 Mixed Model Structures

In this section G is a compact Lie group. We want to introduce model structures on the category of G-spaces where the weak equivalences are defined to be the maps that remain weak equivalences after forming fixed point spaces with respect to subgroups in a given family of subgroups of G, but where the cofibrations are determined by some other family of subgroups of G. The fibrations will have to find a compromise and we refer informally to this situation as a mixed model structure. Definition 1.3.1. A set A of closed subgroups of G is a (closed) family, if it is closed under taking subgroups and conjugates. It will be convenient to have some homotopical properties of Hurewicz cofibrations (7.8.1) at hand when working with topological model categories. The following lemma sums up what we will use in the G-equivariant context: Lemma 1.3.2. Let A be a family of subgroups of G. (i) sequential colimits of A -equivalences along Hurewicz cofibrations are A -equivalences (ii) pushouts of A -equivalences along Hurewicz cofibrations between well based G- spaces are A -equivalences

20 1.3. MIXED MODEL STRUCTURES

(iii) the cube lemma 7.7.6 holds for A -equivalences and Hurewicz coﬁbrations between well-based G-spaces

(iv) the cube lemma holds for G-homotopy equivalences and Hurewicz coﬁbrations.

Proof. All points follow directly from the analogous statement about weak equivalences in T summarized in Corollary 7.8.17, and Lemma 1.1.3.

That said, when referring to an unspeciﬁed model structure on T , the default is the Quillen model structure with Serre ﬁbrations and weak equivalences.

Deﬁnition 1.3.3. If A is a family of subgroups of G, then A T is the functor category from the orbit category associated with A , which we by abuse of notation also call A : i.e., if K,H are in the family A , then the space of morphisms from K to H is

A (K,H)= GT (G/H+, G/K+)

(so that the endomorphisms A (H,H) can be identiﬁed with the Weyl group WGH = NGH/H and H 7→ G/H+ gives an equivalence to a full subcategory of GT ).

Note that for the family {e} containing only the trivial group we have a natural identiﬁcation {e}T = GT and we write eve : A T → GT for the map induced by the inclusion {e}⊆ A sending X ∈ A T to the G-space eveX = X(e). For a general subgroup H ⊆ G, the inclusion of the full category containing only H induces a map A T → WGHT , but we will use evH : A T →T generically to refer to the composite with map forgetting the WGH-action ev ev Consider the evaluations T o H A T e / GT for varying H ∈ A and their left and right adjoints, some of which are given names in the following diagram

F A H / o evH A eve T o T ﬁx / GT , / o A K A where for convenience we notice that FH Y (K) = (G/H)+ ∧Y = (H, K)∧Y and (ﬁxZ)(K)= ZK.

Definition 1.3.4. The projective model structure on A T is the model structure fetched A (e.g., by Theorem 7.10.14) via the pairs (FH , evH )H∈A , i.e., where a map X → Y in A T is a weak equivalence (fibration) if for all H ∈ A the map X(H) → Y (H) is a weak equivalence (Serre fibration) and the generating (acyclic) cofibrations are the maps A A FH i = (H, −)∧i for i a generating (acyclic) cofibration in T . The A -model structure on GT is likewise the model structure obtained via the adjoint pair A F =evH F H H / T o GT fixH

21 CHAPTER 1. UNSTABLE EQUIVARIANT HOMOTOPY THEORY for H ∈ A , i.e., where a map X → Y of G-spaces is an A -equivalence (A -fibration) if for all H ∈ A the map XH → Y H is a weak equivalence (Serre fibration). The sets of generating (acyclic) A -cofibrations are

IA = {G/H+∧i | H ∈ A , i a generating coﬁbration for T }

JA = {G/H+∧j | H ∈ A , j a generating acyclic coﬁbration for T },

For the rest of this section we ﬁx an inclusion i: B ⊆ A of families of subgroups of G and consider the induced functor i∗ : A T → BT and the left and right adjoints

L o i∗ A T / BT . o We use this adjunction to “mix” A - and B-model structures, which we subsequently pull back to GT via the following observation (the second part is essentially Elmendorf’s theorem which follows since the generating sets of (acyclic) coﬁbrations are preserved, a version of which can be found in [MM, Theorem III.1.8]).

Lemma 1.3.5. The induced functor i∗ : A T → BT is a right Quillen functor with respect to the projective model structures. The ﬁxed point functor ﬁx: GT → A T is a right Quillen equivalence from the A - model structure to the projective model structure.

The following annoying nomenclature is too common to avoid.

Deﬁnition 1.3.6. The genuine model structure on GT is the A ℓℓ-model structure, where is A ℓℓ the family of all closed subgroups of G. Also, IAℓℓ coincides with IG of Deﬁnition 1.1.1.

In particular, a map f : X → Y in GT is a genuine equivalence (resp. genuine fibration) if for all closed subgroups H ⊆ G the map of fixed points f H : XH → Y H is a weak equivalence (resp. fibration). It is not uncommon to hear “na¨ıve” or “Borel” when people are talking about the model structure on GT with respect to the trivial family {e} (or in other words, the projective structure on GT considered as a functor category). In that case, I{e} will give rise to the G-free cofibrations.

Definition 1.3.7. The cofibrant replacement of S0 in the A -model structure is denoted EA+. For the trivial family, the free G-space E{e}+ is usually denoted EG+. Now that we have model structures given by the families B and A separately it’s time to start mixing them. We do this first in the orbit category set-up and then translate it to G-spaces.

∗ Deﬁnition 1.3.8. For H ∈ A − B, we let lH : CH → i A (H, −)= A (H, i(−)) be the coﬁbrant replacement of i∗A (H, −) in the projective level model structure on BT , and we let λH : LCH → A (H, −) be the adjoint morphism of lH in A T . Using the mapping

22 1.3. MIXED MODEL STRUCTURES

cylinder like in the proof of Ken Brown’s Lemma [HirL, Lemma 7.7.1], we factor λH as the composition sH rH LCH / / MH / A (H, −) of a cofibration sH and the left inverse rH of an acyclic cofibration in A T . We call the A -cofibration sH the (B, A )-localizer associated with H, and for the rest of the section we let S denote the set of (B, A )-localizers;

S = {sH | H ∈ A − B}.

Remark 1.3.9. In the interesting case B ⊆ A = A ℓℓ this can be seen quite concretely in GT : for a closed subgroup H ⊆ G the coﬁbrant replacement lH of A (H, i−) corresponds to the B-coﬁbrant replacement

(G ×H EB)+ → G/H+ which we factor as a genuine coﬁbration – the “(B, A ℓℓ)-localizer” – followed by a retraction of an acyclic genuine coﬁbration.

Definition 1.3.10. A map f in A T is called a B-equivalence if i∗f is a weak equivalence in BT . A map g : z → w in A T is an S-fibration if it is a fibration in A T with the property that for every (B, A )-localizer s: a → b of S, the square

s∗ A T (b, z) / A T (a, z)

g∗ g∗ s∗ A T (b, w) / A T (a, w) is a homotopy pullback square in T .

Note that every member of S is a B-equivalence.

Proposition 1.3.11. If g : z → w is both a B-equivalence in A T and an S-ﬁbration, then it is a weak equivalence in the projective level model structure on A T .

Proof. It suﬃces to show that if H ∈ A − B, then the upper horizontal maps in the diagram g∗ A T (A (H, −), z) / A T (A (H, −), w)

=∼ =∼ s∗ z(H) / w(H), where the vertical maps are Yoneda isomorphisms, is a weak equivalence in T . Since g is a fibration in A T and a B-equivalence, the map i∗g is an acyclic fibration in BT , so ∗ A T (LCH , g) =∼ BT (CH , i g) is an acyclic fibration in T .

23 CHAPTER 1. UNSTABLE EQUIVARIANT HOMOTOPY THEORY

Since g is an S-ﬁbration, for every sH : LCH → MH in S, the square

A T (sH ,z) A T (MH , z) / A T (LCH , z)

A T (MH ,g) A T (LCH ,g)

A T (sH ,w) A T (MH , w) / A T (LCH , w) is a homotopy pullback. Since rH is the left inverse of an acyclic coﬁbration in A T , also the square

A T (λH ,z) A T (A (H, −), z) / A T (LCH , z)

A T (A T (H,−),g) A T (LCH ,g)

A T (λH ,w) A T (A (H, −), w) / A T (LCH , w) is a homotopy pullback. Since i∗g is an acyclic ﬁbration, the right hand vertical map ∗ A T (LCH , g) =∼ BT (CH , i g) a weak equivalence. Thus also the left hand vertical map A T (A (H, −), g) =∼ g(H) is a weak equivalence in T .

Definition 1.3.12. The B-model structure on A T is the Bousfield localization of the projective level model structure on A T with respect to the set S of (B, A )-localizers of Definition 1.3.8. We write JS for the generating set of acyclic cofibrations given by the union of the set of generating acyclic cofibrations for the projective level model structure on A T and the set consisting of pushout products (see Definition 7.4.5) of the form is for i ∈ I a generating cofibration for T and s ∈ S.

Note that the cofibrations for the B-model structure on A T are the original cofibrations of the projective model structure on A T and that this model structure is proper and cellular (right properness follows since if f : X → Y is a B-fibration in A T , then its restriction i∗f ∈ BT is a fibration, guaranteeing that base change along f preserves B- equivalences). In a chart, we have that for f : X → Y ∈ A T the following implications hold

i∗f is a we ⇔ f is a B-equivalence ⇐ f is a we

i∗f is a fib ⇐ f is a B-fibration ⇒ f is a fib

i∗f is a cof ⇒ f is a B-coﬁbration ⇔ f is a cof

Finally, as before, we transport this structure along the adjoint pair

ev e / H A T o GT , eveY = Y (e), ﬁxX(H)= X ﬁx to our desired mixed model structure on G-spaces.

24 1.3. MIXED MODEL STRUCTURES

Deﬁnition 1.3.13. For B ⊆ A an inclusion of non-empty families of subgroups of G, let K = eveS be the evaluation at e of the set S of (B, A )-localizers and let

JB,A = JA ∪ {ik | k ∈ K, i a generating coﬁbration for T }, whose elements we refer to as generating acyclic (B, A )-coﬁbrations.

Theorem 1.3.14. Let B ⊆ A be non-empty families of subgroups of G. The set IA of Definition 1.3.4 is a set of generating cofibrations and the set JB,A of Definition 1.3.13 is a set of generating acyclic cofibrations for a proper cellular monoidal model structure on GT . In this structure, a map f : X → Y in GT is

(i) a weak equivalence if it is a B-equivalence, i.e., if the induced map on H-ﬁxed points f H : XH → Y H is a weak equivalence for all H ∈ B,

(ii) a coﬁbration if it is an IA -coﬁbration and

(iii) a ﬁbration if it has the right lifting property with respect to maps that are both a weak equivalence and a coﬁbration.

Deﬁnition 1.3.15. The (B, A )-model structure on the category GT of pointed G- spaces is the model structure speciﬁed in Theorem 1.3.14.

Again we have the implications for f : X → Y ∈ GT

f is a B-eq ⇔ f is a (B, A )-equivalence ⇐ f is an A -eq

f is a B-fib ⇐ f is a (B, A )-fibration ⇒ f is an A -fib

f is a B-cof ⇒ f is a (B, A )-coﬁbration ⇔ f is an A -cof

In the particular case where B = A , the sets J(A ,A ) and JA are equal, and the A - and (A , A )-structures coincide.

Lemma 1.3.16. Let B ⊆ A be non-empty families of subgroups of a compact Lie group G and let i: H → G be the inclusion of a subgroup. If we let i∗B be the family of subgroups P ∩ H of H obtained by intersecting members P of B with H and likewise let i∗A be the family of intersections members of A with H, then the forgetful functor ∗ iH : GT → HT is a right Quillen functor of mixed model structures with respect to (B, A ) and (i∗B, i∗A ) respectively.

25 CHAPTER 1. UNSTABLE EQUIVARIANT HOMOTOPY THEORY

26 Chapter 2

Equivariant Orthogonal Spectra

In this chapter we set up a basic framework for equivariant orthogonal spectra. Our presentation is guided by the needs of the commutative ring setting. This explains why we use the “semi-free” spectra as our building blocks. Since we want to end up in a situation which is Quillen equivalent to the usual stable structure, this results in the partial decoupling in the “mixed model structures” of the cofibration structure and the levelwise equivalences. In Chapter 3 we use this structure to obtain a convenient stable model structure on orthogonal spectra. Readers accoustomed to the classical setup will also notice that the usual annoying worry about “universes” is downplayed in our presentation. There is one fixed underlying category and to determine the model structures we focus on families of subgroups of the product of our Lie group and an orthogonal group. These families naturally control our choice of model structure and are partially responsible for the mentioned decoupling of cofibrations and level equivalences.

2.1 Orthogonal spectra as functors

In this section we give a short review of one definition of orthogonal spectra as functors. Later, when we work with model structures, this functoriality is convenient. An orthogonal spectrum is defined to be a functor from a T -category O to spaces. This category appeared first in [MMSS, Example 4.4.].

Deﬁnition 2.1.1. The U-category L of linear isometric embeddings has as objects the class of inner product spaces (ﬁnite dimensional real vector spaces with a non-degenerate inner product), and as morphism spaces the spaces of linear isometric embeddings (aka. isometries).

The following is essentially [MM, Deﬁnition I.5.9].

Deﬁnition 2.1.2. The T -category O has as objects the class of inner product spaces. Given inner product spaces V and W , the morphism space O(V,W ) is the subspace of W L(V,W )+ ∧ S consisting of points of the form f ∧ x for f : V → W a linear isometric

27 CHAPTER 2. EQUIVARIANT ORTHOGONAL SPECTRA embedding and x contained in the subspace of SW given by the one-point compactiﬁca- tion of the orthogonal complement of f(V ) in W . The composition (f,x) ◦ (g,y) of two non-trivial morphisms f ∧ x ∈ O(V,W ) and g ∧ y ∈ O(U, V ) is fg ∧ (x + fy). The category O has a symmetric monoidal product

O(V,W ) × O(V ′,W ′) −→⊕ O(V ⊕ V ′,W ⊕ W ′) (f ∧ x,f ′ ∧ x′) 7→ (f ⊕ f ′) ∧ (x + x′).

Deﬁnition 2.1.3. The untwisting map

V W τV,W : O(V,W ) ∧ S →L(V,W )+ ∧ S takes f ∧ x ∧ y ∈ O(V,W ) ∧ SV , where f ∈L(V,W ), x is in the orthogonal complement W of f(V ) in W and y ∈ V , to f ∧ (x + f(y)) ∈L(V,W )+ ∧ S .

Lemma 2.1.4. The untwisting map

V =∼ W τV,W : O(V,W ) ∧ S −→L(V,W )+ ∧ S is a homeomorphism.

Lemma 2.1.5. For all morphisms ϕ: V ′ → V and ψ : W → W ′ the following diagram commutes:

−1 ∗ τ τV,W ϕ V ′,W O(V,W ) ∧ SV / L(V,W ) ∧ SW / L(V ′,W ) ∧ SW / O(V ′,W ) ∧ SV

ψ∗ ψ∗ −1 ∗ τ τV,W ′ ′ ϕ ′ V ′,W ′ O(V,W ′) ∧ SV / L(V,W ′) ∧ SW / L(V ′,W ′) ∧ SW / O(V ′,W ′) ∧ SV .

Deﬁnition 2.1.6. The symmetric monoidal category O is the full subcategory of O with the coordinate spaces Rn for n ∈ N as objects and the symmetric monoidal category L is the full subcategory of L with the coordinate spaces Rn for n ∈ N as objects. Given an object V of O, we write OV = O(V,V ) for its automorphism group. If f : V → W is an isometry we get an injective group homomorphism Of : OV → ∗ OW such that f∗ = f Of : OV →L(V,W ). Explicitly, if A ∈ OV , v ∈ V and w in the orthogonal complement of f in W , we have that Of (A)(f(v)+ w)= f(Av)+ w. In this way V 7→ OV becomes a functor from the category of isometries to Lie groups.

Remark 2.1.7. The standard basis gives an isomorphism ORn =∼ On between the group of n isometric automorphisms of R and the group On of orthogonal n×n-matrices. For m ≤ m n n, the morphism space L(R , R ) is homeomorphic to the factor group ORn /ORn−m .

Deﬁnition 2.1.8. An orthogonal spectrum X is a T -functor X : O → T . Morphisms of orthogonal spectra are natural transformations. We write OT for the category of orthogonal spectra.

28 2.1. ORTHOGONAL SPECTRA AS FUNCTORS

Given an orthogonal spectrum X and an object V of O, we write XV for the value of the functor X at V . Let us stress that in this paper, an orthogonal spectrum is only deﬁned on the inner product spaces Rn with the dot product as inner product. Choosing an equivalence O→ O of categories we can extend an orthogonal spectrum to a functor deﬁned on O. A more canonical way of extending orthogonal spectra to O is by letting n X(V ) = L(R ,V )+ ∧ORn XRn when V is an n-dimensional inner product space. We have chosen only to evaluate orthogonal spectra on coordinate spaces since this leads us to be more explicit about morphisms in certain constructions. Example 2.1.9 (The sphere spectrum). The sphere spectrum S: O → T is the repre- V sentable functor S = O(0, −) with SV = O(0,V ) =∼ S . Since the category OT is a category of T -functors into T it is enriched and tensored and cotensored over T . The tensor K ∧ X of a space K and an orthogonal spectrum X is the functor given as the composition

X K∧− O −→T −−−→T .

The cotensor F (K, X) is the functor given as the composition

X F (K,−) O −→T −−−−−→T , where F (K, −) takes a space L to the space F (K,L) of functions from K to L. Applying the adjunction isomorphism for the smash product and function space objectwise we obtain adjunction isomorphisms

T (K, OT (X,Y )) =∼ OT (K ∧ X,Y ) =∼ OT (X, F (K,Y )) that are natural in the space K and in the orthogonal spectra X and Y . Example 2.1.10. The tensor K ∧ S of a space K with the sphere spectrum is the suspension spectrum on K. The Yoneda homeomorphism OT (S, X) =∼ X0 and the above adjunction isomorphism for the tensor gives a natural homeomorphism

T (K, X0) =∼ T (K, OT (S, X)) =∼ OT (K ∧ S, X).

Thus the functor Σ∞ := − ∧ S: T → OT is left adjoint to the evaluation functor ev0 : OT →T with ev0(X)= X0. Since the category of orthogonal spectra is the category of T -functors from a symmetric monoidal T -category to T , it can be equipped with a symmetric monoidal structure. This is discussed in detail in [MMSS, §21] based on the more general statement of [D, §3,4]. Let X and Y be orthogonal spectra. Their external smash product is the functor

X∧¯Y : O × O → T .

(V,W ) 7→ XV ∧YW

29 CHAPTER 2. EQUIVARIANT ORTHOGONAL SPECTRA

The (internal) smash product of X and Y is the T -enriched left Kan extension

X∧Y := Lan⊕(X∧¯Y ): O →T of X∧¯Y along the monoidal product ⊕: O × O → O. In particular, by [K, 4.25], we can write the smash product as the coend

(V,W )∈O×O

(X∧Y )U = O(V ⊕ W, U)∧XV ∧YW . Z The internal hom-object homOT (X,Y ) is given by

homOT (X,Y )V = OT (X,Y (V ⊕−)). The fact that the deﬁnition given here indeed gives a closed symmetric monoidal structure on OT can be checked by applying the enriched Kan-extension to the coherence diagrams for O, using the fact that the Kan-extension is natural in all its inputs, together with the fact that T itself is closed symmetric monoidal.

2.2 Equivariant Orthogonal Spectra

In this section we construct model structures on orthogonal spectra with action of a compact Lie group G. For the rest of this chapter G will be a fixed but arbitrary compact Lie group. Definition 2.2.1. An orthogonal G-spectrum X is an orthogonal spectrum with continuous action of G, that is, with a continuous monoid homomorphism G → OT (X, X). Morphisms of orthogonal G-spectra are required to respect the action of G. We write GOT for the category of orthogonal G-spectra. Similar ways of looking at G-spectra have come up before, for example in the context of Γ-spaces [Shi] and quite generally in [DORI]. Example 2.2.2 (The Sphere G-Spectrum). Since the automorphism group of 0 in O is trivial, G can only act trivially on the sphere spectrum S = O(0, −). Example 2.2.3 (Free orthogonal G-spectra). Let K be a pointed G-space. Given an object W of O and a homomorphism ϕ: G → OW , the free orthogonal G-spectrum on ϕ and K is the orthogonal G-spectrum FW K = O(W, −) ∧ K, where G acts diagonally on (FW K)V = O(W, V ) ∧ K. Example 2.2.4. By definition our orthogonal G-spectra are continuous functors X from n O to GT . Hence, if K is a topological group acting on V = R , then XV will have a G × K-action (it is an K-space in GT ). Especially when K = G this invites to abuse of notation since we can consider XV as a G-space via the diagonal homomorphism G → G × G. This is unfortunately occasionally confusing and we apologize for following the tradition in this respect but try to be clear on the matter. Later on we’ll have some use for this perspective allowing us to systematically evaluate at G-representations, but for now we limit ourselves to the following cases.

30 2.2. EQUIVARIANT ORTHOGONAL SPECTRA

• Recall from Example 2.2.2 that G must act trivially on the sphere spectrum S. However, given an orthogonal G-representation V (i.e., a pair consisting of a real inner product space V and a homomorphism ϕ: G → OV ), then the G-space V V SV = S is the one-point compactiﬁcation S of the representation V . • More generally, let K be a pointed G-space and let V and W be orthogonal G-

representations. Then the G-space (FW K)V = O(W, V )∧K has diagonal G-action of the G × G-action obtained from the action of G on K and the action of G on O(W, V ) by conjugation. Remark 2.2.5. Considering G as a topological category with one object, the category GOT is the category of T -functors from G+ to OT . Since the category OT is enriched, tensored and cotensored over T , the category GOT is enriched, tensored and cotensored over GT . Moreover, since OT is closed symmetric monoidal, so is GOT . Explicitly, the enrichment in GT is given by considering the space OT (X,Y ) of morphisms between two orthogonal G-spectra as a G-space by letting G act by conjugation, that is, g ∈ G takes f ∈ OT (X,Y ) to the composition

g−1 f g X −−→ X −→ Y −→ Y.

These are the morphism G-spaces in the category OTG. The G-action on the smash product X∧Y is through the diagonal embedding of G in G × G. The internal function spectrum homGOT (X,Y ) is given by the underlying internal function spectrum homOT (X,Y ) with G-action by conjugation as above. For X an orthogonal spectrum, the adjunction isomorphisms for the tensor ∧ and for the suspension spectrum Σ∞X give natural isomorphisms

∞ T (G+, OT (X, X)) =∼ OT (G+∧X, X) =∼ OT (Σ G+∧X, X).

∞ The action map µ: G+ → OT (X, X) is adjoint to a mapµ ¯ :Σ G+∧X → X. The fact that µ is a map of monoids exactly translates to X being a module over the or- ∞ thogonal ring spectrum S[G] := Σ G+ viaµ ¯. Then morphisms in OTG correspond to S-module morphisms between S[G]-modules, whereas morphisms in GOT correspond to S[G]-module maps. By naturality the T -isomorphisms for tensors and cotensors in OT over T can be considered as GT -natural isomorphisms

TG(D, OTG(X,Y )) =∼ OTG(D∧X,Y ) =∼ OTG(X, F (D,Y )) for tensors ∧ and cotensors F in OTG over TG. Analogously to Example 7.4.4, taking the G-ﬁxed points of the spaces above yields

GT (D, OTG(X,Y )) =∼ GOT (D∧X,Y ) =∼ GOT (X, F (D,Y )).

Deﬁnition 2.2.6. Let V be an Euclidean space and let Y ∈ GOT be an orthogonal G-spectrum.

31 CHAPTER 2. EQUIVARIANT ORTHOGONAL SPECTRA

(i) The restriction of Y to V is YV ∈ GOV T , and we consider it as an object YV of (G × OV )T .

(ii) If ϕ: G → OV is a continuous homomorphism, then through the homomorphism ∗ iϕ : G → G × OV with iϕ(g) = (g, ϕ(g)) we obtain the G-space iϕYV . Below we ∗ ∗ omit iϕ from the notation and refer to iϕYV as the G-space YV . Remark 2.2.7. Given any universe U of G-representations in the sense of [MM, Definition II.1.1], the category of orthogonal G-spectra considered here is equivalent to the category in [MM, Definition II.2.1] of spectra defined on representations isomorphic to finite dimensional G-invariant subspaces of U, as explained by Mandell and May in [MM, Theorem V.1.5].

2.3 Semi-Free Equivariant Spectra

Deﬁnition 2.3.1. Let V be an object of O. The functor GV : OV T → OT is the T -functor taking a pointed OV -space K to the semi-free orthogonal spectrum GV K with

(GV K)W = O(V,W ) ∧OV K and with functoriality in W induced by composition in O.

Notice that if K is of the form K = OV + ∧ C for a space C, then GV K is naturally isomorphic to the free orthogonal spectrum FV C from Example 2.2.3 with respect to the trivial group. The following result holds since GV is an explicit construction of the left Kan extension of K : OV →T along the inclusion OV → O.

Lemma 2.3.2. The T -functor GV : OV T → OT is left adjoint to the evaluation T - ′ functor evV : OT → OV T taking an orthogonal spectrum X to the OV -space XV . ′ ′ ′ Let O be the subcategory of O with O (V,V ) = OV and with O (V,W ) equal to the one point space for V 6= W . The functor ev′ : OT → O′T has a left adjoint ′ G with GY = V GV YV for Y ∈ O T . Given an orthogonal spectrum X, we write c : G ev′ X → X for the counit of this adjunction. X W Lemma 2.3.3. For every orthogonal spectrum X, the diagram

cG ev′ X c G ev′ G ev′ X / G ev′ X X / X ′ / G ev cX is a coequalizer diagram in OT . Proof. After applying ev′ the diagram becomes a split coequalizer diagram in O′T .

One of the most important properties of semi-free spectra is that it is easy to calculate their smash products with other spectra and in particular with each other. The following proposition makes this precise, and generalizes Lemma [MMSS, 1.8]. It is analogous to Lemma [S, I.4.5-6] in the case of symmetric spectra.

32 2.3. SEMI-FREE EQUIVARIANT SPECTRA

Proposition 2.3.4. Let V and W be objects of O, K ∈ OV T and L ∈ OW T . The adjoint of the canonical OV × OW -map ∼ K∧L = (GV K)V ∧(GW L)W → (GV K∧GW L)V ⊕W is a natural isomorphism

=∼ GV ⊕W (OV ⊕W +∧OV ×OW K∧L) −→GV K∧GW L. Proof. Using the monoidal product O(V,V ′) ∧ O(W, W ′) → O(V ⊕ W, V ′ ⊕ W ′) of O we obtain a map

′ ′ ∼ ′ ′ (GV K)V ∧ (GW L)W = O(V,V ) ∧ O(W, W ) ∧OV ×OW K ∧ L ′ ′ → O(V ⊕ W, V ⊕ W ) ∧OV ×OW K ∧ L

∼ ′ ′ = GV ⊕W (OV ⊕W + ∧OV ×OW K ∧ L)V ⊕W . By the universal property of the smash-product, this map induces a map

GV K ∧ GW L → GV ⊕W (OV ⊕W + ∧OV ×OW K ∧ L). It is a consequence of the universal deﬁning properties of the smash-product and of

GV ⊕W that this map is inverse to the map in the statement. When studying smash-powers, we need to know how the above isomorphism interacts with the twist isomorphism τ : X ∧ Y → Y ∧ X of orthogonal spectra. We need the following elementary result:

Lemma 2.3.5. Let V and W be objects of O, K ∈ OV T and L ∈ OW T . Let

t = O(τ, V ⊕ W ): OV ⊕W + = O(V ⊕ W, V ⊕ W ) → O(W ⊕ V,V ⊕ W ) be induced by precomposition with the twist isomorphism τ : W ⊕ V → V ⊕ W . The diagram

=∼ O O OV ⊕W + ∧ V × W K ∧ L / (GV K ∧ GW L)V ⊕W

t∧τ τV ⊕W =∼ O O O(W ⊕ V,V ⊕ W ) ∧ W × V L ∧ K / (GW L ∧ GV K)V ⊕W , commutes, where the upper horizontal map is induced up from the canonical (OV ×OW )- map used in Proposition 2.3.4 and where the lower horizontal map is the composition of the maps

O(W ⊕ V,V ⊕ W ) ∧OW ×OV L ∧ K →

O(W ⊕ V,V ⊕ W ) ∧OW ×OV (GW L ∧ GV K)W ⊕V →

(GW L ∧ GV K)V ⊕W .

33 CHAPTER 2. EQUIVARIANT ORTHOGONAL SPECTRA

Proof. This is a consequence of the fact that given orthogonal spectra X and Y , the diagram τV ⊕W XV ∧ YW / (X ∧ Y )V ⊕W / (Y ∧ X)V ⊕W

τ (Y ∧X)τ YW ∧ XV / (Y ∧ X)W ⊕V commutes.

Corollary 2.3.6. Consider the situation of Lemma 2.3.5 with W = V . Then the diagram O O GV ⊕V (OV ⊕V + ∧ V × V K ∧ K) / GV K ∧ GV K

GV ⊕V (t∧τ) τ O O GV ⊕V (OV ⊕V + ∧ V × V K ∧ K) / GV K ∧ GV K commutes, where t: OV ⊕V → OV ⊕V is right multiplication with the isomorphism permuting the two factors of V . Proof. Letting W = V and L = K, the upper- and the lower row in the commutative diagram of Lemma 2.3.5 are identical. By Proposition 2.3.4 that commutative diagram gives the asserted commutative diagram.

Remark 2.3.7. Notice that the left vertical map in Corollary 2.3.6 is of the form GV ⊕V (t∧ τ): the two copies of V in GV ⊕V are not permuted. This sometimes confusing feature is easier to accept if one keeps in mind that that under the isomorphism

O O O O O GV ⊕V (OV ⊕V + ∧ V × V K ∧ K)= O(V ⊕ V, −)∧ V ⊕V OV ⊕V + ∧ V × V K ∧ K ∼ = O(V ⊕ V, −)∧OV ×OV K ∧ K of Lemma 2.3.5, the twist operation on the last expression does indeed twist both V ⊕ V and K∧K. Let X be a finite discrete G-set, let V be an Euclidean space and let K be an ∧X OV -space. Then G acts on K and on x OV by permuting factors. The group ∧X G × O ⊕X acts on the space O ⊕X ∧Q O K by letting G act on O ⊕X by right V V + x VQ V multiplication of permutation of summands and letting OV ⊕X act on itself by left multiplication. Considering V ⊕X as an Euclidean space, we obtain an orthogonal G-spectrum ∧X ⊕X G ⊕ (O ⊕X ∧ O K ). Notice that G acts trivially on the Euclidean space V V X V + Qx V in GV ⊕X . Since permutations of a finite set X are generated by transpositions, iterated application of Corollary 2.3.6 gives: Proposition 2.3.8. Let X be a finite discrete G-set, V an Euclidean space and K an OV -space. There is a natural isomorphism of G-spectra ∧X =∼ ∧X G ⊕X (O ⊕X ∧ O K ) −→ (G K) , V V + QX V V ∧X where G acts on the spectrum (GV K) by permuting factors.

34 2.3. SEMI-FREE EQUIVARIANT SPECTRA

Proposition 2.3.9. Let X be an orthogonal spectrum and let K be an OV -space. The ∼ structure map K∧XW = (GV K)V ∧XW → (GV K∧X)V ⊕W for the smash-product induces a natural isomorphism ∼ OV ⊕W +∧OV ×OW K∧XW = (GV K∧X)V ⊕W ′ of OV ⊕W -spaces. If the dimension of V is smaller than the dimension of V , then (GV K∧X)V ′ is a one-point space. Proof. Considered as functors of X both sides commutes with colimits. By Lemma 2.3.3 we can represent X as a colimit of semi-free spectra so we can reduce to the case where

X = GU L is semi-free. In this case the asserted isomorphism is a consequence of Propo- sition 2.3.4 since OV ⊕W +∧OW O(U, W ) is isomorphic to O(V ⊕ U, V ⊕ W ). ′ By functoriality and naturality, the T -functors GV and evV associated to the Eu- ′ clidean space V promote to adjoint GT -functors GV : GOV T → GOT and evV : GOT → GOV T . Since the isomorphisms in Proposition 2.3.4 and Proposition 2.3.9 are natural, they also hold for semi-free orthogonal G-spectra. Often actions will occur through the semi-direct product G ⋉ϕ OV of the inner automorphism of a representation ϕ: G → OV . Recall that G ⋉ϕ OV has G × OV as underlying set and multiplication given by the rule (g, α)(h, β) = (gh, αϕ(g)βϕ(g−1 )).

Deﬁnition 2.3.10. Let V be an Euclidean space, let ϕ: G → OV be a group homo- −1 morphism and let f : G × OV → G ⋉ϕ OV be the isomorphism f(g, α) = (g, αϕ(g )). ϕ For K a G ⋉ϕ OV -space we deﬁne the semi-free orthogonal G-spectrum GV K by ϕ ∗ GV K = GV f K.

Note that there is an isomorphism of G × OV -spaces of the form ∗ ∼ f K = O(V,V ) ∧OV K, k 7→ idV ∧k, −1 where G×OV acts on O(V,V )∧OV K by the rule (g, α)·(γ ∧k)= αγϕ(g )∧gk (where we have written gk for (g, 1) · k).

Lemma 2.3.11. Let V be an Euclidean space and let K be a G × OV -space. The unit of adjunction gives an isomorphism ∼ ′ ∼ OT (GV K, GV K) = OV T (K, evV GV K) = OV T (K, K) of topological monoids. Since G acts on K, this isomorphism provides an action of G on GV K. The levelwise orbit spectrum [GV K]G is naturally isomorphic to GV (KG). Proof. The claimed isomorphism of monoids comes from the unit isomorphism K =∼ ′ evV GV K. To check the statement about orbits we note that on levels W we get the isomorphisms ∼ ∼ [GV KW ]G = [O(V,W )∧OV K]G = [O(V,W )∧K]OV ×G = O(V,W )∧OV (KG).

35 CHAPTER 2. EQUIVARIANT ORTHOGONAL SPECTRA

2.4 Families of Representations

Traditionally a G-universe is used to define the various stable model structures of orthogonal G-spectra. However we will find it convenient to have the flexibility of choosing compatible universes consisting of an indexing category of H-representations for each subgroup H of G. The G-typical families of representations introduced in this section form a way to encode this. Let H be a subgroup of G and let V ∈ HL be a representation of H, that is, V is an object of L together with a homomorphism ϕ: H → OV ⊆ L(V,V ). As explained below, the subgroup H and the homomorphism ϕ can be recovered from the subgroup PV of G × OV consisting of pairs (h, ϕ(h)) for h in H. Given an object V of L and a subgroup P of G × OV , let pr1 : P → G be the restriction of the projection G × OV → G to P through the inclusion P ⊆ G × OV .

Deﬁnition 2.4.1. Let V be an object of L and let P be a subgroup of G×OV such that pr1 : P → G is injective with image H = pr1(P ). The H-representation V (P ) = (V, ϕ) has underlying vector space V and H-action ϕ: H → OV given as the composition

−1 pr1 pr2 H −−−→ P ⊆ G × OV −−→ OV .

We will typically refer to this situation as an H-representation of the form V (P ). In particular, when referring to a G-representation of the form V (P ) it is understood that the projection pr1 : P → G is an isomorphism. The following lemma is trivial but important.

Lemma 2.4.2. Let H ⊆ G be a closed subgroup. Let ϕ: G → ORn deﬁne the G-action n on the orthogonal G-representation V = R and let G/H × OV be the G × ORn -space −1 with (g1, A1) ∈ G × ORn acting by sending (gH,A) ∈ G/H × OV to (g1g, A1Aϕ(g1 )). Rn Let P =Γϕ|H = {(h, ϕ(h)) ∈ H × O } be the graph of ϕ|H considered as a subgroup of G × ORn . Then the map

−1 (G × ORn )/P → G/H × OV , (g, A)P 7→ (gH, Aϕ(g )) (2.4.3) is an isomorphism of G × ORn -spaces. The map

n FV (G/H+)= O(V, −)∧G/H+ → O(R , −)∧ORn (G/H × OV )+ sending (f,gH) to (f, (gH, 1)) is an isomorphism of G-spectra, where γ ∈ G acts on the source by sending (f,gH) to (fϕ(γ−1),γgH) and on the target by sending (f,gH,A)= (fA, gH, 1) to (f,γgH,Aϕ(γ−1)).

Hence the free spectrum FV (G/H+) of Example 2.2.3 indexed by the G-representation Rn (V, ϕ) is isomorphic to the semi-free spectrum GRn (((G × O )/Γϕ|H )+).

The reader should notice that as a consequence the free spectrum FV (G/H+) only depends on ϕ’s restriction to H.

36 2.4. FAMILIES OF REPRESENTATIONS

Deﬁnition 2.4.4. If V is an inner product space, let AI V be the set of closed subgroups P of G × OV with the property that pr1 : P → G is injective. V V The subset Q ⊂ AI consists of the subgroups Q ⊆ G × OV such that there is a subgroup P ⊆ G × OV with Q ⊆ P and such that the projection P ⊆ G × OV → G is an isomorphism (“P is a G-representation”).

The name “AI V ” is chosen as a mnemonic for “all injective” and “Q” since it is the basis for the so-called q-model stucture.

Lemma 2.4.5. For each inner product space V , the assignment P 7→ V (P ) is a bijection from AI V to the set of representations of closed subgroups of G with V as underlying vector space.

Proof. Let B be the set of pairs (H, ϕ) where H is a subgroup of G and ϕ: H → OV is a continuous homomorphism. There is an obvious bijection between B and the set of representations (V, ϕ) of any subgroup of G with underlying vector space V . Let A be the set of closed subgroups P of G×OV with the property that pr1 : P → G is injective. Given (H, ϕ) ∈ B, the inclusion i: H → G together with ϕ: H → OV gives an injective homomorphism (i, ϕ): H → G × OV , and thus the pair (H, ϕ) yields a closed subgroup, namely the image P = (i, ϕ)(H) of G × OV with the property that pr1 : P → G is injective. This gives a function f : B → A. Conversely, if P ∈ A, we obtain a pair (H, ϕ) ∈ B by letting H = pr1(P ) and letting −1 ϕ be the composition of pr1 : H → P and the homomorphism P → OV obtained from pr2 the projection G × OV −−→ OV . This gives a function g : A → B, and f and g are inverse bijections.

Deﬁnition 2.4.6. Given Euclidean spaces V and W and subgroups P ⊆ G × OV and Q ⊆ G × OW in AI , we deﬁne P ⊕ Q ⊆ G × OV ⊕W to be the pullback in

⊆ P ⊕ Q / G × OV ⊕W

diagonal×id ⊆ shuﬄe and ⊕ P × Q / G × OV × G × OW / G × G × OV ⊕W .

Expressed in terms of the associated representations: V (P ⊕ Q) is the representation V (P ) ⊕ V (Q) of the intersection pr1(P ) ∩ pr1(Q). Deﬁnition 2.4.7. A G-typical family of representations consists of a sequence H = V (H )V indexed over the objects V of L, such that for all Euclidean spaces V and W :

V (i) H is a family of subgroups of G × OV H V (ii) for each P ∈ the composition pr1 : P → G of the inclusion P ⊆ G × OV and the projection G × OV → G is injective.

U (iii) There is a non-zero U such that H contains G × {idU }.

37 CHAPTER 2. EQUIVARIANT ORTHOGONAL SPECTRA

H V AI W H V ⊕W (iv) For every P in , there exists a Q ∈ and an R ∈ with pr1(Q)= pr1(P ) and pr1(R)= G such that P ⊕ Q = (pr1(P ) × OV ⊕W ) ∩ R. In the above definition, condition (i) allows us to use standard methods from equivariant homotopy theory. Condition (ii) gives a firm connection to representations of subgroups of G: let H be the image of the injection P ⊆ G × OV → G (where the last map is the first projection). Using the inverse of the induced isomorphism P =∼ H we get a representation φ: H =∼ P ⊆ G × OV → OV (where the last map is the second projection) and P is simply the graph

P =Γφ = {(h, φ(h)) | h ∈ H}⊆ G × OV . Condition (iii) is needed for the stable model structure on orthogonal G-spectra to be stable in the sense of model categories [H, Definition 7.1.1]. Condition (iv) is of a more technical nature related to cofinality of index categories in homotopy colimits used in a construction of fibrant replacement, see in particular Remark 3.2.12 and the proof of Corollary 3.3.9. In terms of representations it simply says that if P is the graph of the representation ψ : H → OV , then there exists a representation φ: H → OW such that the sum ψ ⊕ φ: H → OV ⊕W is the restriction of a representation G → OV ⊕W (whose graph is) in H −1 Given g ∈ G and a subgroup H of G we write cg : H → gHg for the conjugation −1 isomorphism with cg(h)= ghg . Proposition 2.4.8. Let H be a G-typical family of representations. The set V of isomorphism classes of representations of the form V (P ) for P in H is closed under conjugation and restriction, that is, if g ∈ G and i: K → gHg−1 is an inclusion of sub- V ∗ −1 ∗ groups of G and if an H-representation W is in , then the K-representation i (cg ) W is in V . H ∼ −1 ∗ Proof. Choose P ∈ with an isomorphism W = V (P ). The representation (cg ) W −1 −1 ∗ ∼ of gHg is then isomorphic to (cg ) V (P ) = V (cg(P )), where cg(P ) consists of the −1 elements of the form (g, id)p(g , id) for g ∈ G and p ∈ P . The subgroup cgP of G × OV is in H because H is closed under conjugation. Since i: K → gHg−1 is an inclusion of ∗ −1 subgroups of G, we have i V (cgP )= V (Q) for the subgroup Q = pr1 (K) of cgP . H −1 Note that if P ∈ has pr1(P ) = H and if Q = (g, α)P (g, α) for some α ∈ OV ∗ and g ∈ G, then α is an isomorphism α: V (P ) → cgV (Q) of H-representations. Definition 2.4.9. Consider a P ∈ AI V and a Q ∈ AI W . We say that Q is a retract of P if there is an f ∈L(V,W ) such that

⊆ P / G × OV / OV

=∼ f∗ ⊆ ⊆ K / H / G L(W, V ) O O O =∼ f ∗ ⊆ Q / G × OW / OW

38 2.4. FAMILIES OF REPRESENTATIONS commutes (start in K and end up in L(W, V )).

Remark 2.4.10. If we think of the P and Q above as representations φ: H → OV and ψ : K → OW , we see that (W, ψ) is a “retract” of (V, φ) if and only if K is a subgroup of H and there is a K-linear isometry f : W → V , with K acting on V by restricting φ to K.

1 1 Example 2.4.11. Let G = T and Q = {(1, 1·), (−1, −1·)} ⊆ T × OR, corresponding to the sign representation C2 → OR. The fact that the sign representation on R extends to a unitary representation of T1 on C shows that Q is a retract of an element in QC. In 1 more detail, let f : R ⊆ C be the standard inclusion and P = {(z, z·) | z ∈ T }⊆ G×OC. Then ⊆ P / G × OC / OC

=∼ f∗ ⊆ = C2 / G / G L(R, C) O O O =∼ f ∗ ⊆ Q / G × OR / OR

C commutes (±1 ∈ C2 is sent to ±f either way), showing that Q is a retract of P ∈ Q . On the other hand, since for any g ∈L(R,V ) the homomorphism Og : OR → OV is an isomorphism of path components, we get that

⊆ P / G × OV / OV O =∼ ⊆ ⊆ K / H / G Og O O =∼ ⊆ Q / G × OR / OR commutes for no connected P .

Deﬁnition 2.4.12. We say that G-typical family of representations H is closed under retracts if it has the property that if P ∈ H V and Q ∈ AI W is a retract of P (for some inner product spaces V and W ), then Q is in H W .

Obviously, AI is closed under retracts.

Deﬁnition 2.4.13. Let H be a G-typical family of representations. The closure H of H is the subset of AI consisting of retracts of elements in H .

Lemma 2.4.14. The closure H of a G-typical family of representations H is the smallest G-typical family of representations containing H .

39 CHAPTER 2. EQUIVARIANT ORTHOGONAL SPECTRA

Proof. Since retracts of retracts are retracts, we only need to show that H is a G-typical family of representations. In Deﬁnition 2.4.7, as applied to H , condition (i)-(iii) are ′ ′ immediate. As to condition (iv), assume (the graph of) the representation φ : H → OV ′ is a retract of an element in H , i.e., assume there is an isometry f : V ′ → V and a V ′ representation φ: H → OV (whose graph is) in H such that H ⊆ H and such that f ′ is H -linear. Then, by condition (iv) for H there is a representation ψ : H → OW and V ⊕W V ⊕W a representation α: G → OV ⊕W in H ⊆ H so that α|H = φ ⊕ ψ. Since f is H′-linear we thus get that f composed with the inclusion V ⊆ V ⊕ W is H′-linear.

Lemma 2.4.15. If a G-typical family of representations H is closed under retracts, 0 then H consists of all subgroups of G × O0.

U Proof. By Deﬁnition 2.4.7 (iii), there is a Euclidean space U such that G×{idU }∈ H . The zero representation is a retract of U, and hence G × {id0} (and all its subgroups) is in H 0.

Example 2.4.16. (i) For an inner product space V , recall from Deﬁnition 2.4.4 the AI V “All Injective” family consisting of all subgroups P of G×OV with pr1 : P → G injective. Letting V vary, the AI V assemble to the maximal G-typical family V AI = {AI }V . Every representation of any subgroup of G is in this family. This G-typical family of representations is closed under retracts.

0 V V (ii) The positive part AI+ of AI has AI+ = ∅ and AI+ = AI for V 6= 0. The positive part is not closed under retracts, but is the family we will use in conjunction with the “convenient” S-model structure on commutative orthogonal ring spectra.

(iii) Let V be an inner product space. Recall from Deﬁnition 2.4.4 that an element in V Q is a subgroup Q ⊆ G × OV such that there is a subgroup P ⊆ G × OV with Q ⊆ P and such that the projection P ⊆ G × OV → G is an isomorphism. In other words, the family QV consists of the P in AI V such that P is the graph

Γϕ|H of the restriction of a homomorphism ϕ: G → OV to a closed subgroup H ⊆ G. Note that Q generally is smaller than AI : If for instance G = Z/4Z and V = R V (so that OV = {±1}), we can let P = {(0, 1), (2, −1)} ∈ AI be the graph of the nontrivial action of 2Z/4Z on R which can not be extended to Z/4Z. This is the family which gives rise to the model structures that typically are called “q-model structures” (q for Quillen). The content of Lemma 2.4.2 is that the

coﬁbrations we can build out of free spectra of the form FV (G/H+) (with V the representation corresponding to ϕ) correspond exactly to the ones we build out of Rn semi-free spectra indexed over trivial representations of (G×ORn )/P for P ∈ Q .

40 2.5. LEVEL MODEL STRUCTURES

Q Q QV (iv) The positive part + of consists of the graphs Γϕ|H ∈ such that there is a 0 6= v ∈ V with v = ϕ(g)v for all g ∈ G. Again, the contents of Lemma 2.4.2 is – in a language to be established – that the “positive q-coﬁbrations are S-coﬁbration”. The conditions for the positive part 1 Q+ are chosen for compatibility with the classical setup. Note that for G = T 1 and P the graph of the rotation action of T1 on C, we have that CT = 0, so that P is in Q ∩ AI+, but not in Q+. (v) The argument we gave for AI also shows that there is a minimal G-typical family of representations which is closed under retracts consisting of all subgroups of G =∼ G × {id} considered as subgroups of G × OV . The representations in this G-typical family of representations are the trivial representations.

Crucial to our applications, by [BtD85, III.4.5] we have that AI is the closure of the family Q:

Lemma 2.4.17. Let G be a compact Lie group and Q ∈ AI W . Then Q is an retract of an element of Q. Hence, Q = AI .

2.5 Level Model Structures

In this section H is a ﬁxed but arbitrary G-typical family of representations. Given V V in O, we consider the H -model structure (as in Deﬁnition 1.3.4 on (G × OV )T .

Definition 2.5.1. An H -model structure M consists of a sequence M = (MV )V ∈L of cofibrantly generated model structures, where each MV is a GT -model structure on the category (G × OV )T , considering (G × OV )T as enriched and tensored over GT ∼ via the isomorphism (G × OV )T = OV (GT ) together with choices IV and JV of sets of generating cofibrations and acyclic cofibrations of MV . This data is required to satisfy the following four conditions:

(i) All cofibrations in MV are Hurewicz cofibrations (7.8.1). (ii) For every V and W in L we have that for every generating acyclic cofibration M j ∈ JV the map (GV j)W is a weak equivalence in W . V (iii) The class of weak equivalences in MV is the class of H -equivalences. (iv) For every V ∈ O, the class of cofibrations in the H V -model structure on (G × OV )T is contained in the class of cofibrations in MV . In the above definition condition (i) is of a technical kind used to ensure that homotopy groups have associated cofibration sequences. Condition (ii) is needed to obtain a level M -model structure on the category of orthogonal spectra. Condition (iv) is used to identify the stably fibrant orthogonal spectra as a kind of Ω-spectra. Together with the other conditions, condition (iii) determines the stable M -model structure on orthogonal

41 CHAPTER 2. EQUIVARIANT ORTHOGONAL SPECTRA

V spectra. Condition (iv) implies that every fibration f in MV is an H -fibration in the sense that f P is a fibration for every P in H . Below we use the pushout product from Definition 7.4.5.

Definition 2.5.2. Let M be an H -model structure. With IV the set of generating cofibrations for MV , we say that M satisfies the pushout product axiom if it is so that M given i ∈ IV and j ∈ IW , the map OV ⊕W + ∧OV ×OW i j is a cofibration in V ⊕W , and if in addition one of the former maps is a weak equivalence, so is the latter. Definition 2.5.3. Let M be an H -model structure and let f : X → Y be a morphism of orthogonal G-spectra.

(i) f is a level M -equivalence if fV is an MV -equivalence for all V in L.

(ii) f is a level M -fibration if fV is a fibration in MV for all V in L. (iii) f is an M -cofibration if it satisfies the left lifting property with respect to all maps that are both level M -equivalences and level M -fibrations. Definition 2.5.4. Given an H -model structure M , we write

GIM = GIV and GJM = GJV , [V [V where GIV is the set of all maps of the form GV i for i in the set IV of generating cofibrations for MV and similarly for JV the set of generating acyclic cofibrations for MV . Theorem 2.5.5. If M is an H -model structure, then the M -cofibrations, level M - equivalences and level M -fibrations give a left proper cofibrantly generated G-topological model structure on the category GOT of orthogonal G-spectra. The set GIM is a set of generating cofibrations, and the set GJM is a set of generating acyclic cofibrations for this model structure. We postpone the proof till the end of the section Definition 2.5.6. The model structure of Theorem 2.5.5 is the level M -model structure on GOT . Theorem 2.5.7. If an H -model structure M satisfies the pushout product axiom, and 0 H contains all subgroups of G × O0, then the level M -model structure on GOT is monoidal.

0 0 Proof. Since H contains all subgroups of G × O0 and the zero sphere S is cofibrant M 0 in 0, the unit S = G0S for the monoidal product is cofibrant. Thus we only need to verify the pushout product axiom. It is a direct consequence of the natural isomorphism GV i GW j = GV ⊕W (OV ⊕W + ∧OV ×OW i j) and Definition 2.5.2.

42 2.5. LEVEL MODEL STRUCTURES

We also will need the following result.

Lemma 2.5.8. Any orthogonal G-spectrum is small with respect to levelwise inclusions, in particular with respect to all Hurewicz-coﬁbrations or levelwise Hurewicz-coﬁbrations.

Proof. Let X be an orthogonal spectrum, then by [H, 2.4.1] for each n, there exists a cardinal κn such that both Xn and all O(n,m)∧X are κn-small with respect to inclusions. Let κ be a cardinal with κ > κn for n ≥ 0 and κ> ℵ0. We claim that X is κ-small. So let Y 0 → Y 1 → . . . → Y β → . . . be a λ-sequence of levelwise inclusions for some κ-ﬁltered ordinal λ. In particular λ is κn-ﬁltered for n ≥ 0. We want to show that the map

colim OT (X,Y β) → OT (X, colim Y β) β<λ β<λ is an isomorphism. For injectivity consider two elements on the left represented by f : X → Y α and g : X → Y β that are mapped to the same morphism h : X → Y on the right side, where Y denotes the colimit. That implies that for each n, fn and gn induce the same map Xn → Yn, which implies that there is a γn < κn such that the composites f α γn g β γn Xn → Yn → Yn and Xn → Yn → Yn are equal. Hence for γ := sup γn < λ, f and g already induced the same element X → Y γ as desired. For surjectivity let f : X → Y be a map to the colimit. As before we get an ordinal γ, such that all the maps fn : Xn → Yn γ and fm ◦ σ, σ ◦ fn : O(n,m)∧Xn → Ym factor through Y . Then for each pair (n,m), there is a cardinal γ < δn,m < λ such that σ ◦ fn and fm ◦ σ are factor through the δn,m same map fn,m : O(n,m)∧Xn → Ym by the argument for injectivity discussed before. δ Hence there is a factorization of maps of spectra X → Y → Y for δ := sup δn,m < λ as desired.

Remark 2.5.9. Hence any set I of maps in GOT that consists of coﬁbrations has the property that domains of maps in I are small with respect to I-cell. The same holds for A a category with a faithful forgetful functor to GOT and I a set of maps in A satisfying the coﬁbration hypothesis 7.8.19.

Proof (of Theorem 2.5.5). We use the Assembling Theorem 7.10.7. Proposition 7.10.9 shows that the resulting structure is G-topological. To apply Theorem 7.10.7 we need to know that the maps in GJV are actually level equivalences. However, if j ∈ JV , then M by part (ii) of Definition 2.5.1 (GV j)W is a weak equivalence in W . In order to see that the level M -model structure on GOT is left proper we note that (i) of Definition 2.5.1 implies that if f : A → X is a level M -cofibration in GOT , then fV : AV → XV is a Hurewicz cofibration for all V . Now left properness is a consequence of part (iii) of Definition 2.5.1.

43 CHAPTER 2. EQUIVARIANT ORTHOGONAL SPECTRA

2.6 Mixing Pairs

We now introduce the concept of a mixing pair, where we allow the family G controlling the cofibrations to be different from a possibly smaller family H controlling the weak equivalences (leaving to the fibrations to deal with the inevitable family conflict). This will turn out to be advantageous at a certain point in our discussion of fixed points under different groups, because it will allow us to keep the old cofibrations even if we have to change the family controlling the weak equivalences.

Deﬁnition 2.6.1. A G-mixing pair (H , G ) consists of

V V • a sequence G = (G )V ∈L of families G of subgroups of G × OV a • G-typical family of representations (c.f. Deﬁnition 2.4.7) H satisfying the following conditions for all Euclidean spaces V and W :

(i) H V ⊆ G V AI V AI W (ii) If P ∈ and Q ∈ with pr1 P = pr1 Q is such that the sum (as in Deﬁnition 2.4.6) P ⊕ Q is in H V ⊕W , then P ∈ H V or P∈ / G V .

(iii) G is closed under sum in the sense that if P ∈ G V and Q ∈ G W , then the isotropy groups of elements of the G × OV ⊕W -space

OV ⊕W ×OV ×OW ((G × OV )/P × (G × OW )/Q)

V ⊕W are in G . Here the group G acts on (G × OV )/P × (G × OW )/Q through the diagonal embedding G → G × G.

Note that condition (ii) is some sort of “closure under summands” in that it says that summands of things in H are either in H – or they are not even in G . This condition is crucial in Lemma 2.6.10 which provides us with what will be called the level mixed (H , G )-model structure. We know of no instances where the simpler (but more V restrictive) demand H ∩ G V = H V could not be used.

Example 2.6.2. For any G-typical family H we get a G-mixing pair (H , A ℓℓ), where H is the closure of H as in Deﬁnition 2.4.13.

Example 2.6.3. For every G-typical family H of representations satisfying the condition 2.6.1 (iii), (H , H ) is a G-mixing pair.

It is a consequence of (iii) that G is closed under direct sum, in the sense that if P and Q are in G , then so is P ⊕ Q (Deﬁnition 2.4.6). Concretely, the condition is perhaps best understood by seeing it in explicit examples as in the proof of the following lemma.

Lemma 2.6.4. All the families AI , AI +, Q and Q+ of Example 2.4.16 satisfy condition 2.6.1 (iii) and so give rise to G-mixing pairs of the form (H , H ).

44 2.6. MIXING PAIRS

V W Proof. Let P ∈ AI and Q ∈ AI . Every element of the G × OV ⊕W -space

OV ⊕W ×OV ×OW ((G × OV )/P × (G × OW )/Q) is represented by an element of the form x = (α, [gV ,IV ], [gW ,IW ]) for some gV , gW ∈ G and α ∈ OV ⊕W . If(g, β) is in the isotropy group (G × OV ⊕W )x of x for some g ∈ G −1 −1 and β ∈ OV ⊕W , then β is of the form β = α(βV ⊕ βW )α , and (gV ggV , βV ) ∈ P and −1 (gW ggW , βW ) ∈ Q. If (g, β) lies in the kernel of the projection pr1 : (G × OV ⊕W )x → G, this means that g = 1, and so (1, βV ) ∈ P and (1, βW ) ∈ Q which, since P,Q ∈ AI , means that βV = IV and βW = IW and so β = IV ⊕W . Consequently pr1 : (G × OV ⊕W )x → G is injective and V ⊕W (G × OV ⊕W )x ∈ AI . If also pr1 : P → G and pr1 : Q → G are isomorphisms, we get that given g ∈ −1 G there are unique βV and βW such that (g, α(βV ⊕ βW )α ) ∈ (G × OV ⊕W )x, and ′ ′ so pr1 : (G × OV ⊕W )x → G is an isomorphism. If P ⊆ P and Q ⊆ Q then the ′ ′ isotropy group of an element OV ⊕W ×OV ×OW ((G × OV )/P × (G × OW )/Q ) of the G×OV ⊕W -action on injects into the isotropy subgroups of the corresponding element of ′ QV ′ QW OV ⊕W ×OV ×OW ((G × OV )/P × (G × OW )/Q). Hence, if P ∈ and Q ∈ , then ′ the isotropy subgroups of the G × OV ⊕W -action on OV ⊕W ×OV ×OW ((G × OV )/P × ′ V ⊕W (G × OW )/Q ) are in Q . The proofs for AI + and Q+ are similar.

V Given a G-typical family of representations H and a sequence G = (G )V ∈L of V V families of subgroups of G × OV with H contained in G for all V ∈ L, we will V V consider the (H , G )-model structure on (G×OV )T from Theorem 1.3.14. Explicitly, Theorem 1.3.14 gives that for a G-mixing pair (H , G ), the (H V , G V )-model structure on G × OV -spaces is coﬁbrantly generated, with set of generating coﬁbrations

V IG V = {(i × (G × OV )/P )+ | i ∈ I, P ∈ G } and set of generating acyclic cofibrations G V JH V ,G V = {(j × (G × OV )/P )+ | j ∈ J, P ∈ }∪ K with V V K = {ikP | i ∈ I, kP = sP (G/e) for P ∈ G , P∈ / H }. Recall that a map f : X → Y of orthogonal spectra is a level H -equivalence if and V only if for each Euclidean space V , the map fV is an H -equivalence. We can formulate this in terms of the genuine model structure on GT of Definition 1.3.6. by noting that V V fV is an H -equivalence if and only if for every P ∈ H , the map fV is a genuine equivalence of P -spaces. Writing H = pr1(P ), the map fV is a genuine equivalence of P -spaces if and only if the map fV (P ) is an genuine equivalence of H-spaces. Definition 2.6.5. If (H , G ) is a G-mixing pair, the level (H , G )-model structure on orthogonal G-spectra is the one given by the Assembling Theorem 7.10.7 from the n n (H R , G R )-model structures from Theorem 1.3.14.

45 CHAPTER 2. EQUIVARIANT ORTHOGONAL SPECTRA

The level (H , G )-model structure is coﬁbrantly generated by the sets

IG = GRn IG Rn , JH ,G = GRn JH Rn ,G Rn . n n [ [

Example 2.6.6. The mixing pair (Q, Q) will give rise to the level q-model structure and (Q+, Q+) to the positive level q-model structure). Note that, in view of Lemma 2.4.2, the set IQ (see Deﬁnition 1.3.16) of generating q-coﬁbrations could without changing the model structure be replaced with the set consisting of the inclusions

n−1 n FV (G/H+∧(S+ ⊆ D+)) of free spectra, with V an orthogonal G-representation and H ⊆ G a closed subgroup. Likewise for the positive level q-structure, leaving out the G-representations V with only trivial ﬁxed points. Remark 2.6.7. The (positive) Q-model structure is widely used, but has the disadvantage that the natural model structure it induces on commutative ring G-spectra has the annoying property that the forgetful functor to orthogonal G-spectra does not preserve coﬁbrations. This is one of the reasons for considering the following mixing pair, ultimately giving rise to a good stable structure on commutative orthogonal ring G-spectra.

Example 2.6.8 (Positive mixing pair). The positive mixing pair (AI+, A ℓℓ+) for G A V is defined as follows: For V 6= 0, the family ℓℓ+ consists of all closed subgroups of V G × OV , and AI+ consists of the closed subgroups P of G × OV with the property that A 0 AI 0 pr1 : P → G is injective. Finally, ℓℓ+ = + = ∅. AI A AI V A V There is a maximal or “nonpositive” variant ( , ℓℓ) agreeing with ( + , ℓℓ+) 0 0 for all V 6= 0, but with AI = A ℓℓ consisting of all closed subgroups of G =∼ G × O0. This example is occasionally useful for comparison, but will play no significant role in what follows. Given a subgroup P of a group A and an element a of A, the conjugation homomor- −1 −1 phism ca : P → aP a is defined by ca(p)= apa . Lemma 2.6.9. Let P and B be subgroups of a compact Lie group A, let a ∈ A and let −1 ∗ X be a B-space. If a P a is contained in B, then the map f : ca−1 X → P aB+ ∧B X with f(x) = [a ∧ x] is an isomorphism of P -spaces. If a−1P a is not contained in B, then the space of P -fixed points of P aB+ ∧B X is the one-point space. In particular, the P -fixed subspace of A+ ∧B X is the one point space unless P is subconjugate to B. Proof. If (P aB/B)P is non-empty, then paB = aB for all p ∈ P , so a−1P a ⊆ B. Thus, −1 if a P a is not contained in B, then the space of P -fixed points of P aB+ ∧B X is the one-point space. Now suppose a−1P a is contained in B. Then

f(a−1pax) = [a ∧ a−1pax] = [aa−1pa ∧ x] = [pa ∧ x]= p[a ∧ x]= pf(x),

46 2.6. MIXING PAIRS so f is a P -map. Multiplication with a−1 gives an inverse

∗ −1 ∗ ∼ ∗ P aB+ ∧B X → ca−1 (a P aB+ ∧B X)= ca−1 (B+ ∧B X) = ca−1 X to f. The statement about the P -ﬁxed subspace of A+ ∧B X now follows from the fact that A is the disjoint union of subspaces of the form P aB.

Proposition 2.6.10. Let (H , G ) be a G-mixing pair. For each Euclidean space V con- V V sider the MV = (H , G )-model structures on (G×OV )T of Theorem 1.3.14. The collection M of model structures {MV }V ∈obL forms an H -model structure in the sense of Definition 2.5.1 with the property that if i ∈ IG V and j ∈ IG W , then OV ⊕W +∧OV ×OW i j is a cofibration in MV ⊕W . If H is closed under retracts, then M satisfies the H -pushout product axiom in the sense of Definition 2.5.2, and S is cofibrant in the level M -model structure on GOT .

Letting IMV = IG V and JMV = JH V ,G V as in Theorem 1.3.14, the sets GIM and GJM are sets of generating coﬁbrations and generating acyclic coﬁbrations respectively for the level M -model structure.

V Proof. By design, the weak equivalences in MV are the H -equivalences. The generating cofibrations for the (H V , G V )-model structure are Hurewicz cofibrations, and thus so are all cofibrations, and (i) of Definition 2.5.1 holds. We need to work harder to verify part (ii) of Definition 2.5.1, that is, that the maps in GJ are actually H -level equivalences. So let j : X → Y be a generating acyclic H V G V ( , )-cofibration. Then (GV j)W is the map

O(V,W )∧OV j : O(V,W )∧OV X → O(V,W )∧OV Y.

We have to show that this is an H W -equivalence. Suppose there exists an isometric embedding ϕ: V → W . Otherwise O(V,W ) is the one-point space and (GV j)W is obviously a weak equivalence. Let A = G × OW and B = G × Oϕ⊥ × Oϕ(V ). Now, ϕ ∼ ϕ⊥ provides us with a natural (in X) isomorphism O(V,W ) ∧OV X = A+∧B(S ∧X), and so we consider the P ﬁxed points of

ϕ⊥ A+∧B (id ∧j) ϕ⊥ A+ ∧B (S ∧ X) −−−−−−−−→ A+ ∧B (S ∧ Y ) for P ∈ H W . Lemma 2.6.9 says that the P -ﬁxed points of the above spaces consist of just the base point unless P is subconjugate to B. Consider A as a P × Bop-space with (p, b) ∈ P × Bop acting on a ∈ A by the rule (p, b)a = pab. By Illman’s Theorem 1.2.2, the space A is an P × Bop CW-complex. By Lemma 1.2.5 the cells of this P ×Bop CW-complex are isomorphic to products P aB×Dn n P of an orbit in A and a disc. Lemma 2.6.9 would imply that ((P aB × D )∧B(id ∧j)) n−1 P a−1P a and ((P aB × S )∧B(id ∧j)) are weak equivalences if we knew that (id ∧j) were a weak equivalence, whenever a−1P a ⊆ B. An induction on the cells using the Cube P Lemma [H, Lemma 5.2.6] would then give that (A+ ∧B (id ∧j)) is a weak equivalence.

47 CHAPTER 2. EQUIVARIANT ORTHOGONAL SPECTRA

In order to finish the verification of part (ii) of Definition 2.5.1 it thus suffices to W P show that if P ∈ H is a subgroup of B, then (id ∧j) is a weak equivalence. Let P1 be the image of P under the projection ∼ B = G × Oϕ⊥ × Oϕ(V ) → G × Oϕ(V ) = G × OV , where the rightmost isomorphism is by conjugation by ϕ. Then by Lemma 1.1.3 we have (id ∧j)P = id ∧jP1 , and since X and Y are cofibrant in the mixed (H V , G V )- model structure, it suffices to show that jP1 is a weak equivalence. Now, the composite P ⊆ G × Oϕ⊥ → G (where the last map is the first projection) is injective and factors over the projection P → P1. Hence, the projection P → P1 is actually an isomorphism, and has the same image, say H ⊆ G. If α: H → Oϕ⊥ and β : H → Oϕ(V ) are representations so that P = {(h, α(h), β(h) | h ∈ H} is the graph, ′ ′ then necessarily P1 = {(h, β (h) | h ∈ H}, where β : H → OV is the conjugate of β by ϕ. Hence, P1 is a retract of P and by condition (ii) of Definition 2.6.1 we have that either V V V P1 P1 ∈ H or P1 ∈/ G . If P1 ∈ H , then j is a weak equivalence in T . If P1 is not in G V , then, since both source and target of j are cofibrant in the mixed (H V , G V )-model structure, this implies that both source and target of jP1 are the one-point space. In particular jP1 is a weak equivalence. Next we show that if i ∈ IG V and j ∈ IG W , then OV ⊕W +∧OV ×OW i j is a cofibration. Let

n−1 n m−1 m i = ( S → D × (G × OV )/P )+ and j = ( S → D × (G × OW )/Q)+ be maps in IG V and IG W respectively. Then OV ⊕W +∧OV ×OW i j is isomorphic to: n+m−1 n+m ( S → D × OV ⊕W ×OV ×OW (G × OV )/P × (G × OW )/Q)+ . Since as a left adjoint, taking the product with a space preserves colimits, it suﬃces by Illman’s Theorem 1.2.2 to note that in part (iii) of Deﬁnition 2.6.1 we require that the isotropy groups of the smooth G × OV ⊕W manifold

OV ⊕W ×OV ×OW ((G × OV )/P × (G × OW )/Q) are in G V ⊕W . Suppose that H is closed under retracts. We will show that if XV is a cofibrant W object in MV and f is an H -equivalence of cofibrant objects of MW , then the map M OV ⊕W + ∧OV ×OW XV ∧ f is a weak equivalence in V ⊕W . Since the generating acyclic cofibrations for MW are weak equivalences of cofibrant objects and source and target of the generating cofibrations are cofibrant, this will imply the statement about acyclic cofibrations in the pushout product axiom. V ⊕W Let A = G×OV ⊕W and let B = G×OV ×OW . Given P ∈ H it suffices by cell P induction to show that (P aB+ ∧B (XV ∧ f)) is a weak equivalence. As above, we may −1 without loss of generality assume that a P a is contained in B. Let P1 be the image of a−1P a under the projection

B = G × OV × OW → G × OV

48 2.6. MIXING PAIRS

−1 and let P2 be the image of a P a under the projection

B = G × OV × OW → G × OW .

P P1 P2 By Lemma 2.6.9 (P aB+ ∧B (XV ∧ f)) can be identified with XV ∧ f . Since X is M P1 cofibrant in , the space XV is cofibrant, and likewise the P2-fixed points of the source and target of f are cofibrant. Thus it suffices to show that f P2 is a weak equivalence. However, since V (P2) is a subrepresentation of V (P ) and H is closed under retracts, W P2 W we have that P2 ∈ H , and thus f is a weak equivalence because f is an H - equivalence. H 0 Finally, we verify that if is closed under retracts, then S = G0S is cofibrant. For 0 0 this it is enough to know that S is cofibrant in M0. By Lemma 2.4.15 H contains 0 0 0 G × {id0}. Since H ⊆ G this implies that S is cofibrant in M0.

Deﬁnition 2.6.11. Let (H , G ) be a G-mixing pair. The model structure on GOT in Proposition 2.6.10 is the level mixed (H , G )-model structure. We say that a morphism of orthogonal G-spectra f : X → Y is

(i) a level (H , G )-fibration if for each V in L the map fV : XV → YV is a fibration in V V the (H , G )-model structure on (G × OV )T . (ii) an (H , G )-cofibration if f satisfies the left lifting property with respect to all maps that are both level H -equivalences and level (H , G )-fibrations.

The classes of generating coﬁbrations and generating acyclic coﬁbrations are referred to as GIG and GJH ,G .

Example 2.6.12. The mixed model structure with (H , G ) = (AI+, A ℓℓ+) of Exam- ple 2.6.8 is called the (positive) level S-structure. The mixed model structure with (H , G ) = (Q, Q) of Example 2.6.3 is called the level q-structure and the one with (H , G ) = (Q+, Q+) is called the positive level q-structure. Lemma 2.6.13. The classes of level (H , G )-coﬁbrations and level (H , G )-acyclic ﬁ- brations do not depend on H .

In hindsight it may be a bit disconcerting that we in Proposition 2.6.10 claimed that properties of H can imply that S is coﬁbrant. However, since H ⊆ G , knowledge of H can be used to get knowledge about G ; in this case what we needed was that G 0 was maximal. H V Lemma 2.6.14. Let P ∈ with pr1(P )= H and let C be a coﬁbrant replacement of the sphere spectrum S in the (H , G )-model structure. The H-space CV (P ) is H-homotopy equivalent to the representation sphere SV (P ).

V V V Proof. The map CV → S is an H -equivalence. Since P ∈ H , it is a weak equivalence of coﬁbrant P -spaces. Thus it is a P -homotopy equivalence. Finally, H acts through the isomorphism pr1 : P → H.

49 CHAPTER 2. EQUIVARIANT ORTHOGONAL SPECTRA

Note that since the mixed (H V , G V )-model structures are left proper and cellular in the sense of Hirschhorn [HirL, Deﬁnition 12.1.1], the level (H , G )-model structure is also left proper and cellular. The following theorem is a recollection of results in this section.

Theorem 2.6.15. Let (H , G ) be a G-mixing pair. The level (H , G )-model structure on GOT is a left proper and cellular G-topological model structure. The weak equivalences in this model structure are the level H -equivalences. The fibrations are the level (H , G )- fibrations and the cofibrations are the (H , G )-cofibrations. If H is closed under retracts, then the level (H , G )-model structure on GOT is monoidal.

We have seen that f is a level H -equivalence if and only if for all V in L and all H V F P P ∈ , the map fV (P ) is an -equivalence of H = pr1(P )-spaces for the family F P H V = {pr1(Q) ∩ pr1(P ) | Q ∈ } of subgroups of H. Note that if (H , G ) and (H , G ) are G-mixing pairs with G ⊆ G , then the identity functor is a left Quillen functor from the level (H , G )-model structure to the level (H , G )-model structure on GOT . In fact this is the left Quillen functor in a Quillen equivalence. Given a G-mixing pair (H , G ) and a subgroup H of G with inclusion homomorphism i: H → G we let (i∗H , i∗G ) be the H-mixing pair with i∗H V consisting of the subgroups V ∗ V of H × OV obtained by intersecting members of H with H × OV . Similarly i G V consists of the subgroups of H × OV obtained by intersecting members of G with H × OV . Lemma 2.6.16. Given a G-mixing pair (H , G ) and a subgroup H of G with inclusion homomorphism i: H → G the functor i∗ : GOT → HOT is a right Quillen functor of level mixed model structures with respect to (H , G ) and (i∗H , i∗G ) respectively. Hence, the adjoint functor G+∧H − is a left Quillen functor, and in particular, G+∧H − takes GIi∗G -coﬁbrations to GIG -coﬁbrations. Proof. This is a direct consequence of Lemma 1.3.16.

50 Chapter 3

Stable Structures

In Chapter 2 we constructed mixed level model structures for orthogonal spectra, and in this chapter we localize to obtain the promised S-model structure. The S-equivalences are the stable equivalences detected by stable homotopy groups and the S-cofibrations we already know from the positive level S-structure of Example 2.6.12. This should be compared with the Quillen equivalent, but more classical q-model structure developed by Mandell and May. When we eventually move on to looking at the equivariant structure of smash powers, the S-model structure will be much more convenient. Still, it is useful to compare the two model structures since the q-cofibrant objects are built out of free G-spectra only and hence are in some respects much better behaved. Also, since all S-fibrant spectra are q-fibrant, all results about the latter hold for the former. We end the chapter with some brief remarks about algebraic structure, but we postpone the most interesting case, namely case of commutative orthogonal G-ring spectra, since this relies on some results about smash products fitting later in our narrative.

3.1 Stable Equivalences

In this section we work with a ﬁxed H –model structure M as in Theorem 2.5.5, satisfying the pushout product axiom.

Deﬁnition 3.1.1. Given an Euclidean space V and a subgroup P of G × OV , we deﬁne the G × OV -space P V S := (G × OV )+ ∧P S . Here P acts on SV through the projection to O . Let e V P λP : GV S → S be the adjoint to action map e

P V V S = (G × OV )+ ∧P S → S = SV .

e 51 CHAPTER 3. STABLE STRUCTURES

Given an orthogonal G-spectrum X, we let

X P λP : GV S ∧ X → X ∼ be the composition of λP ∧ X and the structuree isomorphism S ∧ X = X.

X Note that for X of the form X = GW C for C a G × OW -space, the map λP is the composition of the isomorphism

P ∼ P GV S ∧ GW C = GV ⊕W (OV ⊕W + ∧OV ×OW S ∧ C) of Proposition 2.3.4 ande a map of the form e

P GV ⊕W (OV ⊕W + ∧OV ×OW S ∧ C) → GW (C).

Using a shear map, we obtain an isomorphisme of (G × OV )-spaces

P V V S = (G × OV )+ ∧P S =∼ (G × OV )/P+ ∧ S , (g, A) ∧ x 7→ (g, A) ∧ Ax

V where eG × OV acts on S through the projection to OV .

Remark 3.1.2. In the situation where the projection pr1 : P → G is an isomorphism, we P can interpret the G×OV -space S as follows: let ϕ: G → OV be the composition of the inverse of pr1 : P → G, the inclusion of P in G × OV and the projection pr2 : G × OV → OV . Let OV (P ) be the space OVe with G × OV acting via multiplication by elements of OV from the left and action from the right by the inverse of the elements of G. There is V ∼ V (P ) an isomorphism (G×OV )+ ∧P S = OV (P )+∧S , of G×OV -spaces taking an element V V −1 of (G × OV )+ ∧P S represented by (g, α) ∧ x ∈ (G × OV )+ ∧ S to αϕ(g ) ∧ ϕ(g)x ∈ V P V (P ) OV ∧ S . In Example 2.2.3 the orthogonal G-spectrum GV S is denoted FV S and V (P ) W in [MM] it is denoted FV (P )S , or FW S for W any representation of G. e Deﬁnition 3.1.3. Let P be a subgroup of G × OV and let X be an orthogonal G- spectrum.

(i) The negative P -shifted V -loop spectrum of X is the orthogonal G-spectrum

P RP X := homOT (GV S , X)

(ii) The positive P -shifted V -loop spectrum of X is thee orthogonal G-spectrum

P R+P X := GV S ∧ X

Deﬁnition 3.1.4. An orthogonal G-spectrum Xe is an M -Ω-spectrum if it is ﬁbrant V in the level M -model structure and for every subgroup P of G × OV in H with P pr1(P ) = G, the map homOT (λP , X): X → RP X induced by λP : GV S → S is a level M -equivalence. e 52 3.1. STABLE EQUIVALENCES

Definition 3.1.5. A morphism f : X → Y of cofibrant G-orthogonal spectra in the level M -model structure is an M -stable equivalence if for every M -Ω spectrum E, the map GOT (f, E): GOT (Y, E) → GOT (X, E) is an weak equivalence in T . More generally, a morphism of arbitrary orthogonal G-spectra is an M -stable equivalence if the induced map of cofibrant replacements is an M -stable equivalence.

The proof of [MMSS, 8.11] gives the following result.

Lemma 3.1.6. Every M -stable equivalence between M -Ω-spectra is a level M -equivalence.

The proof of [MM, III.3.4.] gives the following result.

Lemma 3.1.7. Let F be the G-typical family of representations consisting of all trivial G-representations in H . A morphism between M -Ω-spectra is a level H -equivalence if and only if it is a level F -equivalence. H X Proposition 3.1.8. If P is in with pr1 : P → G an isomorphism, then λP is an M -stable equivalence for every coﬁbrant spectrum X in the level M -model structure.

Proof. We have to show that for all M -Ω-spectra E the map

X GOT (λP , E)= GOT (X, homOT (λP , E)) is a weak equivalence. However homOT (λP , E) is a level equivalence of level ﬁbrant objects. Since X is coﬁbrant, the map GOT (X, homOT (λP , E)) is a weak equivalence.

Deﬁnition 3.1.9. Let V be an Euclidean space, let P be a subgroup of G × OV such that pr1 : P → G is an isomorphism and let X be an orthogonal G-spectrum. (i) The P -loop spectrum of X is the orthogonal G-spectrum

P V (P ) Ω X := homOT (G0S , X).

(ii) The P -suspension spectrum of X is the orthogonal G-spectrum

P V (P ) Σ X := G0S ∧ X.

Note that the category of orthogonal G-spectra is enriched over the category of G- spaces, and that ΣP X = SV (P ) ⊗ X is the tensor of SV (P ) and X, and that ΩP X is the cotensor of SV (P ) and X. Since the M -level model structures on the category of orthogonal G-spectra is a GT -model structure we can conclude that (ΣP , ΩP ) is a Quillen adjoint pair of endofunctors of the category of orthogonal G-spectra.

Lemma 3.1.10. A map f : X → Y of orthogonal G-spectra is an M -stable equivalence if and only if for every M -Ω spectrum E, the induced map f ∗ : [Y, E] → [X, E] of morphism sets in the level M -homotopy category is a bijection.

53 CHAPTER 3. STABLE STRUCTURES

Proof. One direction is easy since for M -level cofibrant Y and fibrant E, we have that [Y, E] is the set of components of GOT (Y, E). Conversely, suppose that for every M -Ω spectrum E, the induced map f ∗ : [Y, E] → [X, E] of morphisms sets in the level M - homotopy category is a bijection. Since M -level equivalences are M -stable equivalences we may without loss of generality assume that X and Y are cofibrant in the level M - model structure. Given an M -Ω spectrum E′ we show that the map

′ ′ ′ homOT (f, E ): homOT (Y, E ) → homOT (X, E ) is a level equivalence. Since X and Y and coﬁbrant, this implies by evaluating at level 0 and taking G-ﬁxed points that

GOT (f, E′): GOT (Y, E′) → GOT (X, E′)

′ is a weak equivalence. In order to show that homOT (f, E ) is a level equivalence, it suffices to show that for every source or target C of a generating cofibration for the level ′ M -model structure, the morphism [C, homOT (f, E )] in the level M -homotopy category ′ is an isomorphism. However, this map is isomorphic to the adjoint [f, homOT (C, E )], ′ and since C is cofibrant, the spectrum homOT (C, E ) is an M -Ω-spectrum.

V Lemma 3.1.11. Let V be an Euclidean space. For every member P of H the G×OV - space (G × OV /P )+ is coﬁbrant in the MV -model structure.

Proof. Since the isotropy groups of the G × OV -CW-complex (G × OV /P )+ are subconjugate to P it is cofibrant in the mixed (H V , H V )-model structure. By part (iv) of Definition 2.5.1 this implies that it is cofibrant in the MV -model structure.

V P Corollary 3.1.12. If P ∈ H , then S is coﬁbrant in MV .

Deﬁnition 3.1.13. Let P be a subgroupe of G × OV such that pr1 : P → G is an isomorphism and let X be an orthogonal G-spectrum. (i) The negative P -shift of X is the orthogonal G-spectrum

s−P X := homOT (GV (G × OV /P )+, X)

(ii) The positive P -shift of X is the orthogonal G-spectrum

s+P X := GV (G × OV /P )+ ∧ X

Lemma 3.1.14. Let P be a subgroup of G×OV such that pr1 : P → G is an isomorphism and let X be an orthogonal G-spectrum. (i) There are isomorphisms

∼ O ∼ s−P X = hom T (GV OV (P )+, X) and s+P X = GV OV (P )+ ∧ X. ∼ In particular (s−P X)W = XW ⊕V (P ).

54 3.1. STABLE EQUIVALENCES

(ii) The P -shifted V -loop spectrum RP X (cf. Deﬁnition 3.1.3) is naturally G isomor- P P phic to both Ω s−P X and s−P Ω X. ∼ Proof. Part (i) is a consequence of the isomorphism G × OV /P = OV (P ) from Equa- tion 2.4.3. Part (ii) is a direct consequence of the isomorphisms P ∼ V (P ) ∼ V (P ) S = S ∧ OV (P )+ = OV (P )+ ∧ S .

e Lemma 3.1.15. For every G-typical family of representations H and every subgroup H H P of G × OV in with pr1(P )= G, the functor RP preserves level -equivalences. H H P Proof. This is a consequence of the fact that in the level ( , )-model structure GV S is cofibrant and every object is fibrant. e Proposition 3.1.16. Let X be a level M -fibrant orthogonal G-spectrum. If P ∈ H with M pr1(P )= G, then the map i = homOT (λP , X): X → RP X is an -stable equivalence.

Proof. If E is an M -Ω-spectrum, that is, i: E → RP E is a level M -equivalence, then so is and RP E. Let X be an M -level ﬁbrant orthogonal G-spectrum. There is a commutative diagram of morphism sets in the level M -homotopy category:

i∗ [X, E] / [X,RP E] O ❖ O ❖❖ R ∗ ❖❖ P ∗ i ❖❖❖ i ❖❖❖ i∗ ' [RP X, E] / [RP X,RP E], where both of the functions labeled i∗ are bijections. It follows that

RP : [X, E] → [RP X,RP E] is a bijection. Hence ∗ i : [RP X, E] → [X, E] is a bijection. Now we apply Lemma 3.1.10. H V Corollary 3.1.17. If P is in and pr1 : P → G is an isomorphism, then for every orthogonal G-spectrum X, the map i = homOT (λP , X): X → RP X is an M -stable equivalence. Proof. Let X → Y be a level M -equivalence with Y level M -ﬁbrant. Thus X → Y is a level H -equivalence, and by Lemma 3.1.15 the morphism RP X → RP Y is also a level H -equivalence. Since level H -equivalences are stable M -equivalences the result is a consequence of Y → RP Y being an M -stable equivalence by Proposition 3.1.16 and the commutative square X / RP X

≃ ≃ ∼ Y / RP Y.

55 CHAPTER 3. STABLE STRUCTURES

3.2 Homotopy Groups

We ﬁx a G-typical family of representations H and an H -model structure M . The following paragraphs paves the way for Deﬁnition 3.2.1 of the T -functor

op λG : (GL) → GOT =∼ OGT whose value at an object V ofe GL is the functor λG(V ): O → GT taking an Euclidean V space W to the G-space λG(V )W = O(V,W ) ∧ S with G acting diagonally on O(V,W ) and SV . e Recall from Deﬁnitione 2.1.3 the untwisting G-isomorphism

V W τV,W : O(V,W ) ∧ S → L(V,W ) ∧ S taking an element in O(V,W ) ∧ SV of the form (f : V → W, w ∈ f(V )⊥, v ∈ V ) to the W element (f, w + f(v)) in L(V,W ) ∧ S . The functoriality of λG is described via a T - op V functor l : (GL) ∧O → GT deﬁned on objects by l(V,W )= λG(V )W = O(V,W )∧S . The map e

e ′ l : (GL)op(V,V ′) ∧ O(W, W ′) → GT (O(V,W ) ∧ SV , O(V ′,W ′) ∧ SV ) is adjoint to the G-map

′ GL(V ′,V ) ∧ O(W, W ′) ∧ O(V,W ) ∧ SV → O(V ′,W ′) ∧ SV given as the composition

GL(V ′,V ) ∧ O(W, W ′) ∧ O(V,W ) ∧ SV → GL(V ′,V ) ∧ O(V,W ′) ∧ SV ′ → GL(V ′,V ) ∧ L(V,W ′) ∧ SW ′ → L(V ′,W ′) ∧ SW ′ → O(V ′,W ′) ∧ SV , where the ﬁrst map is induced by composition in O, the second map is induced by the untwisting map τV,W ′ , the third map is induced by composition in L and the last map is the inverse of τV ′,W ′ . Given

f ∧ (g,x) ∧ (h, y) ∧ z ∈ GL(V ′,V ) ∧ O(W, W ′) ∧ O(V,W ) ∧ SV with f : V ′ → V , g : W → W ′ and h: V → W embeddings and with x ∈ W ′ in the orthogonal complement of g(W ), y ∈ W in the orthogonal complement of h(V ) and z ∈ V we have l(f ∧ (g,x) ∧ (h, y) ∧ z) = (ghf, w) ∧ v, where v ∈ V ′ and w ∈ W ′ are uniquely determined by requiring ghf(v)+w = x+gy+ghz. It is a consequence of Lemma 2.1.5 that this deﬁnes a functor l : (GL)op ∧ O → GT .

56 3.2. HOMOTOPY GROUPS

Deﬁnition 3.2.1. We write

op λ = λG : (GL) → GOT

op for the functor adjoint to the l :e (GLe) ∧ O → GT defined in the preceding paragraph. P This functor is closely related to the functor λP : GV S → S of Definition 3.1.1. H V Lemma 3.2.2. If P ∈ has pr1 P = G, then λP = λeG(0 → V (P )). H V H We say that an element P in is -irreducible if pr1 : P → G is an isomorphism e ′ and P is not of the form Q ⊕ R for Q ∈ H W and R ∈ H W with both W and W ′ non-zero Euclidean spaces. Observe that if V is a non-zero Euclidean space, then every member of H V is a direct sum of H -irreducible elements of H . Let B be a set containing one representative for each conjugacy class of H -irreducible elements of H . We write B∗ for the free monoid on the set B. Given two words ′ ′ ′ ∗ ′ b = P1 ...Pm and b = P1 ...Pn in B , we write b ≤ b if there is an increasing sequence i < · · · < i such that P = P ′ for j = 1,...,m, that is, if b can be obtained from b′ 1 m j ij by removing some letters. This is a partial order, and we consider B∗ = (B∗, ≤) as a category. ∗ ∗ op The morphisms λb for b ∈ B give us a functor λB : (B ) → GOT taking b = P ...P to λ (b)= m G SPi . Consider the free commutative monoid N{B} as a 1 m B i=1 V (Pi) filtered partially ordered set with n b ≤ m b if and only if n ≤ m for all b ∈ B. V b b b b Choosing a total order on B, theree is an order-preserving function N{B} → B∗ taking P n1 P nr n1P1 + ...nrPr with P1 < · · · < Pr to P1 ...Pr . Given b = n1P1 + ...nrPr ∈ N{B} ⊕n1 ⊕nr b with P1 < · · · < Pr we define V (b) = V (P1) ⊕···⊕ V (Pr) , and we define Ω = (ΩPr )◦nr ◦···◦ (ΩP1 )◦n1

op Definition 3.2.3. The functor λB : N{B} → GOT is the composition of the functors op ∗ op ∗ ∗ op N{B} → (B ) and λB : (B ) → GOT . Definition 3.2.4. Let X be an othogonal G-spectrum. If V is an Euclidean space we consider the homotopy colimit of G-spaces ∼ b (QH X)V = hocolim homOT (λB(b), X)V = hocolim Ω XV (b)⊕V b∈N{B} b∈N{B} and let QH X denote the resulting orthogonal G-spectrum. The spectrum QX is the fibrant replacement of QH X in the level M -model structure.

Lemma 3.2.5. Inclusion of X =∼ homOT (λB(0), X) in the homotopy colimit deﬁning QX gives a natural map X → QX which is an M -stable equivalence.

Proof. Let X be a cofibrant replacement of the functor b 7→ homOT (λB(b), X) in the model structure on the category of N{B}-diagrams in the level M -model structure on ′ GOT . In particular,e given a morphism β : b → b′ in N{B}, the map Xβ : Xb → Xb is a b map between cofibrant objects and hocolimb∈N{B} X is a cofibrant replacement of QX. e e e e 57 CHAPTER 3. STABLE STRUCTURES

Let E be an M -Ω-spectrum (Deﬁnition 3.1.4) and let β : b → b′ be a morphism in N{B}. By Corollary 3.1.17 the map Xβ is an M -stable equivalence. Given an Euclidean H V space V and P in , the G-orthogonal spectrum GV (G × OV /P+) is coﬁbrant in the level M -model structure, and thus e

β P ∼ β homOT (X , E)V = GOT (GV (G × OV /P+) ∧ X , E) β M is a weak equivalence. Thate is, homOT (X , E) is a level -equivalence.e Now, since β hocolimβ∈N{B} X is a coﬁbrant replacement of QX, the isomorphism e β β e homOT (hocolim X , E) =∼ holim homOT (X , E) β∈N{B} β∈N{B}op

β e e shows that X → hocolimβ∈N{B} X is an M -stable equivalence.

Proposition 3.2.6. For every orthogonale G-spectrum X, the orthogonal G-spectrum QX is an M -Ω-spectrum. H Proof. It suﬃces to show that for every P ∈ with pr1 : P → G an isomorphism the map homOT (λP , QX): QX → RP QX is a level M -equivalence. Since spheres are compact, the canonical map RP QX → QRP X is a level M -equivalence. Thus it suﬃces to show that the map

Q homOT (λP , X): QX → QRP X

b is a level M -equivalence. Given b in N{B}, we write X = homOT (λB(b), X), and given β a morphism β in N{B}, we let X = homOT (λB(β), X). We have to show for every W Euclidean space W the map iX : X → RP X induces a H -equivalence

b b hocolim XW → hocolim(RP X)W . b∈N{B} b∈N{B}

∼ k Choose an isomorphism V (P ) = i=1 Vpi for some not necessarily distinct p1,...,pk ∈ B and let p = k p ∈ N{B}. We let N{P } ⊆ N{B} be the partially ordered subset i=1 i L consisting of elements of the form np for n ∈ N, and we let B ⊆ B be the complement of P P {p1,...,pk} in B. The sum in N{B} induces a coﬁnal inclusion N{P }×N{BP }→ N{B} of partially ordered sets. Therefore it suﬃces to show that the map iX : X → RP X induces an H W -equivalence

np np hocolim X → hocolim(RP X) . n∈N W n∈N W

We thus have to show that for every k ≥ 0 and every Q in H W (and for all choices of np Q base point in (hocolimn∈N XW ) ), the homomorphism

np Q np Q πk(hocolim X ) → πk(hocolim(RP X) ) n∈N W n∈N W

58 3.2. HOMOTOPY GROUPS

k is an isomorphism. By compactness of S ∧ (G × OW /Q)+, this is an isomorphism if and only if the homomorphism

np Q np Q colim πk(X ) → colim πk((RP X) ) n∈N W n∈N W is an isomorphism. We consider diagrams of the form

np iXnp np X / RP X 5 ❥❥❥❥ (i )np ❥❥❥ R (i )np X ❥❥❥❥ P X ❥❥❥❥ np np (RP X) / RP (RP X) , i np (RP X)

P where the diagonal arrow is induced by the morphism shifting a factor of GV S from the front to the back. The outer square in the above diagram commutes, as does the upper triangle, but the lower triangle does not. However, by Schur’s Lemma, the space GL(V (P ),V (P ) ⊕ V (P )) is path connected, so the lower triangle commutes up to homotopy. From the commutative diagram

np Q iXnp np Q πk(XW ) / πk(RP XW ) ✐✐✐4 np ✐✐✐ np (iX ) ✐✐✐ RP (iX ) ✐✐✐✐ ✐✐✐✐ np Q np Q πk((RP X) ) / πk(RP (RP X) ) , W i np W (RP X) we conclude that the homomorphisms

np Q np Q colim πk(X ) → colim πk((RP X) ) n∈N W n∈N W

np Q are isomorphisms. (For all choices of base point in one of the spaces (XW ) .) Corollary 3.2.7. A map X → Y of orthogonal G-spectra is an M -stable equivalence if and only if QX → QY is a level M -equivalence. Proof. If X → Y is an M -stable equivalence, then by Lemma 3.2.5 and Proposition 3.2.6 the induced map QX → QY is a stable equivalence of M -Ω-spectra, and by Lemma 3.1.6 it is a level M -equivalence. Conversely, if QX → QY is a level M -equivalence, then it is also a stable equivalence, and X → Y is an M -stable equivalence by Lemma 3.2.5.

Corollary 3.2.8. All H -model categories M have the same class of stable M -equivalences as the (H , H )-model structure, where H is the closure of H (c.f. Deﬁni- tion 2.4.13). In particular, the class of M -stable equivalences only depends on H . Proof. Let B be a set containing one representative for each conjugacy class of H - irreducible elements of H . Then N{B} is coﬁnal in N{B}, so for every Euclidean space V , the canonical map QH X → QH X is a level H -equivalence, and these are both level M -equivalent to QX.

59 CHAPTER 3. STABLE STRUCTURES

In view of the above result, we say that a morphism of orthogonal G-spectra is an H - stable equivalence if it is a M -stable equivalence for some (and hence every) H -model structure M .

Corollary 3.2.9. If X → Y → Z is a ﬁbration sequence in the level (H , H )-model structure, then so is QX → QY → QZ.

Proof. Let b ∈ N{B}. If X → Y → Z is a ﬁbration sequence in the level (H , H )- model structure, then so is the sequence homOT (λB(b), X) → homOT (λB(b),Y ) → homOT (λB(b),Z). From [HirH, Theorem 14.19] we conclude that QX → QY → QZ is a ﬁbration sequence in the level (H , H )-model structure.

Definition 3.2.10. Let k be an integer, let X be an orthogonal G-spectrum and let H H H be a subgroup of G. The homotopy group πk (X, ) is defined as the following abelian group H H H πk(QX)0 k ≥ 0 πk (X, ) := H (π0(QX)Rk k< 0, where the fibrant replacement Q is with respect to the (H , H )-structure.

By compactness, there are isomorphisms

colim π (ΩVb X )H k ≥ 0 H H ∼ b∈N{B} k Vb πk (X, ) = V H b k (colimb∈N{B} π0(Ω XVb⊕R ) k< 0.

Proposition 3.2.11. A map f : X → Y of orthogonal G-spectra is an H -stable equiv- H H alence if and only if the induced homomorphism πk (f, ) is an isomorphism for every subgroup H of G and for every integer k.

Proof. Let F be the G-typical family of representations consisting of the trivial G- H H H representations in . If the induced homomorphism πk (f, ) is an isomorphism for every subgroup H of G and for every integer k, then the map Qf : QX → QY a level F -equivalence. Since it is a map of M -Ω-spectra, Lemma 3.1.7 implies that it is a level M -equivalence. Thus f is an M -stable equivalence. Conversely, if f is an M -stable equivalence, then Qf is an level M -equivalence, and F H H also a level -equivalence. Thus the induced homomorphism πk (f, ) is an isomorphism for every subgroup H of G and for every integer k.

U n Remark 3.2.12. The inﬁnite dimensional G-representation = colimn∈N b∈B Vb is a universe of G-representations in the sense of Mandell and May who deﬁne equivariant L stable homotopy groups as follows:

U H H U colimU⊆U πk(Ω XU ) k ≥ 0 πk (X, )= U H (colimU⊆U π0(Ω XU⊕Rk ) k< 0.

60 3.2. HOMOTOPY GROUPS

Here the colimits are taken over the partially ordered set of finite dimensional represen- U H H tations in . Since N{B} is cofinal in this partially ordered set, the groups πk (X, ) H U and πk (X, ) are isomorphic. If i: H → G is the inclusion of a subgroup, then by part (iv) of Definition 2.4.7, the H H H ∗ ∗H groups πk (X, ) and πk (i X, i ) are isomorphic. We could have used the universe U in the construction of QX. Working with N{B} we are keeping our presentation close to the one of [MMSS]. Most of the following crucial result is taken directly from [MMSS, Theorem 7.4].

Theorem 3.2.13. Let H be a G-typical family of representations.

(i) For every G-CW complex A, the functor −∧ A preserves H -stable equivalences of orthogonal G-spectra.

(ii) A morphism f of orthogonal G-spectra is an H -stable equivalence if and only if its suspension Σf is an H -stable equivalence. Moreover, the natural map η : X → ΩV ΣV X is an H -stable equivalence for all orthogonal G-spectra X for all V in H .

(iii) The homotopy groups of a wedge of orthogonal G-spectra are the direct sums of the homotopy groups of the wedge summands, hence a wedge of H -stable equivalences is an H -stable equivalences.

(iv) Cobase changes of maps that are H -stable equivalences and levelwise Hurewicz coﬁbrations are H -stable equivalences.

(v) The generalized cobase change and cube lemmas (7.7.4,7.7.6) hold for all orthogonal G-spectra, levelwise Hurewicz coﬁbrations and H -stable equivalences.

(vi) If X is the colimit of a sequence of Hurewicz coﬁbrations Xn → Xn+1, each of which is an H -stable equivalence, then the map from the initial term X0 into X is an H -stable equivalence.

(vii) For every morphism f : X → Y of orthogonal G-spectra, there are natural long exact sequences

H H H H H H H H ···→ πk (F f, ) → πk (X, ) → πk (Y, ) → πk−1(F f, ) →···

and

H H H H H H H H ···→ πk (X, ) → πk (Y, ) → πk (Cf, ) → πk−1(X, ) →··· ,

where Ff and Cf denote the levelwise homotopy fiber and cofiber of f, that is, in each level it is given be the homotopy fiber and cofiber. The natural map Ff → ΩCf is an H -stable equivalence.

61 CHAPTER 3. STABLE STRUCTURES

Proof. Part (i) is [MM, Theorem III.3.11]. For part (ii), note that a map f induced an isomorphism on homotopy groups if and only Ωf is so. Thus f is an H -stable equivalence if and only if Ωf is so. Now, the arguments used in the proof of Proposition 3.2.6 give the statements of (ii). For the rest of the statements, the arguments in the proof of [MMSS, Theorem 7.4] carry over to our situation.

Corollary 3.2.14. Let V be a Euclidean space and let P ∈ H V . A map f : X → Y is an H -stable equivalence if and only if its V (P )-suspension ΣV (P )f :ΣV (P )X → ΣV (P )Y is an H -stable equivalence.

Proof. Note that SV (P ) is a G-CW-complex. Thus (i) of Theorem 3.2.13 implies that is f is an H -stable equivalence, then so is ΣV (P )f. Conversely, if ΣV (P )f is an H -stable equivalence, then so is ΩV (P )ΣV (P )f. Now use (ii) of Theorem 3.2.13.

Corollary 3.2.15. Let H be a G-typical family of representations satisfying the pushout product axiom and let M be an H -model structure (see Deﬁnition 2.5.3). Consider a pull-back diagram of the form f A −−−−→ B

i j   X −−−−→ Y. y g y If j is a level M -ﬁbration and g is an H -stable equivalence, then f is an H -stable equivalence.

Proof. The map F i → F j induced by f from the fiber of i to the fiber of j is an isomorphism. From Theorem 3.2.13 (vii) we obtain a morphism of long exact fibra- H H tion sequences of homotopy groups πk (−, ) for all subgroups H of G. Applying the H H H H H H five lemma we see that the homomorphism πk (f, ): πk (A, ) → πk (B, ) is an isomorphism for all H and k. Now Proposition 3.2.11 implies that f is an H -stable equivalence.

3.3 The Stable Model Structure

In this section we give the various flavors of equivariant stable structures. As before, there is considerable freedom in the choice of structure, but for much of what we are going to do, the by far most important instance is the S-model structure of Definition 3.3.12, which builds on the positive mixing pair (AI+, A ℓℓ+) of Example 2.6.8. Let M be an H -model structure, see Definition 2.5.1 and Theorem 2.5.5. Remark 3.3.1. In the case where M is the (H , G )-structure as in Definition 2.6.11 with H closed under conjugation, we have by Corollary 3.2.8 that the stable equivalences of the model structure we give in Theorem 3.3.10 only depend on H and by Lemma 2.6.13 the cofibrations only depend on G .

62 3.3. THE STABLE MODEL STRUCTURE

Classically, the stable model structures were built upon a concept of a universe of representations. A choice of universe was needed in order to define the stable equivalences and is mirrored in our choice of H , but was baked into the very category of spectra under considerations. However, in our setting, the underlying category of orthogonal G-spectra is independent of such choices, and the fact that the cofibrations only depend on G can be stated as the cofibrations not being dependent on the “choice of universe” and is a novel and very convenient feature of our approach. Definition 3.3.2. Let f : X → Y be a map of orthogonal G-spectra. We say that f is: (i) a stable M -acyclic cofibration if it is an H -stable equivalence and a level M - cofibration; (ii) an M -stable fibration if it satisfies the right lifting property with respect to stably M -acyclic cofibrations; (iii) a stable M -acyclic fibration if it is an H -stable equivalence and a level M - fibration.

Recall from Definition 2.5.4 that the level M -model structure has the set GIM of generating cofibrations and the set GJM of generating acyclic cofibrations. Also, recall X the map λP of Definition 3.1.1. Definition 3.3.3. We let S(M ) be the set consisting of the morphisms X P G/H+ ∧ λP : G/H+ ∧ GV S ∧ X → G/H+ ∧ X, where H is a subgroup of G, where P ∈ H V for some V ∈ O and where X = G C for e W C a cofibrant replacement of either a source or a target of a generating cofibration in one of the categories MW . Definition 3.3.4. Given λ in S(M ), let Mλ be the mapping cylinder of λ. Then λ factors as the composite of a level M -cofibration P kλ : GV ⊕W (OV ⊕W + ∧OV ×OW S ∧ C) → Mλ and a deformation retraction e rλ : Mλ → GW (C).

Let Kλ be the set of maps of the form kλi, where i is a generating cofibration for T . Let KM be the union of GJM and the sets Kλ for λ ∈ S(M ). Definition 3.3.5. An S(M )-fibration is a level M -fibration, say g : Z → W , of orthogonal G-spectra with the property that for every morphism λ: A → B of S(M ), the square g∗ GOT (B,Z) / GOT (B,W )

λ∗ λ∗

g∗ GOT (A, Z) / GOT (A, W ) is a homotopy pullback square in T .

63 CHAPTER 3. STABLE STRUCTURES

Example 3.3.6. Let us take a look at the S(M )-ﬁbrations in the situation of Proposi- tion 2.6.10, where M is the level (H , G )-model structure for a G-mixing pair (H , G ). The set GIM = GIG of generating coﬁbrations consists of maps of the form

GV (i ∧ (G × OV )/P+) n−1 n G V for i: S+ → D+ a generating cofibration for T and P a member of . Since we work with model categories enriched over T , the S(M )-fibrations do not change if replace G C M V 1 S( ) by the set of maps of the form λW , where C is a transitive (G × OV )-spaces V of the form (G × OV )/P+ for P ∈ G . In this situation we write KG ,H for the set KM of generating stably acyclic cofibrations. The arguments proving [MMSS, Proposition 9.5] give: Proposition 3.3.7. A map p: E → B of orthogonal G-spectra satisfies the right lifting property with respect to KM if and only if it is an S(M )-fibration.

Corollary 3.3.8. The map F → ∗ satisfies the right lifting property with respect to KM if and only if F is an M -Ω-spectrum. Corollary 3.3.9. If p: E → B is an H -stable equivalence that satisfies the right lifting property with respect to KM , then p is a both a level H -equivalence and a level M - fibration. Proof. Since GJ is contained in K, we only need to prove that p is a level H -equivalence. Let F = p−1(∗) be the fiber over the base point. Since p satisfies the right lifting property with respect to K, so does the map F → ∗, and thus by Corollary 3.3.8 the orthogonal G-spectrum F is an M -Ω-spectrum. Since p is an H -stable equivalence, the corollaries 3.2.9 and 3.2.7 imply that F → ∗ is also an H -stable equivalence. By the level long exact sequences of homotopy groups, for each pV : EV → BV and each P in H V P and each k ≥ 1, the group homomorphism πk (pV ) is an isomorphism. To see that P P H π0 (pV ) is a bijection, note that π0 (pV )= π0 (pV (P )) for a subgroup H = pr1(P ) of G. By part (iv) of Definition 2.4.7 we may assume that pr1(P ) = G. By part (iii) of Definition 2.4.7 we may choose a Euclidean space W and Q ∈ H W so that V (Q) is a trivial representation of G. The homotopy pullback diagram of Definition 3.3.5 G e SP associated to the map λ = λQ is of the form

pV (P ) EV (P ) / BV (P )

λ∗ λ∗ ΩV (Q)p V (Q) V (P )⊕V (Q) V (Q) Ω EV (P )⊕V (Q) / Ω BV (P )⊕V (Q).

V (Q) The map Ω pV (P )⊕V (Q) depends only on base point components and is a weak equivalence of G-spaces. Therefore pV (P ) is a weak equivalence of G-spaces. In particular it is a weak equivalence of H-spaces and H V -equivalence as required.

1MORTEN 66. This seems like nonsense/tyoo. What do you want?

64 3.3. THE STABLE MODEL STRUCTURE

Most of the following crucial result is taken directly from [MMSS, Theorem 7.4].

Theorem 3.3.10. The category GOT of orthogonal G-spectra is a cofibrantly generated proper G-topological model category with respect to the H -stable equivalences, M -stable fibrations and level M -cofibrations.

Remark 3.3.11. Actually it is a compactly generated model category, and thus also cellular. In the main part of this paper we work with the following S-model structure taken from Shipley’s paper [Sh04]. Recall the positive mixing pair (H , G ) = (AI+, A ℓℓ+) of A V Example 2.6.8. For V 6= 0, the family ℓℓ+ consists of all subgroups of G × OV , and AI V + consists of the subgroups P of G × OV with the property that pr1 : P → G is A V AI V 2 injective. When V = 0, the families ℓℓ+ and + are empty. Definition 3.3.12 (The S-model structure). The S-model structure on GOT is the model category obtained in Theorem 3.3.10 from the positive mixing pair (AI+, A ℓℓ+) of Example 2.6.8. We call the cofibrations and fibrations in this model structure S-cofibrations and S-fibrations respectively. Moreover we use the notation SI = GIG and SJ = GKH ,G for the sets of generating cofibrations and generating acyclic cofibrations respectively for this model structure. In the S-module structure, we write stable equivalence or equivalently (in view of Proposition 3.2.11) π∗-isomorphism instead of H -stable equivalence. Remark 3.3.13. The S-model structure has more cofibrations than what was called the “positive S-model structure” in the last author’s thesis. There positive dimensional representations with trivial fixed point space where excluded when picking out the generating cofibrations. In the current indexing scheme (using semi-free spectra indexed by inner product spaces) these play no special rôle, and the “positive” aspect (critical for dealing with symmetric powers as, for instance, in Lemma 5.4.2) is handled simply by excluding the zero dimensional inner product space.

Lemma 3.3.14. If P is a G-representation in H , then the endofunctors s+P and s−P of GOT from Lemma 3.1.14 form a Quillen adjoint pair with respect to the stable M -model structure.

Proof. The functors s+P and s−P form a Quillen adjoint pair with respect to the level M X -model structure. Therefore it suffices to show that s+P (λQ ) is a stable equivalence for X M X all elements λQ of S( ). However Y = GV (G×OV /P )+ ∧X is cofibrant and s+P (λQ )= Y X λQ, so by Proposition 3.1.8 the morphism s+P (λQ ) is a stable equivalence. Lemma 3.3.15. For every cofibrant G-space A, the endofunctor X 7→ A ∧ X is a left Quillen functor on GOT with respect to both the level M -model structure and the M - stable model structure. 2remember to change the H and G to specifics

65 CHAPTER 3. STABLE STRUCTURES

∼ C ∼ A∧C Proof. Use the isomorphisms A ∧ GV (f) = GV (A ∧ f) and A ∧ λP = λP together with Proposition 3.1.8 and the assumption that MV is a GT -model structure. H V Theorem 3.3.16. Let V be an Euclidean space and let P ∈ with pr1 : P → G an V V isomorphism. The pairs (s+P ,s−P ) and (Σ , Ω ) are Quillen equivalences of GOT in the M -stable model structure. Proof. By deﬁnition, for every M -Ω-spectrum E, the map

homOT (λP , E): E → RP E is a level equivalence. In particular it is a stable equivalence, and thus the right derived functor of RP is naturally isomorphic to the identity. Since by Lemma 3.1.14 RP =∼ V V V s−P Ω =∼ Ω s−P , the right derived functors of s−P and Ω are inverse equivalences of V categories. Thus both Ω and s−P are right adjoint functors in Quillen equivalences. Corollary 3.3.17. The stable M -model structure is a stable model structure in the sense that the homotopy category is a triangulated category (cf. [H, Chapter 7].)

3.4 Smash Products in the Stable Category of Spectra

In this section we provide a chain of natural stable equivalences between our smash powers and the handicrafted smash powers constructed in the spirit of Bökstedt. The meaning of “natural” is dependent on the context. Smash powers of orthogonal spectra are only functorial with respect to isomorphisms. Smash powers of orthogonal ring spectra are functorial with respect to cyclic orderings and compares with Bökstedt’s original construction, see e.g., [Sh], [PS] and [DMPSW]). Smash powers of commutative orthogonal ring spectra are functorial with respect to all maps of finite sets and the Bökstedt type smash powers are given in [BCD] as homotopy colimits over rather involved indexing categories. Unfortunately [BCD] was phrased in the language of Γ-spaces (which has the deficiency that not all connective orthogonal commutative ring spectra are mod- elled by commutative rings in Γ-spaces, [Law]), and we here compare with the parallel construction performed in orthogonal spectra. The reader should beware that even if the constructions translates directly into orthogonal spectra, the connectivity offered by Γ-spaces was used in some of the proofs of the statements in [BCD], and so the correspondence below only allows us to transport results for the connective case. We focus on the commutative case and provide natural transformations that have full functoriality. On the other hand, the proofs that these natural transformations consist of stable equivalences is undertaken at the underlying spectral level via the following lemmas. Lemma 3.4.1. Let L be an orthogonal spectrum. Then for every V the assembly map

b b hocolim Ω (LV (b)∧S) → {W 7→ hocolim Ω LV (b)⊕W } b∈N{b} b∈N{b} is a level equivalence.

66 3.4. SMASH PRODUCTS IN THE STABLE CATEGORY OF SPECTRA

Proof. Both sides of the assembly map are homotopy functors (in L) and so it is enough to prove the statement for cellular L. Since both functors commute with filtered colimits, it is by induction enough to handle the case where one attaches one cell. Also, both sides send levelwise cofiber sequences to levelwise fiber sequences, so it is enough to prove the lemma for L a single cell L = FU K in which case the map is an isomorphism.

Lemma 3.4.2. If A and B are coﬁbrant spectra in the S-model structure, then the map

V (b)⊕V (b′) hocolim(b,b′)∈N{B}×N{B} Ω (AV (b)∧BV (b′)∧S)

V (b)⊕V (b′) hocolim(b,b′)∈N{B}×N{B} Ω ((A∧B)V (b)⊕V (b′)∧S) induced by the universal property of the smash product is a level equivalence. Likewise for multiple smash factors.

Proof. Since both functors are homotopy functors transforming levelwise coﬁber sequences to levelwise ﬁber sequences it is enough to do the case where A is a cell A = GU ′ K. Likewise we reduce to the case B = GV ′ L. Then

′ ′ W S O O AU ∧BV ∧ W = O(U ,U)∧O(V ,V )∧ U′ × V ′ K∧L∧S whereas ′ ′ W S O O (A∧B)U⊕V ∧ W = O(U ⊕ V ,U ⊕ V )∧ U′ × V ′ K∧L∧S and we show that the map from the former to the latter has connectivity cU,V,W such that cU,V,W − dim(U ⊕ V ⊕ W ) goes to inﬁnity with dim U, dim V and dim W . This can be seeing by using the untwisting map 2.1.3. We can assume W = U ′ ⊕ V ′ ⊕ W ′ and under the untwisting map, the map in question is the map of suspensions

′ ′ ′ O O U V W [(L(U ,U) ×L(V ,V ))+∧ U′ × V ′ (K∧L)]∧S ∧S ∧S

′ ′ ′ O O U V W [L(U ⊕ V ,U ⊕ V )+∧ U′ × V ′ (K∧L)]∧S ∧S ∧S having the desired connectivity since the spaces of linear isometries become highly connected with U and V (remember that U ′ and V ′ are ﬁxed).

We now come to the construction of the natural chain comparing our construction with that of [BCD]. We assume that A is an S-cofibrant commutative orthogonal ring spectrum so that we will end up with having functoriality with respect to all functions of finite sets, leaving the modifications necessary for the cases of spectra (natural wrt. isomorphisms) and associative ring spectra (cyclic structure) aside. Comparing with [BCD] necessitates adopting some of the machinery developed there, and we allow ourselves to use the notation of the Bökstedt-type construction of the smash powers from [BCD].

67 CHAPTER 3. STABLE STRUCTURES

Let T be a finite set and A an S-cofibrant orthogonal ring spectrum. Let I be the skeletal category of finite sets of the form {1,...,n} (n ≥ 0) and injections. The functor I from finite sets to the category of pointed categories assigns to the set T the category T I (T ) = (I )+ (the T -fold product of I to which a base object is added). Let G A H A M A N A I T , T , T , T : (T ) → OT be the functors which to the object i ∈ I T assigns the orthogonal spectra

G A i(t) i(t) V T (i)= {V 7→ T ( S , A(R ) ∧S )} t^∈T t^∈T h i H A i(t) i(t) V T (i)= {V 7→ T ( S , A ( R )∧S )}, " # t^∈T t^∈T Mt∈T M A i(t) i(t) T (i)= {V 7→ T ( S , A ( R ⊕ V ))}, " # t^∈T t^∈T Mt∈T N A T (i)= A t^∈T (the last functor is constant). A G A H A The universal property of T A induces a natural transformation ηT : T → T , A H A M A the assembly map gives us a natural transformation ǫT : T → T and the adjoint to V A N A M A A the identity yields the natural transformation ιT : T → T . By Lemma 3.4.1 ιT is an equivalence. G A Following the recipe of [BCD, 4.3], when varying the ﬁnite set T the functors T , H A M A N A G A H A M A N A T , T and T become left lax transformations , , and from the functor T 7→ I (T ) to the constant functor with value the category of orthogonal spectra A A A A A A (c.f. [BCD, 4.3]) and ηT , ǫT and ιT become modiﬁcations η , ǫ and ι . Let us spell this out for the case of ǫA, since this is the source of much trouble in competing theories where the “last face map” in topological Hochschild homology tends to get disturbed by the suspension coordinate (see e.g., [PS] and [DMPSW]). For φ: S → T we must show that the two two-cells

H A H A I (S) S / OT I (S) S / OT

I H A A (φ) φ ⇓ ǫS ⇓ I (T ) / OT I (S) / OT H A M A T S A I M A ǫT ⇓ (φ) φ ⇓ I (T ) / OT I (T ) / OT M A M A T T are equal. To check this we need to spell out the ingredients. Let i ∈ I (S), W ∈ i(s) i(s) W H A O and f : s∈S S → s∈S A (⊕s∈SR )∧S be an element in S (i)W . Then V V 68 3.4. SMASH PRODUCTS IN THE STABLE CATEGORY OF SPECTRA

H A φ (i)W (f) is deﬁned to be the composite

` − i(s) ` − i(s) S s∈φ 1(t) A ( R s∈φ 1(t) )∧SW t∈T t∈T t∈T V V L =∼ x x    Si(s) A (  Ri(s))∧SW , t∈T s∈φ−1(t) "t∈T s∈φ−1(t) # t∈T s∈φ−1(t) V V V V L L =∼ =∼ x x i(s) f  i(s) W S −−−−→ A (⊕s∈SR )∧S s∈S s∈S V V where the unlabeled isomorphisms are induced by φ. The modiﬁcation ǫA has the eﬀect of post composing with the assembly, so the problem at hand reduces to whether the diagram of assemblies

` i(s) ` i(s) A ( R s∈φ−1(t) )∧SW −−−−→ A ( R s∈φ−1(t) ⊕ W ) t∈T t∈T t∈T t∈T V L V L

x x   A (  Ri(s))∧SW −−−−→ A (  Ri(s) ⊕ W ) "t∈T s∈φ−1(t) # t∈T s∈φ−1(t) "t∈T s∈φ−1(t) # t∈T s∈φ−1(t) V V L L V V L L =∼ =∼ x x  i(s) W  i(s) A (⊕s∈SR )∧S −−−−→ A (⊕s∈SR ⊕ W ) s∈S s∈S V V commutes, which is true since A is a commutative S-algebra. Now, as in [BCD] there is a price to be paid by working with lax transformations and we perform exactly the same operation on the entire string

ηA A A G A −−−−→ H A −−−−→ǫ M A ←−−−−ι N A, G A i.e., in the language of [BCD, 4.4.2] we consider hocolimI˜(S) S ◦ rS, where rS is the canonical map comparing the Street rectification I˜(S) and I (S) and likewise for the other terms using the full functoriality of the homotopy colimit as explained in [BCD, 4.4.2]. We would like to thank Valentin Krasontovitch for pointing out that r = eop ∧ e as defined in [BCD, 4.4.1] does not by itself form a left lax transformation. However, when we compose it with the projection p2, we obtain a left lax transformation. A Lemma 3.4.3. Let A be a cofibrant orthogonal spectrum. Then hocolimI (T ) ηT and A hocolimI (T ) ǫT are stable equivalences. Proof. Combine Lemma 3.4.1 with Lemma 3.4.2.

69 CHAPTER 3. STABLE STRUCTURES

This means that all the maps in the natural (in T ) chain G A ∼ H A ∼ M A ∼ N A hocolim T ◦ rT → hocolim T ◦ rT → hocolim T ◦ rT ← hocolim T ◦ rT I˜(T ) I˜(T ) I˜(T ) I˜(T ) are weak equivalences, where the left hand term is the model for higher Hochschild homology of [BCD] in the setting of orthogonal spectra. N A Ultimately, this means that we can rewrite [BCD] using T everywhere instead of G A T . However, since I has an initial object (the empty set), the homotopy colimit – now N A applied to the constant functor T = t∈T A – are redundant. Consequently we get Theorem 3.4.4. If A is a coﬁbrant commutativeV orthogonal ring spectrum and T is a ﬁnite set there is a chain of natural (in both A and T ) equivalences between T A and the construction of [BCD]. V 3.5 Ring- and Module Spectra

Let us fix a G-mixing pair (H , G ). We use Theorem [SS, 4.1] to lift the (H , G )-model structure to categories of modules and algebras. First we need to verify the monoid axiom. Proposition 3.5.1. Cofibrant spectra in the (H , G )-model structure are flat, in the sense that for any (H , G )-cofibrant spectrum X, the functor X∧− preserves stable equivalences. Proof. Since smashing with any spectrum preserves level Hurewicz cofiber sequences, and by the long exact sequence for homotopy groups (Theorem 3.2.13 (vii)), it suffices to show that if Z is an orthogonal spectrum with π∗(Z) = 0, then also π∗(X∧Z) = 0. Since smashing with Z preserves the cell complex construction, we can further reduce to the case where X is either the source or the target of one of the generating (H , G )- k k cofibrations, i.e., X is of the form GV (G × OV )/P +∧S+ or GV (G × OV )/P +∧D+ for P in G V . Since, for every space K, the spectrum G (G × O )/P ∧K is equal V V + + to G (G × O )/P ∧K and since we know from Theorem 3.2.13 (i) that smashing V V + + with a cofibrant G-space preserves H -stable equivalences it suffices to show that if Z has trivial homotopy groups, then also the spectrum GV (G × OV )/P + ∧Z has trivial homotopy groups. In order to simplify notation, we let GV = G × OV . Recall that

O O GV GV /P + ∧Z V ⊕W = OV ⊕W +∧ V × W GV /P +∧ZW ∼ O = GV ⊕W /P +∧ W ZW , where the structure maps are the composites:

id ∧σ O U O GV ⊕W /P +∧ W ZW ∧S / GV ⊕W /P +∧ W ZW ⊕U

p◦inc O GV ⊕W ⊕U /P +∧ W ⊕U ZW ⊕U ,

70 3.5. RING- AND MODULE SPECTRA where σ is the structure map of Z, the map inc is induced by the standard inclusion OV ⊕W → OV ⊕W ⊕U and p is the projection from OW -orbits to OW ⊕U -orbits. Recall that {Vb}b∈B is a totally ordered set of representatives of H -irreducible representations of G. Let us represent elements of the free commutative monoid N{B} as functions f : B → N with ﬁnite support. We will take the liberty to use the symbol W to denote both an element W = f ∈ N{B} and the G-representation V (f) = ⊕f(P ) H P ∈B V (P ) associated to f. The homotopy groups πk (GV GV /P + ∧Z) are therefore isomorphic to the colimit: L H W H colim πk (Ω (GV ⊕W /P+ ∧OW ZW )) . W ∈N{B}

The projection

p◦inc O O GV ⊕W /P +∧ W ZW ⊕U / GV ⊕W ⊕U /P +∧ W ⊕U ZW ⊕U is the identity when U is zero, so it induces a surjective homomorphism from

H W ⊕U H colim colim πk (Ω (GV ⊕W /P+ ∧OW ZW ⊕U )) W ∈N{B} U∈N{B} to H W H colim πk (Ω (GV ⊕W /P+ ∧OW ZW )) . W ∈N{B} H Let us write s−W Z = s−PW Z for PW ∈ with W = V (PW ). The group G × OW acts on the orthogonal spectrum s−W Z since (s−W Z)U = ZW ⊕U and with structure maps inherited from Z. The colimit

H W ⊕U H colim πk (Ω (GV ⊕W /P+ ∧OW ZW ⊕U )) U∈N{B}

O is the homotopy groups of the orthogonal spectrum GV ⊕W /P +∧ W s−W Z. Thus if we show that spectra of this type have trivial homotopy groups, we are done. Since G acts on W = V (PW ) and P is contained in OW , we can consider the space ∼ GV ⊕W /P as a G × OW -space. Since OV (PW ) = (G × OW )/PW , the isotropy groups of this G × OW -space are all subconjugate to PW . Therefore GV ⊕W /P has G × OW -cells p of the form D+ ∧ (G × OW )/Q+ for Q ⊆ PW . Writing H = pr1(Q) and i: H → G for the inclusion, there are isomorphisms ∼ ∼ (G × OW )/Q+ = G+ ∧H OV (Q) = G/H+ ∧ OV (PW ) of G × OW -spaces, and there is an isomorphism ∼ (G × OW )/Q+ ∧OW s−W Z = G/H+ ∧ (s−W Z).

Suppose that ∗ = X0 → X1 → . . . → Xl is the cellular ﬁltration of GV ⊕W /P +. Both levelwise smash product with spaces and taking levelwise OW -orbits commute with

71 CHAPTER 3. STABLE STRUCTURES

(levelwise) colimits hence with the cell complex construction. From the cell structure we get the gluing diagrams of spectra of the form:

p−1 S+ ∧(G × OW )/Q+∧OW s−W Z / Xi∧OW s−W Z p p D+∧(G × OW )/Q+∧OW s−W Z / Xi+1∧OW s−W Z, that is, of the form

p−1 S+ ∧G/H+∧(s−W Z) / Xi∧OW s−W Z p p D+∧G/H+∧(s−W Z) / Xi+1∧OW s−W Z.

H ∼ PW Then as Z was -acyclic, and by Corollary 3.1.17 so is RPW Z = Ω s−W Z. Since PW Σ and s−W = s−PW commute (i) and (ii) of Theorem 3.2.13 imply that s−W Z is H -acyclic. Thus the two spectra in the left column of the square are H -acyclic by H part (i) of Theorem 3.2.13. Assume that Xi∧OW s−W Z is stably -acyclic, so the top horizontal maps are H -stable equivalences, hence so are the bottom maps since the left vertical maps are Hurewicz cofibrations. Thus Xi+1∧s−W Z is H -acyclic, and it follows by induction that Xl∧s−W Z is H -acyclic. Following [MMSS, Proposition 12.5] we obtain the following crucial result: Proposition 3.5.2. If i: A → X is an acyclic cofibration in the stable (H , G )-model structure and Y is any orthogonal G-spectrum, then the map i ∧ Y : A ∧ Y → X ∧ Y is a stable equivalence. Proof. Let Z = X/A. There is a Hurewicz cofiber sequence A ∧ Y → X ∧ Y → Z ∧ Y . By part (vii) of Theorem 3.2.13 it suffices to show that Z ∧ Y is acyclic. Let j : Y ′ → Y be a cofibrant approximation of Y . By Proposition 3.5.1, the map Z ∧ j is a stable equivalence. Thus, it is enough to show that Z ∧ Y is acyclic when Z is acyclic and both Z and Y are cofibrant. Now Proposition 3.5.1 implies that the map ∗ = ∗∧ Y → Z ∧ Y is a stable equivalence because Y is cofibrant and ∗→ Z is a stable equivalence.

Proposition 3.5.3. The stable (H , G )-model structure is monoidal. Proof. It follows from Proposition 2.6.10 that if i: A → B and j : X → Y are cofibrations, then also ij is a cofibration. Now, suppose that j is an acyclic cofibration. Then the cofiber Y/X of j is acyclic, and there is a cofibration sequence

ij A ∧ Y ∪A∧X B ∧ X −−→ B ∧ Y → B/A ∧ Y/X.

By stability it suﬃces to show that the spectrum B/A ∧ Y/X is acyclic. However, since B/A is coﬁbrant and Y/X is acyclic, this is a consequence of Proposition 3.5.1. We have

72 3.5. RING- AND MODULE SPECTRA now shown that the push-out-product axiom holds in the stable (H , G )-model structure. The criterion for being a monoidal model category concerning coﬁbrant replacement of the sphere spectrum is a direct consequence of Proposition 3.5.2.

Now [SS, Prop. 4.1] gives the following:

Theorem 3.5.4. Let R be an orthogonal ring G-spectrum.

(i) The category of left R-modules is a compactly generated proper model category with respect to the H -stable equivalences and the underlying (H , G )-stable ﬁbrations.

(ii) If R is cofibrant in GOT , then the forgetful functor from R-modules to orthogonal spectra preserves cofibrations. Hence every cofibrant R-module is cofibrant as an orthogonal G-spectrum.

(iii) Let R be commutative. The model structure of (i) is monoidal and satisﬁes the monoid axiom.

(iv) Let R be commutative. The category of R-algebras is a compactly generated right proper model category with respect to the stable H -equivalences and the underlying (H , G )-ﬁbrations.

(v) Let R be commutative. Every cofibration of R-algebras whose source is cofibrant as an R-module is also a cofibration of R-modules. In particular, every cofibrant R-algebra is cofibrant as an R-module.

All the above model structures are Quillen equivalent to the one obtained from the (H , H )-model structure, that is the classical one from [MM, III.7.6] with respect to U n the G-universe = colimn∈N b∈B Vb , via the identity functor. We will deal with the lift toL commutative algebras in a separate section (5.4).

73 CHAPTER 3. STABLE STRUCTURES

74 Chapter 4

Fixed Points

The reason for the choices made in the previous chapters is that we want a structure so that the smash product in spectra has good equivariant properties. In order to verify this we need to study the fixed points. These come in two maing guises, the categorical fixed points and the geometric fixed points and the interplay between these two is one way to express the properties we want to uncover. In this chapter we give the basic definitions and explore some of the fundamental properties, laying the foundations for our investigations of smash powers. In Section 4.1 we fix some notation regarding fixed point constructions. Section 4.2 explores an important class of inclusions of normal subgroups which we call orthogonally final. This class was studied by Kro in his thesis and includes all examples of finite index and inclusions of kernels of isogenies of the torus and suffices for our purposes. As we will show in Section 4.3, the orthogonally final case is important because we then have very good control over what happens when we change the underlying group. This will turn out to be crucial in our approach when we approximate the torus by means of finite subgroups.

4.1 Fixed Point Spectra

In this section we consider a ﬁxed short exact sequence of compact Lie-groups

ǫ E : 1 → N → G → J → 1.

Deﬁnition 4.1.1. The (categorical) N-ﬁxed point functor

GOT → JOT , A 7→ AN is given by post-composition with the N-ﬁxed point functor in T .

Explicitly, if A is an orthogonal G-spectrum and V is an Euclidean space, then N N (A )V = (AV ) .

75 CHAPTER 4. FIXED POINTS

Remark 4.1.2. Note that for subgroups H that are not necessarily normal, we can first restrict the G-actions to the normalizer NH of H in G before taking fixed points, to get a functor GOT → NH OT → WH OT , to spectra with actions of the Weyl group WH := NH /H. We now explain an alternative “geometric” way of forming N-fixed points. For this it is convenient to change the perspective slightly. We have firmly insisted that our spectra are indexed over Euclidean spaces only. This has huge advantages over the classical setup in that the categorical framework is fixed throughout and we keep this orthodoxy except for a consession for geometric fixed points where temporarily indexing by representations simplify things.

Deﬁnition 4.1.3. For a compact Lie group G and topological category C , let CG be the GT -category whose objects are G-objects in C and where G acts on the morphism space CG(V,W ) = C (V,W ) by conjugation. The GT -category of (not necessarily G- equivariant) continuous functors CG →TG is called CGT .

In particular, we have the examples OG and TG.

Lemma 4.1.4. Restriction to trivial representation O ⊆ OG gives an equivalence be- G tween the category GOT of orthogonal G-spectra and G-fixed category (OGT ) of OGT ; i.e., the category of G-functors OG →TG. Consequently, under the fixed equivalence given by restriction, we will not distinguish G between the category GOT of orthogonal G-spectra and the category (OGT ) of G- functors OG →TG. N Definition 4.1.5. Let OE be the N-fixed category (OG) of OG; explicitly, OE is the J-category whose objects are the orthogonal G-representations and whose morphism spaces are given by the N-fixed points N OE (V,W ) := O(V,W ) , with G acting by conjugation. An OE-space is a continuous J-functor OE → TJ . The category of OE-spaces is denoted EOT , as opposed to OET which is the JT -category consisting of all continuous functors OE →TJ . Definition 4.1.6. Post-composing with the N-fixed point functor defines a functor FixN : GOT → EOT , or in the enriched setting, a JT -functor N N Fix : (OGT ) → OET

(from the J-category of N-functors A: OG →TG to to the J-category of functors OE → N N TJ ). Explicitly, Fix (A)V = [AV ] with structure map the composite

N A N N N OE(V,W )= OG(V,W ) −→TG(AV , AW ) →TJ ([AV ] , [AW ] ), for V,W orthogonal G-representations and where the last map takes an N-equivariant map of G-spaces to its induced map of N-ﬁxed points (which are J-spaces).

76 4.1. FIXED POINT SPECTRA

Deﬁnition 4.1.7. The JT -functor φ: OE → OJ is given on objects by

φ : OE → OJ V 7→ V N and on morphisms by

N N N O(V,W ) → OJ (V ,W ). g ∧ x 7→ gN ∧ x

∗ Let ǫ : OJ → OE be induced by restriction along ǫ: G → J; it is the identity OJ (V,W )= ∗ ∗ OE(ǫ V,ǫ W ) on morphisms.

Remark 4.1.8. Let t: O → OJ be the inclusion of Euclidean spaces as trivial J-represent- ∗ ations (inducing the equivalence between OJ -spaces and orthogonal J-spectra t : OJ T ≃ JOT ). The categorical N-ﬁxed point functor of Deﬁnition 4.1.1 factors as

N ∗ N G Fix J ǫ J (−) : GOT ≃ (OGT ) / (OE T ) / (OJ T ) ≃ JOT , where FixN is the functor of Definition 4.1.6 and the map marked ǫ∗ restricts along ∗ ǫ : OJ → OE. The geometric fixed point functor which we will define in a moment is the variant where one uses the left Kan-extension Pφ : OET → OJ T (written out as a coend in ∗ Definition 4.1.9 below) of the map induced by φ: OE → OJ instead of ǫ to bridge the gap between OET and OJ T . We’ll come back to this point of view in Section 6.1 (where functoriality becomes more ticklish), but for the moment it is convenient to express the geometric fixed points through an explicit formula. Definition 4.1.9. The geometric N-fixed point functor

ΦN : GOT → JOT is given by W ∈OE N N N Φ AV = OJ (W , tV ) ∧ (AW ) Z for A an orthogonal G-spectrum and V a Euclidean space with tV the associated trivial N N J-representation. For U ∈ OE, the maps φ: OE(W, U) → OJ (W ,U ) induce a map

W ∈OE W ∈OE N N N N N (AU ) =∼ OE(W, U) ∧ (AW ) → OJ (W ,U ) ∧ (AW ) . Z Z Restricting to the situation where U = tV is a trivial G-representation, we obtain a natural transformation of functors GOT → JOT called the isotropy separation map

γ : AN → ΦN A from the categorical ﬁxed point functor to the geometric ﬁxed point functor.

77 CHAPTER 4. FIXED POINTS

Remark 4.1.10. It is sometimes useful to extend the definition of the geometric fixed N W ∈OE N N points to OJ T , letting Φ AU = OJ (W ,U) ∧ AW for U in OJ . Before going into more detail,R we will list properties of the fixed point functors and study their interaction with free spectra, which form the basis for computations on fixed points of smash powers. For an orthogonal G-representation V and G-space K, recall the free orthogonal G G-spectrum FV = O(V, −)∧K from Example 2.2.3. These free spectra formed the basis for the treatment of Mandell and May and they are particularly nice since they commute with geometric fixed points in the following sense (c.f. [MM, IV.4.5]). Since N OE(V,W )= O(V,W ) , the dual Yoneda isomorphism takes the following form

W ∈OE N G N N Φ FV K = O(W , −)∧[O(V,W )∧K] Z W ∈OE W ∈OE N N N N N = O(W , −)∧O(V,W ) ∧K = O(W , −)∧OE(V,W )∧K Z Z ∼ N N J N = O(V , −)∧K = FV N K .

For reference:

Proposition 4.1.11. For any ﬁnite dimensional G-representation V and any G-space K, the dual Yoneda map is a natural isomorphism of J-spectra

N G ∼ J N Φ FV K = FV N K .

Proposition 4.1.12. The geometric fixed point functor ΦN preserves coproducts, pushouts along Hurewicz cofibrations, sequential colimits along Hurewicz cofibrations and tensors with spaces.

Proof. The functor from GOT to the category of J-functors from OE to JT taking A to N W → AW preserves these by Lemma 1.1.3. So does the continuous prolongation functor W ∈OE N N Y 7→ OJ (W , (−) ) ∧ YW from OE-spaces to OJ -spaces.

RecallR the q-coﬁbrations from Example 2.6.

Lemma 4.1.13. The geometric N-fixed point functor preserves q-cofibrations and acyclic q-cofibrations.

Proof. Follows by induction from Proposition 4.1.11 and Proposition 4.1.12.

By its very construction as postcomposition by ﬁxed points and the left Kan extension, the geometric ﬁxed point functor is lax symmetric monoidal. Explicitly, for orthogonal G-spectra X and Y the required natural transformation of orthogonal J- spectra N N N αX,Y :Φ X∧Φ Y → Φ (X∧Y ),

78 4.2. ORTHOGONALLY FINAL SUBGROUPS is, by the universal property of the smash product, given by the map

U U U 1 N N 2 N N N N ∫ OJ (U1 ,V1)∧(XU1 ) ∧ ∫ OJ (U2 ,V2)∧(XU2 ) → ∫ OJ (U ,V1 ⊕ V2)∧((X∧Y )U ) N ∼ N N N N ∼ induced by ⊕, the canonical isomorphisms (U1⊕U2) = U1 ⊕U2 and (XU1 ) ∧(YU2 ) = N (XU1 ∧YU2 ) and the structure map of the smash product XU1 ∧YU2 → (X∧Y )U1⊕U2 . Proposition 4.1.14. The geometric fixed point functor ΦN is lax symmetric monoidal. For q-cofibrant orthogonal G-spectra X and Y the lax monodal structure map α:ΦN X∧ΦN Y → ΦN (X∧Y ), is an isomorphism of J-spectra. Proof. That α is an isomorphism if X and Y are q-cofibrant follows exactly as in [MM, V.4.7] from Proposition 4.1.11 and Lemma 4.1.12.

4.2 Orthogonally ﬁnal subgroups

Changing the ambient compact Lie group G in the definition of geometric N-fixed points is a well-known sticky point, classically involving a significant amount of “changes of universe”. The main case we are interested in satisfies a property which simplifies these obstacles enormously and we have dubbed “orthogonally final”. This property was originally considered without a name in Kro’s thesis. Definition 4.2.1. If G is a compact Lie group and N a normal subgroup, we say that the inclusion i: N ⊆ G is orthogonally final if for any orthogonal N-representation W there is an orthogonal G-representation V and an N-linear isometric embedding W → i∗V inducing an isomorphism W N =∼ (i∗V )N on N-fixed spaces. Important examples of orthogonally final N ⊆ G include the case where G/N is finite and the case of G being the torus, see Lemma 4.2.3 and Lemma 6.3.1. We know of no situation that is not orthogonally final. Note that if N ⊆ G is orthogonally final and H is a subgroup of G containing N, then N ⊆ H is also orthogonally final. Note also that the condition is purely one of existence, there is no implicit functoriality or continuity attached to the claim that whenever given W the isometry W → i∗V exists. Another noteworthy aspect of the concept is that it is model dependent: it is custom built for the approach where we index our spectra by isometric embeddings. Other flavors of spectra could conceivably benefit from different perspectives and cover applications that are not orthogonally final. The reason for the name orthogonally final is that it can be rephrased in terms of a certain functor being final. Namely, if CN (resp. CE) is the category of orthogonal N- (resp. G)-representations and N-equivariant linear isometries that induce isomorphisms on N-fixed points, then i is orthogonally final if and only if the restriction

∗ i : CE → CN

79 CHAPTER 4. FIXED POINTS is ﬁnal. More is true:

Lemma 4.2.2. Let i: N ⊆ G be orthogonally ﬁnal and let [N]O ⊆ NO be the wide subcategories whose morphisms are those that become isomorphisms upon taking N-ﬁxed points. Suppose W0,W1,W2 are orthogonal N-representations, ω ∈ NO(W0,W1) = N O(W0,W1) and α ∈ [N]O(W0,W2). Then there exists an orthogonal G-representation ∗ ∗ V and maps β ∈ [N]O(W1, i V ) and ν ∈ NO(W2, i V ) such that the diagram

ω W0 / W1

α β

ν ∗ W2 / i V1 in NO commutes.

Proof. Write ω = (fω,xω) where fω : W0 → W1 is an N-linear isometry and xω is a point in the one-point compactiﬁcation of the orthogonal complement of the image of fω. Likewise for the maps α, β and ν. Consider the pushout

fω W0 / W1

fα fβ1

fν1 W2 / P of orthogonal N-representations. Since N ⊆ G is orthogonally ﬁnal there exists a G- ∗ representation V1 and an N-linear isometry fβ2 : P → i V1 such that the map of ﬁxed points f N : P N → i∗V N is an isomorphism. Now, setting β = (f f ,f f x ) and β2 1 β2 β1 β2 β1 ω

ν = (fβ2 fν1 ,fβ2 fν1 xα) we are done. Lemma 4.2.3. Inclusions of subgroups of ﬁnite index are orthogonally ﬁnal.

Proof. Let N ⊆ G be of finite index. As observed by Kro [Kr, 3.8.11], it suffices to look at the irreducible representations. If V is the trivial representation of N, there is nothing to do. If V is an irreducible and non-trivial representation of N, then the N-fixed points of both V and the induced G-representation (which is still finite dimensional) are both of dimension zero, so the induced representation extends V in the desired way.

4.3 Change of Group and Geometric Fixed Points

Theorem 5.1.9 will form the basis for the identification of the geometric fixed points of smash powers of general S-cofibrant spectra in Theorem 5.3.4. We need one more crucial input, namely Kro’s observation on the interaction of the geometric fixed point functor with induced spectra from [Kr, 3.8.10]. Since we will in particular need analogous results for the functors restricting to H-spectra for H a subgroup of G to lift our results to the case of G a compact Lie group, we will go into more details in the next section.

80 4.3. CHANGE OF GROUP AND GEOMETRIC FIXED POINTS

For the rest of the section, let G be a compact Lie-group and H a closed subgroup of G with inclusion map i: H → G. We consider the restriction functor

i∗ : GOT → HOT , and its left adjoint induction functor

G+∧H (−): HOT → GOT .

The following lemma will be helpful later, it is a direct consequence of Lemma 1.1.6.

Lemma 4.3.1. For an orthogonal H-spectrum X and an orthogonal G-spectrum Y , the identity on G+∧X∧Y induces a natural isomorphism of G-spectra

∗ (G+∧H X)∧Y =∼ G+∧H (X∧i Y ).

Reintroducing the normal subgroup N, let j : E0 → E be the injection of short exact sequences of compact Lie groups:

E0 : 1 / N / H / J0 / 1 (4.3.2)

j i iJ E : 1 / N / G / J / 1

(N is normal in G and hence in H, but i: H ⊆ G need not be normal). Our notation ΦN for the geometric ﬁxed points doesn’t distinguish between the case of H- and G-spectra, which is innocent by type-checking the input and, furthermore, in the orthogonally ﬁnal case we will see that it matters even less.

∗ Deﬁnition 4.3.3. The full and faithful functor j : OE → OE0 is given by taking a G-representation V to its restricted H-representation i∗V and on morphism spaces it is N ∗ ∗ N ∗ the identity O(V,W ) = O(i V, i W ) of subspaces of O(V,W ). If we let iJ OE be the category OE considered as a J0-category through restriction along iJ : J0 → J, we may ∗ consider j as a J0-functor ∗ ∗ j : iJ OE → OE0 .

Deﬁnition 4.3.4. Let Y be a OE0 -space (i.e., a J0-functor OE0 →TJ0 ), then the induced

OE-space J+∧J0 Y is given by sending the orthogonal G-representation V to

∗ (J+∧J0 Y )V := J+∧J0 Yi V , and on morphisms given as the composite of the isomorphism from Lemma 1.1.6 and the structure map of Y :

N ∗ ∼ ∗ N ∗ O(V,W ) ∧(J+∧J0 Yi V ) = J+∧J0 (iJ O(V,W ) ∧Yi V )

∗ ∗ N ∗ ∗ = J+∧J0 (O(i V, i W ) ∧Yi V ) → J+∧J0 Yi W .

81 CHAPTER 4. FIXED POINTS

The following Lemma is where demanding that N ⊆ G is orthogonally final plays a crucial rôle: it reinvents the geometric fixed points of an H-spectrum in terms of OE. Lemma 4.3.5. Suppose N ⊆ G is orthogonally final. If X is an orthogonal H-spectrum, ∗ then the map induced by j : OE → OE0

V ∈OE W ∈OE0 ∗ N N N N N O(i V , −) ∧ Xi∗V → O(W , −) ∧ XW =Φ X Z Z is an isomorphism of J0-spectra. op ′ N N Proof. If F : O ∧O → OT is the functor given by F (W, W )= O(W , −)∧(X ′ ) , E0 E0 W ∗ then Lemma 4.2.2 and Lemma 7.6.2 proves that j : OE → OE0 is F -coﬁnal (see Deﬁni- tion 7.6.1). Thus Proposition 7.6.3 implies that the map j is an isomorphism.

The application of the (unnatural) Lemma 4.2.2 in the proof of Lemma 4.3.5 totally disregards the H-action of the objects in OE0 and only focuses on the N-action.

Induced and Restricted Spectra and (Geometric) Fixed Points Thanks to Lemma 4.3.5, we are now in a position to show that the geometric fixed points commute both with induction and restriction along similar ideas as in [Kr, 3.8] when N ⊆ G is orthogonally final. Proposition 4.3.6. Assume that N ⊆ G is orthogonally final. If X is an orthogonal H-spectrum X, then the natural map

N N J+∧J0 (Φ X) −→ Φ (G+∧H X) is an isomorphism of J-spectra. Proof. We factor the map into three stages and observe that each is an isomorphism. Using that N ⊆ G is orthogonally ﬁnal, Lemma 4.3.5, gives that the ﬁrst stage

W ∈OE0 V ∈OE N N N ∗ N N J+ ∧J0 Φ X = J+ ∧J0 O(W , −) ∧ XW → J+ ∧J0 iJ O(V , −) ∧ Xi∗V Z Z is an isomorphism. For the second stage, Lemma 1.1.6 applied to the coequalizer diagram representing the coend proves that the natural map

V ∈OE V ∈OE ∗ N N N N ∗ ∗ J+ ∧J0 iJ O(V , −) ∧ Xi V → O(V , −) ∧ (J+ ∧J0 Xi V ) Z Z is an isomorphism. Finally, the last stage

V ∈OE V ∈OE N N N N N ∗ ∗ O(V , −) ∧ (J+ ∧J0 Xi V ) → O(V , −) ∧ (G+ ∧H Xi V ) =Φ (G+ ∧H X) Z Z is an isomorphism by Lemma 1.1.7.

82 4.3. CHANGE OF GROUP AND GEOMETRIC FIXED POINTS

For orthogonal G-spectra Y , taking categorical N-ﬁxed points commutes with the restriction to H-spectra, i.e.,

Lemma 4.3.7. If Y is an orthogonal G-spectrum, then the natural map

∗ N ∗ N iJ (Y ) → (i Y ) is an isomorphism of J0-spectra. The following result says that when N ⊆ G is orthogonally final, the same is true for geometric fixed points, a result we will eventually need when passing from finite groups to compact Lie groups in Theorem 6.3.7.

Proposition 4.3.8. Assume N ⊆ G is orthogonally ﬁnal. Then taking geometric N- ﬁxed points commutes with the restriction to H-spectra. More precisely, if Y is an ∗ orthogonal G-spectrum, then the functor j : OE → OE0 induces a natural (in Y ) isomorphism ∗ N =∼ N ∗ iJ Φ Y −→ Φ (i Y ) of J0-spectra. Proof. The left hand side is

V ∈OE V ∈OE ∗ N ∗ N N ∗ N ∗ N iJ Φ Y = iJ O(V , −) ∧ YV = O(i V , −) ∧ (i YV ) , Z Z which by means of j∗ maps as

V ∈OE W ∈OE0 ∗ N ∗ N N ∗ N N ∗ O(i V , −) ∧ (i YV ) → O(W , −) ∧ i YW =Φ i Y Z Z which is an isomorphism by Lemma 4.3.5 with X = i∗Y .

83 CHAPTER 4. FIXED POINTS

84 Chapter 5

Finite Smash Powers and Commutativity

In this chapter we demonstrate that, under mild cofibrancy conditions, we have tight equivariant control over finite smash powers. This is in turn fed into the constructions in Chapter 6 to give invariants of commutative orthogonal ring spectra, generalizing topological cyclic homology and covering homology. The crowning result of this chapter is Theorem 5.3.4, which identifies the so-called geometric fixed points (see Definition 4.1.9) of smash powers over a finite free G-set with the smash power over the orbits. When applied to smash powers of commutative ring spectra this can be rephrased as saying that the geometric fixed points give a concrete model for the homotopy orbits in commutative orthogonal ring spectra. The technical underpinnings of this statement are improved on in Chapter 6 and the result itself reappears as an appropriately natural statement in Theorem 6.1.12. This naturalilty will in turn be crucial when extending to compact Lie groups. The correspondece between the the smash powers over orbits and the geometric fixedpoints over the full smash power is provided by the geometric diagonal which we define in Section 5.1. We prove that the S-model structure provides us with good control over smash powers while cooperating tolerably well with the geometric fixed points. We apply these constructions to smash powers in Section 5.3 and attain the mentioned results via a careful cellular induction started in Section 5.2. As corollaries of our understanding of smash powers we also collect some basic but crucial facts pertaining to commutative orthogonal ring spectra in Section 5.4. We end the chapter with some categorical considerations relating to the tensor structure on commutative orthogonal ring spectra in Section 5.5. Throughout this chapter we work with the positive model structure on orthogonal G-spectra from Definition 3.3.12, and we let (H , G ) = (AI+, A ℓℓ+) be the positive mixing pair from Example 2.6.8.

85 CHAPTER 5. FINITE SMASH POWERS AND COMMUTATIVITY

5.1 The Geometric Diagonal and Induced Regular Cells

Unlike the category of spaces, the category of spectra doesn’t have a “diagonal”. How- ever, there is a very nice substitute, namely the “geometric diagonal” which we define now. This construction will be crucial to our further investigations. Smash powers are more “regular” than most equivariant spectra in a way that makes it possible to start an induction process towards proving that the geometric diagonal is an isomorphism. We end this section by studying the “induced regular cells” and how the geometric diagonal handles these. The induction process will be followed up in the next sections. In this section G is a finite group, N ⊆ G a normal subgroup and X is a finite G-set. Definition 5.1.1. Let A be an orthogonal spectrum and let X be a finite G-set with N-orbits XN . The geometric diagonal map

∧XN N ∧X ∆X A = ∆: A → Φ (A )

is deﬁned as follows: Given vector spaces (V[x])[x]∈XN , let W = x∈X V[x] and U = ∼ V . The diagonal embedding U → W gives an isomorphism W N −→= U. [x]∈XN [x] L Considering this isomorphism as an element δ ∈ O (W N ,U), the structure map for L J the smash product gives a morphism

N N ∧X N δ : ( AV[x] ) → OJ (W ,U) ∧ AW . x∈X ^ The geometric diagonal ∆ is deﬁned by requiring that the following diagram commutes:

∧XN ∆ N ∧X AV / A / (Φ A )U (5.1.2) [x]∈XN [x] U O V =∼ N δ N ∧X N ( x∈X AV[x] ) / OJ (W ,U) ∧ AW , where the unlabeledV arrows are given by the universal property of smash-products and by inclusion in the coend defining geometric fixed points by considering W as an object of OE . Direct inspection shows that the geometric diagonal is monoidal in the following sense. Lemma 5.1.3. If A and B are orthogonal spectra and X a finite G-set, then the diagram

shuﬄe A∧XN ∧B∧XN / (A∧B)∧XN =∼

∆X A∧∆X B ∆X (A∧B) α shuﬄe ΦN (A∧X )∧ΦN (B∧X ) / ΦN (A∧X ∧B∧X ) / ΦN ((A∧B)∧X ), =∼

86 5.1. THE GEOMETRIC DIAGONAL AND INDUCED REGULAR CELLS commutes, where the horizontal isomorphisms are the natural shuﬄe permutations of smash factors. With repeating spectra entries indexed by a ﬁnite set Y this takes the form of the commutative diagram

shuﬄe (A∧XN )∧Y / (A∧Y )∧XN =∼ ∧Y ∧Y (∆X A) ∆X (A ) α shuﬄe (ΦN (A∧X ))∧Y / ΦN ((A∧X )∧Y ) / ΦN ((A∧Y )∧X ). =∼ Similarly, the diagram

shuffle (A∧Y )∧XN / A∧(Y ×X)N =∼ ∧Y ∆X (A ) ∆Y ×X A shuffle ΦN ((A∧Y )∧X ) / ΦN (A∧(Y ×X)) =∼ commutes. The class of semi-free G-spectra is too big to fully control the geometric fixed point functor. Our studies of the smash powers of semi-free non equivariant spectra has given us a specific example of a class where such control is possible. Now we will define classes of regular spectra, and induced regular spectra which the smash powers are examples of.

Definition 5.1.4. Let ϕ: G → OV be a G-representation and let P be a G-invariant subgroup of OV . Given a finite free G-set X, we consider the group G ⋉ X P , where G acts on the product by the action corresponding to conjugation of functions from X Q to P . Given a G-representation ρ: G → OW containing the direct sum representation ψ : G → OV ⊕X , we say that a G ⋉ρ OW -space is W -regular if it is isomorphic to (O ) ∧ L W + QX P for a genuinely cofibrant G ⋉ X P -space L. A semi-free G-spectrum is called regular if it is of the form Gρ K for ρ: G → O a Q W W G-representation and a W -regular G ⋉ρ OW -space K. Remark 5.1.5. Free spectra are regular, since we can choose V = 0.

Note that since X P ⊆ OW is G-invariant, there are inclusions of N-fixed subgroups ( P )N ⊂ (O )N for all subgroups N of G. X W Q RemarkQ 5.1.6. Since all involved functors preserve colimits, and since inducing up preserves genuine cofibrations (the right adjoint is clearly a right Quillen functor), the regular semi-free spectra are S-cofibrant and genuine cofibrations induce S-cofibrations. Example 5.1.7. The most important example of a regular semi-free G-spectrum is the smash power ϕ ∧X ∼ ψ ∧X (G K) = G ⊕ [O ⊕X ∧ O K ], V V X V + QX V for X a finite free G-set (c.f. Proposition 2.3.8).

87 CHAPTER 5. FINITE SMASH POWERS AND COMMUTATIVITY

Let ρ: G → OW be a G-representation. By Lemma 2.3.2 and Deﬁnition 2.3.10, for ρ O K an OW × G-space the regular semi-free G-spectrum GW K = GW O(W, W ) ∧ W K is determined by its value ρ O (GW K)V = O(W, V ) ∧ W K at V ∈ O. An element (g, α) of the group G × OV acts on γ ∧ k ∈ O(W, V ) ∧OW K by the formula (g, α) · (γ ∧ k)= αγρ(g−1) ∧ gk.

N We writeρ ¯: J → OW N for the J-representation on the ﬁxed points W given by the restriction of ρ to W N .

Proposition 5.1.8. Let N be a normal subgroup of G and let X be a ﬁnite free G-set. ⊕X Given G-representations φ: G → OV and ρ: G → OW with V ⊆ W ∈ OE, if P ⊆ OV is a G-invariant subgroup and L is a coﬁbrant G ⋉ X P -space, consider the W -regular space K = (OW )+ ∧Q P L. Then the dual Yoneda lemma and Proposition 1.1.22 induce X Q a natural isomorphism

ρ N N ρ G N ((O N )+ ∧ON K ) → Φ (G K). W W W W More precisely, the following chain of natural transformations consists of isomorphisms

ρ N N N G N ((O N )+ ∧ON K )= O(W , −) ∧O ((O N )+ ∧ON [(OW )+ ∧Q P L] ) W W W W N W W X ∼ N N = O(W , −) ∧ON [(OW )+ ∧Q P L] W X N N N ← O(W , −) ∧ON [(O )+ ∧ N L ] W W (QX P ) N N =∼ O(W , −) ∧ N L (QX P ) U∈O =∼ E N N N ← ∫ O(U , −)∧[O(W, U) ∧(Q P )N L ] Yoneda X

U∈OE → ∫ O(U N , −)∧[O(W, U) ∧ L]N QX P N ρ =Φ (GW K), where the unlabelled isomorphisms are instances of (associativity and) the isomorphism ∼ N id = id ∧H H+ (for H = OW N and H = OW ), the ﬁrst and the last arrows are instances of the universality of limits and the middle arrow is the isomorphism given by the dual Yoneda lemma.

Proof. The arrows given by universality of limits are isomorphisms by Proposition 1.1.22 as applied to Z = O(W, T ) ∧ L (with T = W and T = U).

When the action φ is trivial and W = V ⊕X this becomes particularly attractive:

Theorem 5.1.9. Let V be an inner product space, let X be a discrete set with free action of a discrete group G and let M be a genuinely coﬁbrant G × OV -space. Let N

88 5.1. THE GEOMETRIC DIAGONAL AND INDUCED REGULAR CELLS

be a normal subgroup of G with factor group J and let A = GV (M). Then the geometric diagonal map (Deﬁnition 5.1.1)

∆: A∧XN → ΦN (A∧X ) is an isomorphism of J-spectra.

⊕X ∧X Proof. In the setup of Proposition 5.1.8, let W = V , K = (O ) ∧ O M and W + QX V P = OV . Using the deﬁnitions of the smash product, semi-free spectra, the natural diagonal isomorphisms V ⊕XN ∼ [V ⊕X ]N = W N , O ∼ [ O ]N and Proposi- = XN V = X V tion 1.1.22 as in Proposition 5.1.8, we get the vertical isomorphisms in a diagram Q Q

N Proposition 5.1.8 N G N ((OW N )+ ∧ON K ) / Φ (G K) W W =∼ W

=∼ =∼ ⊕X ∧X U N ⊕X ∧X N O(V N , −)∧ O M N / ∫ O(U , −)∧[O(V ,U)∧ O M ] QX V QX V O N O =∼ =∼

∧XN ∆ N ∧X (GV M) / Φ (GV M) .

The middle horizontal map is given by choosing U = W = V ⊕X and the inverse of the diagonal isomorphism V ⊕XN =∼ U N . The topmost square commutes by design (for instance, the leftmost top vertical isomorphism is the composite

N N ∧X N G N ((O N )+ ∧ON K )= O(W , −)∧O (O N )+∧ON [(OW )+∧Q O M ] W W W W N W W X V ∼ N ∧X N = O(W , −)∧ON [(OW )+∧Q O M ] W X V ∼ N N ∧X N = O(W , −)∧ON (OW ) ∧ O N [M ] W + [QX V ] ∼ ⊕XN ∧XN = O(V , −)∧Q OV M XN used in Proposition 5.1.8, and similarly but simpler for the rightmost map) and the lower square commutes by the deﬁnition of the geometric diagonal, 5.1.1, (evaluate at any (V[x])[x] and use the deﬁning diagram 5.1.2). Let i: H ⊆ G be a subgroup containing N.

Deﬁnition 5.1.10. A semi-free G-spectrum A is called induced regular if there is an isomorphism of G-spectra A =∼ G+∧H B, for H a subgroup of G and B a regular semi-free H-spectrum.

Lemma 4.2.3 implies that an inclusions N ⊆ G of a normal subgroup in a finite group G is orthogonally final, so we get the following characterizations of geometric fixed points for induced regular spectra which is analogous to Kro’s Lemma 3.10.8:

89 CHAPTER 5. FINITE SMASH POWERS AND COMMUTATIVITY

Theorem 5.1.11. Let G be a ﬁnite group and H and N subgroups with N normal. The ρ geometric ﬁxed points of an induced regular semi-free G-spectrum G+∧H GW K are given by the natural isomorphism:

ρ¯ N G/N ∧H/N [G N ((OW N )+∧ON K )] if N ⊂ H N ρ ∼ + W W Φ (G+∧H GW K) = ( ∗ otherwise.

Proof. The case N ⊆ H is a direct consequence of Theorem 5.1.8 and Proposition 4.3.6. N For the second part, note that already for H-spaces A we have (G+∧H A) =∼ ⋆ if N is ρ N ∼ not contained in H, hence (G+∧H GW K)V = ⋆ for all V (cf. [Kr, 3.10.8]).

Since we must consider G- and H-representations simultaneously, we allow ourselves H to decorate our semi-free spectra when this can aid readability, so that GV K will signify the semi-free H-spectrum where V is an H-representation (the underlying homomorphism H → OV will be suppressed from the notation in these cases). Induction G+∧H −: HOT → GOT is easily analyzable on semi-free spectra: given a subgroup P ⊆ H × OV , then ∼ G+∧H [O(V, −)∧OV (H × OV )/P+] = O(V, −)∧OV (G × OV )/P+, and so induction preserves S-coﬁbrations. Thus we get the following:

Lemma 5.1.12. For V an H-representation, X a ﬁnite free H-set, P an H-invariant subgroup of OV , for Q = ΠX P and i a genuine coﬁbration of H ⋉ Q-spaces, the map

H G+∧H GW [OW +∧Qi] of G-spectra is an S-coﬁbration for every G-representation W containing V ⊕X .

Deﬁnition 5.1.13. We let Sreg. denote the class of S-coﬁbrations of the form

H G+∧H GW [OW +∧Qi] in Lemma 5.1.12.

Remark 5.1.14. For Sreg-cell complexes, Theorem 5.1.11 allows us to compute the geometric fixed points via a cell induction. This could be used to define a class of cofibrations very much in the spirit of Kro’s induced cells ([Kr, 3.4.4]) and orbit cells ([Kr, 3.4.6]), but more general than both. Since we are not going to construct model structures or even replacement functors for any of these classes, we will not go into this generality. Instead we will focus on the type of cells that will appear in the cell structure for the smash powers. Finally we give a name for the cells that we will use in the equivariant filtration theorem:

90 5.1. THE GEOMETRIC DIAGONAL AND INDUCED REGULAR CELLS

Deﬁnition 5.1.15. An induced regular cell is an S-coﬁbration of the form

H f = G+∧H i . for H ⊆ G a normal subgroup and i a generating S-coﬁbration of orthogonal spectra. Here is the pushout product construction from Deﬁnition 7.4.5. We denote the class of all induced regular cells by Indreg.

Remark 5.1.16. Both source and target of an induced regular cell are induced regular in the sense of Deﬁnition 5.1.10, since if i is the map

n−1 n GV OV /P +∧[S → D ] , then Proposition 2.3.4 together with the fact that inducing up preserves colimits yield that iH is isomorphic to the map

H ∼ |H|n−1 |H|n ı = GV⊕H OV⊕H /ΠH P +∧[S → D ]+ , where |H| is the order of H. In particular it is represented by the inclusion of the |H|n boundary sphere of the H ⋉ ΠH P space D , where ΠH P acts trivially, and H acts by permuting coordinates blockwise. The geometric fixed points are well behaved for q-cofibrant G-spectra, but for our results about the geometric diagonal to be homotopically well behaved we’ll need to extend this to the Indreg-cellular case. Mandell and May’s proof [MM, V.4.17] applies verbatim and we’ll indicate only the necessary emendations. Recall the definition of the universal A -space EA for a closed family of subgroups of G from Definition 1.3.7.

Definition 5.1.17. For N a normal subgroup, let N be the family of subgroups of G that do not contain N. Let EN be the universal N -space, and let EÑ be the cofiber of 0 the quotient map EN+ → S that collapses EN to the non base point. For orthogonal G-spectra X, the map λ: S0 → EÑ induces a natural map

λ: X → X∧E˜N .

∼ Let r : id → R be a q-ﬁbrant replacement.

Proposition 5.1.18. For Indreg-cellular orthogonal G-spectra Y , the natural maps

γ ΦN r ΦN λ R(Y ∧EÑ )N / ΦN R(Y ∧EÑ )Φo N (Y ∧EÑ ) o ΦN Y (5.1.19) =∼ where γ is the isotropy separation map of Definition 4.1.9, are π∗-isomorphisms of orthogonal J-spectra.

91 CHAPTER 5. FINITE SMASH POWERS AND COMMUTATIVITY

Proof. Since (EÑ )H = S0 if H contains N, and (EÑ )H is contractible otherwise, the map ΦN λ of geometric diagonal is an isomorphism. Since r is a acyclic q-cofibration Lemma 4.1.13 gives that ΦN r is an acyclic q-cofibration. Hence we are left with analyzing the isotropy separation map. When Y is q-cofibrant this is handled in [MM, V.4.17], and the same proof works for Indreg-cellular orthogonal G-spectra Y with the following two modifications. Firstly, in [MM, V.4.12], the cell induction is now over the induced regular cells

∧H G+∧H (GV (L) ),

(not the free cells FZ A) with L a genuine OV -cell complex, and, for J1 = H/N, we must show that ⊕H ⊕J1 p: hocolim OE(V ,U) → OJ (V ,W ) U N =W is a ΠJ1 OV ⋊ J1-homotopy equivalence, where the map is induced by the restriction to the N-fixed space V ⊕J1 ⊂ V ⊕H (cf. Definition 4.1.7). ⊕H ⊕H N From the definition of OE (4.1.5), recall that OE(V ,U)= O(V ,U) . Note that any N-equivariant isometry has to preserve fixed spaces and isotypical factors. Hence for W ⊕U ′ =∼ U and V⊕J1 ⊕V ′ =∼ V⊕H orthogonal decompositions where N acts trivially on W and U ′ contains no summands with trivial N-action, there is an isomorphism

⊕H ⊕J1 ′ ′ N OE(V ,U) =∼ OJ (V ,W ) × O(V ,U ) . Here O(V ′,U ′) is a sphere bundle over L(V ′,U ′) whose dimension depends linearly on the dimension of U ′ and the map p is induced from the projection to the ﬁrst factor. Thus ′ ′ N it suﬃces to prove that L(V , colim U ) → ∗ is a ΠJ1 OV ⋊ J1-homotopy equivalence. ′ ⊕J1 Since V was the orthogonal complement of V , the ΠJ1 OV action is trivial, so [LMS, II.1.5] gives the desired result. Lastly, in [MM, V.4.16], the reference to [LMS, 9.3] must be extended beyond G- CW-complexes to genuine G-cell complexes. In particular there are bijections

N N [A, B∧E˜N ]G =∼ [A ,B∧E˜N ]G =∼ [A ,B]G between sets of G-homotopy classes for A any representation sphere and B a level of an induced regular spectrum, which is a genuine G-cell complex by Lemma 5.1.12 and Corollary 1.2.4.

Remark 5.1.20. There are alternative definitions for the geometric fixed points of a G-spectrum. Classically, one would take the leftmost J-spectrum [R(Y ∧EÑ )]N in the zigzag (5.1.19) as the definition. The reason is that we want to use the isotropy separation in the form of the homotopy-cofiber sequence of (non equivariant) orthogonal spectra:

N N N [R(Y ∧EN+)] / [R(Y )] / [R(Y ∧E˜N )] , (5.1.21)

0 λ which arises from the defining homotopy-cofiber sequence EN+ / S / EÑ . We saw above that the homotopy groups of [R(Y ∧EÑ )]N are closely related to the

92 5.2. CELLULAR FILTRATIONS homotopy groups of the geometric ﬁxed points of Y , partially justifying us calling γ : Y N → ΦN Y the isotropy separation map.

Deﬁnition 5.1.22. Let A be a closed family of normal subgroups of G. A morphism A H A f of G-spectra is a π∗ -isomorphism if π∗ f is an isomorphism for all H ∈ . A H Note that a morphism f of G-Ω-spectra is a π∗ -isomorphism if and only if Fix f is a non equivariant π∗-isomorphism for all H ∈ A .

Proposition 5.1.23. Let A be a family of subgroups of G and let X and Y be Indreg ∪ F IG-cellular. Then for a morphism f : X → Y , the following are equivalent: A (i) The map f is a π∗ -isomorphism. H (ii) For all H ∈ A the map Φ f is a (non equivariant) π∗-isomorphism.

Proof. Note that since Indreg consists of S-cofibrations, X and Y are levelwise genuine G- hence N-complexes. We compare the maps induced on the homotopy cofiber sequences for N ∈ A : N N N [R(X∧EN+)] / [R(X)] / [R(X∧EÑ )] (5.1.24)

N N N [R(Y ∧EN+)] / [R(Y )] / [R(Y ∧E˜N )] We use induction on the size of the family A , which is possible since G is compact (cf. [tD, 1.25.15]). For the trivial family, the result is true. We claim ﬁrst, that both (i) and (ii) imply that the left vertical map is a π∗-isomorphism, for (i) this is trivial by Lemma 3.1.6. For (ii) we use the induction hypothesis which implies that f is an A ∩N -equivalence. Since N is the family of subgroups not containing N, A ∩N is the family NN of all proper subgroups of N. Note that as an N-space, EN is a universal NN -space. Thus R(X∧EN+) → R(Y ∧EN+) is a levelwise NN equivalence between genuine NN -complexes, thus an N-homotopy equivalence and the claim follows. Finally property (i) is equivalent to the second vertical map in (5.1.24) being a π∗- isomorphism for all N, and Proposition 5.1.18 establishes that (ii) is equivalent to the third vertical map in (5.1.24) being a π∗-isomorphism.

5.2 Cellular Filtrations

We need some additional control of how smash powers of orthogonal spectra can be assembled. In Section 5.3 we construct the cellular structures that form the technical heart of our constructions. We generalize Kro’s approach from [Kr, 2.2], correcting some minor mistakes along the way. In particular we drop the assumption that all λ- sequences are N-sequences in order to be able to attach cells one at a time, and work in general categories. This allows us to apply the theory in a lot of diﬀerent contexts, cf. Corollary 5.4.5, but also for a potential extension of our results to multiplicative norm constructions (cf. Remark 6.2.2).

93 CHAPTER 5. FINITE SMASH POWERS AND COMMUTATIVITY

For reference, in this subsection, we list some easily checked facts about “cellular ﬁltrations” which hold for any closed symmetric category C with all small colimits (most of the facts do not need all this structure). First recall the following deﬁnition (e.g., [H, 2.1.9]):

Deﬁnition 5.2.1. Let I be a class of morphisms of C . Then a morphism f : A → X in C is I-cellular, if it is a transﬁnite composition of pushouts of coproducts of elements of I. In this case we also say that f : A → X is an I-cell complex.

Given morphisms f and g in C , we write fg for their pushout product of Deﬁni- tion 7.4.5. If I and J are sets of morphisms in C , we write IJ for the set of morphisms of the form fg for f ∈ I and g ∈ J.

Theorem 5.2.2. Let (C , ∧) be closed symmetric monoidal with all small colimits. Let I and J be sets of morphisms in C and let f : A → X and g : B → Y be I- and J-cellular, respectively. Then their pushout product fg is relative (IJ)-cellular. In particular, if λ and µ are partially ordered indexing sets for cells of f and g, respectively, then λ × µ is a partially ordered indexing set for cells of fg.

It seems hard to actually ﬁnd a proof of the above theorem explicitly spelled out in the literature. Since we are going to have to work with such ﬁltrations in more detail later, we give them below.

Pushouts and Pushout Products Lemma 5.2.3. Consider the following commutative diagram in C :

A / B / C

D / P / Q.

(i) If both the left and the right subsquare of the diagram are pushout diagrams, then so is the outer rectangle. (ii) If both the left subsquare and the outer rectangle are pushout diagrams, then so is the right subsquare.

Lemma 5.2.4. Let C have all pushouts. Consider a commutative cube in C , where either the top and bottom faces or the left and right faces are pushouts:

A0 / X0 . (5.2.5) ⑧ ⑧ ⑧⑧ ⑧⑧ Y0 / P0 A1 / X1 ⑧ ⑧ ⑧⑧ ⑧⑧ Y1 / P1

94 5.2. CELLULAR FILTRATIONS

Then the induced square X A / X 0 A0 1 1 ` P Y / P 0 Y0 1 1 is again pushout. `

Lemma 5.2.6. Consider two pushout squares

gb hb Ab / Xb Bb / Yb

p p Af g / Xf Bf / Yf . f hf

Their row-wise pushout product is also a pushout square

g h (A ∧Y ) (X ∧B ) b b / X ∧Y b b Ab∧Bb b b b b ` p (Af ∧Yf ) A ∧B (Xf ∧Bf ) / Xf ∧Yf . f f gf hf ` Cellular Maps We will use Lemma 5.2.6 to recognize a cellular structure on the -product of cellular maps. Recall the following deﬁnition (e.g., [H, 2.1.9]):

Deﬁnition 5.2.7. Let I be a class of morphisms of C . Then a morphism f : A → X in C is I-cellular, if it is a transﬁnite composition of pushouts of coproducts of elements of I.

Remark 5.2.8. Let f : A → X be a I-cellular map, and let A = X0 → X1 → . . . be a λ-sequence that exhibits this structure, i.e., λ an ordinal and for any α ≤ λ we have pushout diagrams σα Sα / colim Xα β<α

iα fα p Dα / Xα, where iα is a coproduct ic, with all the maps ic in I, and Cα empty whenever α c∈Cα is a limit ordinal. Then the` union of the Cα is partially ordered, with ic ∈ Cα smaller than id ∈ Cβ if and only if α < β. In this situation, we say that α≤λ Cα indexes the attached cells of f in the λ-sequence. S 95 CHAPTER 5. FINITE SMASH POWERS AND COMMUTATIVITY

The following lemma helps with keeping the “length” of the transﬁnite composition in check when the domains of the morphisms in I are suﬃciently small: Lemma 5.2.9. Assume that the domains of the maps in I are κ-small. For every I-cell complex f : A → X there is a κ-sequence of maps exhibiting f as I-cellular.

Proof. Assume that f is the transﬁnite composition of a λ-sequence {Xα}α≤λ that exhibits the a cellular structure, i.e., for α < λ there are pushout diagrams

σα Sα / colim Xα β<α

iα fα p Dα / Xα, such that iα is the identity of the initial object for α a limit ordinal, and a coproduct of < maps in I otherwise. For γ ≤ κ, deﬁne sets Cγ and Cγ as well as commutative diagrams

colim Xδ / colim Yδ (5.2.10) δ<γ δ<γ ❊❊ ❊❊ ❊❊ ❊" / / Xγ Yγ, :X by by transﬁnite induction: Let C0 := 0 and Y0 := X0 = A. Continuing, for µ a limit ordinal let Cµ be empty. Otherwise deﬁne the set

< Cγ := {α ≤ λ, σα factors through Yγ−1}.

< < Furthermore, let Cγ := Cγ \ δ<γ Cδ . Finally, define Yγ as the pushout S α∈C Sα / colim Yδ γ δ<γ ` p / α∈Cγ Dα Yγ ` Define a map Yγ → X on the attached cells Sα → Dα by going through the Xα. Note that σγ : Sγ → X factors through colimδ<γ Xδ, hence we get a map Xγ → Yγ which fits into the diagram 5.2.10. Finally, note that since Sα is κ-small, all attaching maps σα for α ≤ λ factor through some Xγ , hence through Yγ. the union γ≤κ Cγ contains all α ≤ λ. Therefore there are canonical maps in both directions between the colimits S

colim Xα =∼ colim Yγ, α≤λ γ≤κ which are isomorphisms by coﬁnality.

96 5.2. CELLULAR FILTRATIONS

Remark 5.2.11. Note that attaching cells via coproducts, gives a partial order on the set of cells. Every such partially ordered set can be linearly ordered as in [H, 2.1.11], which corresponds to giving a λ-sequence in which the cells are attached one at a time. Lemma 5.2.9 gives us a much more convenient way to revert this process, than simply forgetting the extra information. Returning to a closed symmetric monoidal category (C , ∧), observe that the coproduct distributes with the smash product, hence also with the -product. We therefore allow ourselves to switch freely between attaching cells one at a time or in bigger groups via the coproduct.

Proof of Theorem 5.2.2. We assume without loss of generality (cf. 5.2.11) that λ and µ are ordinals linearly indexing the cells of f and g, respectively. That is for each α ≤ λ we have a pushout diagram

iα∈I Sα / Dα

p colim Xγ / Xα, γ<α fα such that the λ-sequence A = X0 → Xλ = X is the map f, and and analogous for g. Let < be the partial order on λ × µ with (γ, δ) < (α, β) if and only if γ < α and δ < β. Let E : λ × µ → C be the sequence deﬁned by the pushout diagrams

A∧B / Xα∧B

p A∧Yβ / Eα,β, and note that Eλ,µ is the source of fg. We claim that the desired ﬁltration is then given by the λ × µ-sequence {Fα,β} where Fα,β is the pushout of the diagram:

Eα,β / Xα∧Yβ (5.2.12)

p Eλ,µ / Fα,β, where Eλ,µ is the constant sequence. To prove the claim, note that the transformation E → X(−)∧Y(−) of sequences factors through the sequence {Pα,β}, where Pα,β is the pushout

colim Xγ ∧Yδ / colim Xα∧Yδ (5.2.13) γ<α,δ<β δ<β p fαgβ colim Xγ ∧Yβ / Pα,β / Xα∧Yβ. γ<α

97 CHAPTER 5. FINITE SMASH POWERS AND COMMUTATIVITY

That is, Pα,β is the source of the map fαgβ. We apply the cobase change as in Dia- gram 5.2.12 to this factorization to get the diagram

f(−)g(−) E / P / X(−)∧Y(−) (5.2.14)

p p Eλ,µ / P ∐E Eλ,µ / F.

Now comparing the colimits pointwise, coﬁnality lets us identify Pα,β ∐Eα,β Eλ,µ as the following pushout:

colim Fγ,δ / colim Fα,δ γ<α,δ<β δ<β p colim Fγ,β / Pα,β ∐E Eλ,µ / Fα,β. γ<α α,β

In particular we have ∼ P ∐E Eλ,µ = colim Fα,β, (γ,δ)<(α,β) and the map colim Fγ,δ → Fα,β (γ,δ)<(α,β) is a cobase change of fαgβ. Therefore to show that F is indeed a ﬁltration by IJ-cells, it suﬃces by Diagram 5.2.14 to show that fαgβ is the attaching of a IJ-cell. This is a consequence of Lemma 5.2.6, which implies that there are pushout diagrams

iαjβ∈IJ S(α,β) / D(α,β)

fαgβ p P(α,β) / Xα∧Yβ.

Note that as in Remark 5.2.11 we can extend the partial order on λ × µ to a linear one, ﬁnishing the proof.

Remark 5.2.15. In many cases of interest, for example C = T , with I and J the sets of generating (acyclic) cofibrations, we will actually have that IJ ⊂ J(−cell), such that the above proposition also gives fg the structure of a J-cellular map. Remark 5.2.16. In categories where the maps in I, J and IJ are inclusions, the intuition behind the filtration in the theorem simplifies significantly. In particular the cellular maps then give a λ-sequence of inclusions of subobjects

,A ֒→ X1 ֒→ ...֒→ X

98 5.3. EQUIVARIANT CELLULAR FILTRATIONS OF SMASH POWERS and similar for B ֒→ Y . Note that fg is the inclusion

,fg : X∧B ∪A∧B A∧Y = X∧B ∪ A∧Y ֒→ X∧Y and the ﬁltration given by the theorem is through objects

Fα,β = X∧B ∪ Xα∧Yβ ∪ A∧Y.

Corollary 5.2.17. The monoidal product X∧Y of an I-cellular X object with a J- cellular object Y is IJ-cellular.

Corollary 5.2.18. In the situation of Theorem 5.2.2 let K is the set of maps I∧B∪A∧J. Then the map f∧g is (IJ) ∪ K-cellular. In particular, if A and B are themselves respectively I-cellular and J-cellular, then f∧g is IJ-cellular.

Proof. Apply Theorem 5.2.2 on the maps ⋆ → A → X and ⋆ → B → Y which are respectively I ∪ {⋆ → A}-cellular and J ∪ {⋆ → B}-cellular. Note that the indexing of the ﬁltrations is shifted, and the new ﬁltration factors through F1,1 = A∧B. All the later cells are then of type (IJ) ∪ K.

Note that since the -product is associative, Theorem 5.2.2 immediately gives speciﬁc ﬁltrations for iterated -products of maps. The indexing set for the cells of the iterated is always given by the product of the indexing sets with some (linear) order that is compatible with the product partial order.

5.3 Equivariant Cellular Filtrations of Smash Powers

We finally give the equivariant cellular structure for smash powers of orthogonal spectra. This structure then immediately gives that the geometric diagonal is an isomorphism for sufficiently cofibrant spectra. More precisely, specializing and stripping Theorem 5.3.2 of all bells and whistles, the important upshot is that if L is S-cellular, G finite and X a free G-set, then the X-fold smash product L∧X has a filtration by “induced regular cells”, i.e., as pushouts along maps of the form

n−1 H n−1 ∧H G+∧H [GV (S × OV /P )+] → G+∧H [GV (S × OV /P )+] for subgroups H ⊆ G and P ⊆ OV . The importance of such a ﬁltration is driven home by Theorem 5.3.4 which shows that the geometric diagonal in that case becomes an isomorphism L∧XN =∼ ΦN (L∧X ) for all normal subgroups N ⊆ G. Our intended applications are to smash powers of orthogonal ring spectra with a priori no group Q acting on the incoming spectra. However, with our setup where orthogonal Q-spectra are just Q-object in orthogonal spectra, the diﬀerence between the

99 CHAPTER 5. FINITE SMASH POWERS AND COMMUTATIVITY two is taken care of by (enriched) functoriality in the incoming spectra, plus that the generating cofibrations – of course – must know about Q. Since there are interesting applications to the statements we prove in this section (for instance in [HHR]), we give the fuller generality as an illustration of the power of the methods. The reader is invited to try her hand at the later and more involved consequences. Also, we are only intending to use the case when the incoming spectrum is S-cofibrant, but in case one is interested in other applications we keep track of how smash powers modify the cell structure. For this purpose, consider a Lie group Q and a Q-mixing pair (H , G ) (with the base case being when Q is trivial and (G , H ) = (AI +, A ℓℓ+)). If G is a finite group and X a finite G-set, then the Lie group QX = Map(X,Q) has a G-action by precomposition: gf(x)= f(g−1x) for f : X → Q, g ∈ G and x ∈ X. Let L be a G -cellular orthogonal Q-spectrum. For G a finite group and X a finite G-set, we will specify a G ⋉ QX -mixing pair

(H (G, X), G (G, X)) and give a ﬁltration of the map

(⋆ → L) X =∼ (⋆ → L∧X ) by G (G, X)-coﬁbrations using Theorem 5.2.2.

Given V = x∈X Vx and a subgroup Px ⊆ Q × OVx for each x ∈ X, we consider P = P as a subgroup of QX × O . We let H (G, X) be the smallest G ⋉ QX - x∈X x L V typical family of representations so that if every Px is in H and H is any subgroup of Q X X G, then H ⋉ P ⊆ G ⋉ (Q × OV ) = (G ⋉ Q ) × OV is a member of H (G, X). (Here we use the trivial action of G on V . Later, when some of the factors Vx are identical, we will also make use of the non-trivial actions of subgroups of G on V given by permutation of identical factors.) Finally, we let G (G, X) be the smallest collection of families of subgroups of (G ⋉ X X Q ) × OV for V in O so that (H (G, X), G (G, X)) is a G ⋉ Q -mixing pair, and so X that if every Px is in G and H is any subgroup of G, then H ⋉ P ⊆ G ⋉ (Q × OV )= X (G ⋉ Q ) × OV is a member of G (G, X). When X is G-free it will follow from the construction that all the attaching maps are G (G, X)-cofibrations between induced regular G (G, X))-cofibrant G ⋉ QX -spectra. Our methods are inspired by [Kr, 3.10.1], where a similar filtration is given for the case that X = G = Cq a finite cyclic group.

Deﬁnition 5.3.1. If λ is an ordinal, and X a set, we deﬁne a partial order on the X X product λ : for α = {αx}x∈X , β = {βx}x∈X ∈ λ we say that β ≤ α if for all x ∈ X we X have that βx ≤ αx. If a group G acts on X it acts on λ by letting (gα)x = αg−1x. This X X induces a partial ordering on the set (λ )G of G-orbits by declaring for u, v ∈ (λ )G that u ≤ v if there exist α ∈ u and β ∈ v such that α ≤ β. As in Remark 5.2.16, since the maps in GIG are levelwise inclusions, we lose no generality by assuming that a given GIG -cell complex is an inclusion.

100 5.3. EQUIVARIANT CELLULAR FILTRATIONS OF SMASH POWERS

Consider a λ-sequence K = L0 ⊆ L1 ⊆ . . . ⊆ L of Q-spectra, exhibiting K ⊆ L as GIG -cell complex, i.e., if a ∈ λ is a limit ordinal, then La = b

i na−1 a / na GVa (S × (Q × OVa )/Pa)+ GVa (D × (Q × OVa )/Pa)+

p Lb / La, b

K∧X ⊆ L∧X

X is a GIG (G,X)-cell complex with (λ )G indexing the GIG (G,X)-cells in the following sense: X ∧X X Let α ∈ λ with orbit u = [α] and stabilizer group Gα ⊆ G and let Lu be the G ⋉ Q - ∧X ∧X ∧X ∧X subspectrum of L deﬁned as the union Lu = β∈u Lβ with Lβ = x∈X Lβx so that ∧X ∼ ∧SX ∧X V colim Lu = Lu = L . u∈(λX ) G X u∈([λ )G ∧X ∧X If αx is a limit ordinal for some x ∈ X, then Lu = Lv . Otherwise there is a v

k G (Sn−1 × ((G ⋉ QX ) × O )/P ) α / G (Dn × ((G ⋉ QX ) × O )/P ) V V + ⊆ V V +

p ∧X ⊆ ∧X Lv / Lu . v

101 CHAPTER 5. FINITE SMASH POWERS AND COMMUTATIVITY

Proof. Let K = L0 ⊆ L1 ⊆ . . . ⊆ L be the λ-sequence exhibiting L as GIG -cellular, using the names Va, Pa, na, ia and Da for each a ∈ λ as in Deﬁnition 5.3.1. X Let α ∈ λ . If αx is a limit ordinal for any x ∈ X, then

∧X ∧X Lu = Lv . v

Suppose now that none of the αx are limit ordinals. Taking the row-wise -product over x ∈ X of all the diagrams Dαx as displayed just before the start of the theorem, we X get by Lemma 5.2.6 a pushout diagram of Gα ⋉ Q -spectra whose top map is x∈Xiαx , which we by Proposition 2.3.4 may identify with the following pushout diagram Dα