arxiv: v1 [math.at] 8 Jan 2019

Transcription

1 INVERTIBLE K()-LOCAL E-MODULES IN C -SPECTRA AGNÈS BEAUDRY, IRINA BOBKOVA, MICHAEL HILL, AND VESNA STOJANOSKA arxiv:9.9v [math.at] 8 Jan 9 ABSTRACT. We compute the Picard group of the category of K()-local module spectra over the ring spectrum E hc, where E is a height Morava E-theory and C is a subgroup of the associated Morava stabilizer group. This group can be identified with the Picard group of K()-local E-modules in genuine C -spectra. We show that in addition to a cyclic subgroup of order 3 generated by E S the Picard group contains a subgroup of order generated by E S 7+σ, where σ is the sign representation of the group C. In the process, we completely compute the RO(C )-graded Mackey functor homotopy fixed point spectral sequence for the C -spectrum E. CONTENTS. Introduction.. Organization Acknowledgements. Preliminaries 5.. Equivariant homotopy theory 5.. The Mackey functor homotopy fixed points spectral sequences 5.3. Real Representations of C and C 6 3. The homomorphism J G 6 R. The C -spectrum E and the non-cyclicity of its Picard group.. A convenient choice of E-theory.. The homomorphisms J C E E 5. The C Homotopy Fixed Point Spectral Sequence for E Theory 5.. Some important C -modules The Mackey functor cohomology of C with coefficients in E The differentials and the extensions 6. The Algebraic Picard Group 3 7. The Picard Spectral Sequence Generalities on the Picard Spectral Sequence The Picard Spectral Sequence for E and C 8. Tables and Figures 7 References 6 Date: January 9, 9. Mathematics Subject Classification. 55M5, 55P, J6, 55Q9, 55Q5, 55P6. This material is based upon work supported by the National Science Foundation under grants No. DMS 75563, DMS 63835, DMS 889, and DMS 8. The authors would like to thank the Isaac Newton Institute for Mathematical Sciences for support and hospitality during the program Homotopy Harnessing Higher Structures when a large part of writing this paper was undertaken. This work was supported by EPSRC Grant Number EP/R6/.

2 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA. INTRODUCTION Starting with the computations by Hopkins and Mahowald of the homotopy groups of the spectrum of topological modular forms, there has been a proliferation of computations related to various invariants associated to the homotopy fixed points for the action of finite subgroups of the Morava stabilizer group G = G n on Morava E-theory E = E n. In theory, one would like to understand E hg itself as this is a model for the K(n)-local sphere. At heights n >, there has been little progress in this direction, and the case n = p = remains the focus of current research. If one restricts to a finite subgroup G of G, questions about E hg and its module category become more tractable using techniques introduced by Hopkins and Miller. Among other things, the methods of Hopkins Miller allow one to understand E as a G-module. These ideas first appeared in print in [Nav99]. They were generalized by Hill, Hopkins and Ravenel in unpublished work and also in [HHR6]. The whole program has recently been enhanced by [HS7]. Roughly, one fixes a real orientation MU R E where MU R is the real bordism spectrum. Then for any subgroup G of G which contains C = {±}, one can use the norm to construct a map N G C MU R E which provides information on the structure of E as a G-spectrum. The main application of these ideas is the computation of the homotopy groups π E hg, which in turn, provides the information needed to study the Picard group of the category of K(n)-local E hg -module spectra, Pic(E hg ). Recall that, for a symmetric monoidal category, the Picard group consists of isomorphism classes of invertible objects with respect to the symmetric monoidal product, whenever this forms a set. The problem of computing Pic(E hg ) appears in various forms throughout the literature. Classical examples are the folklore results of Hopkins which state that Pic(KU) Z and Pic(KO) Z 8 (see also Gepner Lawson [GL6]) and the fact that Pic(E n ) Z for all n, a result of Baker Richter [BR5]. The problem has been extensively revisited by Heard Mathew Stojanoska [MS6, HMS7]. For example, they compute Pic(En hg ) for the finite subgroups G G at chromatic heights n = p for p odd. Most recently, Heard Li Shi [HLS8] have also computed Pic(E hc n ) at all heights n when p =. The spectra E hg are periodic. Therefore, Pic(E hg ) always contains a cyclic subgroup generated by ΣE hg. In all of the examples studied so far Pic(E hg ) was found to be exactly this cyclic group. For example, if n = p and G is a maximal finite subgroup of G containing the p-torsion, Pic(En hg) is cyclic of order n p, which is the periodicity of En hg [HMS7]. When p =, then Pic(E hc n ) is cyclic of order n+ [HLS8], which is again the periodicity of E hc n. In this paper, we compute an example of Pic(E hg ) which is not a cyclic group. The example is the following. We work at the prime p = and chromatic height n =. Any formal group law Γ of height has an automorphism γ of order over the algebraic closure of F and the subgroup C this automorphism generates is unique up to conjugation in the associated Morava stabilizer group. The spectrum E hc has already received much attention in the literature. It is closely related to the spectrum TMF (5) of topological modular forms with Γ (5) level structure. The latter was studied extensively by Behrens Ormsby in [BO6]. Further, E as a C -module spectrum is closely related to the spectrum K [] studied

3 INVERTIBLE K()-LOCAL E-MODULES IN C -SPECTRA 3 in Hill Hopkins Ravenel [HHR7]. It also play a key role in Bobkova Goerss [BG8] and in Henn [Hen8]. In fact, the computation of the homotopy fixed point spectral sequence for the spectrum E hc can be mined from these references and its homotopy groups are now well understood. The spectrum E hc is 3-periodic, so Pic(E hc ) necessarily contains a cyclic group of that order. However, in this case, it turns out that the Picard group also contains elements which are not suspensions of E hc. After replacing E by an equivalent cofree spectrum, the fact that E hg E is a faithful K(n)-local Galois extension of G-spectra implies that the homotopy category of K(n)-local E hg -module spectra is equivalent to the homotopy category of K(n)-local E-modules in genuine G-spectra. The latter is the category of genuine G-spectra with a compatible Emodule structure, whose Picard group we denote by Pic G (E). This allows us to identify the Picard groups Pic(E hg ) Pic G (E). This translates our problem into that of computing the Picard group of the C -equivariant ring spectrum E. In general, if R is a G-equivariant commutative ring spectrum, then the groups Pic H (R) = Pic H (i H R), as H runs through the subgroups of G, assemble into a Mackey functor which we will denote by Pic(R). The restriction maps come from the ordinary restriction functors in genuine G-spectra. Since these are strong symmetric monoidal functors, they induce homomorphisms on Pic. The transfer maps are given by the norm maps in the category of R-modules. These are also strong symmetric monoidal functors, so they induce homomorphisms on Pic. The Mackey compatibility is inherited from the corresponding statements in the homotopy category of R-modules. Our main result is then the following theorem. Theorem.. Let Γ be a formal group law of height over F and let k be the algebraic closure of F. Let E = E(k, Γ) be the associated Morava E-theory and G = G(k, Γ) the associated Morava stabilizer group. Let C G be a cyclic subgroup of order, which necessarily contains C = {±}. Then there are isomorphisms and As a Mackey functor, this assembles into Pic C (E) Z 3{E S } Z {E S 7+σ } Pic C (E) Z 6{E S }. Pic(E)(C C ) Z 3 Z [ ] [ ] 6 8 Pic(E)(C C ) Z 6 Pic(E)(C {e}) Z. The result (and its proof) for E hc is a special case of [HLS8]. We include the computations here since they are necessary for our analysis of the Mackey functor Pic(E). Together with [HMS7, Proposition 3.], Theorem. has the following immediate consequence:

