Roots of unity in ๐พ(๐‘›)-local rings

From MaRDI portal
Publication:5111527

DOI10.1090/PROC/14960zbMATH Open1439.55010arXiv1707.09957OpenAlexW2995704590MaRDI QIDQ5111527FDOQ5111527


Authors: Sanath Devalapurkar Edit this on Wikidata


Publication date: 27 May 2020

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

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.


Full work available at URL: https://arxiv.org/abs/1707.09957




Recommendations



Cites Work


Cited In (3)





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)