On a generalised Connes-Hochschild-Kostant-Rosenberg theorem

DOI10.1016/J.AIM.2004.11.006MaRDI QIDQ818044zbMATH OpenOpenAlexFDO

Authors Varghese Mathai, Danny Stevenson

Publication date 24 March 2006

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0404329

(K)-theory and homology; cyclic homology and cohomology (19D55) Kasparov theory ((KK)-theory) (19K35) (K)-theory and operator algebras (including cyclic theory) (46L80)

Abstract: The central result here is an explicit computation of the Hochschild and cyclic homologies of a natural smooth subalgebra of stable continuous trace algebras having smooth manifolds X as their spectrum. More precisely, the Hochschild homology is identified with the space of differential forms on X, and the periodic cyclic homology with the twisted de Rham cohomology of X, thereby generalizing some fundamental results of Connes and Hochschild-Kostant-Rosenberg. The Connes-Chern character is also identified here with the twisted Chern character.

Review text

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\).

Recommendations

Cites work

Cited in

(22)

This page was built for publication: On a generalised Connes-Hochschild-Kostant-Rosenberg theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q818044)