4 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA Corollary.. Let C 6 G be the subgroup generated by and a third root of unity. There is an isomorphism Pic(E hc 6) Z 8. Our approach is to study the map J G R RO(G) Pic G(R), for R an E -ring Gspectrum, given by J G R (V ) = R SV. When R is a G-equivariant commutative ring spectrum, then these homomorphisms assemble into a map of Mackey functors J R RO Pic(R), where here RO is the representation ring Mackey functor. We determine the image of J E, which gives us lower bounds for the Picard groups. To prove that these are also upper bounds, we use the Picard homotopy fixed point spectral sequence. In fact, we need the structure of this spectral sequence as a spectral sequence of Mackey functors for a crucial step in the argument. On the way, as an input to the E - term of this spectral sequence, we also compute the algebraic Picard groups Pic C (E ) and Pic C (E ). These also naturally assemble into a coefficient system, where the value at G H is the Picard group of the category of i H E -modules in H-modules. This coefficient system can be computed via the isomorphism Pic(E )(G H) H (H; i H E ). The restriction maps are determined by naturality for group cohomology, while the transfer maps are given on representing modules by tensor induction in the category of E -modules. We find that Pic G (E ) are cyclic groups of order when G = C and when G = C. Note that in both cases, Pic G (E ) is the periodicity of the cohomology H (G, E t ) in t, which in turn is the size of Pic G (E ). A key input to our computations is the knowledge of the homotopy fixed point spectral sequence of Mackey functors computing π E. The ingredients for such a computation appear in various places in the literature. In particular, many of the pieces necessary to do this computation appear in [HHR7]. In Section 5., we describe this computation. Many results and much notation from Section 5. are used in proofs throughout the paper, but we have attempted to keep the narrative as free of this dependence as possible. Note in passing that these computations together with our result on the Picard group give a complete description of the RO(C )-graded Mackey functor π E (Remark.9)... Organization. This is a brief outline of the paper. In Section 3, we discuss the map J G. In Section compute its image in the cases of interest. This gives a lower bound on R the order of Pic(E hc ) and, in particular, proves that this group is not cyclic. In Section 5, we review the computations of the homotopy fixed point spectral sequences needed for the rest of the paper. In Section 6, we compute the Mackey functor H (C, E ). In Section 7, we discuss some equivariant properties of the Picard spectral sequence and then use this spectral sequence to give the upper bounds on Pic(E hc ) and Pic(E hc ). Section 8 contains tables and figures. Acknowledgements. We would like to thank Mike Hopkins, Lennart Meier and Doug Ravenel for useful conversations.

5 INVERTIBLE K()-LOCAL E-MODULES IN C -SPECTRA 5. PRELIMINARIES.. Equivariant homotopy theory. We review some notation and results from equivariant homotopy theory that will be used throughout the paper. For a finite group G, we will be working in the category of genuine G-spectra as in [HHR6]. As usual, RO(G) denotes the ring of real orthogonal virtual representations of the group G. For a genuine G-spectrum X, its equivariant homotopy groups assemble into an RO(G)- graded Mackey functor π X given by π V (X)(G H) = π H V (X) = [SV, X] H. Here V RO(G) and [S V, X] H denotes the H-equivariant homotopy classes of maps. We simply write π V X = [S V, X] e in the case of the trivial group H = e. The conjugation action of G on homotopy classes of maps [S V, X] induces an action of G on π V X. For d Z, we may also use the notation π d i e X = [Sd, i ex] when we want to stress the fact that we are considering the homotopy groups of the underlying spectrum i e X. Spectra like the Morava E-theory spectra arise naturally not as genuine G-spectra but rather as G-objects in the category of spectra. We have a homotopically meaningful way to lift these G-objects in spectra to genuine G-spectra, however. The cofree localization R F (EG +, R) takes equivariant maps which are underlying weak equivalences to genuine equivariant equivalences. As such, we can view it as a functor F (EG +, ) Sp BG Sp G from G-objects in spectra to genuine G-spectra [HM7]. Moreover, this functor is lax symmetric monoidal, and hence takes E -ring spectra on which G acts via E -ring maps to E -ring objects in genuine G-spectra. In fact, if R is an E -ring spectrum in Sp BG, then the cofree spectrum F (EG +, R) inherits an action of a G-E -operad, and hence we have all norms [HM7]. Since G-E -ring spectra are equivalent to commutative ring objects in genuine G-spectra, we can therefore view any of these as equivariant commutative ring spectra. Remark.. If Γ is a formal group law of height n over a perfect field k of characteristic p such that G Aut k (Γ) and E(k, Γ) is the associated Morava E-theory spectrum, then by the Goerss Hopkins Miller theorem, E(k, Γ) is an E -ring and the action of G is by E -ring maps. So this allows us to view E(k, Γ) as a commutative ring object in genuine G-equivariant spectra. Notation.. If X is a spectrum with G-action, then let X h = F (EG +, X). For a subgroup K of G, the homotopy fixed point spectrum X hk is just the K-fixed points of X h... The Mackey functor homotopy fixed points spectral sequences. Next, we recall the setup for working with a full Mackey functor of homotopy fixed point spectral sequences (Mackey HFPSS). We work in the same context as in [HM7]. For any G-module M, we let H (G, M) be the Mackey functor determined by H (G, M)(G K) = H (K, i K M) with the standard group cohomology restrictions and transfers.

