In this review we discuss the local index formula in noncommutative geometry (NCG) from the viewpoint of two new proofs that are given in [16, 17] and [18] respectively. These proofs are partly inspired by the approach of Higson [35], especially that in [18], but they differ in several fundamental aspects, in particular they apply to semifinite spectral triples for a *-subalgebra
of a general semifinite von Neumann algebra. Our proofs are novel even in the setting of the original theorem, and reduce the hypotheses of the theorem to those necessary for its statement.
These proofs rely on the introduction of a function valued cocycle which is ‘almost’ a (b, B)-cocycle in the cyclic cohomology of
. They do not need the ‘discrete dimension spectrum’ assumption of the original Connes-Moscovici proof [25], only a much weaker condition on the analytic continuation of certain zeta functions, and this only for part of the statement.
In this article we also explain the relationship of the pairing between K-theory and semifinite spectral triples to KK-theory and the Kasparov product. This discussion shows that semifinite spectral triples are a specific kind of representative of a KK-class, and the analytically defined index is compatible with the Kasparov product.