Topological Hochschild cohomology and generalized Morita equivalence. (Q1880646): Difference between revisions

The authors use the language of \textit{A. D. Elmendorf, I. Kriz, M. A. Mandell}, and \textit{J. P. May} [Rings, modules, and algebras in stable homotopy theory (Math. Surv. Monogr. 47) (1997; Zbl 0894.55001)] to study analogs of the algebraic notions of Morita theory and Hochschild cohomology in the category of spectra. Classical algebraic Morita theory asserts that for a ring \(R\) and a faithfully projective \(R\)-module \(M\), the categories of \(R\)-modules and \(\text{End}_R(M)=F_R(M,M)\)-modules are equivalent. For \(R\) an \(\mathbf S\)-algebra and \(E\) a left \(R\)-module satisfying appropriate technical conditions, the authors show an equivalence between the homotopy category of left \(F_R(E,E)\)-modules and the homotopy category of right \(R\)-modules which are \(E\)-colocal. Other related generalizations of Morita theory have appeared in papers of \textit{W. G. Dwyer} and \textit{J. P. C. Greenlees} [Am. J. Math. 124, No. 1, 199-220 (2002; Zbl 1017.18008)] and of \textit{S. Schwede} and \textit{B. Shipley} [Topology 42, No. 1, 103-153 (2003; Zbl 1013.55005)] listed in the bibliography. The authors introduce a notion of topological Azumaya algebras over a ring spectrum \(R\). When \(R\) is the Eilenberg-Mac Lane spectrum of a commutative ring, this specializes as desired to the classical notion. They show that the spectrum of mod \(2\) topological K-theory \(KU/2\) is a (nontrivial) Azumaya algebra over the \(2\)-adic completion \(\widehat{KU}_2\), which means that the topological Hochschild cohomology of \(KU/2\) must be \(\widehat{KU}_2\).