Comodules and Landweber exact homology theories (Q1771328): Difference between revisions

Since the early 1970's, stable homotopy theory has been pervaded by the chromatic perspective, at first through algebraic periodicity in the Adams-Novikov spectral sequence as identified by Morava, then through its geometric manifestations following the work of Hopkins \textit{et al.} on nilpotence theory. The algebraic theory of comodules over the Hopf algebroid \((MU_*MU,MU_*)\) and various induced Hopf algebroids whose existence follows from Landweber's exact functor theorem has been intensively studied and the current well written paper provides a capstone to this work and firmly establishes Morava `change of rings' type results as generic in nature and provides conceptually simple explanations for these. The theory developed here shows that for any Landweber exact \(MU_*\)-algebra \(E_*\) (which can be taken to be the homotopy ring of a complex oriented ring spectrum) satisfying a certain finite height condition at each prime \(p\), the category of \(E_*E\)-comodules is equivalent to a localization of the category of \(MU_*MU\)-comodules. In particular, this applies to the case \(E=E(n)\), the Johnson-Wilson spectrum, and \(E=v_n^{-1}BP\), and shows that the associated comodule categories are equivalent. It also implies the existence of Landweber filtrations for finitely generated \(E_*E\)-comodules and of coaction-primitive elements. Thus, despite the apparent failure of the original proofs of Landweber in the connective cases of \(MU_*MU\) and \(BP_*BP\)-comodules, in the periodic context analogous conclusions still apply.