Unbounded bivariant K-theory and correspondences in noncommutative geometry

Abstract: By introducing a notion of smooth connection for unbounded

K K

-cycles, we show that the Kasparov product of such cycles can be defined directly, by an algebraic formula. In order to achieve this it is necessary to develop a framework of smooth algebras and a notion of differentiable

C^{*}

-module. The theory of operator spaces provides the required tools. Finally, the above mentioned

K K

-cycles with connection can be viewed as the morphisms in a category whose objects are spectral triples.

Review text

The spectral triple is a non-commutative analog of the Dirac operator on a spin manifold \(X\); such an operator captures a good deal of geometry of \(X\). Thus the spectral triples are responsible for geometry of an abstract non-commutative algebra \(A\) different from the algebra \(C(X)\). A major drawback of the paradigm is the lack of bounds for the linear operators involved. To fix the problem, one needs to elaborate a \(K\)-homology representing the unbounded linear operators. The paper under review extends the unbounded operators to Kasparov's \(KK\)-theory. The main result says that the bounded transform \(D\mapsto D(1+D^2)^{-{1\over 2}}\) of the unbounded operator \(D\) defines a functor \({\mathfrak {Cor}}_k\to KK_{i-j}(A,B)\) from the unitary equivalence classes of \(k\)-smooth correspondences of spectral triples to the Kasparov group \(KK_{i-j}(A,B)\).

Recommendations

Cited in

(57)

This page was built for publication: Unbounded bivariant \(K\)-theory and correspondences in noncommutative geometry

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