6 6 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA As in the construction of the classical homotopy fixed point spectral sequence, the filtration on F (EG +, X) induced from the skeletal filtration of EG lim EG( ) gives rise to an RO(G)-graded spectral sequence of Mackey functors [HM7, Proposition.8] with E s,v = H s (G, π V X) π V s X h. Here, s Z and V RO(G). The differentials d r = d s,v r E s,v r s+r,v +r Er commute with the restrictions and transfers. In particular, if we restrict V to the trivial representations, evaluating the Mackey HFPSS at G H recovers the standard homotopy fixed point spectral sequence computing π (X hh ). If X is a ring spectrum, then the spectral sequence is multiplicative. Remark.3. The homotopy fixed point spectral sequence can also be constructed using the filtration of F (EG +, X) induced by the slice filtration X lim P X. The natural map P X F (EG +, P X) induces a map of spectral sequences from the slice spectral sequence of X E s,v π V s P d d X πv s X (where d = dim(v )) to the homotopy fixed point spectral sequence of X. If X is a ring spectrum, this is a map of multiplicative spectral sequences..3. Real Representations of C and C. We recall the structure of the representation rings RO(G), when G is C or C, establishing some notation for the rest of the paper. Let γ = γ be a generator of C and γ a generator of C. These are the real representations of interest: The trivial representation ; The sign representation σ of C (on which γ acts as ); The sign representation σ of C (on which γ acts as ); The two-dimensional irreducible C -representation λ; this is R on which γ acts by rotation by π ; The regular representation of C, ρ = + σ ; and The regular representation of C, ρ = ρ = + σ + λ. Then we have RO(C ) Z[σ ] (σ ), and RO(C ) Z[σ, λ] (σ, σλ λ, λ σ). We also use the following standard notation throughout. See for example Definition 3. of [HHR7]. Notation.. For V RO(G), the inclusion S = {, } S V is an equivariant map denoted by a V π G V S. If R is a ring, the image of a V under the unit in π G R is also V denoted by a V. 3. THE HOMOMORPHISM J G R Let be an E -operad, and suppose that R is an -algebra in genuine equivariant spectra. There is a good symmetric monoidal category of R-modules in genuine G-spectra [BH5], and base-change along the unit map S R

7 INVERTIBLE K()-LOCAL E-MODULES IN C -SPECTRA 7 gives us a group homomorphism J G R RO(G) Pic G (R), where Pic G (R) is the Picard group of the category of R-modules in genuine G-spectra. Explicitly, this homomorphism is given by J G R (V ) = R SV, and since the target depends only on the equivariant equivalence class of the V -sphere, this factors through the J O-equivalence classes of representations (i.e., equivalences of associated spherical bundles). This gives us the name. To apply this for spectra like Morava E-theory, we must promote this naive equivariant commutative ring spectrum to a genuine equivariant ring spectrum. The formal procedure to do this was described in Section. and has nice properties for Pic. For R a ring spectrum, let Mod(R) be the homotopy category of R-modules in spectra and let Mod G (R) be the homotopy category of R-modules in the category of G-spectra. The proof of the following result is the discussion immediately following the statement of Theorem 6. in [HM7]. Proposition 3.. Let R hg R be a faithful G-Galois extension, where R is a cofree G ring spectrum. Then Mod(R hg ) and Mod G (R) are equivalent categories. In particular, Pic(R hg ) Pic G (R). Corollary 3.. If M and N are R-modules for R as in Proposition 3., then M hg N hg if and only if M N as R-modules in G-spectra. In particular, M hg and N hg represent the same elements in Pic(R hg ) if and only if there is a G-equivariant equivalence of R-modules M N. We will use the following notation. If X is a spectrum and u X M is a map where M is an R-module spectrum, we let u R be the composite R X R u R M μ M M where μ M R M M is the module structure map. In particular, we can apply this construction for any map X R using the R-module structure on R given by multiplication μ R R R. The group Pic G (R) contains a cyclic subgroup generated by ΣR, or equivalently the image J G (Z{}) of Z{} RO(G), where denotes the trivial one-dimensional representation. We let d Pic G (R) denote the element Σ d R R. Definition 3.3. Let V be a G representation of dimension d. An R-orientation u V for V is a G-equivariant map u V S d R S V such that u R V R Sd R S V is a G-equivalence. A representation V is R-orientable if there exists an R-orientation for V. Remark 3.. Given a G-equivalence u R V R Sd R S V which is also a map of Rmodules, we can precompose u R V with Sd S S d R S d where is the unit of R to obtain an orientation u V. By construction, weak equivalences between cofree spectra are detected on the underlying, non-equivariant homotopy. This gives us a way to detect R-orientability. Proposition 3.5. If R is cofree and there is an element u V induces an underlying equivalence, then V is R-orientable. π G d (R SV ) such that u R V

8 8 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA Proposition 3.6. Let V be a G representation of dimension d, and assume that R is cofree. Then the representation V is R-orientable if and only if J G (V ) = d in Pic(R). R Therefore, to compute the image of the map J G, it is useful to have a criterion for recognizing R-orientable representations. R Now, let V be a d-dimensional real representation of G. Recall that V is orientable in the classical sense if G O(d) Aut(V ) factors through SO(d). Since SO(d) is path connected, for any orientable representation V of dimension d, the action of g G is homotopic to the identity on S V. It follows that there is an equivariant isomorphism of π i e R-modules (3.) π (i e R Sd ) π i e (R SV ). Since the source is a free π i er-module on a fixed class in dimension d (corresponding to the element in π i er), the isomorphism is equivalent to an element u V ( π d i e (R SV ) ) G. However, this is not the same as having an equivariant map S d R S V, since the homotopy groups we are computing are just the underlying homotopy classes of maps. Even if R is cofree, this does not imply that V is R-orientable. Definition 3.7. Let V be a (classically) orientable representation of dimension d. A pseudo R-orientation is a map of underlying spectra u V ( π d i e (R SV ) ) G such that u i e R i V e R Sd i e (R SV ) induces an isomorphism of G-π i e R-modules. π (i e R Sd ) π i e (R SV ) Remark 3.8. In fact, if R is cofree, a pseudo R-orientation u V S d R S V. is an R-orientation if and only if u V underlies a G-equivariant map of G-spectra. Remark 3.9. By construction, the pseudo R-orientations are units in the ring (π i e R)G. Proposition 3.. Let V be a classically orientable G representation of dimension d, and let R be cofree. Then V is R-orientable if and only if there exists a pseudo R-orientation u V ( π d i e (R SV ) ) G H (G, π d (R S V )) which is a permanent cycle in the homotopy fixed point spectral sequence H s (G, π t (R S V )) π t s (R S V ) hg. Proof. If V is R-orientable, then the map u R V R Sd R S V induces an isomorphism of spectral sequences which maps H (G, π R) H (G, π d (R S d )) to u V H (G, π d (R S V )). Since is a permanent cycle, so is u V. Conversely, assume that there is a class u V ( π d i e (R SV ) ) G as in Definition 3.7 which is a permanent cycle. This means that it represents a class u V π d (R S V ) hg [S d, R S V ] G,

