10
$\begingroup$

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.

$\endgroup$
4
  • $\begingroup$ Can one talk about Ext and Tor for modules over a von Neumann algebra? Are they useless too? $\endgroup$ Oct 16, 2009 at 19:59
  • $\begingroup$ 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? $\endgroup$ Oct 16, 2009 at 20:06
  • $\begingroup$ 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. $\endgroup$ Oct 16, 2009 at 20:11
  • $\begingroup$ 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). $\endgroup$ Jan 22, 2010 at 21:13

7 Answers 7

10
$\begingroup$

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 situatio:;

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 de Rham cohomology on $M$;

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

$\endgroup$
4
$\begingroup$

There is important work by Alain Connes and Dimitri Shlyakhtenko (see $L^2$-homology for von Neumann algebras (MSN)). 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 Kadison, Liu, and Thom - A note on commutators in algebras of unbounded operators (MSN)) 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.

$\endgroup$
3
$\begingroup$

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….

$\endgroup$
2
$\begingroup$

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

Wodzicki, Mariusz, Homological properties of rings of functional-analytic type, Proceedings of the National Academy of Sciences USA 87, No. 13, 4910-4911 (1990). ZBL0717.46063

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):

Polyakov, M. E., An example of a spatially nonflat von Neumann algebra, J. Math. Sci., New York 113, No. 2, 350-359 (2003). ZBL1042.46031.

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.

$\endgroup$
8
  • 1
    $\begingroup$ When fixing the broken link to springerlink.com in my suggested edit, I used the title of the paper as you had written it in order to provide a full citation. However, I noticed that there is another paper by the same author with nearly the same title at nearly the same time: Polyakov, M. E., An example of a spatially non-flat von Neumann algebra, Infin. Dimens. Anal. Quantum Probab. Relat. Top. 4, No. 1, 1-9 (2001). ZBL1050.46041. I hope the paper that you intended to reference is not this one? $\endgroup$ Mar 7, 2022 at 14:31
  • 2
    $\begingroup$ @TheAmplitwist, please be aware that, when you edit very old questions, it bumps them to the front page. For one question this is not a big deal, but sometimes people aren't aware and accidentally bump lots of questions. (But thank you for fixing rotted links! Springer is a terrible custodian of its web content.) $\endgroup$
    – LSpice
    Mar 7, 2022 at 15:57
  • 1
    $\begingroup$ @LSpice Thank you for the reminder, I do try to limit myself to 2-3 bumps to old questions in a day. I'm slightly more liberal with fresh content, but since I can only suggest edits at the moment, all my pending suggestions tend to get approved at around the same time from the review queue. Hopefully that isn't too annoying... $\endgroup$ Mar 7, 2022 at 16:06
  • $\begingroup$ @TheAmplitwist I have just seen this barrage of edits and they are extremely annoying. As a former copy-editor, I am not a fan of people prettifying other people's posts on MO in some kind of strange belief that this is like Wikipedia. In the old days we eschewed fancy formatting for the sake of getting the point across. Note that your formatting of weak-star is against what I prefer, why use $w$ rather than "w" unless you believe it is called the $weak^*$ topology? $\endgroup$
    – Yemon Choi
    Mar 9, 2022 at 0:15
  • $\begingroup$ @TheAmplitwist You put in em-dashes but do not do anything about my formatting of "2-1 factor" which is arguably a bigger issue. You italicize $C^*$ when there is a good argument that it should be left in roman font. Having put in em-dashes in my paragraphs, you then don't use an en-dash when you chose to reformat my citation of Wodzicki's paper, and I don't even like the "surname comma forename style". If you wish to insert Wodzicki's first name, why not Polyakov's? And so on, and so on $\endgroup$
    – Yemon Choi
    Mar 9, 2022 at 0:17
2
$\begingroup$

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.

$\endgroup$
2
$\begingroup$

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 $\mathrm{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 à 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 \to 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).

$\endgroup$
1
  • $\begingroup$ 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." $\endgroup$ Oct 17, 2009 at 21:15
1
$\begingroup$

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.

$\endgroup$
4
  • $\begingroup$ 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. $\endgroup$ Oct 16, 2009 at 20:15
  • 1
    $\begingroup$ Yeah, it seems analogous to, say, considering the structure of ideals without requiring them to be closed. $\endgroup$ Oct 16, 2009 at 20:21
  • $\begingroup$ 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. $\endgroup$
    – GMRA
    Oct 16, 2009 at 20:56
  • $\begingroup$ 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. $\endgroup$ Oct 17, 2009 at 21:07

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.