We give a calculation of Picard groups of K(2)-local invertible spectra and of E(2)-local invertible spectra, both at the prime 3. The main contribution of this paper is to calculation the subgroup of invertible spectra with the same Morava module as a sphere.
We calculate the rational homotopy and the K(1)-local homotopy of the K(2)-local sphere at the prime 3 and level 2. We use this to verify the chromatic splitting conjecture in this case.
We study modular approximations Q(l), l = 3,5, of the K(2)-local sphere at the prime 2 that arise from l-power degree isogenies of elliptic curves. We develop Hopf algebroid level tools for working with Q(l) and record Hill, Hopkins, and Ravenels computation of the homotopy groups of TMF_0(5). Using these tools and formulas of Mahowald and Rezk for Q(3) we determine the image of Shimomuras 2-primary divided beta-family in the Adams-Novikov spectral sequences for Q(3) and Q(5). Finally, we use low-dimensional computations of the homotopy of Q(3) and Q(5) to explore the role of these spectra as approximations to the K(2)-local sphere.
We calculate the homotopy type of $L_1L_{K(2)}S^0$ and $L_{K(1)}L_{K(2)}S^0$ at the prime 2, where $L_{K(n)}$ is localization with respect to Morava $K$-theory and $L_1$ localization with respect to $2$-local $K$ theory. In $L_1L_{K(2)}S^0$ we find all the summands predicted by the Chromatic Splitting Conjecture, but we find some extra summands as well. An essential ingredient in our approach is the analysis of the continuous group cohomology $H^ast_c(mathbb{G}_2,E_0)$ where $mathbb{G}_2$ is the Morava stabilizer group and $E_0 = mathbb{W}[[u_1]]$ is the ring of functions on the height $2$ Lubin-Tate space. We show that the inclusion of the constants $mathbb{W} to E_0$ induces an isomorphism on group cohomology, a radical simplification.
We make a conjecture about all the relations in the $E_2$ page of the May spectral sequence and prove it in a subalgebra which covers a large range of dimensions. We conjecture that the $E_2$ page is nilpotent free and also prove it in this subalgebra. For further computations we construct maps of spectral sequences which systematically extend one of the techniques used by May and Tangora.
In this paper we use the approach introduced in an earlier paper by Goerss, Henn, Mahowald and Rezk in order to analyze the homotopy groups of L_{K(2)}V(0), the mod-3 Moore spectrum V(0) localized with respect to Morava K-theory K(2). These homotopy groups have already been calculated by Shimomura. The results are very complicated so that an independent verification via an alternative approach is of interest. In fact, we end up with a result which is more precise and also differs in some of its details from that of Shimomura. An additional bonus of our approach is that it breaks up the result into smaller and more digestible chunks which are related to the K(2)-localization of the spectrum TMF of topological modular forms and related spectra. Even more, the Adams-Novikov differentials for L_{K(2)}V(0) can be read off from those for TMF.