Adjoining roots in homotopy theory
arXiv:2002.01997
Abstract
We use a "twisted group algebra" method to constructively adjoin formal radicals , for a unit in a commutative ring spectrum or an invertible object in a symmetric monoidal -category. We show that this construction is classified by maps from Eilenberg-Mac Lane objects to the unit spectrum, the Picard spectrum, and the Brauer spectrum.
21 pages. Comments welcome