Arxiv:1901.02109V2 [Math.AT] 28 Jan 2021 Remains the Focus of Current Research

INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA

AGNÈS BEAUDRY, IRINA BOBKOVA, MICHAEL HILL, AND VESNA STOJANOSKA

ABSTRACT. We compute the Picard group of the category of K(2)-local module spectra ℎC4 over the ring spectrum E , where E is a height 2 Morava E-theory and C4 is a subgroup of the associated Morava stabilizer group. This group can be identiﬁed with the Picard group of K(2)-local E-modules in genuine C4-spectra. We show that in addition to a cyclic subgroup of order 32 generated by E ∧ S1 the Picard group contains a subgroup of order 2 7+ generated by E ∧ S , where is the sign representation of the group C4. In the process, we completely compute the RO(C4)-graded Mackey functor homotopy ﬁxed point spectral sequence for the C4-spectrum E.

CONTENTS 1. Introduction1 2. Preliminaries4 G 3. The homomorphism JR 6 4. The C4-spectrum E and the non-cyclicity of its Picard group 10 5. The C4 Homotopy Fixed Point Spectral Sequence for E Theory 15 6. The Algebraic Picard Group 52 7. The Picard Spectral Sequence 59 References 67

1. 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 G G subgroups of the Morava stabilizer group = n on Morava E-theory E = En. In theory, G one would like to understand Eℎ itself as this is a model for the K(n)-local sphere. At heights n > 2, there has been little progress in this direction, and the case n = p = 2 arXiv:1901.02109v2 [math.AT] 28 Jan 2021 remains the focus of current research. If one restricts to a finite subgroup G of G, questions about EℎG 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 Nave [Nav10]. They were generalized by Hill, Hopkins and Ravenel in unpublished work and also in [HHR16]. The whole program has recently been enhanced by Hahn and Shi [HS20]. Roughly, one fixes a real orientation MUℝ → E

Date: January 29, 2021. 2010 Mathematics Subject Classification. 55M05, 55P42, 20J06, 55Q91, 55Q51, 55P60. 1 2 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA where MUℝ is the real bordism spectrum. This map is required to be C2-equivariant, where C2 has the usual action on MUℝ coming from complex conjugation, while on E it acts through the central {±1} ⊆ G. Then for any subgroup G of G containing C2 = {±1}, one can use the norm to construct a map G ℝ → NC2 MU E, which provides information on the structure of E as a G-spectrum. An important application of these ideas is the computation of the homotopy groups ℎG ∗E , which in turn, provides the information needed to study the Picard group of the category of K(n)-local EℎG-module spectra, Pic(EℎG). 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ℎG) appears in various forms throughout the literature. Classical examples are the folklore results of Hopkins which state that Pic(KU) ≅ ℤ∕2 and Pic(KO) ≅ ℤ∕8 (see ℤ also Gepner–Lawson [GL16]) and the fact that Pic(En) ≅ ∕2 for all n, a result of Baker– Richter [BR05]. The problem has been extensively revisited by Heard–Mathew–Stojanoska ℎG G [MS16, HMS17]. For example, they compute Pic(En ) for the finite subgroups G ⊆ at chromatic heights n = p − 1 for p odd. Most recently, Heard–Li–Shi [HLS18] have also ℎC2 computed Pic(En ) at all heights n when p = 2. The Picard group of a ring spectrum always contains a cyclic subgroup generated by the suspension ΣEℎG. In all of the examples of Pic(EℎG) studied so far, it was found that Pic(EℎG) is exactly this cyclic group. For instance, if n = p − 1 and G is a maximal G ℎG 2 2 finite subgroup of containing the p-torsion, Pic(En ) is cyclic of order 2n p , which is ℎG ℎC2 n+2 the periodicity of En [HMS17]. When p = 2, then Pic(En ) is cyclic of order 2 ℎC2 [HLS18], which is again the periodicity of En . In this paper, we compute an example of Pic(EℎG) which is not a cyclic group. The example is the following. We work at the prime p = 2 and chromatic height n = 2. Any formal group law Γ of height 2 has an automorphism of order 4 over the algebraic closure of F2 and the subgroup C4 this automorphism generates is unique up to conjugation in the associated Morava stabilizer group. The spectrum EℎC4 has already received much attention in the literature. It is closely related to the spectrum TMF0(5) of topological modular forms with Γ0(5) level structure. The latter was studied extensively by Behrens–Ormsby in [BO16]. Further, E as a C4-module spectrum is closely related to the spectrum K[2] studied in Hill–Hopkins–Ravenel [HHR17]. It also play a key role in Bobkova–Goerss [BG18] and in Henn [Hen19]. In fact, the computation of the homotopy fixed point spectral sequence for the spectrum EℎC4 can be mined from these references and its homotopy groups are now well understood. The spectrum EℎC4 is 32-periodic, so Pic(EℎC4 ) 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ℎC4 . After replacing E by an equivalent cofree G-spectrum, the fact that EℎG → E is a faithful K(n)-local Galois extension of G-spectra implies that the homotopy category of K(n)- local EℎG-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 E- module structure, whose Picard group we denote by PicG(E). This allows us to identify the Picard groups ℎG Pic(E ) ≅ PicG(E). This translates our problem into that of computing the Picard group of the C4-equivariant ring spectrum E. INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 3

In general, if R is a G-equivariant commutative ring spectrum, then the groups Pic ( ) = Pic ( ∗ ) H R H iH 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 1.1. Let Γ be a formal group law of height 2 over F2 and let k be the algebraic closure of F2. Let E = E(k, Γ) be the associated Morava E-theory and G = G(k, Γ) the associated Morava stabilizer group. Let C4 ⊆ G be a cyclic subgroup of order 4, which necessarily contains C2 = {±1}. Then there are isomorphisms Pic ( ) ≅ ℤ∕32{ ∧ 1} ℤ∕2{ ∧ 7+} C4 E E S ⊕ E S and Pic ( ) ≅ ℤ∕16{ ∧ 1} C2 E E S . As a Mackey functor, this assembles into

Pic(E)(C4∕C4) ≅ ℤ∕32 ⊕ ℤ∕2 T L M 26 1 8 1 Pic(E)(C4∕C2) ≅ ℤ∕16 T 1 0 Pic(E)(C4∕{e}) ≅ ℤ∕2.

The result (and its proof) for EℎC2 is a special case of [HLS18]. We include the computations here since they are necessary for our analysis of the Mackey functor Pic(E). Together with [HMS17, Proposition 3.10], Theorem 1.1 has the following immediate consequence:

Corollary 1.2. Let C6 ⊆ G be the subgroup generated by −1 and a third root of unity. There is an isomorphism Pic(EℎC6 ) ≅ ℤ∕48. G ∶ ( ) → Pic ( ) Our approach is to study the map JR RO G G R , for R an E∞-ring G- spectrum, given by G( ) = ∧ V JR V R S . When R is a G-equivariant commutative ring spectrum, then these homomorphisms assemble into a map of Mackey functors ∶ RO → Pic( ) J R R , RO where here 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 ﬁxed 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 E2- algebraic Picard groups Pic ( ) term of this spectral sequence, we also compute the C4 E0 4 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

Pic ( ) and C2 E0 . These also naturally assemble into a coefficient system, where the value at ∕ ∗ G H is the Picard group of the category of iH E0-modules in H-modules. This coefficient system can be computed via the isomorphism Pic( )( ∕ ) ≅ 1( ; ∗ ×) E0 G H H H iH E0 . 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 E0-modules. We find that PicG(E0) are cyclic groups of order 4 when G = C4 and 2 when G = C2. ∗ Note that in both cases, 2ð PicG(E0)ð is the periodicity of the cohomology H (G,Et) in t, which in turn is the size of PicG(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 [HHR17]. In Section 5.2, we describe this computation. Many results and much notation from Section 5.2 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(C4)-graded Mackey functor E (Remark 4.9). ̄ ⋆ Organization. G This is a brief outline of the paper. In Section 3, we discuss the map JR . In Section 4 compute its image in the cases of interest. This gives a lower bound on the order of Pic(EℎC4 ) 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 1 × rest of the paper. In Section 6, we compute the Mackey functor H (C4,E0 ). 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ℎC4 ) and Pic(EℎC2 ).

Acknowledgements. We would like to thank Mike Hopkins, Lennart Meier, Doug Ravenel, XiaoLin Danny Shi and Mingcong Zeng for useful conversations. We would like to thank the anonymous referee for helpful comments. This material is based upon work supported by the National Science Foundation under grants No. DMS–1725563, DMS–1638352, DMS–1811189, DMS–2005627 and DMS–1812122. 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/R014604/1.

2. PRELIMINARIES 2.1. Equivariant homotopy theory. We review some notation and results from equivariant homotopy theory that will be used throughout the paper. For a ﬁnite group G, we will be working in the category of genuine G-spectra as in [HHR16]. 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 ̄ (X)(G∕H) = H (X) = [SV ,X]H . ̄ V V Here V ∈ RO(G) and [SV ,X]H denotes the genuine H-equivariant homotopy classes of maps. We simply write V e V X = [S ,X] INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 5 in the case of the trivial group H = e. The conjugation action of G on homotopy classes V ℤ of maps [S ,X] induces an action of G on V X. For d ∈ , we may also use the notation ∗ d ∗ die X = [S , ie X] when we want to stress the fact that we are considering the homotopy ∗ groups of the underlying spectrum ie 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 BG G F (EG+, −)∶ Sp → Sp from G-objects in spectra to genuine G-spectra [HM17, §2.2.1]. 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 BG in Sp , then the cofree spectrum F (EG+,R) inherits an action of a G-E∞-operad, and hence we have all norms [HM17, Theorem 2.4]. 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 2.1. If Γ is a formal group law of height n over a perfect field k of characteristic p such that G ⊆ Autk(Γ) 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 2.2. If X is a spectrum with G-action, then let X = F (EG+,X). For a subgroup K of G, the homotopy fixed point spectrum XℎK is just the K-fixed points of Xℎ. 2.2. The Mackey functor homotopy fixed point 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 [HM17]. ∗ For any G-module M, we let H (G,M) be the Mackey functor determined by ∗( )( ∕ ) = ∗( ∗ ) H G,M G K H K, iK M with the standard group cohomology restrictions and transfers. As in the construction of the classical homotopy fixed point spectral sequence, the fil- (∙) tration 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 [HM17, Proposition 2.8] with s,V s ℎ E = H (G, X) ⟹ − X . 2 V ̄ V s ℤ Here, s ∈ ≥0 and V ∈ RO(G). The differentials = s,V ∶ s,V → s+r,V +r−1 dr dr Er 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 ℎH fixed point spectral sequence computing ∗(X ). If X is a ring spectrum, then the spectral sequence is multiplicative. 6 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

