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

Hochschild homology gives invariants of (unital) $k$-algebras for $k$ a unital, commutative ring. If we let our algebra $A$ be the group ring $k[G]$ for $G$ a finite group, we get group homology. There are plenty of other connections to homological algebra. If we use cyclic homology, there are connections to geometry and topology involving the Chern character.

Von Neumann algebras are complex algebras, so we can take their Hochschild and cyclic homologies. When I have asked experts in the fields of von Neumann algebras and non-commutative geometry about what you get, I usually hear some approximation of the following: "There's also analysis in von Neumann algebras, so I wouldn't expect an algebraic invariant like Hochschild or cyclic homology to tell you anything useful."

Although this answer makes some sense, I find it very displeasing and cryptic. Why shouldn't it tell you something? Is there some way to make "it doesn't tell you anything" quantitative? Is there an example of a von Neumann algebra with nontrivial Hochschild or cyclic homology (different from that of the complex numbers)?

EDIT: After reading the responses so far, I should specify that I really want to know if there is a $II_1$-factor with nontrivial Hochschild or cyclic (co)homology.

share|improve this question
    
Can one talk about Ext and Tor for modules over a von Neumann algebra? Are they useless too? –  Reid Barton Oct 16 '09 at 19:59
    
Implicit in my question is another question: Is there a category of modules over a von Neumann algebra, and is it different from the category of modules over the underlying complex algebra? –  Reid Barton Oct 16 '09 at 20:06
    
yes. there are algebraic modules and Hilbert modules. Both are very interesting, and sometimes they have the same information. Jones showed (in an unpublished paper entitled "two subfactors and the algebraic decomposition..." available on his website) that it suffices to look at algebraic bimodules of $II_1$-factors, not Hilbert bimodules, or as Connes calls them, correspondences. –  Dave Penneys Oct 16 '09 at 20:11
    
