Roots of unity in 𝐾(𝑛)-local rings

From MaRDI portal
Publication:5111527




Abstract: The goal of this paper is to address the following question: if A is an mathbfEk-ring for some kgeq1 and fcolonpi0AoB is a map of commutative rings, when can we find an mathbfEk-ring R with an mathbfEk-ring map gcolonAoR such that pi0g=f? A classical result in the theory of realizing mathbfEinfty-rings, due to Goerss--Hopkins, gives an affirmative answer to this question if f is etale. The goal of this paper is to provide answers to this question when f is ramified. We prove a non-realizability result in the K(n)-local setting for every ngeq1 for Hinfty-rings containing primitive pth roots of unity. As an application, we give a proof of the folk result that the Lubin--Tate tower from arithmetic geometry does not lift to a tower of Hinfty-rings over Morava E-theory.









This page was built for publication: Roots of unity in 𝐾(𝑛)-local rings

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