9 INVERTIBLE K()-LOCAL E-MODULES IN C -SPECTRA 9 since R is cofree and S V is a finite G-CW complex. In other words, u V is an equivariant map S d R S V, and by base change, we get an equivariant map u R V R Sd R S V. By assumption, this map induces the same map as u i e R on π V i e ( ), and so is an underlying equivalence. Since R is cofree, the map u R V is then an equivariant equivalence, and thus u V is an orientation. We close this section by connecting the orientability for representations of subgroups to the orientability of the induced representations. This uses in an essential way the full equivariant commutative ring structure on spectra like E, rather than the results so far which have just used an E -ring structure. Proposition 3. ([BH5]). If R is an equivariant commutative ring spectrum, then the symmetric coefficient system of R-modules has homotopically meaningful norm maps R N G H Mod H (i H R) Mod G (R) given by R N G H (M) = R N G H i H R NG H (M), where N G (M) is the ordinary norm from H-spectra to G-spectra, and where R is an H R-module via the counit of the norm forget adjunction. N G H i H Corollary 3.. The coefficient system G H Pic H (i H R) extends to a Mackey functor, where the transfer maps in Pic are given by the norm maps. Proof. The functor Pic is natural for symmetric monoidal functors, and therefore the symmetric monoidal functors i H and R N G induce maps on Pic. We need only check that the H Mackey double-coset formula is satisfied on Pic. However, this is exactly the condition that the symmetric monoidal coefficient system G H Mod H (i H R) with its norm maps forms a symmetric monoidal Mackey functor. Proposition 3.3. The homomorphisms J H as H varies over the subgroups of G give a R map of Mackey functors RO Pic(R). Proof. The maps J H visibly commute with the restriction maps. We need only check that R these commute with the transfer maps. The transfers in RO are given by induction, while in Pic(R), we have the norms. The result then follows from the computation R N G H (i H R ( SW ) = R N G N H i H R G H (i H R SW ) ) R S IndG H W, where the last isomorphism is the usual cancellation formula and the computation of the norm of a representation sphere. Corollary 3.. Let R be an equivariant commutative ring G-spectrum. Suppose that H is a subgroup of G and W is a virtual H-representation of dimension. Let V = Ind G H (W ). If W is i R-orientable, then V is R-orientable. H

10 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA. THE C -SPECTRUM E AND THE NON-CYCLICITY OF ITS PICARD GROUP The goal of this section is to compute the image of the map J G E for the groups G = C and C acting on the Morava E-theory spectrum... A convenient choice of E-theory. We begin by fixing a choice of E-theory that will be convenient for computations. The methods of this section are due to Hill Hopkins Ravenel [HHR6, HHR7] and were the motivation for the work of Hahn Shi [HS7]. In fact, an analogous construction of genuine equivariant Morava E-theory at p = can be done at all heights and will soon appear in work of Shi. It is also used at higher heights in computations of Hill Shi Wang Xu [HSWX8]. We write MU R to denote the -localization of the real bordism spectrum. From [HHR6] there are classes r C i π C iρ MU R whose underlying homotopy classes, which we denote by r C i π i i e MU R, give a set of polynomial generators π i e MU R Z () [r, r, ]. Let N = NC be the norm functor from the category of C C -spectra to the category of C -spectra. The spectrum MU ((C )) is defined to be the C -spectrum MU ((C )) = N MU R = MU R MUR with action of γ given by a cyclic permutation of the factors twisted by the conjugation action on MU R analogous to the action of the form γ(x, y) = ( y, x) in algebra. Again, in Section 5 of [HHR6], it is shown that there are classes r i, = r C i, r i, = γ r C i, in π C iρ i C MU ((C )) with the property that for r i,ε π i i e MU ((C )) corresponding to r i,ε we have π i e MU ((C )) Z () [r,, r,, r,, r,, ]. The action of γ on π i e MU ((C )) is given by γ(r i, ) = r i,, γ(r i, ) = ( ) i r i,. The spectrum MU ((C )) has two real orientations coming from the right and left unit of MU R MU R, both of which are equivariant maps. We fix the orientation coming from the left unit. We also denote by r C i the image of r C i π C iρ MU R under the left unit. The spectrum k [] of [HHR7] is obtained from MU ((C )) by killing the generators r i,ε for i and ε =,. In particular, π i e k [] Z () [r,, r, ]. See, for example, [HHR7, Theorem.]. It inherits a real orientation from MU ((C )) and, in Section 7 of [HHR7], the authors compute the image of r C i for i =,, 3 in π C i k C [] : r C (.) r C 3 = r, + r,, r C = 3 r, r, + r,, = r, (5 r, + 5 r, r, + r, ).

11 INVERTIBLE K()-LOCAL E-MODULES IN C -SPECTRA The spectrum K [] is obtained from k [] by inverting an element D π C k ρ [] whose restriction in π C i k 8ρ C [] is r, r, r C 3 γ rc. See [HHR7, (7.)]. Since inverting D inverts 3 its restrictions, it also inverts the classes r,ε in π C ρ i k C []. So, the homotopy classes μ = r, r, r, = r C r,, μ r = r, + r,, r, = γ(μ ) = r C. r, are defined in π C i K C []. We also denote by μ and μ their restrictions to π i e K []. Note that in π i e K [] we have r, = r, ( μ ) and that there is an isomorphism ( π i e K ) [] (,r C ( Z ) () [r,, r, ][(res D)± ] ) (,μ ) Z [[μ ]][r±, ]. The spectrum K [] also inherits a real orientation and it follows from (.) that the formal group law F [] of K [] reduces to a formal group law Γ [] of height defined over whose []-series satisfies In fact, the []-series of F [] satisfies π i e K [] (, r C ) F [r ±, ], [] Γ[] (x) = r 3, x + [] F[] (x) r C x μ r, x mod (, x ), [] F[] (x) r C 3 x r 3, x mod (, μ, x 5 ). Define F [] (x, y) = r, F [] (r x, r,, y) over Z [[μ ]] and Γ [] = r, Γ [] (r, over F. Let k be the algebraic closure of F and (.) W = W (k) x, r, y) be the ring of Witt vectors over k, so that k = W. We consider Γ [] as a formal group law defined over k and F [] as a formal group law defined over W[[μ ]]. Then (W[[μ ]], F [] ) is a universal deformation of (k, Γ [] ). We let E [] be the associated E-theory spectrum with distinguished unit r, π E [] and let φ u MU E [] be a complex orientation chosen so that π φ u classifies F []. By Hahn Shi [HS7], E [] is Real oriented, and φ u has an equivariant refinement φ MU R E []. That is, φ is a C -equivariant map and π i e φ = π φu. Further, norming up gives a C -equivariant map MU ((C )) E [] (for C Aut k ( Γ [] )), which factors through K [] : MU ((C )) E []. By construction, the action of C on π i e E [] is determined by the action on π i e K []. K [] Remark.. The C equivariant spectrum E [] is 3 periodic, with periodicity generator a permanent cycle which we denote by Δ πc 3 E [], and whose restriction in π 3 i e E [] is (r, r, ). See Table.