Remark 2.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. Ullman shows that there is a natural map ∙ ∙ P X → F (EG+,P X), and this induces a map of spectral sequences from the slice spectral sequence of X s,V d E ≅ − P X ⟹ − X 2 ̄ V s d ̄ V s (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 [Ull13, Theorem I.9.1].

2.3. Real Representations of C2 and C4. We recall the structure of the representation rings RO(G), when G is C4 or C2, establishing some notation for the rest of the paper. Let = 4 be a generator of C4 and 2 a generator of C2. These are the real representations of interest: ∙ The trivial representation 1; ∙ The sign representation of C4 (on which acts as −1); ∙ The sign representation 2 of C2 (on which 2 acts as −1); 2 ∙ The two-dimensional irreducible C4-representation ; this is ℝ on which acts by rotation by ∕2; ∙ The regular representation of C2, 2 = 1 + 2; and ∙ The regular representation of C4, = 4 = 1 + + . Then we have ℤ 2 RO(C2) ≅ [2]∕(2 − 1), and 2 2 RO(C4) ≅ ℤ[, ]∕( − 1, − , − 2 − 2). We also use the following standard notation throughout. See for example Deﬁnition 3.4 of [HHR17]. Notation 2.4. For V ∈ RO(G), the inclusion S0 = {0, ∞} → SV is an equivariant map ∈ G 0 G denoted by aV −V S . If R is a ring, the image of aV under the unit in −V R is also denoted by aV .

G 3. THEHOMOMORPHISM JR

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 [BH20], and base-change along the unit map S0 → R gives us a group homomorphism G → JR ∶ RO(G) PicG(R), where PicG(R) is the Picard group of the category of R-modules in genuine G-spectra. Explicitly, this homomorphism is given by G V JR (V ) = R ∧ S , and since the target depends only on the equivariant equivalence class of the V -sphere, this factors through the JO-equivalence classes of representations (i.e., equivalences of associated spherical bundles). This gives us the name. INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 7

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 2.1 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 ModG(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.4 in [HM17]. Proposition 3.1. Let RℎG → R be a faithful G-Galois extension, where R is a cofree G ring spectrum. Then ℎG and are equivalent categories. In particular, Mod(R ) ModG(R) ℎG . Pic(R ) ≅ PicG(R) Corollary 3.2. If M and N are R-modules for R as in Proposition 3.1, then MℎG ≃ NℎG if and only if M ≃ N as R-modules in G-spectra. In particular, MℎG and NℎG represent the same elements in Pic(RℎG) 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 uR be the composite

R∧u M R ∧ X ,,,,,,,,,,,,,,,,,→ R ∧ 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 PicG(R) contains a cyclic subgroup generated by ΣR, or equivalently the G ℤ ℤ image JR ( {1}) of {1} ⊆ RO(G), where 1 denotes the trivial one-dimensional represen- d tation. We let d ∈ PicG(R) denote the element Σ R. Definition 3.3. -orientation for Let V be a G representation of dimension d. An R uV V is a G-equivariant map d → V uV ∶ S R ∧ S R ∶ ∧ d → ∧ V such that uV R S R S is a G-equivalence. A representation V is R-orientable if there exists an R-orientation for V . Remark 3.4. R ∶ ∧ d → ∧ V Given a G-equivalence uV R S R S which is also a map of R- R 1 ∧ d ∶ 0 ∧ d → ∧ d 1 modules, we can precompose uV with S S S R S where is the unit of R to obtain an orientation uV . 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 is cofree and there is an element ∈ G( ∧ V ) such that R R uV d R S uV induces an underlying equivalence, then V is R-orientable. Proposition 3.6. Let V be a G representation of dimension d, and assume that R is cofree. Then the representation is -orientable if and only if G in . V R JR (V ) = d Pic(R) G Therefore, to compute the image of the map JR , it is useful to have a criterion for rec- ognizing R-orientable representations. 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 8 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA is homotopic to the identity on SV . It follows that there is an equivariant isomorphism of ∗ ∗ie R-modules ∗ d ∗ V (3.1) ∗(ie R ∧ S ) ≅ ∗ie (R ∧ S ). ∗ Since the source is a free ∗ie R-module on a fixed class in dimension d (corresponding to ∗ the element 1 in 0ie R), the isomorphism is equivalent to an element ∗ V G uV ∈ die (R ∧ S ) . However, this is not the same as having an equivariant map Sd → R ∧ SV , 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 ∗ V G uV ∈ die (R ∧ S ) ∗ ie R ∶ ∗ ∧ d → ∗( ∧ V ) such that uV ie R S ie R S induces an isomorphism ∗ d → ∗ V ∗(ie R ∧ S ) ∗ie (R ∧ S ) ∗ of G-∗ie R-modules. Remark 3.8. In fact, if R is cofree, a pseudo R-orientation d → V uV ∶ S R ∧ S . is an R-orientation if and only if uV underlies a G-equivariant map of G-spectra. Remark 3.9. ∗ G By construction, the pseudo R-orientations are units in the ring (⋆ie R) . Proposition 3.10. 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 ∗ V G 0 V uV ∈ die (R ∧ S ) ≅ H (G, d(R ∧ S )) which is a permanent cycle in the homotopy fixed point spectral sequence s V V ℎG H (G, t(R ∧ S )) ⟹ t−s(R ∧ S ) . Proof. R ∶ ∧ d → ∧ V If V is R-orientable, then the map uV R S R S induces an isomor- 0 0 d phism of spectral sequences which maps 1 ∈ H (G, 0R) ≅ H (G, d(R ∧ S )) to 0 V uV ∈ H (G, d(R ∧ S )). Since 1 is a permanent cycle, so is uV . ∗ V G Conversely, assume that there is a class uV ∈ die (R ∧ S ) as in Definition 3.7 which is a permanent cycle. This means that it represents a class V ℎG d V G uV ∈ d(R ∧ S ) ≅ [S ,R ∧ S ] , V since R is cofree and S is a finite G-CW complex. In other words, uV is an equivariant map Sd → R ∧ SV , and by base change, we get an equivariant map R ∶ ∧ d → ∧ V uV R S R S . INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 9

∗ ie R ∗(−) By assumption, this map induces the same map as uV on ∗ie , and so is an underlying R equivalence. Since R is cofree, the map uV is then an equivariant equivalence, and thus uV 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.11 ([BH20, Theorem 10]). If R is an equivariant commutative ring spectrum, then the symmetric monoidal category of R-modules sits in a symmetric monoidal coeﬃcient system: for any map of orbits G∕H → G∕K, we have a natural map resK ∶ Mod ( ∗ ) → Mod ( ∗ ) H K iK R H iH R . There are homotopically meaningful norm maps R G ∶ Mod ( ∗ ) → Mod ( ) NH H iH R G R given by R G G N (M) = R ∧ G ∗ N (M), H NH iH R H where G ( ) is the ordinary norm from -spectra to -spectra, and where is an NH M H G R G ∗ -module via the counit of the norm forget adjunction, and these satisfy the double NH iH R coset formula, up to isomorphism.

Here, “homotopically meaningful” means that there is a model structure for which these maps are left Quillen functors. This is essentially the hard part of [BH20]. Corollary 3.12. The coeﬃcient system ∕ ↦ Pic ( ∗ ) G H H iH 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 sym- ∗ R G Pic metric monoidal functors iH and NH induce maps on . We need only check that the Mackey double-coset formula is satisﬁed on Pic. However, this is exactly the condition that the symmetric monoidal coeﬃcient system ∕ ↦ Mod ( ∗ ) G H H iH R with its norm maps forms a symmetric monoidal Mackey functor [BH20, Theorem 5.10]. Proposition 3.13. The homomorphisms H as varies over the subgroups of give a JR H G map of Mackey functors RO → Pic(R). Proof. H The maps JR visibly commute with the restriction maps. We need only check that they also 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 G ∗ W G ∗ W IndG W N (i R ∧ S ) = R ∧ G ∗ N (i R ∧ S ) ≅ R ∧ S H , H H NH iH R H H where the last isomorphism is the usual cancellation formula and the computation of the norm of a representation sphere. 10 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

Corollary 3.14. Let R be an equivariant commutative ring G-spectrum. Suppose that H is a subgroup of and is a virtual -representation of dimension 0. Let = IndG ( ). G W H V H W If is ∗ -orientable, then is -orientable. W iH R V R

4. THE C4-SPECTRUM E ANDTHENON-CYCLICITY OF ITS PICARDGROUP

G The goal of this section is to compute the image of the map JE for the groups G = C2 and C4 acting on the Morava E-theory spectrum.

4.1. 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 [HHR16, HHR17] and were the motivation for the work of Hahn–Shi [HS20]. In fact, an analogous construction of genuine equivariant Morava E-theory at p = 2 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 [HSWX18]. We write MUℝ to denote the 2-localization of the real bordism spectrum. From [HHR16, C2 C2 ∈ ℝ §5.4.2] there are classes ̄ri i2 MU whose underlying homotopy classes, which we C2 ∈ ∗ denote by ri 2iie MUℝ, give a set of polynomial generators ∗ ℤ ∗ie MUℝ ≅ (2)[r1, r2, …]. C N4 ∶= N 4 C Let 2 C2 be the norm functor from the category of 2-spectra to the category of ((C4)) C4-spectra. The spectrum MU is defined to be the C4-spectrum ⤼ ((C4)) 4 MU ∶= N2 MUℝ = MUℝ ∧ MUℝ with action of given by a cyclic permutation of the factors twisted by the conjugation action on MUℝ analogous to the action of the form (x, y) = ( ̄y,x) in algebra. Again, in [HHR16, Cor.5.49], it is shown that there are classes = C4 = C4 (4.1) ̄ri,0 ̄ri , ̄ri,1 ̄ri , C 2 i∗ MU ((C4)) r ∈ i∗MU ((C4)) ̄r in i2 C2 with the property that for i, 2i e corresponding to i, we have ∗ ((C4)) ℤ ∗ie MU ≅ (2)[r1,0, r1,1, r2,0, r2,1, …]. Using the commutativity of C4, C2 ∗ ((C4)) = [ i2 ∗ ((C4))]C2 i2 iC2 MU S , iC2 MU C i∗ MU ((C4)) inherits an action of 4 from the action on C2 : In terms of morphisms, this is the action by post-composition rather than the conjugation action used to define equivariance. This action has the following effect on the classes ̄ri,0: i (̄ri,0) = ̄ri,1, (̄ri,1) = (−1) ̄ri,0.

∗ ((C4)) Similarly, the action of on ∗ie MU is given by i (ri,0) = ri,1, (ri,1) = (−1) ri,0. The spectrum MU ((C4)) has two real orientations coming from the right and left unit of MUℝ ∧ MUℝ, both of which are equivariant maps. We ﬁx the orientation coming from C2 C2 C2 ∈ ℝ the left unit. We also denote by ̄ri the image of ̄ri i2 MU under the left unit. INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 11

((C4)) In [HHR17], the authors deﬁne a C4-spectrum k[2], obtained from MU by equiv- ariantly killing the generators ̄ri, for i ≥ 2 and = 0, 1. That is ((C4)) 0 k[2] ∶= MU ∧A S , where A is the associative ring spectrum 0 A = S [C4 ⋅ ̄r2,C4 ⋅ ̄r3,C4 ⋅ ̄r4, …]; see also [HHR16, Section 2.4]. In particular, ∗ ℤ ∗ie k[2] ≅ (2)[r1,0, r1,1]. See, for example, [HHR17, Theorem 12.2]. It inherits a real orientation from MU ((C4)) and, C C ̄r 2 i = 1, 2, 3 2 i∗ k in [HHR17, §7], the authors compute the image of i for in ⋆ C2 [2]:

C2 ̄r1 = ̄r1,0 + ̄r1,1, C2 = 3 + 2 (4.2) ̄r2 ̄r1,0 ̄r1,1 ̄r1,1, C2 = (5 2 + 5 + 2 ) ̄r3 ̄r1,1 ̄r1,0 ̄r1,0 ̄r1,1 ̄r1,1 . C4 K[2] k[2] D ∈ k[2] The spectrum is obtained from by inverting an element 44 whose C2 ∗ C2 C2 i k[2] ̄r1 0 ̄r1 1 ̄r ̄r D restriction in 82 C2 is , , 3 3 . See [HHR17, (7.4)]. Since inverting inverts C ̄r 2 i∗ k its restrictions, it also inverts the classes 1, in 2 C2 [2]. So, the homotopy classes

C2 C2 ̄r1,0 − ̄r1,1 ̄r1 − 2̄r1,1 ̄r1,0 + ̄r1,1 ̄r1 (4.3) 0 = = , 1 = = (0) = . ̄r1,0 ̄r1,0 ̄r1,1 ̄r1,1 C 2 i∗ K are deﬁned in 0 C2 [2]. We let

4 4 C4 (4.4) = tr2(0) = tr2(1) ∈ 0 K[2], 4 ∗ noting that res2() = 0 + 1. We also denote by 0 and 1 their restrictions to 0ie K[2] C 2 i∗ K i∗K i∗K and, similarly, by its restrictions to 0 C2 [2] and 0 e [2]. Note that in ∗ e [2] we have r1,1 = r1,0(1 − 0) and that there is an isomorphism ∗ ∧ 4 ±1 ∧ ∗i K[2] C2 ≅ ℤ(2)[r1 0, r1 1][(res D) ] e , , 1 (2,0) (2,r1 ) ∧ ≅ ℤ [ ±1 ][(1 − )−1 (11 − 7 + 2)−1 (1 − 5 + 5 2)−1] (2) r1,0, 0 0 , 0 0 , 0 0 (2,0) ≅ ℤ [[ ]][ ±1 ] 2 0 r1,0 , where the second isomorphism is obtained by substituting the above expression for r1,1 in 4 res1D. The spectrum K[2] also inherits a real orientation and it follows from (4.2) that the formal group law F[2] of K[2] reduces to a formal group law Γ[2] of height 2 deﬁned over ∗ ∕(2 C2 ) ≅ F [ ±1 ] ∗ie K[2] , r1 2 r1,0 , whose [2]-series satisﬁes [2] ( ) = 3 4 + … Γ[2] x r1,0x 12 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

In fact, the [2]-series of F[2] satisfies [2] ( ) C2 2 2 mod (2 3) (4.5) F[2] x ≡ r1 x ≡ 0r1,0x , x , [2] ( ) C2 4 3 4 mod (2 5) (4.6) F[2] x ≡ r3 x ≡ r1,0x , 0, x . ̄ ( ) = ( −1 −1 ) ℤ [[ ]] Γ̄ = Γ ( −1 −1 ) Let F[2] x, y r1,0F[2] r1,0x, r1,0y over 2 0 and [2] r1,0 [2] r1,0x, r1,0y over F2. Let k be the algebraic closure of F2 and (4.7) W ∶= W (k) be the ring of Witt vectors over k, so that k = W∕2. We consider Γ̄ [2] as a formal group law defined over k and F̄[2] as a formal group law defined over W[[0]]. Then (W[[0]], F̄[2]) is a universal deformation of (k, Γ̄ [2]). This follows from (4.5). Indeed, any formal group law F over a power series ring W[[t]] such that F reduces to Γ̄ 2 modulo (2, t) and such that 2 3 [p]F (x) ≡ tx mod (2, x ) is a universal deformation of Γ̄ 2. We let E[2] be the associated E-theory spectrum with distinguished unit r1,0 ∈ 2E[2] u u and let ' ∶ MU → E[2] be a complex orientation chosen so that ∗' classifies F[2]. u By Hahn–Shi [HS20], E[2] is Real oriented, and ' has a unique equivariant refinement → ∗ u '∶ MUℝ E[2]. That is, ' is a C2-equivariant map and ∗ie ' = ∗' . Let C4 ⊆ Autk(Γ̄ [2]) be the subgroup induced by the action of on the formal group law of MU ((C4)). This is a cyclic group of order four since 2 is the non-trivial automorphism [−1] ( ) Γ̄ [2] x . By [HS20, Theorem 1.3], norming up gives a C4-equivariant map

((C4)) MU → E[2]. We will call this the Hahn-Shi orientation. By construction, we have a diagram of C4-modules

∗ ((C4)) ∗ ∗i MU / ∗i E[2] e 8 e

∗ ∗ie K[2] and hence a map from the E2-term of the homotopy ﬁxed point spectral sequence (HFPSS) of K[2] to that of E[2]. This gives a direct way to discuss classes in HFPSS(E[2]) in terms of classes in HFPSS(K[2]). ((C4)) ((C4)) From the maps MU → E[2] and MU → K[2], we get a zig-zag of spectral sequences, where the dotted arrow is only known to be a map of E2-pages, not of spectral sequences:

((C4)) (4.8) SliceSS(MU ) / SliceSS(E[2]) / HFPSS(E[2]) 6

v SliceSS(k[2]) / SliceSS(K[2]) map of E2-pages

HFPSS(k[2]) / HFPSS(K[2]) INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 13

The key differentials in SliceSS(K[2]) (and SliceSS(k[2])) we use below in our proofs all lift ((C4)) to differentials in SliceSS(MU ), which we can then push to differentials in SliceSS(E[2]) and HFPSS(E[2]). This kind of lifting of differentials is also the strategy employed in [HSWX18]. Further, it follows from [Ull13, Theorem 9.4] that the slice spectral sequence and homotopy fixed point spectral sequence for E[2] are isomorphic in, for example, the range s + 5 ≤ t − s, and similarly for the slice and homotopy fixed point spectral sequences of K[2]. With these observations in hand, we can use the computations of [HHR17] for the slice spectral sequences of k[2] and K[2] to compute the homotopy fixed point spectral sequence of E[2].

Remark 4.1. In Section 5, we will show that the C4 equivariant spectrum E[2] is 32 peri- C4 odic, with periodicity generator an element of 32 E[2] detected by a permanent cycle we 4 ∗ will denote by Δ1. The restriction of the periodicity generator in 32ie E[2] is detected by ( 2 2 )4 r1,0r1,1 . See Table 5.1. One can obtain a better range from Ullman’s results, but in prac- tice, the periodicity of the homotopy ﬁxed point spectral sequence for E[2] 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 4.2. We use the convention

E ∶= E[2] = E(k, Γ̄ [2]) and write ∗ E∗ = ∗ie E. ℎ We implicitly replace E with E = F (EC4+,E) so that everywhere, we are working with a cofree spectrum. The homomorphisms C4 and C2 . 4.2. JE JE The structure of RO(C2) and RO(C4) is re- viewed in Section 2.3. The ring RO(C4) is of rank 3 as a ℤ-module, generated by the trivial representation 1, the sign representation , and the 2-dimensional irreducible representation . The representation is (classically) orientable as it is modeled by a rotation 2 by ∕2 on ℝ . The representation is not an orientable representation of C4, but 2 is orientable. Similarly, RO(C2) is of rank 2 over ℤ generated by 1 and 2. Again, the sign representation 2 is not orientable, but 22 is. At this point, we relate our definition of pseudo E-orientation to the elements uV that appear in the slice spectral sequence computations of [HHR17]. These classes are, for example, defined in [HHR16, Definition 3.12]. 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 ¨ ¨ ≅ ∈ G ℤ ≅ G ( V ℤ) ,,,,,,,→ ( V ℤ) ≅ ℤ uV d−V H Hd S , Hd S , .

These classes satisfy the relation uV uW = uV +W . When G = C4, this gives classes

u ∈ 2− Hℤ(C4∕C4), u2 ∈ 2−2 Hℤ(C4∕C4), u ∈ 1− Hℤ(C4∕C2) ̄ ̄ ̄ together with their restrictions and products. Similarly, when G = C2, we get classes

u2 ∈ 2−2 Hℤ(C2∕C2), u ∈ 1− Hℤ(C2∕e). 2 ̄ 2 2 ̄ 2 ¨ 0 ((C4)) Let V be classically orientable for the subgroup G ⊆ C4. Since the slice P0 MU is Hℤ, the map (as in Remark 2.3) from the slice spectral sequence of MU ((C4)) to the 14 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA homotopy ﬁxed point spectral sequence of E gives a commutative diagram

¨ ∗ ℤ o G ℤ ⊆ / 0 ¨ 0ie H = 0 H H (G , 0E)

≅ ∗ ∗ ≅

¨ ∗ ℤ o G ℤ / 0( ¨ ) d−V ie H = d−V H H G , d−V E where the vertical isomorphisms are induced by precomposition with a chosen underlying equivalence ∶ Sd−V → S0. The top inclusion is the natural ring map. It follows that the ¨ ∈ G ℤ 0( ¨ ) class uV d−V H maps to a pseudo-orientation in H G , d−V E which we denote by the same name. Remark 4.3. By the discussion above, there are pseudo-orientations 0,2− 0,2−2 0,1− u ∈ E2 (C4∕C4), u2 ∈ E2 (C4∕C4), u ∈ E2 (C4∕C2). 0,⋆ 0 As was noted in Remark 3.9, the classes uV are all invertible in E = H (G, ⋆E). C C ̄r ∈ 2 i∗ E 2 i∗ MU ((C4)) Let 1,0 2 C2 be the image of the same-named class of 2 C2 induced by the Hahn–Shi Real orientation MUℝ → E. By our construction of E, this class is a unit and hence induces an equivalence ∗ ∧ 2 ≃ ∗ iC2 E S iC2 E.

C2 C4 In particular, this means that JE (2) = 0. By Corollary 3.14, we have JE (4) = 0. Proposition 4.4. In Pic ( ), C4 ( ) = 0, where = 1 + + is the regular represen- C4 E JE 4 4 tation of C4. Before turning to the more technical computations of the next sections, we state two C4 results which are proved in Section 5. We use them here to compute the image of JE and C2 JE . The first result we state follows from the computations of [HHR17] and is proved in Proposition 5.25 below: Proposition 4.5. The classes 8 2 and 4 are permanent cycles in the homotopy fixed u, u2 u2u point spectral sequence for ℎC4 . Therefore, the representations , and are E2 8 4 2 + 4 -orientable for . In particular, the images under C4 of E C4 JE ∙ 16 − 8, ∙ 4−4, and ∙ 10 − 2 − 4 are zero in Pic ( ). C4 E The class is a permanent cycle in the homotopy fixed point spectral sequence for u82 ℎC2 . So, the image under C2 of E2 JE ∙ 8−82 is zero in Pic ( ). C2 E The second result we state is proved in Corollary 5.31 and Table 5.5: −1 d Proposition 4.6. There is no integer d such that E ∧ S ≃ E ∧ S as C4 equivariant C -modules. In particular, 4 is not in the cyclic subgroup generated by ℎC4 . E JE ( − 1) ΣE INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 15

Proposition 4.7. The image of the map C4 ∶ ( ) → Pic ( ) is isomorphic to JE RO C4 C4 E ℤ∕32{1} ⊕ ℤ∕2{7 + }. The image of the map C2 ∶ ( ) → Pic ( ) is isomorphic to JE RO C2 C2 E ℤ∕16{1}. Proof. ℤ C4 As an abelian group, RO(C4) is isomorphic to {1, , }. The map JE factors through the quotient

(4.9) ℤ{1, , }∕(16 − 8, 4 − 4, 10 − 2 − 4, 1 + + ).

Simplifying the relations, we have that (4.9) is isomorphic to ℤ{1, }∕(24 + 8, 4 − 4, 14 + 2) ≅ ℤ∕32{1} ⊕ ℤ∕2{7 + }.

C ℎC4 4 ℤ Since the periodicity of E is 32, the image of JE contains the cyclic subgroup ∕32{1}. C4 C4 Further, since JE ( − 1) = JE (−8 + (7 + )) is not in this cyclic subgroup, then neither C4 is 7 + . Therefore, JE does not factor through a smaller quotient. C4 ℤ For C2, a similar computation shows that JE factors through ∕16. Since the periodicity of EℎC2 is 16, there can be no further relations.

Remark 4.8. Pic ( ) Proposition 4.7 provides a lower bound for the order of C4 E . That is, this group has order at least 64.

Remark 4.9. Proposition 4.5 and Proposition 4.7 together immediately imply that for any virtual representation V ∈ RO(C4), the homotopy ﬁxed point spectral sequence computing V ∗− E ≅ ∗S ∧ E is a shift of either that computing ∗E or that computing ∗+1− E. ̄ V ̄ ̄ ̄ We explain this in two examples. Since

2 − 2 ≡ 16 in ℤ∕32{1} ⊕ ℤ∕2{7 + }, there is an isomorphism of Mackey functor homotopy ﬁxed point spectral sequences ∗,∗+2−2 ∗,∗+16 E∗ ≅ E∗ . Similarly, since 15 + ≡ 1 − in ℤ∕32{1} ⊕ ℤ∕2{7 + }, there is an isomorphism of spectral sequences ∗,∗+15+ ∗,∗+1− E∗ ≅ E∗ .

5. THE C4 HOMOTOPY FIXED POINT SPECTRAL SEQUENCEFOR E THEORY The goal of this section is to compute the homotopy ﬁxed point spectral sequence s,⋆+t s ℎ (5.1) E = H (C4, + E) ⟹ + − E 2 ⋆ t ̄ ⋆ t s ∶ s,⋆+t → s+r,⋆+t+r−1 with diﬀerentials dr Er Er . As is noted in Remark 4.9, the computation for any ⋆ ∈ RO(C4) is determined by the computation for ⋆ = 0 or for ⋆ = 1 − . So, ∗,∗ ∗,1−+∗ throughout this section, we detail the computation of E∗ and of E∗ . 16 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

∗ We ﬁrst describe the structure of H (C4,E∗) as a Mackey functor: ∗ (5.2) H (C4,E∗) U 4 4 res2 tr2 H∗(C ,E ) 2U ∗ 2 2 res1 tr1 ∗ H ({e},E∗)

This then determines the E2-term of (5.1) when ⋆ = 0. The computation of the E2-term of (5.1) when ⋆ = 1 − , will easily follow from this computation. This is explained in Section 5.2. Next, we discuss the differentials and extensions. They are imported from the slice ℎC4 spectral sequence for K[2] to the homotopy fixed point spectral sequence for E using the diagram (4.8). 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 [HHR17] in the range near the zero line. The d3-differentials need particular attention and we give more details in this part of the computation. From the E4-term onwards, the computation in the range 0 ≤ s ≤ 2 is 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 and (1− )+∗E . ∞ ̄ ̄ 5.1. Some important C4-modules. Before giving a more detailed description of the structure of E∗ as a C4-module, we need to set up some notation for a selection of C4-modules that will be making multiple appearances in the computations below. Denoting by the generator of C4, and by e the trivial group element, we have the modules

ℤ = ℤ[C4∕C4] = ℤ[C4]∕( − e) corresponding to 1 in RO(C4) ℤ− = ℤ[C4]∕( + e) corresponding to in RO(C4) 2 ℤ[C4∕C2] = ℤ[C4]∕( − e) corresponding to 1 + in RO(C4) 2 ℤ[C4∕C2]− = ℤ[C4]∕( + e) corresponding to in RO(C4) where the correspondence with elements of RO(C4) occurs after base change to ℝ. More- over, we will write

ℤ[C4∕C2+] = ℤ[C4∕C2] ⊕ ℤℤ[C4∕C2−] = ℤ[C4∕C2] ⊕ ℤ− . Note that

ℤ− ⊗ ℤ− ≅ ℤ, ℤ− ⊗ ℤ ≅ ℤ−,

ℤ− ⊗ ℤ[C4∕C2] ≅ ℤ[C4∕C2], ℤ− ⊗ ℤ[C4∕C2]− ≅ ℤ[C4∕C2]−. Since the coeﬃcients 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 ℤ. For as in (4.4), we will let

A = W[[]][C4∕C2] = W[[]] ⊗W W[C4∕C2] and

A− = W[[]][C4∕C2]− = W[[]] ⊗W W[C4∕C2]− . INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 17

Let

Δ = e + ∈ W[C4], Δ̄ = e − ∈ W[C4] .

We denote by the same name the images of Δ and Δ̄ in W[C4∕C2], in W[C4∕C2]−, and in W[C4∕C2±] via the inclusion W[C4∕C2] ⊆ W[C4∕C2±]. Let be as in (4.4). For

W[[]][C4∕C2±] = W[[]] ⊗W W[C4∕C2±], and ∗ corresponding to a generator of the C4-submodule W ⊆ W[C4∕C2+], we deﬁne

W[[]][C4∕C2+] A(+) = . ⋅ ∗= Δ

Similarly, for ∗ a generator of W− ⊆ W[C4∕C2−], we deﬁne

W[[]][C4∕C2−] A(−) = . ⋅ ∗= Δ̄ + 2⋅ ∗

There are exact sequences

(5.3) 0 / A / A(+) / W / 0

0 / A / A(−) / W− / 0.

Further, note that

k[[]][C4∕C2+] A(+)∕2 ≅ A(−)∕2 ≅ ⋅ ∗= Δ and that there is an exact sequence

0 / A∕2 / A(+)∕2 / k / 0.

5.2. The Mackey functor cohomology of C4 with coeﬃcients in E∗. Recall that there ≅ W[[ ]][ ±1 ] W[ ] = 2 is isomorphism E∗ 0 r1,0 of C4 -modules, with ðr1,0ð and the action of given by

2 − 0 (r1,0) = r1,1 = r1,0(1 − 0), (0) = 1 = . 1 − 0

C2 C4 In Table 5.1, we have named some of the elements in E∗, E∗ and E∗ . We will use the notation and the information contained in Table 5.1 throughout the rest of the paper. 18 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

Elements Degree Action of

r1,0 (r1,0) = r1,1 E2 r1,1 = r1,0(1 − 0) (r1,1) = −r1,0 r1,0−r1,1 0 = , r1,0 C2 (0) = 1 r1,0+r1,1 2−0 E0 1 = = (1) = 0 r1,1 1−0 Σ = 2 2,0 r1,0, C2 (Σ2,0) = −Σ2,1 Σ = − 2 E4 (Σ ) = −Σ 2,1 r1,1 2,1 2,0 C2 1 = r1,0r1,1 E4 (1) = −1 2 2−0 C4 = 0 + 1 = E () = 1−0 0 = 2 + 2 C4 ( ) = T2 r1,0 r1,1 E4 T2 T2 2 C4 Δ1 = 1 E8 (Δ1) = Δ1 C4 T4 = Δ1( − 2) E8 (T4) = T4

TABLE 5.1. Some elements of E∗ as a C4-module and their images under the action of . Names are chosen to reﬂect the notation of [HHR17, Table 3].

Remark 5.1. There are isomorphisms W W W W {r1,0, r1,1} ≅ [C4∕C2]−, {0, 1} ≅ [C4∕C2], W W W W {Σ2,0, Σ2,1} ≅ [C4∕C2], {1} ≅ −. Remark 5.2. The norm element 2 3 Δ1 = r1,0 (r1,0) (r1,0) (r1,0) 4 is a periodicity generator of E∗ as a C4-module. However, we will see that Δ1 is a permanent ℎ cycle and is a periodicity generator of E as a C4-spectrum. See Remark 4.1. Remark 5.3. The relations 2 0 = 0 − + 2, 4 = Δ (1 − )−2 r1,0 1 0 imply that W[[0]] is isomorphic to W[[]]{1, 0} as a W[[]]-module and, in fact, that ≅ W[[ ]][Δ±1]{ k k ∶ 0 3} E∗ 1 r1,0, 0r1,0 ≤ k ≤ W ±1 as [[]][Δ1 ]-modules.

Lemma 5.4. As a W[[]][C4]-module, E∗ is 8 periodic, with periodicity generator Δ1 ∈ E8. There are isomorphisms

E0 ≅ W[[]]{1, 0, 1}∕( ⋅ 1 = 0 + 1), W E2 ≅ [[]]{r1,0, r1,1}, W E4 ≅ [[]]{1, Σ2,0, Σ2,1}∕(1 = Σ2,0 + Σ2,1 + 21), W E6 ≅ [[]]{1r1,0, 1r1,1}. in particular,

E0 ≅ A(+),E2 ≅ E6 ≅ A−,E4 ≅ A(−). INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 19

Proof. A straightforward computation gives the ﬁrst set of isomorphisms. The second set of isomorphisms is given by the C4-linear maps determined by:

E0 → A(+) E2 → A− E4 → A− E6 → A(−) ↦ ↦ ↦ ↦ 1 ∗ r1,0 e 1 ∗ 1r1,0 e ↦ ↦ 0 e Σ2,0 e Remark 5.5. Lemma 5.4 implies that C2 ≅ W[[ ]][Σ±1 ] E∗ 0 2,0 C4 W ±1 2 2 E∗ ≅ [[]][T2, Δ1 ]∕(T2 − Δ1(( − 2) + 4)). 2 2 From the facts that Δ1 = (r1,0r1,1) and that the ideal (2, ) is equal to (2, 0), it follows that ≅ (W[ ][Δ−1])∧ E∗ r1,0, r1,1 1 (2,) as W[C4]-modules. An argument similar to that of Theorem 6 in [GHM04] gives an isomorphism ∧ ∗( ) ≅ W ∗( ℤ[ ])[Δ−1] H C4,E∗ ⊗ H C4, r1,0, r1,1 1 (2,) . Hence, in order to compute the cohomology of C4 with coefficients in E∗, we first compute ∗ ℤ ℤ H (C4, [r1,0, r1,1]), noting that [r1,0, r1,1] is the symmetric algebra of the induced sign representation ℤ ℤ [r1,0, r1,1] ≅ Sym( [C4∕C2]−). Then we base change to W, invert Δ1 and complete the answer at the ideal (2, ). The ∗ ℤ computation of the cohomology H (C4, [r1,0, r1,1]) is essentially the same as that per- formed in [HHR17] to compute the E2-term of the slice spectral sequence of k[2]. This approach to the computation also appears in work in progress of Henn. Finally, the answer is described in [BG18, Section 2.2] and can be deduced from [HHR17]. Following these references, we describe the answer in Proposition 5.10. We do not repeat the computation ∗,V +∗ of the group cohomology, but rather focus our attention on describing the E2 -terms as Mackey functors for V = 0 and V = 1 − . Since we will be deducing most of our results from [HHR17], we have opted to choose notation that does not clash with theirs. We need the description of the E2-page of the RO(C2)-graded homotopy fixed point spectral sequence for Morava E-theory used in [HS20], which we restate using the notation of this paper: Proposition 5.6. There is an isomorphism ∗( ) ≅ W[[ ]][ ±1 ±1]∕2 H C2,E⋆ 0 ̄r1,0, a, u2 a, where the -degree of the elements is given by , , (∗, ⋆) ð0ð = (0, 0) ð̄r1,0ð = (0, 2) ðað = , and . (1, −) ðu2ð = (0, 2 − 2) Notation 5.7. For ̄r1,0 and ̄r1,1 as in (4.1), it follows from (4.3) that

̄r1,1 = ̄r1,0(1 − 0). 1 ℤ For a as in Notation 2.4, let i = a ̄r1,i, and note that i ∈ H (C2, {r1,i}) is a generator for i = 0, 1. Further, ̄r1,01 = ̄r1,10.

We also single out a particular RO(C4)-graded homotopy class. 20 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

Definition 5.8. Let d̄ 4 C4 1 = N2 (̄r1,0) ∈ 4 E. This is an actual homotopy class (and hence a permanent cycle in the homotopy fixed point spectral sequence). ̄ The class d1 is a unit. In the homotopy fixed point spectral sequence, the classes uV for orientable V (introduced in Remark 4.3) are also units. These give us several ways to rewrite classes. For example, Δ = d̄ 2 2 1 1u2u. The unit d̄ 1 also greatly simplifies the homotopy fixed point E2-term analysis. The fol- ̄ lowing result is immediate since d1 and u are units. Proposition 5.9. If ̄ −1, then multiplication by induces an isomorphism p1 = (d1u) p1 ∗,⋆ → ∗,⋆−3− E2 E2 , and similarly for Mackey functors.

This means we need only determine the integrally graded stems to have completely determined the RO(C4)-graded stems. Proposition 5.10. There are classes 1 1 ∈ H (C4,E2) ∈ H (C4,E4) and 1 2 & ∈ H (C4,E6) $ ∈ H (C4,E8) such that ∗( ) ≅ W[[ ]][ Δ±1 ][p±1 ±1]∕ ∼ H C4,E⋆ T2, 1 , , , &, $ 1 , u where ∼ is the ideal of relations given by 2 2 2 = 2 = 2& = 4$ = 0; T2 = Δ1(( − 2) + 4); 2 2 Δ1 = T2$ = & ; T2& = Δ1; T2 = &; & = $; 2 = 2$; = = T2 = & = 0. Remark 5.11. 3 3 2 −1 −1 Note that is divisible since = & Δ1 = &$Δ1 . Remark 5.12. The classes aV and uV were introduced in Notation 2.4 and Remark 4.3. ¨ ∈ C4 1( ) There is also a class 2−E detected in H C4, 3−E . See [HHR17, Table 3]. It 4 ¨ satisﬁes res2( ) = u(0 + 1). A dictionary with [HHR17, Table 3], and some useful relations, are then given by ¨ ̄ ̄2 & = ud1 $ = auu2d1 Δ = 2d̄2 = d̄ 1 u2u 1 au 1. Δ−1 = −1 Note further that $ 1 au . Under some choice of isomorphism, we can identify our classes with those in [BO16, Perspective 2]. Again, the elements and have the same name there as here. Further,

Δ1 = T2 = b2

& = T4 = b4 −1 $ = $Δ1 = . INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 21

In [BG18, Proposition 2.10], & corresponds to and our is congruent to their z modulo 2.

∇(e) = ∇( ) = ∇( 2) = ∇( 3) = 1, Δ(1) = Δ, Δ(e) = e + 2, Δ( ) = + 3, □ □ □ ⚪ W W 0 W∕4 V V V U 1 2 Δ ∇ 1 2 W W[C ∕C ] W k V 4 U 2 −U V 1 2 1 2 1 2 W 0 W[C4∕C2] W− ⚫ ⚫ ▾ ▴ k 0 k k V V V V 0 1 1 0 0 k k k V V V V

0 0 0 0 ⧗ ⬕ □ □̇ k W 0 k V V V V 1 0 2 1 Δ ∇ k W 0 k[C ∕C ] V V V 4 U 2 0 ∇ 1 2 0 1 W[ ∕ ] W W[ ∕ ] C4 C2 − C4 C2 − W[C4∕C2]− ⬕ ⬕ ⬒ ⚫ 0 W W k V V V V Δ ∇ 1 2 Δ ∇ W W[C ∕C ] W k[C ∕C ] −U 4 U 2 V 4 U 2 2 1 2 1 2 1 W W− W[C4∕C2] 0

TABLE 5.2. Mackey functors similar to those of [HHR17, Table 2].

Remark 5.13. 8 → Multiplication by the element Δ1 induces an isomorphism Σ Et Et+8 and multiplication by $ induces an isomorphism s → s+2 H (C4,Et) H (C4,Et+8) ∗ for all s ≥ 1, giving H (C4,E∗) two periodicities. 22 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

Proposition 5.6 and Proposition 5.10 identify the layers of (5.2). 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.4. The ﬁrst step is the computation of the Mackey functors ∗ ∗ H (C4, W) H (C4, W[C4∕C2]) ∗ ∗ H (C4, W−) H (C4, W[C4∕C2]−), which is straightforward from the deﬁnitions. The Mackey functors we need are listed in Table 5.2. Whenever possible, we use notation reminiscent of that used in [HHR17]. Lemma 5.14. For the Mackey functors listed in Table 5.2, there are isomorphisms

⎧□ if ∗= 0, ∗ W ⎪ H (C4, ) ≅ ⎨⚪ if ∗= 2n, ⎪0 if ∗= 2 − 1 ⎩ n , ⎧□ if ∗= 0, ∗ W ⎪ H (C4, [C4∕C2]) ≅ ⎨⚫ if ∗= 2n, ⎪0 if ∗= 2 − 1 ⎩ n , ⎧□ if ∗= 0, ∗ W ⎪ H (C4, −) ≅ ⎨⚫ if ∗= 2n, ⎪ if ∗= 2 − 1 ⎩⚫ n , ⎧□ if ∗= 0, ∗ W ⎪ H (C4, [C4∕C2]−) ≅ ⎨0 if ∗= 2n, ⎪ ⎩⚫ if ∗= 2n − 1. where n > 0 in the above formulas. Notation 5.15. In general, if is a Mackey functor in Table 5.2, then is the Mackey functor deﬁned as ☼ ☼ (G∕H) = W[[]] ⊗W (G∕H), with restrictions and transfers☼ extended to be W[[]]-linear.☼ Proposition 5.16. For the Mackey functors listed in Table 5.2 and Table 5.3, there are isomorphisms

⎧⊡ ∗= 0, ⎧□ ∗= 0, ∗ ⎪ ∗ ⎪ H (C4,A(+)) ≅ ⎨⊙ ∗= 2n, H (C4,A) ≅ ⎨⚫ ∗= 2n, ⎪ ⎪ ⎩0 ∗= 2n − 1, ⎩0 ∗= 2n − 1, ⎧⊡ ∗= 0, ⎧□ ∗= 0, ∗ ⎪ ∗ ⎪ H (C4,A(−)) ≅ ⎨⚫ ∗= 2n, H (C4,A−) ≅ ⎨0 ∗= 2n, ⎪ ⎪ ⎩⚫ ∗= 2n − 1, ⎩⚫ ∗= 2n − 1.

Proof. Since is ﬁxed by the action of C4, there are isomorphisms ∗ ∗ H (C4,A) ≅ W[[]] ⊗W H (C4, W[C4∕C2]) ∗ ∗ H (C4,A−) ≅ W[[]] ⊗W H (C4, W[C4∕C2]−). INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 23

The exact sequences (5.3) give rise to exact sequences of Mackey functors in cohomology:

0 / □ / ⊡ / □ / 0

0 / ⚫ / ⊙ / ⚪ / 0

0 / ⚫ / ⚫ / ⚫ / 0.

The deﬁnitions of the middle terms in these short exact sequences are given in Table 5.3 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.17. Since E is a ring spectrum, we have the Frobenius identity

trH (resH ( ) ) = trH ( ) K K a x a K x for a ∈ ∗E(G∕H), x ∈ ∗E(G∕K) and K ⊆ H ⊆ G.

Together, Lemma 5.4 and Proposition 5.16 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.18. In the Mackey functor (5.2), there are restrictions

4 4 res2() = 0 + 1 res2() = 0 + 1, 4 2 4 2 2 res2(Δ1) = 1, res2($) = Σ2,01 = −Σ2,10, 4 4 res2(T2) = Σ2,0 − Σ2,1, res2(&) = (0 + 1)1, and 4 . In particular, 4 −1 2 2. res2() = 0 res2(Δ1 $ ) = (01) There are transfers

4 4 4 tr2(0) = , tr2(Σ2,0) = T2, tr2(1Σ2,0) = &, 4 4 4 2 −1 tr2(0) = , tr2(01) = 0, tr2(01) = &$Δ1 together with 4 . tr2(1) = 2

Remark 5.19. As already noted, Proposition 5.18 allows one to compute various other 4 2 transfers. For example, tr2(0) is obtained from the above formulas by

4 2 4 2 4 4 4 2 tr2(0) = tr2(0 + 01) = tr2(res2()0) = tr2(0) = . 24 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

A = W[[]][C4∕C2] A− = W[[]][C4∕C2]− W[[ ]][ ∕ ] W[[ ]][ ∕ ] (+) = C4 C2+ (−) = C4 C2− A ⋅∗=Δ A ⋅∗=Δ+2̄ ⋅∗ ∇(∗) = 2 ∇( e) = ∇( ) = Δ(1) =∗ ∇(∗) = 0 ∇( e) = ∇( ) = 1 Δ(1) = Δ □ □ ⊡ ⊡ W[[]] 0 W[[]] W[[]] U V U U Δ ∇ Δ ∇ Δ ∇ A 0 A(+) A(−) V V U U 1 2 1 2 1 2 A A− A(+) A(−) ⬕ ⚫ ⊙ ⚫ W W[[ ]] k[[ ]] [[]] k[[ ]] (4 2 ) U U , S U Δ ∇ Δ ∇ Δ ∇ Δ ∇ (−) ∕2 (−)∕2 A A A(+)∕2 A U U U U 2 1 A(−) 0 0 0 ⬕ ▣ ⧈ ⦾ W W[[ ]] (4 )W[[ ]] (2 )W[[ ]] (2 ) [[]] , , , (4 2 ) U U U S , Δ ∇ Δ ∇ Δ ∇ Δ ∇ (2∗ ) (+) (+) AV , e, A A A(+)∕2 U U U 2 1 1 2 1 2 A A(+) A(+) 0 ▴ ⬓ ⬒ ⧈ k[[]] (2, )W[[]] W[[]] W[[]] U U U U Δ ∇ Δ ∇ Δ ∇ Δ ∇ A(+)∕2 A(+) A(+) (2∗, e, )A(−) U U U U 2 1 2 1 1 2 0 A(+) A(+) A(−)

TABLE 5.3. The C4 Mackey functors in the category of W[[]]-modules ∗,∗ appearing in E2 . In general, if is a Mackey functor in Table 5.2, then is deﬁned by (G∕H) = W[[☼]] ⊗W (G∕H), with restriction and ☼transfers extended☼ to be W[[]]-linear. See☼ Section 5.1 for more details on the notation. INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 25

∇(∗) = 0 ∇( e) = ∇( ) = 1 ∇( 0) = , Δ(1) = Δ Δ( ) = 0 ̆ ̆ ̆ ̆ ̆ ∇(∗) = 2 ∇( e) = ∇( ) = ∇( 0) = 0 Δ(1) =∗ ̊ ̊ ̊ ̊ ̊ ̊ ∇(∗) = 2 ∇( e) = ∇( ) = 1 ∇( 0) = 2 Δ(1) = Δ Δ( ) = 0 ∇(∗)̇ = ∇(̇ e) = ∇(̇ ) = 1 Δ(1)̇ = Δ Δ(̇ ) = 0 ∇(∗) = 2, ∇( e) = ∇( ) = ∇( 0) = Δ(1) = 0+ ∗ Δ( ) = 0 ∇(2⃩ ∗) = ∇(⃩ e) = ∇(⃩ ) = 1 Δ(1)⃩ = Δ Δ(⃩ ) = 0 ⧇ ⬕ □̇ ⧗ W (2 ) [[]] k{ } W[[ ]] k[[ ]] k , (4,2) ⊕ V S U U 1 0 Δ ∇ Δ ∇ Δ ∇ k k{0} ⊕ A(−) A(−)∕2 V A(+)∕2 U L M U U 1 0 2 0 1 0 ∇ 0 1 1 A(−) A− A− A− ⧇ ⬕̇ ⊡̇ ⊡ W W∕4 k{ } W[[ ]] k{ } W[[ ]] [[]] ⊕ ⊕ (4 2 ) U U U , S ̇ ̇ ̇ ̇ 1 2 Δ ∇ Δ ∇ Δ ∇ k (−) (−) V A A A(+)∕2 U U U 0 ∇ 2 1 1 2 0 1 A− A(−) A(−) A− ◘ ⬕̆ ⧈̇ □̇ 0 W[[]] k{} ⊕ W[[]] k[[]] V U U U Δ̆ ∇̆ Δ⃩ ∇⃩ Δ ∇ k V k{0} ⊕ A(+) (2∗, e, )A(−) A∕2 U L M U U 1 0 ∇ 0 2 1 2 0 1 1 A− A(+) A(−) A− ⬕̊ ⬒ W∕4{} ⊕ W[[]] k{} ⊕ W[[]] U U Δ̊ ∇̊ Δ ∇ k{0} ⊕ A(−) k{0} ⊕ A(+) U U L M 0 2 1 0 2 1 A(−) A(+)

TABLE 5.4. C4 Mackey functors in the category of W[[]]-modules ap- ∗,∗ pearing in E2 . See Section 5.1 for notation. 26 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

We represent the result of the computations of this section in the chart in Figure 5.1. The relevant Mackey functors are depicted in Table 5.2 and Table 5.3. Generators for the ∗,∗-term. s,t s W E2 We now list generators of E2 = H (C4,Et) as a [[]]- module. The class −1 2 $Δ1 ∈ H (C4,E0) and its restriction to 2Σ−1 ∈ 2( ) 0 2,0 H C2,E0 play a central role. (1) In degrees t = 8l with k ≥ 1 we have 0,8l l 0,8l ⊡ ⊆ E2 generated by Δ1 ∈ E2 (C4∕C4) 2l 2l 0,8l and by 1 , 01 ∈ E2 (C4∕C2) 2l 2l 0,8l and by (r1,0r1,1) , 0(r1,0r1,1) ∈ E2 (C4∕{e}) 2k,8l −1 k l 2k,8l ⊙ ⊆ E2 generated by ($Δ1 ) Δ1 ∈ E2 (C4∕C4) ( 2Σ−1 )k 2l ( 2Σ−1 )k 2l ∈ 2k,8l( ∕ ) and by 0 2,0 1 , 0 0 2,0 1 E2 C4 C2 . (2) In degrees t = 2 + 8l with k ≥ 0 we have

0,2+8l 2l 2l 0,2+8l □ ⊆ E2 generated by r1,0(r1,0r1,1) , 0r1,0(r1,0r1,1) ∈ E2 (C4∕{e}) 1+2k,2+8l −1 k l 1+2k,2+8l ⚫ ⊆ E2 generated by ($Δ1 ) Δ1 ∈ E2 (C4∕C4) ( 2Σ−1 )k 2l ( 2Σ−1 )k 2l ∈ 1+2k,2+8l( ∕ ) and by 0 0 2,0 1 , 00 0 2,0 1 E2 C4 C2 . (3) In degrees t = 4 + 8l with k ≥ 0 we have 0,4+8l l 0,4+8l ⊡ ⊆ E2 generated by T2Δ1 ∈ E2 (C4∕C4) 2l+1 2l 0,4+8l and by 1 , Σ2,01 ∈ E2 (C4∕C2) 2 ( )2l 2 ( )2l ∈ 0,4+8l( ∕{ }) and by r1,0 r1,0r1,1 , 0r1,0 r1,0r1,1 E2 C4 e 1+2k,4+8l −1 k l 1+2k,4+8l ⚫ ⊆ E2 generated by ($Δ1 ) Δ1 ∈ E2 (C4∕C4) 2(k+1),4+8l 2 −1 k l 2(k+1),4+8l ⚫ ⊆ E2 generated by ($Δ1 ) Δ1 ∈ E2 (C4∕C4) 2( 2Σ−1 )k 2l 2( 2Σ−1 )k 2l ∈ 2(k+1),4+8l( ∕ ) and by 0 0 2,0 1 , 00 0 2,0 1 E2 C4 C2 . (4) In degrees t = 6 + 8l with k ≥ 0 we have □ 0,6+8l 3 ( )2l 3 ( )2l ∈ 0,6+8l( ∕{ }) ⊆ E2 generated by r1,0 r1,0r1,1 , 0r1,0 r1,0r1,1 E2 C4 e 1+2k,6+8l −1 k l 1+2k,6+8l ⚫ ⊆ E2 generated by &($Δ1 ) Δ1 ∈ E2 (C4∕C4) ( 2Σ−1 )k 2l ( 2Σ−1 )k 2l ∈ 1+2k,6+8l( ∕ ) and by 01 0 2,0 1 , 001 0 2,0 1 E2 C4 C2 . In Figure 5.1, we use dashed lines to indicate that times the generator is divisible by in E2(C4∕C4). The dashed line from ⚫ to ⚫ indicates that 2 l −1 k−1 1+2k,6+8l l −1 k 1+2k,6+8l ( Δ1($Δ1 ) ) ∈ E2 (C4∕C4) = (&Δ1($Δ1 ) ) ∈ E2 (C4∕C4), which follows from the relation T2 = &. The dashed line from ⚫ to ⊙ indicates that l −1 k 2+2k,8+8l l+1 −1 k+1 2+2k,8+8l (&Δ1($Δ1 ) ) ∈ E2 (C4∕C4) = (Δ1 ($Δ1 ) ) ∈ E2 (C4∕C4). INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 27

Description of the ∗,1−+∗-term. E2 Finally, we pay an earlier computational debt and turn to the description of ∗,1−+∗ ∗ E2 = H (C4, 1−+∗E). ̄ −1 Recall that Proposition 5.9 described how multiplication by the element p = (ud1) is an isomorphism. In Mackey functor language, multiplication by it induces isomorphisms:

p s,t / s,t−3− E2 (C4∕C4) ≅ E2 (C4∕C4)

res4(p) s,t 2 / s,t−3− E2 (C4∕C2) ≅ E2 (C4∕C2)

res4(p) s,t 1 / s,t−3− E2 (C4∕{e}) ≅ E2 (C4∕{e})

∗,1−+∗ So, using Lemma 5.4, it is straightforward to compute the E2 -term. It is depicted in Figure 5.1. 0,1− The class u ∈ E2 (C4∕C2) of Remark 4.3 is a permanent cycle by Theorem 11.3 of [HHR17] and multiplication by u induces an isomorphism of spectral sequences, and 2 similarly for multiplication by ̄u ∶= res1(u): u s,t( ∕ ) / s,1−+t( ∕ ) Er C4 C2 ≅ Er C4 C2

̄u s,t( ∕{ }) / s,1−+t( ∕{ }) Er C4 e ≅ Er C4 e

Remark 5.20. ∗,1−+∗ p ¨ p p In E2 (C4∕C4), the classes T2 , = & , and a = are permanent ¨ cycles. Here, a is as in Notation 2.4 and is as in Remark 5.12. 5.3. The differentials and the extensions. In this section, we describe the differentials in the spectral sequence s,⋆+t s ℎ E = H (C4, + E) ⟹ + − E 2 ⋆ t ̄ ⋆ t s = 0 = 1 − ∶ s,⋆+t → s+r,⋆+t+r−1 for ⋆ and ⋆ . The differentials have the form dr Er Er . As was mentioned above, the results in this section follow from the computations of [HHR17]. The -differentials and the -page. d3 E4 We first describe the d3-differentials. Proposition 5.21. In the spectral sequence

s ℎC4 H (C4,E⋆) ⟹ ⋆−sE , 2 the d3-diﬀerential are , , , Δ1 and $ linear. In the spectral sequence

s ℎC4 H (C4,Et) ⟹ t−sE , they are determined by 3 2 −1 −1 2 −1 d3(T2) = , d3($) = $ Δ1 , d3(&) = &$Δ1 = $ Δ1 . In the spectral sequence

s ℎC4 H (C4,E1−+t) ⟹ 1−+t−sE , they are determined by 2 −1 d3(Δ1p) = $p, d3($&p) = &$ Δ1 p 28 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

In the spectral sequence

s ℎC2 H (C2,Et) ⟹ t−sE , the -differentials are , and Σ2 -linear and are determined by d3 0 0 2,0 3 d3(Σ2,0) = 00. Proof. We refer the reader to the differentials listed in [HHR17, Table 3]. The differentials in the spectral sequence for C4 follow from Remark 5.12 and the differential

d3(u) = a.

The d3 diﬀerential for C2 is the [HHR17] diﬀerential 2 2 3 d3(Σ2,0) = 0(0 + 1) = 0(0 + (1 + 0)0) = 00.

2 W 2 ±1 Both Δ1 and $ are d3 cycles and (E3, d3) is a module over [[]][$ , Δ1 ]. Using this module structure, it suffices to describe the following five differentials to determine the ∗,∗ E4 -page as a Mackey functor. The E4-page is illustrated in Figure 5.3. The relevant exact sequences of Mackey functors are depicted in Figure 5.2. See also [HHR17, Section 5, 13]. 0,4 → 3,6 (1) For d3 ∶ E3 E3 we have an exact sequence

d3 0 / ⬕ / ⊡ / ⚫ / ▾ / 0

3 3 determined by d3(T2) = and d3(Σ2,0) = 00. This gives the following remaining classes 0,4 0,4 ⬕ ⊆ E4 generated by 2T2 ∈ E2 (C4∕C4) 0,4 and by 21, 2Σ2,0 ∈ E4 (C4∕C2) 2 ∈ 0,4( ∕{ }) and by r1,0r1,1, r1,0 E4 C4 e 3,6 −1 3,6 ▾ ⊆ E4 generated by &($Δ1 ) ∈ E4 (C4∕C4) ( 2Σ−1 ) 3 ∈ 3,6( ∕ ) and by 01 0 2,0 ≡ 0 E4 C4 C2 . The following commutative diagram, with rows and columns exact, may help the reader relate this family of d3-diﬀerentials to those of [HHR17, Section 13]: 0 0 0 d3 0 / ⬕ / □ / ⚫ / 0

d3 0 / ⬕ / ⊡ / ⚫ / ▾ / 0 d3 0 / ⬕ / □ / ⚫ / ▾ / 0 0 0 0 0 INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 29

1,6 → 4,8 (2) For d3 ∶ E3 E3 , we have an exact sequence

d3 0 / ⚫ / ⊙ / ⚪ / 0

2 −1 4 determined by the diﬀerentials d3(&) = $ Δ1 and d3(0Σ2,0) = 00. This gives the following remaining classes 4,8 2 −1 4,8 ⚪ ⊆ E4 generated by $ Δ1 ∈ E4 (C4∕C4) 2 4 4,8 and by (01) ≡ 0 ∈ E4 (C4∕C2). There is a commutative diagram: 0 0 d3 0 / ⚫ / ⚫ / 0

d3 0 / ⚫ / ⊙ / ⚪ / 0

0 / ⚪ / ⚪ / 0 0 0 2,8 → 5,10 (3) For d3 ∶ E3 E3 , we have an exact sequence

d3 0 / ⚫ / ⊙ / ⚫ / ⚫ / 0

2 −1 2 5 determined by the diﬀerentials d3($) = $ Δ1 and d3(0Σ2,0) = 00. This gives the following remaining classes 2,8 2,8 ⚫ ⊆ E4 generated by 2$ ∈ E4 (C4∕C4) 5,10 2 5 5,10 ⚫ ⊆ E4 generated by 0(01) ≡ 0 ∈ E4 (C4∕C2). There is a commutative diagram: 0 0 d3 0 / ⚫ / ⚫ / 0

d3 0 / ⚫ / ⊙ / ⚫ / ⚫ / 0 d3 0 / ⚫ / ⚪ / ⚫ / ⚫ / 0 0 0 0 0 3,10 → 6,12 (4) For d3 ∶ E3 E3 , we have an exact sequence

d3 0 / ⚫ / ⚫ / ⚫ / 0 30 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

2 2 −1 3 6 determined by the diﬀerentials d3($) = $ Δ1 and d3(0Σ2,0) = 0. This gives the following remaining classes 6,12 3 6 6,12 ⚫ ⊆ E4 generated by (01) ≡ 0 ∈ E4 (C4∕C2). There is a commutative diagram: 0 0 d3 0 / ⚫ / ⚫ / 0

d3 0 / ⚫ / ⚫ / ⚫ / 0

0 / ⚫ / ⚫ / 0 0 0 4,12 → 7,14 (5) For d3 ∶ E3 E3 , we have an exact sequence

d3 0 / ⚫ / ⚫ / ▾ / 0

2 −1 3 2 −1 2 3 2 determined by d3(T2$ Δ1 ) = $ Δ1 and d3(Σ2,0(01) ) = 00(01) . This gives the following remaining classes 7,14 3 −2 7,14 ▾ ⊆ E4 generated by &($ Δ1 ) ∈ E4 (C4∕C4) 3 2 7 7,14 and by 0(01) ≡ 0 ∈ E4 (C4∕C2). There is a commutative diagram: 0 0 d3 0 / ⚫ / ⚫ / 0

d3 0 / ⚫ / ⚫ / ▾ / 0

0 / ⚫ / ⚫ / ▾ / 0 0 0 0 ∗,1−+∗ W 2 ±1 We give a similar description of the E4 . Again, using the [[]][$ , Δ1 ]-module structure, it suffices to describe the following five differentials to determine all the d3 differentials. The E4-page is illustrated in Figure 5.9. See [HHR17, Section 5] and Figure 5.2 for various relevant exact sequences of Mackey functors. 0,5− → 3,7− (1) For d3 ∶ E3 E3 , we have an exact sequence

d3 0 / ⬒ / ⊡ / ⚫ / ⚫ / 0 INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 31

p p 3 determined by d3(Δ1 ) = $ and d3(Σ2,0u) = 00u. This gives the following 2 remaining classes, where ̄u = res1(u): 0,5− p 0,5− ⬒ ⊆ E4 generated by 2Δ1 ∈ E2 (C4∕C4) 0,5− and by 21u, 2Σ2,0u ∈ E4 (C4∕C2) 2 ∈ 0,5−( ∕{ }) and by r1,0r1,1 ̄u, r1,0 ̄u E4 C4 e 3,7− ( 2Σ−1 ) 3 ∈ 3,7−( ∕ ) ⚫ ⊆ E4 generated by 01 0 2,0 u ≡ 0u E4 C4 C2 . The following commutative diagram has exact rows and columns: 0 0 0 d3 0 / ⬕ / □ / ⚫ / 0

d3 0 / ⬒ / ⊡ / ⚫ / ⚫ / 0 d3 0 / ⬒ / □ / ⚫ / ⚫ / 0 0 0 0 0 1,7− → 4,9− (2) For d3 ∶ E3 E3 , we have an exact sequence

d3 0 / ⚫ / ⚫ / ⚫ / 0

p 2 p 4 determined by the diﬀerentials d3(Δ1 ) = $ and d3(0Σ2,0u) = 00u. This gives the following remaining classes 4,9− 2 4 4,9− ⚫ ⊆ E4 generated by (01) u ≡ 0u ∈ E4 (C4∕C2). 2,9− → 5,11− (3) For d3 ∶ E3 E3 , we have an exact sequence

d3 0 / ⚫ / ⚫ / ▾ / 0

2 p 3 p 2 5 determined by the diﬀerentials d3( Δ1 ) = $ and d3(0Σ2,0u) = 00u. 5,11− 2 −1p 5,11− ▾ ⊆ E4 generated by &$ Δ1 ∈ E4 (C4∕C4) 2 5 5,11− and by 0(01) u ≡ 0u ∈ E4 (C4∕C2). 3,11− → 6,13− (4) For d3 ∶ E3 E3 , we have an exact sequence

d3 0 / ⚫ / ⊙ / ⚪ / 0

p 2 −1p 3 6 determined by the diﬀerentials d3($& ) = &$ Δ1 and d3(0Σ2,0u) = 0u. This gives the following remaining classes 6,13− 3 −1p 6,13− ⚪ ⊆ E4 generated by $ Δ1 ∈ E4 (C4∕C4) 3 6 6,13− and by (01) u ≡ 0u ∈ E4 (C4∕C2). 32 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

4,13− → 7,15− (5) For d3 ∶ E3 E3 , we have an exact sequence

d3 0 / ⚫ / ⊙ / ⚫ / ⚫ / 0

2p 3 −1p 2 3 2 determined by d3($ ) = $ Δ and d3(Σ2,0(01) u) = 00(01) u. This gives the following remaining classes 4,13− 2p 4,13− ⚫ ⊆ E3 generated by 2$ ∈ E3 (C4∕C4) 7,15− 3 2 7 7,15− ⚫ ⊆ E4 generated by 0(01) u ≡ 0u ∈ E4 (C4∕C2).

There are several exotic restrictions and transfers that follow from the d3 diﬀerentials. Following [HHR17, Figure 10] we indicate exotic transfers by solid blue lines and exotic restrictions by dashed green lines.

Higher differentials and the E∞-page. The higher differentials for the homotopy fixed point ∗ ∗ spectral sequences H (C4,E∗) and H (C2,E∗) are listed below. From the E4-term onwards, the homotopy fixed point spectral sequence and the slice spectral sequence are isomorphic in the range s > 2 and t − s > s. Because of the periodicity of the HFPSS, higher differentials are easily deduced from slice differentials. We refer the reader to [HHR17, Section 14] for more details. The computation is also illustrated in Figure 5.3 and Fig- ure 5.9. The exact sequences of Mackey functors involving the differentials are depicted in Figure 5.2. Remark 5.22. The following classes are permanent cycles: 2 4 −2 ̄ = $ Δ1 = $ Δ1 = 2$Δ1 Therefore, all differentials are linear with respect to multiplication by these classes. Remark 5.23. One key difference between our computation and that of [HHR17] is the behavior of u2. In the E2(C4∕C4)-term of the slice spectral sequence for ⋆k[2], there 3 ̄ is a relation au = 0. However, in the E2-term of the homotopy fixed point spectral sequence for Eℎ, the image of u for every representation V becomes a unit. Therefore, ̄ ⋆ 2 V 3 = 0 3( ) 3 3d̄ 3 = 3 ( ∕ ) a in H C4, ⋆E . In fact, au 1 , which is zero on the E2 C4 C4 -page. This 3 d̄ implies that the target of the slice differential d5(u2) = aa 1 is trivial. So, in the spectral sequence ∗ ⇒ ℎC4 H (C4, ⋆E) ⋆−∗E we have d5(u2) = 0. 4 We will show in Proposition 5.25 that u2u is a permanent cycle. This, together with ( 4) d7 u from [HHR17, Theorem 11.13] implies that u2 instead supports a d7 differential. Proposition 5.24. The differentials are , , , and 2-linear. The differentials d5 ̄ Δ1 s,t → s+5,t+4 are determined by d5 ∶ E5 (C4∕C4) E5 (C4∕C4) −1 2 −2 4 d5(Δ1) = Δ1 $ , d5($) = 2Δ1 $ The differentials s,1−+t → s+5,1−+t+4 are determined by d5 ∶ E5 (C4∕C4) E5 (C4∕C4) −1 3 −1 3 d5(Δ1p) = 2Δ1 $ p, d5(Δ1$p) = Δ1 $ p. INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 33

12 ⚫ ⊙ ⚫ ⊙ ⚫ ⊙

⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫

⚫ ⊙ ⚫ ⊙ ⚫

⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫

8 ⊙ ⚫ ⊙ ⚫ ⊙ ⚫

⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫

⊙ ⚫ ⊙ ⚫ ⊙

⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫

4 ⚫ ⊙ ⚫ ⊙ ⚫ ⊙

⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫

⚫ ⊙ ⚫ ⊙ ⚫

⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 0 ⊡ □ ⊡ □ ⊡ □ ⊡ □ ⊡ □ ⊡

0 4 8 12 16 20

12 ⚫ ⊙ ⚫ ⊙ ⚫ ⊙

⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫

⚫ ⊙ ⚫ ⊙ ⚫

⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫

8 ⊙ ⚫ ⊙ ⚫ ⊙ ⚫

⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫

⊙ ⚫ ⊙ ⚫ ⊙

⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫

4 ⚫ ⊙ ⚫ ⊙ ⚫ ⊙

⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫

⚫ ⊙ ⚫ ⊙ ⚫

⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 0 ⊡ □ ⊡ □ ⊡ □ ⊡ □ ⊡ □ ⊡

−3 − 1 − 5 − 9 − 13 − 17 −

∗,∗ ∗,1−+∗ FIGURE 5.1. The E2 (top) and E2 (bottom) page of the homotopy ∗ fixed point spectral sequence given by H (C4,E⋆). Lines of slope (1, 1) ∗,⋆ indicate multiplication on the E3 (C4∕C4)-term. They are dashed if the generator of the target is not a multiple of . The d3-differential patters are also drawn. Again, a d3 is dashed if the target of the differential in ∗,⋆ E3 (C4∕C4) is not the generator. 34 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

d3 d3 0 / ⚫ / ⊙ / ⚪ / 0 0 / ⬕ / ⊡ / ⚫ / ▾ / 0

d3 d3 0 / ⚫ / ⚫ / ⚫ / 0 0 / ⬒ / ⊡ / ⚫ / ⚫ / 0

d3 d3 0 / ⚫ / ⚫ / ▾ / 0 0 / ⚫ / ⊙ / ⚫ / ⚫ / 0

d5 0 / ⧈ / ⊡ / ⚫ / 0

d5 0 / ⚫ / ⚪ / ▴ / 0

d5 0 / ⦾ / ⊙ / ⚫ / 0

d5 0 / ▾ / ⚪ / ⚫ / 0

d7 0 / ⧈ / ⊡ / ⚫ / 0

d7 0 / ⚫ / ▴ / ⚫ / 0

d 0 / ▣ / ⧈ 7 / ▾ / 0

d7 0 / ▴ / ⚫ / ⚫ / 0

d7 0 / ⚫ / ⚫ / ⚫ / 0

d7 0 / ⚫ / ⦾ / ▾ / 0

d7 0 / ⚫ / ▾ / ⚫ / 0

d7 0 / ▴ / ⚫ / ▴ / ⚫ / 0

d7 d7 d7 0 / ⚫ / ▴ / ▾ / ⚫ / 0

d7 d7 0 / ⧈ / ⊡ / ▾ / ⚫ / 0

d7 d7 0 / ▾ / ⚪ / ▾ / ⚫ / 0

d7 d7 0 / ▴ / ⚫ / ▴ / ▾ / ⚫ / 0

d11 0 / ⚫ / ▴ / ⚫ / 0

d13 0 / ⬓ / ⬒ / ⚫ / 0

FIGURE 5.2. The diﬀerent patterns of d3, d5, d7, d11 and d13- diﬀerentials. INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 35

Proof. Again, these come from differentials listed in [HHR17, Table 3]. They are deduced using Remark 5.12 from ( 2) = 2d̄ ( 2) = 2d̄ d5 u2u u2 ̄a 1, d5 u ̄a 1. 1,3−− d̄ −1 Here, ̄ = au ∈ E2 (C4∕C4) is a permanent cycle. In fact, ̄ = 1 . Here, we also 2 2 use that = 2$, which is related to the “gold relation” 2u2a = au. We take a moment here to prove the following result, which settles Proposition 4.5. Proposition 5.25. The classes 8 2 , 4 and = res4( ) are permanent cycles. In u, u2 u2u ̄u4 2 u4 particular, the class is a permanent cycle in the spectral sequence for ℎC2 . u82 E Proof. 8 2 That u, u2 and ̄u4 are permanent cycles is part of [HHR17, Theorem 11.13]. The 2 claim about u82 follows from the fact that the restriction of to the group C2 is 2. 4 We give a quick argument to justify that u2u is a permanent cycle. Multiplication by 4 u2u induces an isomorphism ∗,∗ → ∗,10−2−4+∗ (5.4) E2 (C4∕C4) E2 (C4∕C4). 1 4 4 that sends to u2u. Using this isomorphism, it is visible that if u2u is a d7-cycle, then 4 it is a permanent cycle by sparseness. Both u2 and u are d5-cycles. The only possible ( 4) = ¨ 2 3d̄ non-trivial d7 differential is d7 u2u u2ua 1. Note that ̄ is detected by = 2Δ = 2 2 d̄ 6( 4) ̄ $ 1 au2 1 u2u So, the differential would imply that ( 2Δ ) = ¨ 5 2 3 d̄ 7 = 5Δ−2 d7 $ 1 auu2 1 &$ 1 4 which is non-trivial on the E7-term, a contradiction. Therefore, u2u is a d7-cycle. Corollary 5.26. The class 2p is a permanent cycle detecting a non-zero class $Δ1 2 $Δ p ∈ 19− E(C4∕C4). 1 ̄ Proof. This follows from Proposition 5.25 since Δ2p = 2 d̄5( 4) $ 1 au2 1 u2u is a product of permanent cycles. Proposition 5.27. The differentials are , , , , and 4-linear. The -differentials d7 ̄ Δ1 d7 s,t → s+7,t+6 are determined by d7 ∶ E7 (C4∕C4) E7 (C4∕C4) 3 −2 2 3 −1 d7(2Δ1) = &$ Δ1 d7(Δ1) = &$ Δ1 d7(Δ1) = 0.

Further, Δ1 is a permanent cycle. The diﬀerentials s,1−+t → s+7,1−+t+6 are determined by d7 ∶ E7 (C4∕C4) E7 (C4∕C4) 3 4 4 −3 3 d7(2Δ1$p) = &$ p d7($p) = &$ pΔ1 d7($pΔ1) = 0. The diﬀerentials ∶ s,t( ∕ ) → s+7,t+6( ∕ ) are , and Σ4 -linear. They d7 E7 C4 C2 E7 C4 C2 0 0 2,0 are determined by (Σ2 ) = 7 d7 2,0 0. The spectral sequence ∗,∗ collapses at . E7 (C4∕C2) E7 36 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

Proof. We use the proof of [HHR17, Theorem14.3]. From that discussion, one deduces that (2Δ ) = 3 ¨d̄3 (Δ2) = Δ (2Δ ) d7 1 au2 1 and d7 1 1d7 1 . ∗,∗ The first two differentials for E∗ (C4∕C4) then follow using Remark 5.12. ∗,∗ The d7 for E∗ (C4∕C2) is obtained by multiplying the differential from [HHR17],

([ 2]) = 7 3 d7 ̄u a2 ̄r1,0

4 = 8 with the permanent cycle ̄r1,0. There is a vanishing line at s on the E8-page, and so the spectral sequence collapses. 4 2 For d7(Δ1) = 0, note that Δ1 = tr2(01). Since

( 2) = ( (1 − )2Σ2 ) = (1 + 2) 7 d7 01 d7 0 0 2,0 0 0 0

7,14 and the latter is zero in E7 (C4∕C2), the claim follows. 2 4 2 Now, note that 01 is a permanent cycle, hence so is Δ1 = tr2(01). Finally, the ∗,1−+∗ diﬀerentials in E7 (C4∕C4) then follow using Corollary 5.26 and the fact that the d7 4 diﬀerentials are Δ1-linear.

Proposition 5.28. The and diﬀerentials are , , , , and 4-linear. The - d11 d13 ̄ Δ1 d11 diﬀerentials s,t → s+11,t+10 are determined by d11 ∶ E11(C4∕C4) E11 (C4∕C4)

−4 7 2 6 −4 d11(&$) = 2Δ1 $ = $ Δ1 . The -diﬀerentials s,1−+t → s+11,1−+t+10 are determined by d11 d11 ∶ E11 (C4∕C4) E11 (C4∕C4)

2 2 2 7 −2 d11(&$ Δ1p) = $ Δ1 p. The -diﬀerentials s,t → s+13,t+12 are determined by d13 d13 ∶ E13(C4∕C4) E13 (C4∕C4)

−4 8 3 2 −2 7 d13(Δ1$) = Δ1 $ d13(Δ1 ) = Δ1 $ The -diﬀerentials s,1−+t → s+13,1−+t+12 are determined by d13 d13 ∶ E13 (C4∕C4) E13 (C4∕C4)

3 2 −2 9 5 2 8 d13(Δ1$ p) = Δ1 $ p d13(Δ1 $p) = $ p. Proof. ∗,∗ The d11 in E∗ (C4∕C4) follows from [HHR17, Theorem 14.2 (iv)]. The d13s come ∗,1−+∗ from Theorem [HHR17, Theorem 14.4]. Finally, the diﬀerentials in E∗ (C4∕C4) then follow from those in the integer graded spectral sequence by multiplying by the permanent 2 p cycle Δ1$ of Corollary 5.26.

Remark 5.29. There is a typo in the statement of [BO16, Proposition 2.3.8]. It should read −4 7 d11( ) = 2 .

The E∞ term is illustrated in Figure 5.3. The exact sequences of Mackey functors required to compute it are listed in Figure 5.2. Finally, Table 5.2, Table 5.3 and Table 5.4 contain the deﬁnitions of the Mackey functors required to read Figure 5.3. INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 37 36 ⚪ ⚪ ⚪ ⬕ ▾ ▾ ⚫ ⚫ ⚫ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 32 ⚪ ⚪ ⊡ ⚪ ▾ ▾ ⚫ ⚫ ⚫ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 28 ⚪ ⚪ ⚪ ⬕ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 24 ⚪ ⚪ ⊡ ⚪ ▾ ▾ ⚫ ⚫ ⚫ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 20 ⚪ ⚪ ⬕ ⚪ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 16 ⚪ ⚪ ⚪ ⊡ ▾ ▾ ⚫ ⚫ ⚫ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 12 ⚪ ⚪ ⬕ ⚪ ▾ ▾ ⚫ ⚫ ⚫ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 8 ⚪ ⚪ ⊡ ⚪ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 4 ⚪ ⚪ ⚪ ⬕ ▾ ▾ ⚫ ⚫ ⚫ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 0 ⚪ ⚪ ⊡ ⚪ 8 4 0 24 20 16 12

∗,∗ FIGURE 5.3. The E4 page onwards of the HFPSS with dr for r ≥ 5. 38 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA 36 ⚪ ⚪ ⚪ ⬕ ▾ ▾ ⚫ ⚫ ⚫ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 32 ⚪ ⚪ ⊡ ⚪ ▾ ▾ ⚫ ⚫ ⚫ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 28 ⚪ ⚪ ⚪ ⬕ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 24 ⚪ ⚪ ⊡ ⚪ ▾ ▾ ⚫ ⚫ ⚫ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 20 ⚪ ⚪ ⬕ ⚪ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 16 ⚪ ⚪ ⚪ ⊡ ▾ ▾ ⚫ ⚫ ⚫ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 12 ⚪ ⚪ ⬕ ⚪ ▾ ▾ ⚫ ⚫ ⚫ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 8 ⚪ ⚪ ⊡ ⚪ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 4 ⚪ ⚪ ⚪ ⬕ ▾ ▾ ⚫ ⚫ ⚫ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ 0 ⚪ ⚪ ⊡ ⚪ 8 4 0 24 20 16 12 2

∗,∗ FIGURE 5.4. The E5 page of the HFPSS with d5 diﬀerentials. INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 39 3 36 ▴ ▾ ⚪ ⬕ ▾ ▾ ⚫ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ 32 ▾ ▾ ⊡ ▴ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ 28 ▾ ▴ ▾ ⬕ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ 24 ▴ ▾ ⧈ ▴ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ 20 ▾ ⚪ ⬕ ▴ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ 16 ▾ ▴ ▾ ⊡ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ 12 ▾ ▾ ⬕ ▴ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ 8 ▾ ▴ ⧈ ▴ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ 4 ▴ ▾ ⚪ ⬕ ▾ ▾ ⚫ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⚫ ⚫ 0 ▾ ▾ ⊡ ▴ 8 4 0 24 20 16 12

∗,∗ FIGURE 5.5. The E7 page of the HFPSS with d7 diﬀerentials. 40 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA 36 ▴ ⚫ ⬕ ▾ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ 32 ⊡ ⚫ ⚫ ⚫ □ ⚫ 28 ⚫ ⬕ ⚫ ⚫ ⚫ ⚫ □ ▴ ⚫ 24 ⚫ ▣ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ 20 ⚪ ⬕ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ 16 ⚫ ⧈ ⚫ ⚫ ⚫ □ ⚫ 12 ⬕ ⚫ ⚫ ⚫ □ ▴ ⚫ 8 ⚫ ▣ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ 4 ▾ ⚫ ⬕ ▾ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ 0 ⊡ 8 4 0 24 20 16 12 4

∗,∗ FIGURE 5.6. The E11 page of the HFPSS with d11 diﬀerentials. INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 41 5 36 ▴ ⚫ ⬕ ▾ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ 32 ⊡ ⚫ □ ⚫ 28 ⚫ ⬕ ⚫ ⚫ ⚫ □ ▴ ⚫ 24 ⚫ ▣ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ 20 ⚪ ⬕ ▾ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ 16 ⚫ ⧈ ⚫ ⚫ □ ⚫ 12 ⬕ ⚫ □ ▴ ⚫ 8 ⚫ ▣ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ 4 ▾ ⚫ ⬕ ▾ ⚫ ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ 0 ⊡ 8 4 0 24 20 16 12

∗,∗ FIGURE 5.7. The E13 page of the HFPSS with d13 diﬀerentials. 42 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA 36 ▴ ⬕ ▾ ⚫ ⚫ ⚫ □ ⚫ ⚫ 32 ⊡ □ 28 ⚫ ⬕ ⚫ ⚫ □ ▴ 24 ▣ ⚫ ⚫ ⚫ □ ⚫ ⚫ 20 ⚪ ⬕ ▾ ⚫ ⚫ □ ⚫ 16 ⧈ ⚫ □ 12 ⬕ ⚫ □ ▴ ⚫ 8 ⚫ ▣ ⚫ ⚫ □ ⚫ 4 ▾ ⬕ ▾ ⚫ ⚫ ⚫ □ ⚫ ⚫ 0 ⊡ 8 4 0 24 20 16 12 6

∗,∗ FIGURE 5.8. The E∞ page of the HFPSS with exotic extensions. INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 43 ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⊡ 33 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⚪ □ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⬒ 29 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⊙ □ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⊡ 25 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⚪ □ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⬒ 21 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⊙ □ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⊡ 17 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⚪ □ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⬒ 13 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⊙ □ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⊡ 9 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⚪ □ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⬒ 5 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⊙ □ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⊡ 1 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⚪ □ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⬒ −3 − 8 4 0 24 20 16 12

∗,(1−)+∗ FIGURE 5.9. The E4 page onwards of the HFPSS with dr for r ≥ 5. 44 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⊡ 33 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⚪ □ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⬒ 29 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⊙ □ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⊡ 25 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⚪ □ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⬒ 21 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⊙ □ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⊡ 17 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⚪ □ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⬒ 13 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⊙ □ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⊡ 9 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⚪ □ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⬒ 5 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⊙ □ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⊡ 1 − ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚪ ⚪ ⚪ □ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⬒ −3 − 8 4 0 24 20 16 12 2

∗,(1−)+∗ FIGURE 5.10. The E5 page of the HFPSS with d5 diﬀerentials. INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 45 3 ⚫ ⚫ ⚫ ⚫ ⚫ ⊡ 33 − ⚫ ⚫ ⚫ ⚫ ⚫ ▾ ▴ ▾ □ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⬒ 29 − ⚫ ⚫ ⚫ ⚫ ▾ ▴ ⦾ □ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⊡ 25 − ⚫ ⚫ ⚫ ⚫ ▴ ▾ ▴ □ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⬒ 21 − ⚫ ⚫ ⚫ ⚫ ⚫ ▴ ▾ ⊙ □ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⊡ 17 − ⚫ ⚫ ⚫ ⚫ ⚫ ▾ ▴ ▾ □ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⬒ 13 − ⚫ ⚫ ⚫ ⚫ ▾ ▴ ⦾ □ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⊡ 9 − ⚫ ⚫ ⚫ ⚫ ▴ ▾ ▴ □ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⬒ 5 − ⚫ ⚫ ⚫ ⚫ ⚫ ▴ ▾ ⊙ □ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⚫ ⊡ 1 − ⚫ ⚫ ⚫ ⚫ ⚫ ▾ ▴ ▾ □ ▾ ▾ ▾ ⚫ ⚫ ⚫ ⚫ ⬒ −3 − 8 4 0 24 20 16 12

∗,(1−)+∗ FIGURE 5.11. The E7 page of the HFPSS with d7 diﬀerentials. 46 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA ⚫ ⚫ ⊡ 33 − ⚫ ⚫ □ ⚫ ⚫ ⬒ 29 − ⚫ ⚫ ⚫ □ ▴ ⚫ ⚫ ⚫ ⧈ 25 − ⚫ ⚫ ⚫ □ ▾ ⚫ ⚫ ⚫ ⚫ ⬒ 21 − ⚫ ⚫ ⚫ ⊙ □ ⚫ ⚫ ⚫ ⚫ ⊡ 17 − ⚫ ⚫ ⚫ □ ⚫ ⚫ ⚫ ⬒ 13 − ⚫ ⚫ □ ▴ ⚫ ⚫ ⧈ 9 − ⚫ ▴ □ ▾ ⚫ ⚫ ⚫ ⚫ ⚫ ⬒ 5 − ⚫ ⚫ ⚫ ⚫ ⦾ □ ⚫ ⚫ ⚫ ⊡ 1 − ⚫ ⚫ □ ⚫ ⚫ ⬒ −3 − 8 4 0 24 20 16 12 4

∗,(1−)+∗ FIGURE 5.12. The E11 page of the HFPSS with d11 diﬀerentials. INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 47 5 ⚫ ⚫ ⊡ 33 − ⚫ ⚫ □ ⬒ 29 − ⚫ ⚫ ⚫ □ ▴ ⚫ ⚫ ⧈ 25 − ⚫ ⚫ ⚫ □ ▾ ⚫ ⚫ ⚫ ⚫ ⬒ 21 − ⚫ ⚫ ⚫ ⊙ □ ⚫ ⚫ ⊡ 17 − ⚫ ⚫ ⚫ □ ⚫ ⚫ ⬒ 13 − ⚫ ⚫ □ ⚫ ⚫ ⧈ 9 − ⚫ ▴ □ ▾ ⚫ ⚫ ⚫ ⬒ 5 − ⚫ ⚫ ⚫ ⚫ ⦾ □ ⚫ ⚫ ⚫ ⊡ 1 − ⚫ ⚫ □ ⬒ −3 − 8 4 0 24 20 16 12

∗,(1−)+∗ FIGURE 5.13. The E13 page of the HFPSS with d13 diﬀerentials. 48 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA ⚫ ⊡ 33 − ⚫ □ ⬓ 29 − ⚫ ⚫ □ ▴ ⚫ ⧈ 25 − ⚫ □ ▾ ⚫ ⚫ ⚫ ⬒ 21 − ⚫ ⚫ ⊙ □ ⚫ ⊡ 17 − □ ⚫ ⬒ 13 − ⚫ □ ⚫ ⚫ ⧈ 9 − ⚫ ▴ □ ▾ ⚫ ⚫ ⬒ 5 − ⚫ ⦾ □ ⚫ ⚫ ⊡ 1 − ⚫ □ ⬓ −3 − 8 4 0 24 20 16 12 6

∗,(1−)+∗ FIGURE 5.14. The E∞ page of the HFPSS with exotic extensions. INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 49

Exotic restrictions and transfers. Exotic restrictions and transfers can mostly be deduced from [HHR17]. In general, they are solved using [HHR17, Lemma 4.2] which states that, for a cyclic 2-group G with ﬁnite subgroup G¨ of index two, if denotes the sign representation for G, then ∙ im(trG ) = ker( ) G¨ a , and ∙ ker(resG ) = im( ) G¨ a . ∗,∗+⋆ We have explicitly computed the E∞ -pages for ⋆ = 0, 1 − . Further, as we noted in Remark 4.9, there are isomorphisms ∗,∗ ∗,∗+18−2 E∞ ≅ E∞ ∗,1−+∗ ∗,∗+15+ E∞ ≅ E∞

So, it is straightforward to study the image and the kernel of multiplication by a and a2 on ∗,∗ ∗,1−+∗ E∞ and E∞ . This allows us to use the above observation to deduce exotic transfers and restrictions that are not stated in [HHR17]. We ﬁrst list the extensions for ∗E, and then turn to the shift by 1 − . The homotopy ̄ groups ∗E and 1− +∗E are listed in Table 5.5. See also Figure 5.8 and Figure 5.14. ̄ ̄ (1) In for t ≡ 2 mod (32), the exotic transfers resolve in two steps as ̄ t 0 / ⚫ / ⦾ / ⚫ / 0 ,

0 / ⦾ / ⧇ / □ / 0 .

Note that, in [HHR17, Figure 17], 2K[2] is a direct sum of ▾ and □̇ , where ̄ 0 / ⚫ / ▾ / ⚫ / 0 ,

0 / ⚫ / □̇ / □ / 0 .

and the gray Mackey functors are deﬁned as in Table 5.2, but with k replaced by ℤ∕2 and W replaced by ℤ. However, 2E[2] cannot be expressed as a direct sum ̄ because of the W[[]]-module structure. This obstruction can be understood in terms of the diagram

▾(C4∕C2) ⊕ □̇ (C4∕C2) / ⧇ (C4∕C2)

≅ = k[[ ]][ ∕ ] ℤ∕2{∗} ℤ∕2[ ∕ ] ⊂ / C4 C2+ ⊕ C4 C2 ⋅∗=Δ

(2) In for t ≡ 3, 19 mod (32), the exotic restriction resolves as ̄ t 0 / ▾ / ⚪ / ⚫ / 0 .

(3) In for t ≡ 4 mod (32), the exotic transfer resolves as ̄ t 0 / ▾ / ⬕ / ⬕ / 0 . 50 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

(4) In for t ≡ 6 mod (32), the exotic restriction and transfer resolves in two steps ̄ t as 0 / ⚫ / ▴ / ⚫ / 0 ,

0 / ▴ / ⧗ / □ / 0 . (5) In for t ≡ 9 mod (32), the exotic transfer resolves as ̄ t 0 / ⚫ / ⊙ / ▴ / 0 .

(6) In for t ≡ 10, 26 mod (32), the exotic transfer resolves as ̄ t 0 / ⚫ / □̇ / □ / 0 .

(7) in for t ≡ 18 mod (32), the exotic transfer resolves as ̄ t 0 / ⚫ / □̇ / □ / 0 .

(8) In for t ≡ 20 mod (32), the exotic transfer resolves as ̄ t 0 / ⚪ / ⬕̊ / ⬕ / 0 .

(9) In for t ≡ 21 mod (32), the exotic transfer resolves as ̄ t 0 / ⚫ / ▾ / ⚫ / 0 . (10) In for t ≡ 22 mod (32), the exotic restriction and transfer resolves in three steps ̄ t as 0 / ⚫ / ▾ / ⚫ / 0 ,

0 / ▾ / ⚪ / ⚫ / 0 ,

0 / ⚪ / ⧇ / □ / 0 . (11) In for t ≡ 28 mod (32), the exotic transfer resolves as ̄ t 0 / ⚫ / ⬕̇ / ⬕ / 0 .

Next, we list the extensions for ∗+1− E. Most of them can be read oﬀ the computation ̄ of the homotopy groups and we add a word for those that are not so clear. (1) In for t ≡ 1 − mod (32), the exotic transfer resolves as ̄ t 0 / ⚫ / ⊡̇ / ⊡ / 0 .

(2) In for t ≡ 3 − mod (32), the exotic transfer resolves as ̄ t 0 / ⦾ / ⧇ / □ / 0 .

(3) In for t ≡ 5 − mod (32), the exotic restriction resolves as ̄ t ̆ 0 / ⚫ / ⬕ / ⬒ / 0 . INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 51

(4) In for t ≡ 6 − , 22 − mod (32), the exotic restriction resolves as ̄ t

0 / ▾ / ⚪ / ⚫ / 0 .

(5) In for t ≡ 7 − mod (32), the exotic transfer resolves as ̄ t

0 / ▴ / ⧗ / □ / 0 .

(6) In for t ≡ 9 − , 25 − mod (32), the exotic transfer resolves as ̄ t

0 / ⚫ / ⧈̇ / ⧈ / 0 .

There must be an exotic transfer in this degree since 9−2 E(C4∕C4) = 0 so the ̄ class in (9−, 4) must be in the image of the transfer. Similarly, 25−2 E(C4∕C4) = ̄ 0 implies the exotic transfer in stem 25 − . (7) In for t ≡ 11 − , 27 − mod (32), the exotic transfer resolves as ̄ t

0 / ⚫ / □̇ / □ / 0 .

(8) In for t ≡ 19 − mod (32), the exotic transfer resolves as ̄ t

0 / ⊙ / ⊡ / □ / 0 .

(9) In for t ≡ 21 − mod (32), the exotic restriction and transfer resolve in two ̄ t steps as

0 / ⚫ / ▾ / ⚫ / 0 ,

0 / ▾ / ⬒ / ⬒ / 0 .

(10) In for t ≡ 23 − mod (32), the exotic transfer resolves as ̄ t

0 / ⚫ / ◘ / □ / 0 .

Remark 5.30. There is no exotic transfer to the class detected in degree (27 − , 10) since this class is not in the kernel of multiplication by a. Similarly, there is no exotic transfer in stem 20 − .

Corollary 5.31. The homotopy groups of are not an integer shift of . As was ∗+1−E ∗E ̄ −1̄ stated in Proposition 4.6, this implies that there is no d ∈ ℤ such that E ∧ S ≃ E ∧ Sd as C4 equivariant E-module spectra. 52 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

Homotopy groups ∗E ̄ t mod 32 0 1 2 3 4 5 6 7 E ⊡ ⚫ ⊕ ⚫ ⧇ ⚪ ⬕ ⚫ ⧗ 0 ̄ t t mod 32 8 9 10 11 12 13 14 15 E ▣ ⊕ ⚫ ⊙ □̇ 0 ⬕ 0 □ ⊕ ⚫ 0 ̄ t t mod 32 16 17 18 19 20 21 22 23 E ⧈ ⚫ □̇ ⚪ ⬕̊ ▾ ⧇ 0 ̄ t t mod 32 24 25 26 27 28 29 30 31 E ▣ ▴ □̇ ⚫ ⬕̇ 0 □ 0 ̄ t

Homotopy groups 1− +∗E ̄ t mod 32 1 2 3 4 5 6 7 8 ̆ − E ⊡̇ ⚫ ⧇ ⚫ ⬕ ⚪ ⧗ ⚫ ̄ t t mod 32 9 10 11 12 13 14 15 16 − E ⧈̇ ⚫ □̇ 0 ⬒ ⚫ □ 0 ̄ t t mod 32 17 18 19 20 21 22 23 24 − E ⊡ ⚫ ⊡ ⚫ ⊕ ⚫ ⬒ ⚪ ◘ 0 ̄ t t mod 32 25 26 27 28 29 30 31 32 − E ⧈̇ ▴ □̇ ⊕ ⚫ 0 ⬓ 0 □ ⚫ ̄ t

TABLE 5.5. The homotopy groups ∗E (top) and 1− +∗E (bottom). ̄ ̄

6. THE ALGEBRAIC PICARD GROUP In this section, we compute the algebraic part of Pic(E). First, we recall a few facts from algebra. Let R be a commutative ring with an action of a group G by ring automorphisms. We consider the category of G-twisted R-modules where the objects are R-modules M with an action of G compatible with the action of G on R. Namely, for r ∈ R, m ∈ M and g ∈ G

g(rm) = g(r)g(m).

This is a symmetric monoidal category and we let its Picard group be denoted by PicG(R). If G is a ﬁnite group and R is a local ring, then a G-twisted R-module M is invertible if and only if it is free of rank one as an R-module. From this, one deduces that there is an isomorphism

1 × (6.1) PicG(R) ≅ H (G,R ). INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 53

The isomorphism is deﬁned by choosing an R module generator m for M and deﬁning a → function M ∶ G R by the formula

g(m) = M (g)m. Note further that if we let H vary over the subgroups of G, it is clear that the right hand side assembles as a Mackey functor. This corresponds on the left hand side to the Mackey functor

Pic(R)(G∕H) = PicH (R) resG ( ) with H M the module M with H action restricted along the inclusion of H in G and trG ( ) = G ( ) H M NH M , ⨂ G ( ) = R where NH M G∕H M is the indexed tensor product of R-modules. Now, let R be a ring spectrum with an action of G and R0 = 0R. In the Picard spectral sequence, which we introduce in more detail in the next section, we will have 1,1 ( ∕ ) ≅ 1( ×) ≅ Pic ( ) E♤,2 G H H H,R0 H R0 .

Therefore, the computation of Pic(R0) is an input for that of Pic(R). In this section, we prove the following statement. Proposition 6.1. There are isomorphisms Pic ( ) ≅ ℤ∕4 and Pic ( ) ≅ ℤ∕2. C4 E0 C2 E0

Let G = C2 or C4. Since a G-E0-module is in PicG(E0) if and only if it is free of rank one as an E0-module, for each integer n, E2n is an element of PicG(E0). Further, the multiplication → (6.2) E2n ⊗E0 E2m E2(n+m) induces an isomorphism. This gives a group homomorphism G ℤ → ' (−)∶ PicG(E0) G where ' (n) = E2n. Lemma 6.2. Let k = 0, 1, 2. The kernel of 'C2k is the ideal (2k)ℤ. Proof. → First, let G = C4. If f ∶ E0 E2n is an isomorphism of C4-twisted E0-modules, then f(1) is a unit of degree 2n which is invariant modulo the action of C4. Conversely, any such isomorphism is given by multiplication by such an invariant unit. The element Δ1 deﬁned in Table 5.1 has this property, so multiplication by Δ1 induces an equivariant isomorphism → Δ1 ∶ E2n E2n+8 C4 so that E2∗ is at least 4-periodic and (4) ⊆ ker(' ). There is no such unit in E2, E4 or E6, so this identiﬁes the kernel. The argument for C2 is similar, replacing Δ1 by 1 and that for the trivial group is obvious.

As an immediate consequence, we have: Corollary 6.3. Let = 0 1 2. There are inclusions ℤ∕2k Pic ( ) where ℤ∕2k is k , , ⊆ C2k E0 generated by the isomorphism class of E2. 54 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

1 × k To ﬁnish the proof of Proposition 6.1, we show that H (C2k ,E0 ) has order at most 2 . 1 × Once we have shown this, we can assemble the Mackey functor Pic(E0) ≅ H (C4,E0 ). The eﬀect of res4 ∶ Pic ( ) → Pic ( ) 2 C4 E0 C2 E0 4 4 is obvious since it sends the generator E2 to itself. Since tr2◦res2 = ðC4∕C2ð (for example by (6.1)), the transfer must be multiplication by 2. Therefore, Pic(E0) is the following Mackey functor: ℤ PicC (E0) ≅ ∕4 4 T 1 2 ℤ PicC (E0) ≅ ∕2 2 T 0 0 Pic{e}(E0) = 0 We denote this Mackey functor by ⚪. 1 × The remainder of the section is dedicated to proving that H (C2k ,E0 ) has order at most 2k for k = 1, 2. This is rather technical and the next section will only appeal to the statement of Proposition 6.1, so the reader may safely skip the remainder of this section. We treat C2 and C4 separately since proving this for C2 is much easier. Lemma 6.4. There is an isomorphism 1 × ℤ H (C2,E0 ) ≅ ∕2. Proof. 2 × The group C2 is generated by which acts trivially on E0 ; see Section 5.2. There- fore, we have 0 1 (−)2 1 × × ,,,,,,,,,,,,,,,,→ × H (C2,E0 ) = ker E0 E0 ,

2 but, x = 1 in E0 if and only if x = (±1). Pic ( ) = × 1 To deal with C4 E0 , we introduce some notation. Let U0 E0 and, for n ≥ , × n Un = x ∈ E0 ∶ x ≡ 1 mod (2 ) . There are isomorphisms T × E0 ∕2 n = 0 Un∕Un+1 ≅ E0∕2 n ≥ 1. We will use the long exact sequence on cohomology associated to the short exact sequence / / × / × / (6.3) 0 U1 E0 E0 ∕2 0.

C Lemma 6.5. The maps 4 → C4 and × C4 → × C4 are surjective. E0 (E0∕2) (E0 ) (E0 ∕2)

Proof. Since an element of E0 is a unit if and only if it is a unit modulo 2, it suﬃces to prove C 4 → C4 1 that the map E0 (E0∕2) is a surjection. Since H (C4,E0) = 0 (see, for example, Figure 5.1) this follows from the long exact sequence associated to the short exact sequence 2 0 / E0 / E0 / E0∕2 / 0. INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 55

It follows from Lemma 6.5 that there is an exact sequence / 1 / 1 × / 1 × 0 H (C4,U1) H (C4,E0 ) H (C4,E0 ∕2)

1 1 × We will show that both H (C4,U1) and H (C4,E0 ∕2) have order 2, which will imply 1 × that the order of H (C4,E0 ) is at most 4. Together with Corollary 6.3, these results prove Proposition 6.1. Remark 6.6. × One can also prove the claim by filtering E0 by powers of its maximal ideal. That argument is slightly shorter but more technical. We have opted to take the slightly longer, but less steep trail. 1 Proposition 6.7. There is an isomorphism H (C4,U1) ≅ ℤ∕2. 1 Proof. To compute H (C4,U1), we use the Bockstein spectral sequence s,n s s (6.4) E1 = H (C4,Un∕Un+1) ⟹ H (C4,U1) s,n → s+1,n+r with differentials dr ∶ Er Er and n ≥ 1. See Figure 6.1. 2 The differentials are described as follows. First, if acts trivially on a C4-module M, 3(−) 2(−) (−)(−) = ( (−)(−))2 on M. The standard resolution for the group C4 gives a cochain complex

(−)(−)−1 ( (−)(−))2 (−)(−)−1 (6.5) 0 / P 0(M) / P 1(M) / P 2(M) / … d d d s ∗ with P (M) = M for all s ≥ 0. The cohomology of this complex is H (C4,M). For an element s,n s ∈ Er ≅ H (C4,Un∕Un+1) a diﬀerential dr( ) in the spectral sequence (6.4) is the Bockstein associated to the exact sequence → → → → 0 Un+1∕Un+r+1 Un∕Un+r+1 Un∕Un+1 0. s This is computed by choosing a cocycle representative a ∈ P (Un∕Un+1) for and lifting s it to an element a ∈ P (Un∕Un+r+1). Then d(a) will necessarily be a cocycle in s+1 s+1 P Un+r∕Un+r+1 ⊆ P Un+1∕Un+r+1 since was a dr−1-cycle. The cohomology class represented by s+1 d(a) ∈ H (C4,Un+r∕Un+r+1) is dr( ). Fix an isomorphism k → E0∕2 ≅ [[0]] Un∕Un+1, n n+1 f(0) ↦ 1 + 2 f(0) mod 2 From Section 5.2, we have that

Un∕Un+1 ≅ E0∕2 ≅ A(+)∕2 as C4-modules. Recall that = 0 + (0) 56 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

2 is invariant for the action of C4 (since (0) = 0). Using the standard resolution, we get the following W[[]]-modules T k s,n s [[]] s = 2t (6.6) E ≅ H (C4,Un∕Un+1) ≅ 1 k ⊕ k[[]] s = 2t + 1. s with cocycle representatives in P (Un∕Un+1) given by f() ↔ 1 + 2nf() s = 2t ↔ 1 + 2n s = 2t + 1 n f() ↔ 1 + 2 f()0 s = 2t + 1. for f() ∈ k[[]] and ∈ k. C k C4 W 4 For f() ∈ [[]] = (E0∕2) , we let f() ∈ [[]] = E0 be any invariant lift, which exists by Lemma 6.5. Further, given ∈ k, we let ∈ W be zero if = 0 or a Teichmüller lift if ∈ k×. k 2t,n n First, let s = 2t. For f() ∈ [[]] = E1 the cocycle representative 1 + 2 f() ∈ 2k P (Un∕Un+1) lifts to n 2t 1 + 2 f() ∈ P (Un∕Un+r+1). n Since 1 + 2 f() is invariant for the action of C4, we that have −1 2t → 2t+1 d = (−)(−) ∶ P (Un∕Un+r+1) P (Un∕Un+r+1) n is given by d(1 + 2 f()) = 1, which reduces to zero in Un+r∕Un+r+1 for any r ≥ 1. So the diﬀerentials 2t,n → 2t+1,n+r dr ∶ Er Er are all trivial. Now let s = 2t + 1 for odd t ≥ 0. A choice of representative for a class k k 2t+1,n (0, f()) ∈ ⊕ [[]] ≅ E1 n 2t+1 is given by 1 + 2 f()0 in P (Un∕Un+1), which lifts to n 2t+1 1 + 2 f()0 ∈ P (Un∕Un+r+1). We compute 2 2t+1 → 2t+2 d = ( (−)(−)) ∶ P (Un∕Un+r+1) P (Un∕Un+r+1).

Using that = (0) + 0, we have n n 2 n 2 d(1 + 2 f()0) = (1 + 2 f()0) (1 + 2 f()0) n n 2 = ((1 + 2 f() (0))(1 + 2 f()0)) ≡ 1 + 2n+1f() + 22n2f()2 mod 2n+2

k k k 2t+1,n Therefore, on [[]] ⊆ ⊕ [[]] ≅ E1 , we have diﬀerentials 2t+1,n → 2t+2,n k d1 ∶ E1 E1 ≅ [[]] given by T f() + 2f()2 n = 1 d1(f()) = f() n > 1 which in both cases are isomorphisms onto k[[]]. INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 57

A choice of representative for a class

k k 2t+1,n ( , 0) ∈ ⊕ [[]] ≅ E1

n 2t+1 is given by 1 + 2 in P (Un∕Un+1), which lifts to

n 2t+1 1 + 2 ∈ P (Un∕Un+r+1),

Since this class is invariant for the action of C4, we have that

d(1 + 2n ) = (1 + 2n )4 ≡ 1 + 2n+2 + 22n+1 2 mod 2n+3

k k k 2t+1,n Therefore, on ⊆ ⊕ [[]] ≅ E1 , we have diﬀerentials

2t+1,n → 2t+2,n k d1 ∶ E1 E1 ≅ [[]]

given by

T + 2 n = 1 d1( ) = n > 1.

Gal(k∕F2) These are isomorphisms if n ≥ 2, and if n = 1, the kernel is F2 = k . In particular, it follows that

T F 1,n 2 n = 1 E∞ = 0 otherwise

which implies the claim. 58 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

4 3 2 1 0 1 2 3 4 5 1 4 3 2 1 0 1 3 5 7 9 11 1 FIGURE 6.1. The spectral sequence (6.4) (top) and the spectral sequence (6.7) (bottom), drawn in the (n, s)-plane. A ⦁ denotes a copy of k.A ⦿ denotes a copy of k[[]], where the inner dot stands for k{1} and the outer rim stands for k[[]] (this allows us to draw the diﬀerentials more precisely). The dashed line indicates that ↦ + 2 for ∈ k.

Proposition 6.8. There is an isomorphism 1 × ℤ . H (C4,E0 ∕2) ≅ ∕2 Proof. To compute this, we will use another Bockstein spectral sequence associated to the following filtration. Let × n Vn = {x ∈ E0 ∕2 ∶ x ≡ 1 mod 0} There is an exact sequence → → × → k× → 1 V1 E0 ∕2 1. × 0 × 0 × Since k has order prime to 2 and H (C4, (E0∕2) ) → H (C4, k ) is surjective, there is an isomorphism 1 × 1 H (C4,E0 ∕2) ≅ H (C4,V1). 1 To compute H (C4,V1), we use the Bockstein spectral sequence s,n s s (6.7) E1 = H (C4,Vn∕Vn+1) ⟹ H (C4,V1) s,n → s+1,n+r with differentials dr ∶ Er Er . See Figure 6.1. The maps k → n n ∶ Vn∕Vn+1, n( ) = 1 + 0 are isomorphisms for n ≥ 1. We proceed as in the proof of Proposition 6.7, using the resolution (6.5) to compute the differentials. We have isomorphisms s k H (C4,Vn∕Vn+1) ≅ k s n where a representative for ∈ in P (Vn∕Vn+1) is given by the residue class of 1 + 0 , s which is also a choice of lift in P (Vn∕Vn+r+1). INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 59

k 2t → 2t+1 Let s = 2t and n = 2 m for m odd and k ≥ 0. For d ∶ P (Vn) P (Vn), we have n n n −1 d(1 + 0 ) = (1 + (0) )(1 + 0 ) 0 n 1 H I 1 = 1 + 0 n n (0 + 1) 1 + 0 H IH I n 1 1 = 1 + 0 2k m 1 + n (0 + 1) 0 n n+2k n 2 2n ≡ 1 + 0 + 0 1 + 0 + 0 n+2k n+2k+1 ≡ 1 + 0 mod 0 . k 2t,n → 2t+1,n+1 Therefore, for n = 2 m, the first possible non-zero differential dr ∶ Er Er is d2k . Further, the differentials 2t,n → 2t+1,n+1 d1 ∶ E1 E1 are isomorphisms for n odd. k 2t+1 → Now let s = 2t + 1 and n = 2 m where m is odd and k ≥ 0. For d ∶ P (Vn) 2t+2 P (Vn), we have n n 2 n 2 d(1 + 0 ) = (1 + (0) ) (1 + 0 ) H I 2 2n 1 2 2n = 1 + 0 +1 (1 + 0 ) 2k m (0 + 1) 2 2n 2k+1 2 2n 2n+2k+1+1 = 1 + 0 (1 + 0 ) (1 + 0 ) mod 0 T 2 2k+2 k 1 + ( + )0 n = 2 = +1 2 2n+2k k 1 + 0 n = 2 m, m ≠ 1.

∶ 2t+1,n → 2t+1,2n+2 In particular, if n is odd, we get diﬀerentials dn+2 En+2 En+2 given by T + 2 n = 1 dn+2( ) = 2 n > 1.

F kGal 2t+1,1 These are isomorphisms if n ≠ 1. If n = 1, then 2 = ⊆ E3 is the kernel. Combining these results, we conclude that T F 1,n 2 n = 1 E∞ = 0 otherwise which implies the claim.

7. THE PICARD SPECTRAL SEQUENCE In this section, we ﬁrst establish notation and a few results about the Picard spectral sequence for R an even periodic ring spectrum in the category of genuine G spectra. Then we turn to the analysis we need to prove Theorem 1.1 in the case when R = E and G = C4. 60 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

7.1. Generalities on the Picard Spectral Sequence. Let R be an even periodic cofree commutative ring spectrum in the category of genuine G-spectra. Suppose that RℎG → R is a faithful G-Galois extension. We recall the tools provided by [HMS17] and [MS16] to compute Pic(RℎG), the Picard group of RℎG-module spectra. Let pic(R) denote the Picard spectrum of the ring spectrum R. Note that pic(R) is a spectrum with a G-action, and that pic( ℎG) = pic( )ℎG R R ≥0 . In particular ℎG ℎG 0pic(R) ≅ Pic(R ). It follows that the group Pic(RℎH ) for any subgroup H of G can be computed by studying the spectral sequence s,t s ℎ (7.1) E = H (G, pic(R)) ⟹ − (pic(R)) ♤,2 t ̄ t s s,t ∶ s,t → s+r,t+r−1 with differentials d♤,r E♤,r E♤,r ; to obtain a Mackey-valued spectral sequence, we have taken the genuine cofree G-spectrum corresponding to pic(R). We will be com- paring this to the analogous homotopy fixed point spectral sequences E× (for the units of the ring R, see (7.3)) and E+ (for the ring R itself, see (7.2)). Note that pic(R) is a connective spectrum with the property that (Ωpic(R))≥0 ≃ gl1(R). ∞ Further, as spaces, Ω gl1(R) ≃ GL1(R) and there is a map ∞ GL1(R) → Ω R × which is an inclusion of those components lying over (0R) . These equivalences respect the G action, so both of these spaces inherit a G action from R and ⎧ℤ∕2 t = 0 ⎪ pic( ) ≅ × t R ⎨R0 t = 1 ⎪ 2 ⎩Rt−1 t ≥ as G-modules. It follows that ⎧Hs(G, ℤ∕2) t = 0 ⎪ s,t ≅ s( ×) = 1 E♤,2 ⎨H G,R0 t −1 ⎪ s,t ≥ 2 ⎩E+,2 t ∗,∗ as Mackey functors. Here, E+,∗ denotes the Mackey functor homotopy fixed point spectral sequence s,t s,t s ℎ (7.2) E = E = H (G, R) ⇒ − R 2 +,2 t ̄ t s with s,t s,t → s+r,t+r−1 d+,r ∶ Er,+ Er,+ . We also let s,t s ℎ (7.3) E = H (G, gl1(R)) ⇒ − (gl1(R)) ×,2 t ̄ t s s,t s,t → s+r,t+r−1 with differentials d×,r ∶ E×,r E×,r and note that T Hs(G,R×) t = 0 Es,t ≅ 0 ×,2 s,t 1 E+,2 t ≥ . In [MS16, 5.2.4], Mathew-Stojanoska identify a range where the differentials d♤ and s,t−1 × ♤ d+ are related. Given a class x ∈ E+,r (G∕H) where t ≥ 2, we let x and x be the s,t−1( ∕ ) s,t ( ∕ ) corresponding elements in E×,r G H and E♤,r G H respectively. INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 61

Theorem 7.1 . Let s,t−1 and let s+r,t+r−2 . (Mathew-Stojanoska) x ∈ E+,r (G∕H) y ∈ E+,r (G∕H) Let ♤ ∈ s,t ( ∕ ) and ♤ ∈ s+r,t+r−1( ∕ ) be the corresponding classes. x E♤,r G H y E♤,r G H (1) If both x♤ and y♤ lie in the region of the (t − s, s)-plane where 2 ≤ t and 0 ≤ t − s, then if and only if ♤ ♤. d+,r(x) = y d♤,r(x ) = y (2) If and , then if and only if ♤ ♤. 2 ≤ t 2 ≤ r ≤ t − 1 d+,r(x) = y d♤,r(x ) = y (3) If and , then s = t = r d+,r(x) = y ♤ 2 ♤ d♤,t(x ) = (d+,t(x) + x ) . As in [MS16], we will call the first two families of differentials stable and the third family unstable. For our arguments below, we also need to know how the transfers and restrictions of these spectral sequences are related. We will need the following result but postpone its proof to the end of the section. Lemma 7.2. Suppose X is a spectrum with a G-action, and consider its Postnikov decomposition → → X≥t X X m + s + 1 − b Then in the spectral sequence ∗,∗ ( ∕ ), there is a differential of suitable length E♤,[a+1,c+1],∗ G G G ♤ ♤ ¨ ( ( )) = dr +p trH z y . Proof. Note that

(7.4) Ω(pic(R)[a+1,c+1]) ≃ gl1(R)[a,c], so the claims are going to follow from their (suitably shifted) counterparts for gl1(R) and ∗,∗ the spectral sequence E× . The assumption (2) implies × s,m+s ( ∕ ) (2’) The class x corresponding to x is an r-cycle in E×,[a,c],r G H , which is hit by a × × ¨ ¨ diﬀerential, say dr¨ (z ) = x , with r ≥ r and r > m + s + 1 − b. 62 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

∗,∗ ( ∕ ) From this, we will deduce that, in the spectral sequence E×,[a,c],∗ G G , there is a differential of suitable length G × × ¨ ( ( )) = dr +p trH z y . ∗,∗ The result for E♤,[a+1,c+1] then follows from (7.4). The assumption c ≤ 2b − 1 gives an equivalence gl1R[b,c] ≃ R[b,c] which respects the G-action [MS16, Corollary 5.2.3]. This equivalence gives an isomorphism of the respec- tive spectral sequences and isomorphisms ∗gl1R[b,c] ≅ ∗R[b,c] of Mackey functors. In × ̄ × ̄ particular, (1) gives that the classes x and y corresponding to x and y are permanent cycles in the spectral sequence for gl1R[b,c], and we have G ( × ) = × trH x[b,c] y[b,c] in gl1R[ ]. ̄ m b,c Now consider the fiber sequence → → gl1R[b,c] gl1R[a,c] gl1R[a,b−1], which is of the form needed in Lemma 7.2 with X = gl1R[a,c] and t = b. × s−r¨,m+s−r¨+1 ¨ The class z is in E×,[a,c],r¨ . The condition on r ensures that there is a correspond- × s−r¨,m+s−r¨+1 ing class z[a,b−1] in E×,[a,b−1],r¨ , which must be a permanent cycle. = × ( × ) = × First we apply Lemma 7.2 to z[a,b−1] to conclude that z[a,b−1] x[b,c]. But is a G-map of spectra, so it commutes with transfers, giving that ( G ( × )) = G × = × trH z[a,b−1] trH x[b,c] y[b,c]. Using Lemma 7.2 again in the other direction, we conclude there is a differential of gl G ( × ) suitable length in the HFPSS for 1R[a,c] taking the class corresponding to trH z[a,b−1] to the class corresponding to y×. This differential must be the one we claim. Proof of Lemma 7.2. The key point is that the homotopy fixed point spectral sequence, usually obtained by filtering EG by skeleta, is isomorphic (at the E2-page and beyond) to the spectral sequence obtained from the Postnikov tower of X. For a reference, see [GM95, Theorem 10.6]. So, in the argument that follows, we are using the model of the HFPSS obtained from the Postnikov tower of X, i.e. the Bousfield-Kan spectral sequence ℎG for holimq FG(EG+,X≤q) ≃ X . Suppose indeed that is a permanent cycle in the HFPSS for X

X / X

To show that ( ) is detected by , it suﬃces to check that the diagram

t+m+1 EG+ / Σ Ht+mX

c X / ΣX[ + +1)

t+m+1 X

≥t

7.2. The Picard Spectral Sequence for E and C4. In this section, we study the Picard spectral sequence s,t s ℎ E = H (C4, pic(E)) ⟹ − (pic(E)) ♤,2 t ̄ t s ∶ s,t → s+r,t+r−1 with diﬀerentials d♤,r E♤,r E♤,r . In this section, we let s,t s ℎ E = H (C4, E0) ⇒ − E +,2 t ̄ t s s,t → s+r,t+r−1 with d+,r ∶ Er,+ Er,+ . From Section 7.1, we have that s ⎧H (C4, ℤ∕2) t = 0 ⎪ s,t ≅ s( ×) = 1 E♤,2 ⎨H C4,E0 t −1 ⎪ s,t ≥ 2 ⎩E+,2 t . We prove the following result, which is illustrated in Figure 7.1. Proposition 7.4. The order of Pic(EℎC4 ) is at most 64 and that of Pic(EℎC2 ) is at most 16. 64 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

18 ⊙ ⚫ 18 ⚫ ⚫

17 ⚫ 17 ⚫

16 ⊙ 16 ⚪

15 ⚫ 15 ▾

14 ⚫ ⊙ 14 ⚫ ⚫

13 ⚫ ⚫ 13 ⚫ ▫ 12 ⚫ 12

11 ⚫ ⚫ 11 ⚫ ▫ 10 ⊙ ⚫ 10 ⚫ ⚫

9 ⚫ 9 ⚫

8 ⊙ 8 ⚪ ▫ 7 ⚫ 7 ▾

6 ⚫ ⊙ 6 ? ⚫

5 ⚫ ⚫ 5 ⚫ ▫ 4 ⚫ 4

3 ⚫ ⚫ 3 ▴ ⚫

2 ? ⚫ 2 ? ⚫

1 ▾ ⚪ ⚫ 1 ▾ ⚪ ⚫

0 ▴ ⊠ 0 ▴ ⊠

−1 0 1 2 3 −1 0 1 2 3

FIGURE 7.1. The homotopy fixed point spectral sequence computing ℎ ∗pic(E) . See Table 7.1 and Table 5.3 for the definitions of the vari- ̄ ous Mackey functors. The dotted red d3, d5 and d7 differentials come from (3) of Theorem 7.1. The dotted red d11 is a consequence of the d7 and Proposition 7.3. Dashed green lines are exotic restrictions and solid blue line exotic transfers.

Proof. We prove this by giving an upper bound on classes which survive in stem t − s = 0 s,t −2 − 1 in the spectral sequence E♤,2. The range of interest is ≤ t s ≤ . The Mackey functors we use here are deﬁned either in Table 7.1 or in Table 5.2, Table 5.3, and Table 5.4. INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 65

From (1) and (2) of Theorem 7.1, it follows that many differentials are forced by those ∗,∗ in E∗,+. We do not discuss these and focus on those differentials that follow from (3) and Proposition 7.3. ∶ 3,3 → 6,5 The first interesting differential is d♤,3 E♤,3 E♤,3, whose data is represented as the short exact sequence

d♤,3 0 / ▴ / ⚫ / ⚫ .

To justify this, note that the source of this diﬀerential is exactly that for which (3) of The- orem 7.1 applies so that ♤ 2 ♤ d♤,3(x ) = (d+,3(x) + x ) . We have

d+ 3 3,2 ( ∕ ) = k[[ ]]{ Δ−1} , / 6,4 ( ∕ ) = k[[ ]]{ 2 2Δ−2} E+,3 C4 C4 $ 1 E+,3 C4 C4 $ 1

d+ 3 3,2 ( ∕ ) = k[[ ]]{ 3Σ−1 } , / 6,4 ( ∕ ) = k[[ ]]{ 6Σ−2 } E+,3 C4 C2 0 0 2,0 E+,3 C4 C2 0 0 2,0 .

See Section 5.2. From Proposition 5.21, we have −1 2 2 −2 d+,3(f()$Δ1 ) = f() $ Δ1 ( ( ) 3Σ−1 ) = ( ) 6Σ−2 d+,3 f 0 0 2,0 0f 0 0 2,0.

So, for f() ∈ k[[]] and g(0) ∈ k[[0]] −1 ♤ 2 2 2 −2 ♤ d♤,3((f()$Δ1 ) ) = ((f() + f() ) $ Δ1 ) (( ( ) 3Σ−1 )♤) = (( ( ) + ( )2) 6Σ−2 )♤ d♤,3 g 0 0 2,0 0g 0 g 0 0 2,0 .

The first differential is zero if and only if f() ∈ F2. The second is zero if and only if g(0) ∈ F2{0}. In both cases, the kernel is isomorphic to ℤ∕2. It assembles into the Mackey functor ▴ depicted in Table 7.1. ∶ 5,5 → 10,9 The d5 differential of interest is d♤,5 E♤,5 E♤,5

d♤,5 0 / ⚫ / ⚫ / ⚫

These Mackey functors are only non-zero when evaluated at C4∕C4. From Proposition 5.21, we get

d+ 5 5,4 ( ∕ ) = k{ 2Δ−2} , / 10,8( ∕ ) = k{ 2 4Δ−4} E+,5 C4 C4 $ 1 E+,5 C4 C4 $ 1 given by 2 −2 2 4 −4 d+,5( $ Δ1 ) = $ Δ1 for ∈ k. So, 2 −2 ♤ 2 2 4 −4 ♤ d♤,5(( $ Δ1 ) ) = (( + ) $ Δ1 ) .

This is zero if and only if ∈ F2 and so the kernel is isomorphic to ℤ∕2. 66 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

Next, we turn to the d7 and closely related d11 diﬀerentials. We have

d+ 7 7,6 ( ∕ ) = k{ 7Σ−2 } , / 14,12( ∕ ) = k{ 14Σ−4 } E+,7 C4 C2 0 2,0 E+,7 C4 C2 0 2,0

d+ 11 7,6 ( ∕ ) = k{ 3Δ−3} , / 18,16( ∕ ) = k{ 2 8Δ−7} E+,11 C4 C4 &$ 1 E+,11 C4 C4 $ 1 given by ( 7Σ−2 ) = 14Σ−4 d+,7 0 2,0 0 2,0 3 −3 2 8 −7 d+,11( &$ Δ1 ) = $ Δ1 k 2 6 −4 −4 for ∈ . (The d+,11 follows from d+,11(&$) = $ Δ1 by linearity with respect to Δ1 2 and ̄ = $ Δ1.) This gives (( 7Σ−2 )♤) = (( + 2) 14Σ−4 )♤ d♤,7 0 2,0 0 2,0 whose kernel is isomorphic to ℤ∕2. Next, we apply Proposition 7.3 to the following setup. There are transfers tr4( 7Σ−2 ) = 3Δ−3 2 0 2,0 &$ 1 and exotic transfers tr4( 14Σ−4 ) = 2 8Δ−7 2 0 2,0 $ 1 ∈ k = 4 14,12( ∕ ) 18,16( ∕ ) for which raise ﬁltration by s . These “combine” E+,6 C4 C2 and E+,6 C4 C4 (for example, in the homotopy groups of ∗E[10 18]) as: ̄ , 0 / ⚫ / ▾ / ⚫ / 0 .

In Proposition 7.3, let s = 14, m = −2, p = 4, a = 4, b = 12, c = 16, H = C2 and = = 6 ¨ = 7 = 14Σ−4 ∈ 14,12( ∕ ) = 2 8Δ−7 ∈ G C4. Let r and r . Let x 0 2,0 E+,6 C4 C2 , y $ 1 18,16( ∕ ) = 7Σ−2 ∈ 7,6 ( ∕ ) E+,6 C4 C4 and z 0 2,0 E+,7 C4 C2 . The conditions of Proposition 7.3 are then ∗,∗ ( ∕ ) satisfied and it follows that in the spectral sequence E♤,[5,17],∗ C4 C4 we have a differential (( 3Δ−3)♤) = (tr4(( 7Σ−2 )♤)) d♤,11 &$ 1 d♤,11 2 0 2,0 = tr4( (( 7Σ−2 )♤)) 2 d♤,7 0 2,0 = tr4((( + 2) 14Σ−4 )♤) 2 0 2,0 2 2 8 −7 ♤ = (( + ) $ Δ1 ) . ∗,∗ From this, we deduce the same differentials in the spectral sequence E♤,∗. Again, such a differential is zero if and only if ∈ F2. So the kernel is isomorphic to ℤ∕2. Combining the d♤,7 and d♤,11 differentials gives an exact sequence

d♤,7∕d♤,11 0 / ▾ / ▾ / ▾ . t,t−1 For t ≥ 8, E+,∞ = 0 and all diﬀerentials necessary to make this true are in the range t,t = 0 8 where (1) and (2) of Theorem 7.1 apply. Therefore, E♤,∞ if t ≥ . So, the order of Pic(E) at C4∕C4 and C4∕C2 is bounded by the order of the direct sum of the following Mackey functors: 0,0 = ▴ 1,1 = ⚪ 3,3 = ▴ 5,5 = ⚫ 7,7 = ▾ E♤,2 E♤,2 E♤,4 E♤,6 E♤,12 . INVERTIBLE K(2)-LOCAL E-MODULES IN C4-SPECTRA 67

ℎC2 ℎC4 For C2, this bounds the order of Pic(E ) by 16 and for C4, it bounds the order of Pic(E ) by 64.

⚪ ⊠ ▾ ▴ ⚫ ⚫ ℤ∕4 W[[ ]]× ℤ∕2 ℤ∕2 ℤ∕2 0 V V V V V W 1 2 1 (−)(−) 0 1 1 0 ℤ∕2 W[[ ]]× ℤ∕2 ℤ∕2 0 ℤ∕2 V 0V V V W V 1 (−)2 0 × 0 0 0 0 W[[0]]

TABLE 7.1. Mackey functors in the Picard Spectral Sequence.

Combining Proposition 7.4 and Proposition 4.7 gives Theorem 1.1. The transfers and restrictions in Pic(E) are computed using the formula C4 C4 ∗ Ind W E ( ∧ W ) ≅ ∧ H NH iH E S E S , where H = e or H = C2 and W ∈ RO(H).

REFERENCES [BG18] I. Bobkova and P. G. Goerss. Topological resolutions in K(2)-local homotopy theory at the prime 2. Journal of Topology, 11(4):917–956, 2018. [BH20] A. J. Blumberg and M. A. Hill. G-symmetric monoidal categories of modules over equivariant commutative ring spectra. Tunis. J. Math., 2(2):237–286, 2020. [BO16] M. Behrens and K. Ormsby. On the homotopy of Q(3) and Q(5) at the prime 2. Algebr. Geom. Topol., 16(5):2459–2534, 2016. [BR05] A. Baker and B. Richter. Invertible modules for commutative S-algebras with residue ﬁelds. Manuscripta Math., 118(1):99–119, 2005. [GHM04] P. G. Goerss, H.-W. Henn, and M. Mahowald. The homotopy of L2V (1) for the prime 3. In Cate- gorical decomposition techniques in algebraic topology (Isle of Skye, 2001), volume 215 of Progr. Math., pages 125–151. Birkhäuser, Basel, 2004. [GL16] D. Gepner and T. Lawson. Brauer groups and Galois cohomology of commutative ring spectra. arXiv e-prints, page arXiv:1607.01118, July 2016. [GM95] J. P. C. Greenlees and J. P. May. Generalized Tate cohomology. Mem. Amer. Math. Soc., 113(543):viii+178, 1995. [Hen19] H.-W. Henn. The centralizer resolution of the K(2)-local sphere at the prime 2. In Homotopy theory: tools and applications, volume 729 of Contemp. Math., pages 93–128. Amer. Math. Soc., Providence, RI, 2019. [HHR16] M. A. Hill, M. J. Hopkins, and D. C. Ravenel. On the nonexistence of elements of Kervaire invariant one. Ann. of Math. (2), 184(1):1–262, 2016. [HHR17] M. A. Hill, M. J. Hopkins, and D. C. Ravenel. The slice spectral sequence for the C4 analog of real K-theory. Forum Math., 29(2):383–447, 2017. [HLS18] D. Heard, G. Li, and X. D. Shi. Picard groups and duality for Real Morava E-theories. arXiv e-prints, page arXiv:1810.05439, October 2018. [HM17] M. A. Hill and L. Meier. The C2-spectrum Tmf 1(3) and its invertible modules. Algebr. Geom. Topol., 17(4):1953–2011, 2017. [HMS17] D. Heard, A. Mathew, and V. Stojanoska. Picard groups of higher real K-theory spectra at height p − 1. Compos. Math., 153(9):1820–1854, 2017. [HS20] J. Hahn and X. D. Shi. Real orientations of Lubin-Tate spectra. Invent. Math., 221(3):731–776, 2020. [HSWX18] M. A. Hill, X. D. Shi, G. Wang, and Zhouli Xu. The slice spectral sequence of a C4-equivariant height-4 Lubin- Tate theory. ArXiv e-prints, November 2018. 68 BEAUDRY, BOBKOVA, HILL, AND STOJANOSKA

[MS16] A. Mathew and V. Stojanoska. The Picard group of topological modular forms via descent theory. Geom. Topol., 20(6):3133–3217, 2016. [Nav10] L. S. Nave. The Smith-Toda complex V ((p+1)∕2) does not exist. Ann. of Math. (2), 171(1):491–509, 2010. [Ull13] J. R. Ullman. On the Regular Slice Spectral Sequence. ProQuest LLC, Ann Arbor, MI, 2013. Thesis (Ph.D.)–Massachusetts Institute of Technology.

DEPARTMENT OF MATHEMATICS,UNIVERSITYOF COLORADO BOULDER,CAMPUS BOX 395, BOULDER, CO, 80309-0395

DEPARTMENT OF MATHEMATICS,TEXAS A&MUNIVERSITY,MAILSTOP 3368, COLLEGE STATION,TX 77843

DEPARTMENT OF MATHEMATICS,UNIVERSITYOF CALIFORNIA,LOS ANGELES,BOX 951555, LOS ANGE- LES, CA, 90095-1555

DEPARTMENT OF MATHEMATICS,UNIVERSITYOF ILLINOIS,URBANA-CHAMPAIGN, 273 ALTGELD HALL 1409 W. GREEN STREET,URBANA, IL 61801