For a arbitrary complex number p with a nonnegative real part there is a notion of L_p module and L_p bimodule. Here L_p=L^{1/p}, thus p=1/2 corresponds to the usual L^2 case (representations of von Neumann algebra on a Hilbert space and Connes' correspondences) and p=0 corresponds to L^∞ case (Hilbert W*-modules and W*-correspondences). –  Dmitri Pavlov Jan 22 '10 at 21:13
add comment

7 Answers

I am certainly not an expert, but I guess that when people say

There's also analysis in von Neumann algebras, so I wouldn't expect an algebraic invariant like Hochschild or cyclic homology to tell you anything useful.

they mean: "Von Neumann algebras are complex algebras with extra structure, and it is this extra structure that make them interesting. Therefore knowing something about Hochschild cohomology is not very interesting to us because it doesn't tell us anything about this extra structure."

It might very well tell you something interesting, I don't know, but it still feels a bit strange to ignore this extra structure.

share|improve this answer
    
Please see above comment about algebraic bimodules of $II_1$-factors and correspondences. In some cases, we can ignore the analysis and make the situation a bit simpler. –  Dave Penneys Oct 16 '09 at 20:15
    
Yeah, it seems analogous to, say, considering the structure of ideals without requiring them to be closed. –  Eric Wofsey Oct 16 '09 at 20:21
    
So what you are saying is that in some cases all we need is the algebraic information? In these special cases surely you should get alot of information from Hochshild or cyclic cohomology. But I gather this is not the general case, and procing these equivalences for the special cases is nontrivial. –  Grétar Amazeen Oct 16 '09 at 20:56
    
I hope so. I would love to have an example of a $II_1$-factor with nontrivial Hochschild homology. The problem is computing it is very difficult as Choi says. –  Dave Penneys Oct 17 '09 at 21:07
add comment

As someone who works on the continuous (bounded) cohomology of Banach algebras: I think the quote is a way of saying "we don't really know". There are certainly questions which start off with extra continuity/boundedness requirements and turn out to be rephraseable in the "purely algebraic" module categories - L^2 cohomology of discrete groups is one, if I remember correctly, Farber and Lueck have written about this.

I'm prepared to believe what's said about algebraic modules over II_1 factors, although I worry/suspect that one has to work with modules over a nastier algebra. Is this the case?

If you want to compute Hochschild cohomology (with coefficients in the algebra, I guess you mean) then this is just hard. It is not easy to find well-defined projective resolutions of Banach objects (if you pass to some dense subalgebra or submodule then more tools are available, this seems to be the approach adopted in much of NCG a la Connes).

In fact, given a non-injective von Neumann algebra M (something like a free group factor will do) then there exists an M-bimodule X, which is a Banach space and on which M acts continuously, and a continuous derivation M --> X which is not inner. Which sort of answers your question, though probably not in the sense you meant...

If one restricts the module categories then there is a whole theory of Tor and Ext for Banach modules, due to Helemskii - though it only works on a relatively small class of short exact sequences. However, for von Neumann algebras things are still hard (see work of Christensen, Sinclair, Smith and others).

share|improve this answer
    
the result about $II_1$-factor bimodules is that a bifinite correspondence ($M-N$ Hilbert bimodule $H$ with fnite left and right dimensions) is irreducible if and only if the bimodule of bounded vectors is irreducible. So the algebras don't change. We just apply the functor "take bounded vectors." –  Dave Penneys Oct 17 '09 at 21:15
add comment

Some further thoughts: the most striking results I know of on "purely algebraic cyclic/Hochschild homology" are due to Wodzicki, see e.g.

Homological properties of rings of functional-analytic type, Proceedings of the National Academy of Sciences USA 87 (1990), 4910-4911

which states that stable C*-algebras have trivial cyclic homology. Obviously this doesn't answer your II_1 factor question...

Also: your remark that in some cases, we can ignore the analysis and make the situation a bit simpler confuses me a little. To get anywhere with cyclic or Hochschild homology, we need to do some kind of comparison of resolutions, or construction of contracting homotopies, or something like that. My intuition - but I don't work much on operator algebras, so I could well be wrong here - is that a von Neumann algebra is such a big object we usually can only get a handle on it by looking at suitable subsets which generate its unit ball in the WOT/SOT. So for group von Neumann algebras, one tries to see what's going on for translations, and thence to deduce more general results by exploiting w*-w* continuity; or else use projections and approximation arguments. If we go to a purely algebraic category, then it is no longer sufficient to define things on dense subsets - one really needs a global definition, one really needs to verify that certain putative identities are satisfied by each element of the von Neumann algebra.

Sorry if that's a bit waffly. I think my point is that imposing continuity restrictions actually makes things easier, because - intuitively - more things are going to be projective/injective/flat relative to one's restricted class of short exact sequences. This is why, for instance, we know that $H^n_{cb}(M,M)=0$ for any von Neumann algebra M, but why the analogous claim without the 'cb' is open and back-breaking. In a similar vein, if you work in a restricted category then one does indeed get some known instances of homological non-triviality (though at the level of modules, not at the level of cyclic homology):

M. E. Polyakov, An Example of a Spatially Nonflat von Neumann Algebra

I should also say that the Hilbert module stuff you mention doesn't really connect to your original question about cyclic (co)homology. It's interesting, and I think more has been done, but it's just different - so if that's what interests you, cyclic and Hochschild homology may be something of a distraction.

share|improve this answer
add comment

I am surprised that nobody mentioned the book by Sinclair and Smith “Hochschild Cohomology of von Neumann algebras” so far. If I remember it correctly, they claim that nobody knows whether there is a von Neumann algebra with a non-trivial Hochschild cohomology. But the book is 14 years old, so this problem might be solved already.

share|improve this answer
add comment

This is in response to Dmitri's remark. The reason I didn't bring up Sinclair & Smith's book (which is where I first started trying to learn Hochschild cohomology) is that it deals with continuous cochains with coefficients in the algebra. I understood DP's original question as being about purely algebraic cyclic cohomology, which involves not-necessarily continuous cochains taking values in the dual of the algebra (not the algebra itself). I hope this addresses your "surprise". FWIW, I'm more interested in the Sinclair & Smith setting myself, but I don't think that's what DP was asking about - though I may have misunderstood.

And yes, there is still no example of a von Neumann algebra M for which H^n(M,M) is nonzero for some n > 1; while the vanishing or otherwise of H^2(L(F_2),L(F_2)) is still unknown...

share|improve this answer
add comment

The question is not well-posed. There are various versions of cyclic theory (for instance) which differ according to continuity conditions that are assumed. In Connes' original IHES papers he deals with both discrete (useful for arbitrary rings) and topological (useful in the $C^\infty $-setting.)

The basic problem is that cyclic theory is very very sensitive. Consider the following example (using Connes' topological cyclic theory.) Let M denote a compact smooth manifold with a smooth foliation. Then there are three operator algebras that you can associate with the situation;

a) $C(M)$, the $C^\ast$-algebra of continuous complex functions on $M$.

b) $C^\infty (M)$, the smooth functions on $M$.

c) $C_\tau ^\infty (M)$, the continuous functions on $M$ which are smooth in the leaf directions.

The cyclic cohomology of these three rings are all different typically (e.g. for the Kronecker flow on the torus).

a) leads to measures on $M$;

b) leads to deRham cohomology on $M$;

c) leads to "tangential cohomology" on $M$ (cf. my book with Cal Moore).

Hope this helps.

CS

share|improve this answer
add comment

There is important work by Alain Connes and Dimitri Shlyakhtenko (see here). They come up with a definition of $\ell^2$-homology for finite von Neumann algebras and define numerical invariants called $\ell^2$-Betti numbers for finite von Neumann algebras. This approach builds on the more classical theory of $\ell^2$-invariants developed by Atiyah, Cheeger-Gromov and also Lück. So far, there are no really interesting computations.

However, it seems that this homology group (or some variant of it) is more likely to be able to detect the differences among free group factors. Of course, this is only speculation. There is also a cohomological picture (see here) which boils down (in dimension one) to a study of derivations with values in the algebra of affiliated operators. Unfortunately, this more algebraic approach has not been very successful so far.

share|improve this answer
add comment

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.