12 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA The map K [] E [] induces a map of slice spectral sequences so slice differentials for K [] imply slice differentials for E []. Further, it follows from [Ull3, Theorem 9.] that the slice spectral sequence and homotopy fixed point spectral sequence for E [] are isomorphic in, for example, the range s + 5 t s. One can obtain a better range from Ullman s results, but in practice, the periodicity of the homotopy fixed point spectral sequence for E [] implies that one only needs to look in a range where (t s) is large enough with respect to s to make the comparison. Notation.. We use the convention and write E = E [] = E(k, Γ [] ) E = π i e E. We implicitly replace E with E h = F (EC +, E) so that everywhere, we are working with a cofree spectrum... The homomorphisms J C and J C. The structure of RO(C E E ) and RO(C ) is reviewed in Section.3. The ring RO(C ) is of rank 3 as a Z-module, generated by the trivial representation, the sign representation σ, and the -dimensional irreducible representation λ. The representation λ is (classically) orientable as it is modeled by a rotation by π on R. The representation σ is not an orientable representation of C, but σ is orientable. Similarly, RO(C ) is of rank over Z generated by and σ. Again, the sign representation σ is not orientable, but σ is. At this point, we relate our definition of pseudo E-orientation to the elements u V that appear in the slice spectral sequence computations of [HHR7]. These classes are, for example, defined in [HHR6, Definition 3.]. If V RO(G) of dimension d is classically orientable when restricted to a subgroup G G, then one can fix a choice of generator u V π G d V HZ HG d (SV, Z) H d (S V, Z) Z. These classes satisfy the relation u V u W = u V +W. When G = C, this gives classes u λ π λ HZ(C C ), u σ π σ HZ(C C ), u σ π σ HZ(C C ) together with their restrictions and products. Similarly, when G = C, we get classes u σ π σ HZ(C C ), u σ π σ HZ(C e). Let V be classically orientable for the subgroup G C. Since P MU ((C )) HZ, the map from the slice spectral sequence of MU ((C )) to the homotopy fixed point spectral sequence of E gives a commutative diagram π i e HZ = π G HZ H (G, π E) ι π d V i e HZ = πg d V HZ ι H (G, π d V E) where the vertical isomorphisms are induced by precomposition with a chosen underlying equivalence ι S d V S. The top inclusion is the natural ring map. It follows that the class u V π G d V HZ maps to a pseudo-orientation in H (G, π d V E) which we denote by the same name.

13 INVERTIBLE K()-LOCAL E-MODULES IN C -SPECTRA 3 Remark.3. By the discussion above, there are pseudo-orientations u λ E, λ (C C ), u σ E, σ (C C ), u σ E, σ (C C ). As was noted in Remark 3.9, the classes u V are all invertible in E, = H (G, π E). Let r, π C ρ i C E be the image of the same-named class of π C ρ i C MU ((C )) induced by the Hahn Shi Real orientation MU R E. By our construction of E, this class is a unit and hence induces an equivalence i C E S ρ i C E. In particular, this means that J C E (ρ ) =. By Corollary 3., we have J C E (ρ ) =. Proposition.. In Pic C (E), J C (ρ E ) =, where ρ = + σ + λ is the regular representation of C. Before turning to the more technical computations of the next sections, we state two results which are proved in Section 5. We use them here to compute the image of J C and E J C. The first result we state follows from the computations of [HHR7] and is proved in E Proposition 5.3 below: Proposition.5. The classes u 8 λ, u σ and u σ u are permanent cycles in the homotopy fixed λ point spectral sequence for E hc. Therefore, the representations 8λ, σ and σ + λ are E-orientable for C. In particular, the images under J C of E 6 8λ, σ, and σ λ are zero in Pic C (E). The class u 8σ is a permanent cycle in the homotopy fixed point spectral sequence for E hc. So, the image under J C of E 8 8σ is zero in Pic C (E). The second result we state is proved in Corollary 5.9 and Table 6: Proposition.6. There is no integer d such that E S σ E S d as C equivariant E-modules. In particular, J C E (σ ) is not in the cyclic subgroup generated by ΣEhC. Proposition.7. The image of the map J C RO(C E ) Pic C (E) is isomorphic to Z 3{} Z {7 + σ}. The image of the map J C RO(C E ) Pic C (E) is isomorphic to Z 6{}. Proof. As an abelian group, RO(C ) is isomorphic to Z{, σ, λ}. The map J C E through the quotient (.3) Z{, σ, λ} (6 8λ, σ, σ λ, + σ + λ). Simplifying the relations, we have that (.3) is isomorphic to Z{, σ} ( + 8σ, σ, + σ) Z 3{} Z {7 + σ}. factors

14 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA Since the periodicity of E hc is 3, the image of J C contains the cyclic subgroup Z 3{}. E Further, since J C (σ ) = J C ( 8 + (7 + σ)) is not in this cyclic subgroup, then neither E E is 7 + σ. Therefore, J C does not factor through a smaller quotient. E For C, a similar computation shows that J C factors through Z 6. Since the periodicity of E hc is 6, there can be no further relations. E Remark.8. Proposition.7 provides a lower bound for the order of Pic C (E). That is, this group has order at least 6. Remark.9. Proposition.5 and Proposition.7 together immediately imply that for any virtual representation V RO(C ), homotopy fixed point spectral sequence computing π V E π S V E is a shift of either that computing π E or that computing π + σ E. We explain this in two examples. Since σ 6 in Z 3{} Z {7 + σ}, there is an isomorphism of Mackey functor homotopy fixed point spectral sequences Similarly, since E, + σ E, σ σ in Z 3{} Z {7 + σ}, there is an isomorphism of spectral sequences E, +5+σ E, + σ. 5. THE C HOMOTOPY FIXED POINT SPECTRAL SEQUENCE FOR E THEORY The goal of this section is to compute the homotopy fixed point spectral sequence (5.) E s, +t = H s (C, π +t E) π +t s E h with differentials d r E s, +t r E s+r, +t+r r. As is noted in Remark.9, the computation for any RO(C ) is determined by the computation for = or for = σ. So, throughout this section, we detail the computation of E, and of E, σ+. We first describe the structure of H (C, E ) as a Mackey functor: (5.) H (C, E ) res tr H (C, E ) res tr H ({e}, E ) This then determines the E -term of (5.) when =. The computation of the E -term of (5.) when = σ, will easily follow from this computation. This is explained in Section 5... Next, we discuss the differentials and extensions. They are imported from the slice spectral sequence for K [] to the homotopy fixed point spectral sequence for E hc. Although all differentials are a direct consequence of those in the slice spectral sequence, there is a significant difference between this computation and that of [HHR7] in the range near the zero line. The d 3 -differentials need particular attention and we give more details in this part of the computation. From the E -term onwards, the computation in the range s is

