Following on from my last two questions link text and link text: Is it correct (and useful) to say that the relationship between Connes' cyclic cohomology approach to de Rham cohomology and Woronowicz's differential calculi approach, is a noncommutative generalisation of the difference between ordinary differentials and Kahler differentials respectively?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
2
2
|
||||||||||||
|
|
3
|
I'll answer here instead of in a comment, because of the character limit... If $A$ is the coordinate algebra of an affine variety which is smooth and the base field $k$ contains $\mathbb{Q}$, then $$HC_n(A) \cong \Omega^n_{A/k} / d\Omega^{n-1}_{A/k} \oplus H_{\mathrm{dR}}^{n-2}(A) \oplus H_{\mathrm{dR}}^{n-4}(A) \oplus \cdots$$ for all $n\geq0$. Here $\Omega^n_{A/k}$ is the $n$-th exterior power of the $A$-module $\Omega^1_{A/k}$ of Kähler differentials of $A$ over $k$, and $H_{\mathrm{dR}}^\bullet(A)$ denotes the cohomology of the complex $$A\to \Omega^1_{A/k} \to \Omega^2_{A/k} \to \Omega^3_{A/k} \to\cdots $$ whose differential is the exterior differential. The summand $\Omega^n_{A/k} / d\Omega^{n-1}_{A/k}$ appearing in $HC_\bullet(A)$ is slightly ugly. If we consider instead periodic cyclic homology, we get instead $$HC^{\mathrm{per}}_n(A) \cong \bigoplus_{i\in\mathbb{Z}}H_{\mathrm{dR}}^{n+2i}(A),$$ which is manifestly nicer. (If $k$ is not of characteristic zero you only have a spectral sequences going from de Rham cohomology to the cyclic homology). If, on the other hand, $A$ is not smooth then André-Quillen cohomology intervenes, and everythng is rather more complicated.) You should really take a look at Loday's book. |
|||
|
|
You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.
|
4
|
For your specific question (but I will deal exclusively with cyclic homology): the answer is mostly no, as measured by Hochschild homology. There is a short exact sequence $$0\to \overline{\mathit{H}}\mathit{DR}_n(A)\to \overline{HC}_n(A)\to \overline{HH}_n(A)\to0$$ where $\mathit{HDR}$ means non-commutative de Rham homology, $\mathit{HC}$ cyclic homology, $\mathit{HH}$ is Hochschild homology, and the bars mean «reduced». You will find the details in Loday's book, section 2.6, Chap. 2. |
|||||||||||||||||||
|

