Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

December 2, 2010

Hochschild Homology As Cohomology of Loop Space Objects

Posted by Urs Schreiber

I need to be preparing tomorrow’s session of our seminar on derived differential geometry, but I can’t concentrate on this with all the puzzle discussion here. So I thought I’d counteract this by forcing some Hochschild discussion on you all. ;-)

At nnLab: Hochschild cohomology I am preparing some notes. It starts with a very-general-abstract definition. But then in the Examples-section I have a very-specific-concrete discussion – supposed to be expositional – of how to understand the ordinary Hochschild complex of a commutative associative algebra as being the \infty-function algebra on the corresponding categorical loop space object.

While I keep working on this, I’d be grateful for any comments.

Posted at December 2, 2010 2:25 PM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/2318

3 Comments & 0 Trackbacks

Re: Hochschild Homology As Cohomology of Loop Space Objects

The following is something I kept polishing the discussion of.

First a word on where we come from:

in an \infty-topos H\mathbf{H}, cohomology of an object XX with coeffients in some object AA is just the external hom H(X,A)\mathbf{H}(X,A).

Specifically, Hochschild cohomology of an object XX is the cohomology of its \infty-powering X S 1X^{S^1} with the categorical circle

S 1 . S^1 \simeq * \coprod_{* \coprod *} * \,.

Dually, if we have a nice assignment 𝒪\mathcal{O} of function \infty-algebras 𝒪(X)\mathcal{O}(X) to objects XX, and if XX is 𝒪\mathcal{O}-perfect in that taking functions commutes with taking \infty-limits, then we have that the Hochschild homology complex of XX is

𝒪(X S 1)S 1𝒪(X), \mathcal{O}(X^{S^1}) \simeq S^1 \cdot \mathcal{O}(X) \,,

where now on the left we have the \infty-copowering of \infty-algebras over \infty-groupoids.

More generally, for KK any \infty-groupoid and XX 𝒪\mathcal{O}-perfect, we say that

𝒪(X K)K𝒪(X) \mathcal{O}(X^K) \simeq K \cdot \mathcal{O}(X)

is the higher order Hochschild homology of XX with respect to KK.

So that’s the abstract story. Now we want to unwind this and break it down to 1-categorical algorithms to actually compute things. If we choose our 1-categorical models of the \infty-categories well enough, then there is a chance that this \infty-categorical copowering over \infty-groupoids is modeled by an ordinary copowering over the category of simplicial sets of an ordinary catergory of algebras.

This is in fact an old observation by Pirashvili: he and his school never seem to talk eplicitly about the notion of copowering of algebras over simplicial sets, but that’s precisely what people write down when they talk about higher order Hochschild homology.

Specifically, just recently Ginot, Treidler, Zeinalian put the notes that had been sitting on Grégory’s website onto the arXiv. In these notes, they consider higher order Hochschild homology in terms of (implicitly) copowering of dg-algebras over simplicial sets and show that this is homotopy-good in the first argument, and that this effectively characterizes it.

They don’t say explicitly that this implies that the derived \infty-functor of that 1-categorical copowering is indeed the \infty-categorical copowering, but it is kind of obvious that this is implied. I tried to think up an alternative proof here, but it needs a bit more attention. However I have to call it quits now and go home.

Posted by: Urs Schreiber on December 2, 2010 11:16 PM | Permalink | Reply to this

Post a New Comment