15 INVERTIBLE K()-LOCAL E-MODULES IN C -SPECTRA 5 also different, but for s 3, the computation is almost identical to that of the slice spectral sequence. Finally, we describe the E -terms of π E h and π ( σ)+ E h. 5.. Some important C -modules. Before giving a more detailed description of the structure of E as a C -module, we need to set up some notation for a selection of C -modules that will be making multiple appearances in the computations below. Denoting by γ the generator of C, and by e the trivial group element, we have the following modules Z = Z[C C ] = Z[C ] (γ e) corresponding to in RO(C ) Z = Z[C ] (γ + e) corresponding to σ in RO(C ) Z[C C ] = Z[C ] (γ e) corresponding to + σ in RO(C ) Z[C C ] = Z[C ] (γ + e) corresponding to λ in RO(C ) where the correspondence with elements of RO(C ) occurs after base change to R. Moreover, we will write Note that Z[C C + ] = Z[C C ] Z Z[C C ] = Z[C C ] Z. Z Z Z, Z Z Z, Z Z[C C ] Z[C C ], Z Z[C C ] Z[C C ]. Since the coefficients of E are modules over the Witt vectors W = W (k), we will have to base change all of the above modules to W; that amounts to just writing W instead of Z. Let and Let A = W[[μ]][C C ] = W[[μ]] W W[C C ] A = W[[μ]][C C ] = W[[μ]] W W[C C ]. Δ = e + γ W[C ], Δ = e γ W[C ]. We denote by the same name the images of Δ and Δ in W[C C ], in W[C C ], and in W[C C ± ] via the inclusion W[C C ] W[C C ± ]. For W[[μ]][C C ± ] = W[[μ]] W W[C C ± ], and corresponding to a generator of the C -submodule W W[C C + ], we define A(+) = W[[μ]][C C + ]. μ = Δ Similarly, for a generator of W W[C C ], we define There are exact sequences A( ) = W[[μ]][C C ] μ = Δ +. (5.3) A A(+) W A A( ) W.

16 6 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA Further, note that and that there is an exact sequence A(+) A( ) k[[μ]][c C + ] μ = Δ A A(+) k. 5.. The Mackey functor cohomology of C with coefficients in E. Recall that there is isomorphism E W[[μ ]][r ±, ] of W[C ]-modules, with r, = and the action of γ given by γ(r, ) = r, = r, ( μ ), γ(μ ) = μ = μ μ. In Table, we have named some of the elements in E, E C and E C. We will use the notation and the information contained in Table throughout the rest of the paper. Elements Degree Action r, r, = r, ( μ ) μ = r, r,, r, μ = r,+r, = μ r, μ Σ, = r,, Σ, = r, E γ(r, ) = r, γ(r, ) = r, E C E C δ = r, r, E C μ = μ + μ = μ E C μ T = r, + r E C, Δ = δ E C 8 T = Δ (μ ) E C 8 γ(μ ) = μ γ(μ ) = μ γ(σ, ) = Σ, γ(σ, ) = Σ, γ(δ ) = δ γ(μ) = μ γ(t ) = T γ(δ ) = Δ γ(t ) = T TABLE. Some elements of E as a C -module. Names are chosen to reflect the notation of [HHR7, Table 3]. Remark 5.. There are isomorphisms W{r,, r, } W[C C ], W{μ, μ } W[C C ], W{Σ,, Σ, } W[C C ], W{δ } W. Remark 5.. The norm element Δ = r, γ(r, )γ (r, )γ 3 (r, ) is a periodicity generator of E as a C -module. However, we will see that Δ is a permanent cycle and is a periodicity generator of E h as a C -spectrum. See Remark..

17 INVERTIBLE K()-LOCAL E-MODULES IN C -SPECTRA 7 Remark 5.3. The relations μ = μμ μ +, r, = Δ ( μ ) imply that W[[μ ]] is isomorphic to W[[μ]]{, μ } as a W[[μ]]-module and, in fact, that as W[[μ]][Δ ± ]-modules. E W[[μ]][Δ ± ]{rk,, μ r k k 3}, Lemma 5.. As a W[[μ]][C ]-module, E is 8 periodic, with periodicity generator Δ E 8. There are isomorphisms in particular, E W[[μ]]{, μ, μ } (μ = μ + μ ), E W[[μ]]{r,, r, }, E W[[μ]]{δ, Σ,, Σ, } (μδ = Σ, + Σ, + δ ), E 6 W[[μ]]{δ r,, δ r, }. E A(+), E E 6 A, E A( ). Proof. A straightforward computation gives the first set of isomorphisms. The second set of isomorphisms is given by the C -linear maps determined by: E A(+) E A E A E 6 A( ) r, e δ δ r, e μ e Σ, e Remark 5.5. Lemma 5. implies that E C W[[μ ]][Σ ±, ] E C W[[μ]][T, Δ ± ] (T Δ ((μ ) + )). From the fact that Δ = (r, r, ) and that the ideal (, μ) is equal to (, μ ), it follows that E (W[r,, r, ][Δ ]) (,μ) as W[C ]-modules. An argument similar to that of Theorem 6 in [GHM] gives an isomorphism H (C, E ) ( W H (C, Z[r,, r, ])[Δ ]) (,μ). Hence, in order to compute the cohomology of C with coefficients in E, we first compute H (C, Z[r,, r, ]), noting that Z[r,, r, ] is the symmetric algebra of the induced sign representation Z[r,, r, ] Sym(Z[C C ] ). Then we base change to W, invert Δ and complete the answer at the ideal (, μ). The computation of the cohomology H (C, Z[r,, r, ]) is essentially the same as that performed in [HHR7] to compute the E -term of the slice spectral sequence of k []. This approach to the computation also appears in work in progress of Henn. Finally, the answer is described in [BG8, Section.] and can be deduced from [HHR7]. Following these references, we describe the answer in Proposition 5.8. We do not repeat the computation,v + of the group cohomology, but rather focus our attention on describing the E -terms as

