Topological Hochschild homology

In mathematics, Topological Hochschild homology is a topological refinement of Hochschild homology which rectifies some technical issues with computations in characteristic . For instance, if we consider the -algebra then

but if we consider the ring structure on

(as a divided power algebra structure) then there is a significant technical issue: if we set , so , and so on, we have from the resolution of as an algebra over ,[1] i.e.

This calculation is further elaborated on the Hochschild homology page, but the key point is the pathological behavior of the ring structure on the Hochschild homology of . In contrast, the Topological Hochschild Homology ring has the isomorphism

giving a less pathological theory. Moreover, this calculation forms the basis of many other THH calculations, such as for smooth algebras

Construction

Recall that the Eilenberg–MacLane spectrum can be embed ring objects in the derived category of the integers into ring spectrum over the ring spectrum of the stable homotopy group of spheres. This makes it possible to take a commutative ring and constructing a complex analogous to the Hochschild complex using the monoidal product in ring spectra, namely, acts formally like the derived tensor product over the integers. We define the Topological Hochschild complex of (which could be a commutative differential graded algebra, or just a commutative algebra) as the simplicial complex,[2] pg 33-34 called the Bar complex

of spectra (note that the arrows are incorrect because of Wikipedia formatting...). Because simplicial objects in spectra have a realization as a spectrum, we form the spectrum

which has homotopy groups defining the topological Hochschild homology of the ring object .

See also

  1. Hesselholt, Lars; Nikolaus, Thomas. "Lectures on Topological Hochschild Homology and Cyclotomic Spectra".
  2. Morrow, Matthew. "Topological Hochschild homology in arithmetic geometry" (PDF). Archived (PDF) from the original on 24 Dec 2020.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.