Topological Hochschild cohomology and generalized Morita equivalence

Baker, Andrew¹ ; Lazarev, Andrey²

¹Mathematics Department, Glasgow University, Glasgow G12 8QW, Scotland
²Mathematics Department, Bristol University, Bristol BS8 1TW, England

Algebraic and Geometric Topology, Tome 4 (2004) no. 1, pp. 623-645

Résumé

We explore two constructions in homotopy category with algebraic precursors in the theory of noncommutative rings and homological algebra, namely the Hochschild cohomology of ring spectra and Morita theory. The present paper provides an extension of the algebraic theory to include the case when M is not necessarily a progenerator. Our approach is complementary to recent work of Dwyer and Greenlees and of Schwede and Shipley.

A central notion of noncommutative ring theory related to Morita equivalence is that of central separable or Azumaya algebras. For such an Azumaya algebra A, its Hochschild cohomology HH∗(A,A) is concentrated in degree 0 and is equal to the center of A. We introduce a notion of topological Azumaya algebra and show that in the case when the ground S–algebra R is an Eilenberg–Mac Lane spectrum of a commutative ring this notion specializes to classical Azumaya algebras. A canonical example of a topological Azumaya R–algebra is the endomorphism R–algebra FR(M,M) of a finite cell R–module. We show that the spectrum of mod 2 topological K–theory KU∕2 is a nontrivial topological Azumaya algebra over the 2–adic completion of the K–theory spectrum KÛ2. This leads to the determination of THH(KU∕2,KU∕2), the topological Hochschild cohomology of KU∕2. As far as we know this is the first calculation of THH(A,A) for a noncommutative S–algebra A.

Détail

DOI : 10.2140/agt.2004.4.623

Keywords: $R$–algebra, topological Hochschild cohomology, Morita theory, Azumaya algebra

Bibliographie

[1] M Auslander, O Goldman, The Brauer group of a commutative ring, Trans. Amer. Math. Soc. 97 (1960) 367

[2] A Baker, $A_\infty$ structures on some spectra related to Morava $K$–theories, Quart. J. Math. Oxford Ser. $(2)$ 42 (1991) 403

[3] A Baker, A Lazarev, On the Adams spectral sequence for $R$–modules, Algebr. Geom. Topol. 1 (2001) 173

[4] A Baker, B Richter, On the $\Gamma$–cohomology of rings of numerical polynomials and $E_\infty$ structures on $K$–theory, Comment. Math. Helv. 80 (2005) 691

[5] A Baker, B Richter, Realizability of algebraic Galois extensions by strictly commutative ring spectra, Trans. Amer. Math. Soc. 359 (2007) 827

[6] H Bass, Algebraic $K$–theory, W. A. Benjamin, New York-Amsterdam (1968)

[7] A Dold, D Puppe, Duality, trace, and transfer, from: "Proceedings of the International Conference on Geometric Topology (Warsaw, 1978)", PWN (1980) 81

[8] W G Dwyer, J P C Greenlees, Complete modules and torsion modules, Amer. J. Math. 124 (2002) 199

[9] W G Dwyer, J P C Greenlees, S Iyengar, Duality in algebra and topology, Adv. Math. 200 (2006) 357

[10] A D Elmendorf, I Kriz, M A Mandell, J P May, Rings, modules, and algebras in stable homotopy theory, Mathematical Surveys and Monographs 47, American Mathematical Society (1997)

[11] H Fausk, L G Lewis Jr., J P May, The Picard group of equivariant stable homotopy theory, Adv. Math. 163 (2001) 17

[12] P G Goerss, M J Hopkins, Moduli spaces of commutative ring spectra, from: "Structured ring spectra", London Math. Soc. Lecture Note Ser. 315, Cambridge Univ. Press (2004) 151

[13] M Hovey, J H Palmieri, N P Strickland, Axiomatic stable homotopy theory, Mem. Amer. Math. Soc. 128 (1997)

[14] M Hovey, B Shipley, J Smith, Symmetric spectra, J. Amer. Math. Soc. 13 (2000) 149

[15] S Lang, Algebra, Graduate Texts in Mathematics 211, Springer (2002)

[16] A Lazarev, Towers of $M$U-algebras and the generalized Hopkins–Miller theorem, Proc. London Math. Soc. $(3)$ 87 (2003) 498

[17] A Lazarev, Hoschschild cohomology and moduli spaces of strongly homotopy associative algebras, Homology Homotopy Appl. 5 (2003) 73

[18] L G Lewis Jr., J P May, M Steinberger, J E Mcclure, Equivariant stable homotopy theory, Lecture Notes in Mathematics 1213, Springer (1986)

[19] J P May, Equivariant homotopy and cohomology theory, CBMS Regional Conference Series in Mathematics 91, Published for the Conference Board of the Mathematical Sciences, Washington, DC (1996)

[20] J E Mcclure, R E Staffeldt, On the topological Hochschild homology of $b\mathrm{u}$ I, Amer. J. Math. 115 (1993) 1

[21] C Nassau, On the structure of $P(n)_{*}P(n)$ for $p=2$, Trans. Amer. Math. Soc. 354 (2002) 1749

[22] R S Pierce, Associative algebras, Graduate Texts in Mathematics 88, Springer (1982)

[23] S Schwede, B Shipley, Stable model categories are categories of modules, Topology 42 (2003) 103

[24] N P Strickland, Products on $\mathrm{MU}$–modules, Trans. Amer. Math. Soc. 351 (1999) 2569

[25] U Würgler, Morava $K$–theories: a survey, from: "Algebraic topology Poznań 1989", Lecture Notes in Math. 1474, Springer (1991) 111