18 8 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA Mackey functors for V = and V = σ. Since we will be deducing most of our results from [HHR7], we have opted to choose notation that does not clash with theirs. Proposition 5.6. There is an isomorphism where η is a generator of H (C, E ). H (C, E ) W[[μ ]][Σ ±,, η ] (η ), Notation 5.7. We let η = η ( μ ) and note that η i H (C, Z{r,i }) is a generator for i =,. Further, r, η = r, η. Proposition 5.8. There are classes and η H (C, E ) ν H (C, E ) ς H (C, E 6 ) π H (C, E 8 ) such that H (C, E ) W[[μ]][T, Δ ±, η, ν, ς, π] where is the ideal of relations given by η = ν = ς = π = ; T = Δ ((μ ) + ); Δ η = T π = ς ; T η = μς; T ς = μδ η; ςη = μπ; ν = π; μν = ην = T ν = ςν =. Remark 5.9. Note that η 3 is μ divisible since η 3 = ης Δ = μςπδ. Remark 5.. Let d = N ( r, ) πc ρ E. The classes a V and u V were introduced in Notation. and Remark.3. There is also a class η π C σ E detected in H (C, π 3 σ E). See [HHR7, Table 3]. It satisfies res (η ) = u σ (η + η ). A dictionary with [HHR7, Table 3], and some useful relations, are then given by the following list: ς = η u λ d π = a λ u λ u σ d Δ = u σ u d λ ν = a σ u λ d. Note further that πδ = a λ u λ. Under some choice of isomorphism, we can identify our classes with those in [BO6, Perspective ]. Again, the elements η and ν have the same name there as here. Further, Δ = δ T = b ς = γ T = b π = ξ πδ = β. In [BG8, Proposition.], ς corresponds to γ and our μ is congruent to their z modulo.

19 INVERTIBLE K()-LOCAL E-MODULES IN C -SPECTRA 9 Remark 5.. Multiplication by the element Δ induces an isomorphism Σ 8 E t E t+8 and multiplication by π induces an isomorphism giving H (C, E ) two periodicities. H s (C, E t ) H s+ (C, E t+8 ), Proposition 5.6 and Proposition 5.8 identify the layers of (5.). It still remains to identify the transfers and restrictions and this is the goal of the remainder of this section. To do this, we use Lemma 5.. The first step is the computation of the Mackey functors H (C, W) H (C, W[C C ]) H (C, W ) H (C, W[C C ] ), which is straightforward from the definitions. The Mackey functors we need are listed in Table 3. Whenever possible, we use notation reminiscent of that used in [HHR7]. Lemma 5.. For the Mackey functors listed in Table 3, there are isomorphisms =, H (C, W) = n, = n, =, H (C, W ) = n, = n, where n > in the above formulas. =, H (C, W[C C ]) = n, = n, =, H (C, W[C C ] ) = n, = n. Notation 5.3. In general, if is a Mackey functor in Table 3, then is the Mackey functor defined as (G H) = W[[μ]] W (G H), with restrictions and transfers extended to be W[[μ]]-linear. Proposition 5.. For the Mackey functors listed in Table 3 and Table, there are isomorphisms =, H (C, A(+)) = n, = n, =, H (C, A( )) = n, = n, =, H (C, A) = n, = n, =, H (C, A ) = n, = n. Proof. Since μ is fixed by the action of C, there are isomorphisms H (C, A) W[[μ]] W H (C, W[C C ]) H (C, A ) W[[μ]] W H (C, W[C C ] ).

20 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA The exact sequences (5.3) give rise to exact sequences of Mackey functors in cohomology:. The definitions of the middle terms in these short exact sequences are given in Table and use the ring structure of A( ) and A(+). Note that all the boundary maps in the long exact sequences in cohomology are trivial due to the structure of the Mackey functors involved. Remark 5.5. Since E is a ring spectrum, we have the Frobenius identity tr H K (resh K (a)x) = atrh K (x) for a π E(G H), x π E(G K) and K H G. Together, Lemma 5. and Proposition 5. give the following transfers and restrictions. Note that all other transfers follow from these using the Frobenius identity and the multiplicative structure of the restriction. Proposition 5.6. In the Mackey functor (5.), there are the following restrictions res (μ) = μ + μ res (η) = η + η, res (Δ ) = δ, res (π) = Σ, η = Σ, η, res (T ) = Σ, Σ,, res (ς) = (η + η )δ, and res (ν) =. In particular, res (Δ π ) = (η η ). There are the following transfers tr (μ ) = μ, tr (Σ, ) = T, tr (η Σ, ) = ς, tr (η ) = η, tr (η η ) =, tr (η η ) = ςπδ together with tr () =. Remark 5.7. As was noted, Proposition 5.6 allows one to compute various other transfers. For example, tr (η ) is obtained from the above formulas as follows: tr (η ) = tr (η + η η ) = tr (res (η)η ) = ηtr (η ) = η. We represent the result of the computations of this section in the chart in Figure. The relevant Mackey functors are depicted in Table 3 and Table Generators for the E, -term. Below we list generators of Es,t = H s (C, E t ) as a W[[μ]]-module. The class πδ H (C, E ) and its restriction to η Σ, H (C, E ) play a central role.

