Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I'm sure the following statement is well-known to experts: Let $A$ be a dga. Let $perf(A)$ be the dg-category of perfect dg-modules over A. Then there is a quasi-isomorphism $$C_\bullet(perf(A)) \to C_\bullet(A)$$ between their Hochschild chain-complexes.

Does anyone know a reference for it?

I'm aware of Keller's 2003 paper that I think gives the result for Hochschild cochain-complexes, but I need the chain version. Thanks!

share|improve this question
    
I tried a brief look into the literature I know and only found the version for projective modules (McCarthy's "The cyclic homology of an exact category", Prop 2.4.3) - and if I delve any deeper I'd likely end up with a result proved for THH rather than HH which would require you to translate it. –  Tyler Lawson Sep 23 '10 at 13:27
1  
Shklyarov, in Thm. 2.6 of his paper arxiv.org/abs/0710.1937 quotes a result saying that the natural map, which goes in the opposite direction of the one listed above, is a quasi-isomorphism. He references Keller's 1999 paper "On the cyclic homology of exact categories" for the proof, but gives no theorem number. While I don't doubt it's there somewhere, from a glance at Keller's paper I can't see where...I would love to see a concrete map if such a thing exists. –  Jesse Burke Sep 23 '10 at 20:05

1 Answer 1

up vote 6 down vote accepted

I don't know a reference, but the assertion is easy to prove. The natural map goes in the opposite direction, $C_\bullet(A)\to C_\bullet(perf(A))$. It is quite simply induced by the embedding of the DG-category with a single object associated with $A$ into the DG-category $perf(A)$, sending the only object to the DG-module $A$ over $A$. To prove that it is a quasi-isomorphism, one can, e.g., interpret the Hochschild homology as the Tor of DG-bimodules, then use the fact that the derived categories of DG-bimodules over $A$ and $perf(A)$ are equivalent.

One can prove that what Caldararu-Tu call the Borel-Moore Hochschild homology are naturally isomorphic for a CDG-algebra $B$ and the DG-category $C$ of CDG-modules over $B$, projective and finitely generated as graded $B$-modules, in much the same way. I am finishing writing (or rather, editing now) a paper about this. It will be hopefully made public in a couple of weeks.

share|improve this answer
    
I'm writing up the same proof, as you probably suspected... Well actually I'm just correcting my existing (wrong) paper, using Caldararu-Tu's definition. I look forward to reading your version! –  Ed Segal Sep 24 '10 at 8:27

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.