On a generalised Connes-Hochschild-Kostant-Rosenberg theorem (Q818044): Difference between revisions

Let \(A\) be a stable continuous trace C*-algebra with smooth compact manifold, as spectrum \(X\). Following the Dixmier-Douady theorem, this algebra is the algebra \(A=C(X,\mathcal K(P))\) of continuous sections of a locally trivial bundle \(\mathcal K(P) = P \times_{PU} \mathcal K\) on \(X\) with fibre the algebra of compact operators on a separable Hilbert space \(\mathcal H\) associated with the pricipal \(PU\) bundle \(P\) via the adjoint action of \(PU\) (the group of projevtive unitary operators on the Hilbert space \(\mathcal H\)) on \(\mathcal K\). Inside \(A\) there is a canonical dense *-subalgebra \(\mathcal A = C^\infty(X, \mathcal L^1(P))\) of smooth sections of the subbundle \(\mathcal L^1(P) = P \times_{PU} \mathcal L^1\) with fiber the algebra of trace class operators. The main result of the paper is: the Hochschild homology \(HH_\bullet(\mathcal A)\) of the Fréchet algebra \(\mathcal A\) is isomorphic to the space of differential forms \(\Omega^\bullet(X)\) and the periodic cyclic homolohy \(HP_\bullet(\mathcal A)\) is isomorphic to the de Rham cohomology \(H^\bullet(X,c(P))\) for some closed 3-form \(c(P)\) on \(X\) such that \(\frac{1}{2\pi i}c(P)\) represents the image of the Dixmier-Doudy invariant \(\delta(P)\in H^3(X;\mathbb Z)\) in real cohomology. The Chern-Connes character \(ch: K_i(\mathcal A) \to HP_i(\mathcal A)\) becomes the twisted Chern character and therfore, is an isomorphism after tensoring with \(\mathbb C\), for \(i=0,1\).