21 INVERTIBLE K()-LOCAL E-MODULES IN C -SPECTRA () In degrees t = 8l with k we have E,8l E k,8l generated by Δ l E,8l (C C ) and by δ l, μ δl E,8l (C C ) and by (r, r, ) l, μ (r, r, ) l E,8l (C {e}) generated by (πδ )k Δ l Ek,8l (C C ) and by (η Σ, )k δ l, μ (η Σ, )k δ l () In degrees t = + 8l with k we have E,+8l E +k,+8l Ek,8l (C C ). generated by r, (r, r, ) l, μ r, (r, r, ) l E,+8l (C {e}) generated by η(πδ )k Δ l E+k,+8l (C C ) and by η (η Σ, )k δ l, μ η (η Σ, )k δ l (3) In degrees t = + 8l with k we have E,+8l E +k,+8l E (k+),+8l E+k,+8l (C C ). generated by T Δ l E,+8l (C C ) and by δ l+, Σ, δ l E,+8l (C C ) and by r, (r, r, )l, μ r, (r, r, )l E,+8l (C {e}) generated by ν(πδ )k Δ l E+k,+8l (C C ) generated by η (πδ )k Δ l E(k+),+8l (C C ) and by η (η Σ, )k δ l, μ η (η Σ, )k δ l () In degrees t = 6 + 8l with k we have E,6+8l E +k,6+8l E(k+),+8l (C C ). generated by r 3, (r, r, )l, μ r 3, (r, r, )l E,6+8l (C {e}) generated by ς(πδ )k Δ l E+k,6+8l (C C ) and by η δ (η Σ, )k δ l, μ η δ (η Σ, )k δ l E+k,6+8l (C C ). In Figure, dashed lines indicate that η times the generator is divisible by μ in E (C C ). The dashed line from to indicates that η(η Δ l (πδ )k ) E +k,6+8l (C C ) = μ(ςδ l (πδ )k ) E +k,6+8l (C C ), which follows from the relation T η = μς. The dashed line from to indicates that η(ςδ l (πδ )k ) E +k,8+8l (C C ) = μ(δ l+ (πδ )k+ ) E +k,8+8l (C C ) Description of the E, σ+ -term. Finally, we turn to the description of E, σ+ = H (C, π σ+ E). The element d π C ρ E introduced in Remark 5. is detected by a permanent cycle in E,ρ which we call by the same name. Let u λ E, λ (C C ) be as in Remark.3. The key observation is that multiplication by the unit p = (u λ d ) E, 3 σ (C C )

22 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA and its restrictions induces isomorphisms: E s,t (C C ) p E s,t 3 σ (C C ) E s,t (C C ) res (p) E s,t 3 σ (C C ) E s,t (C {e}) res (p) E s,t 3 σ (C {e}) So, using Lemma 5., it is straightforward to compute the E, σ+ -term. It is depicted in Figure. The class u σ E, σ (C C ) of Remark.3 is a permanent cycle by Theorem.3 of [HHR7] and multiplication by u σ induces an isomorphism of spectral sequences, and similarly for multiplication by u σ = res (u σ ): E s,t r (C C ) u σ E s, σ+t r (C C ) E s,t r (C {e}) u σ E s, σ+t r (C {e}) Remark 5.8. In E, σ+ (C C ), the classes T p, η = ςp, and a σ = νp are permanent cycles. Here, a σ is as in Notation. and η is as in Remark The differentials and the extensions. In this section, we describe the differentials in the spectral sequence E s, +t = H s (C, π +t E) π +t s E h for = and = σ. The differentials have the form d r E s, +t r E s+r, +t+r r. As was mentioned above, the results in this section follow from the computations of [HHR7] The d 3 -differentials and the E -page. We first describe the d 3 -differentials. Proposition 5.9. In the spectral sequence H s (C, E ) π s E hc, the d 3 -differential are η, ν, μ, Δ and π linear. In the spectral sequence they are determined by d 3 (T ) = η 3, In the spectral sequence they are determined by d 3 (Δ p) = ηπp, In the spectral sequence H s (C, E t ) π t s E hc, d 3 (π) = ηπ Δ, d 3 (ς) = ηςπδ = μπ Δ. H s (C, E σ+t ) π σ+t s E hc, d 3 (πςp) = ηςπ Δ p H s (C, E t ) π t s E hc, the d 3 -differentials are μ, η and Σ -linear and are determined by, d 3 (Σ, ) = μ η 3.

23 INVERTIBLE K()-LOCAL E-MODULES IN C -SPECTRA 3 Proof. We refer the reader to the differentials listed in [HHR7, Table 3]. The differentials in the spectral sequence for C follow from Remark 5. and the differential d 3 (u λ ) = ηa λ. The d 3 differential for C is the [HHR7] differential d 3 (Σ, ) = η (η + η ) = η (η + ( + μ )η ) = μ η3. Both Δ and π are d 3 cycles and (E 3, d 3 ) is a module over W[[μ]][π, Δ ± ]. Using this module structure, it suffices to describe the following five differentials to determine the E, -page as a Mackey functor. The E -page is illustrated in Figure 5. The relevant exact sequences of Mackey functors are depicted in Figure 3. See also [HHR7, Section 5, 3]. () For d 3 E, 3 E 3,6 3 we have an exact sequence d 3 determined by d 3 (T ) = η 3 and d 3 (Σ, ) = μ η 3. This gives the following remaining classes E, E 3,6 generated by T E, (C C ) and by δ, Σ, E, (C C ) and by r, r,, r, E, (C {e}) generated by ς(πδ ) E3,6 (C C ) and by η δ (η Σ, ) η3 E3,6 (C C ). The following commutative diagram, with rows and columns exact, may help the reader relate this family of d 3 -differentials to those of [HHR7, Section 3]: d 3 d 3 d 3 () For d 3 E,6 3 E,8, we have an exact sequence 3 d 3

24 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA determined by the differentials d 3 (ς) = μπ Δ and d 3 (η Σ, ) = μ η. This gives the following remaining classes E,8 There is a commutative diagram: (3) For d 3 E,8 3 generated by π Δ E,8 (C C ) and by (η η ) η E,8 (C C ). d 3 d 3 E 5,, we have an exact sequence 3 d 3 determined by the differentials d 3 (π) = ηπ Δ and d 3 (η Σ, ) = μ η5. This gives the following remaining classes E,8 E 5, There is a commutative diagram: () For d 3 E 3, 3 generated by π E,8 (C C ) generated by η (η η ) η 5 E5, (C C ). d 3 d 3 d 3 E 6,, we have an exact sequence 3 d 3 determined by the differentials d 3 (ηπ) = η π Δ and d 3 (η 3 Σ,) = η 6. This gives the following remaining classes E 6, generated by (η η ) 3 η 6 E6, (C C ).

25 INVERTIBLE K()-LOCAL E-MODULES IN C -SPECTRA 5 There is a commutative diagram: d 3 d 3 (5) For d 3 E, 3 E 7,, we have an exact sequence 3 d 3 determined by d 3 (T π Δ ) = η3 π Δ This gives the following remaining classes and d 3 (Σ, (η η ) ) = μ η 3 (η η ). E 7, generated by ς(π 3 Δ ) E7, (C C ) and by η 3 (η η ) η 7 E7, (C C ). There is a commutative diagram: d 3 d 3 We give a similar description of the E, σ+. Again, using the W[[μ]][π, Δ ± ]-module structure, it suffices to describe the following five differentials to determine all the d 3 differentials. The E -page is illustrated in Figure. See [HHR7, Section 5] and Figure 3 for various relevant exact sequences of Mackey functors. () For d 3 E,5 σ 3 E 3,7 σ, we have an exact sequence 3 d 3