The E₂-term of the K(n)-local E_n-Adams spectral sequence

Abstract: Let

E = E_{n}

be Morava

E

-theory of height

n

. In previous work Devinatz and Hopkins introduced the

K (n)

-local

E_{n}

-Adams spectral sequence and showed that, under certain conditions, the

E_{2}

-term of this spectral sequence can be identified with continuous group cohomology. We work with the category of

L

-complete

E_{*} E

-comodules, and show that in a number of cases the

E_{2}

-term of the above spectral sequence can be computed by a relative Ext group in this category. We give suitable conditions for when we can identify this Ext group with continuous group cohomology.

Review text

In chromatic homotopy theory, the \(K(n)\)-local category is for a fixed prime \(p\) an important approximation of the stable homotopy category. Thus, it is an important problem how to compute homotopy groups of \(K(n)\)-local spectra or more generally maps between them.NEWLINENEWLINEDenote by \(E\) Morava \(E\)-theory at height \(n\). This has by the Hopkins-Miller theorem an action by the (profinite) Morava stabilizer group \(\mathbb{G}_n\). \textit{E. S. Devinatz} and \textit{M. J. Hopkins} [Topology 43, No. 1, 1--47 (2004; Zbl 1047.55004)] have constructed for any spectrum \(X\) a strongly convergent spectral sequence NEWLINE\[NEWLINEH^*_c(\mathbb{G}_n, E^*X)\Rightarrow \pi_*L_{K(n)}X,NEWLINE\]NEWLINE where \(H^*_c\) denotes continuous cohomology.NEWLINENEWLINEThe aim of the paper under review is to formulate a homological version of this spectral sequence. We use the notation \(E^{\vee}_*X\) for \(\pi_* L_{K(n)}E \wedge X\), which can be seen as a completed version of \(E\)-homology adapted to the \(K(n)\)-local context. This functor takes values in so-called \(L\)-complete \(E^{\vee}E\)-comodules, where \(L\)-completness means that a module coincides with the \(0\)-th left derived functor of its completion. It is shown that for spectra \(X\) and \(Y\) the \(E^2\)-term of the \(K(n)\)-local \(E\)-based Adams spectral sequence computing \(\pi_*F(X, L_{K(n)}Y)\) can be computed via Ext in the category of \(L\)-complete \(E^{\vee}_*E\)-comodules if \(E_*^{\vee}X\) is pro-free and \(E^{\vee}_* Y\) satisfies some more general conditions. Note that \(E_*^{\vee}X\) is, for example, pro-free if \(K(n)_*X\) is concentrated in even degrees.NEWLINENEWLINEIn the next step, the authors identify this \(E^2\)-term in the case \(X = S^0\) and under the same conditions on \(Y\) with \(H_c^*(\mathbb{G}_n; E^{\vee}_*Y)\). The corresponding spectral sequence NEWLINE\[NEWLINEH^s_c(\mathbb{G}_n; E^{\vee}_tY) \Rightarrow \pi_{t-s}L_{K(n)}YNEWLINE\]NEWLINE generalizes most of the known homological spectral sequences for computing \(\pi_*L_{K(n)}Y\). Note that in [\textit{D. G. Davis} and \textit{T. Lawson}, Glasg. Math. J. 56, No. 2, 369--380 (2014; Zbl 1295.55007)] there is a spectral sequence converging to \(\pi_*L_{K(n)}Y\) for \textit{any} \(Y\) with \(E^2\)-term computed as continuous \(\mathbb{G}_n\)-cohomology of a Morava module, which is rather complicated though.NEWLINENEWLINEIn the last section, the present paper provides in the case \(n=1\) a spectral sequence computing Ext between \(E^{\vee}_*X\) and \(E^{\vee}_*Y\) in the category of \(L\)-complete \(E^{\vee}E\)-comodules starting with the uncompleted \(Ext^*_{E_*E}(E_*X, E_*Y)\) in the case where \(E_*X\) is projective and \(E_*Y\) is flat. This is illustrated in the example \(X=Y =S^0\) and \(p=2\).NEWLINENEWLINEWe note that most of the work in this article is actually about homological algebra of \(L\)-complete modules and comodules and the comparison of the latter to Morava modules. It summarizes and extends many known results in a nice way.

Recommendations

Cites work

Cited in

(30)

This page was built for publication: The \(E_{2}\)-term of the \(K(n)\)-local \(E_{n}\)-Adams spectral sequence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q281720)