Unbounded Fredholm modules and double operator integrals

Abstract

In noncommutative geometry one is interested in invariants such as the Fredholm index or spectral flow and their calculation using cyclic cocycles. A variety of formulae have been established under side conditions called summability constraints. These can be formulated in two ways, either for spectral triples or for bounded Fredholm modules. We study the relationship between these by proving various properties of the map on unbounded self adjoint operators D given by ƒ(D) = D(1 + D²)^−1/2. In particular we prove commutator estimates which are needed for the bounded case. In fact our methods work in the setting of semifinite noncommutative geometry where one has D as an unbounded self adjoint linear operator affiliated with a semi-finite von Neumann algebra ℳ. More precisely we show that for a pair D, D₀ of such operators with D – D₀ a bounded self-adjoint linear operator from ℳ and , where 𝓔 is a noncommutative symmetric space associated with ℳ, then

.

This result is further used to show continuous differentiability of the mapping between an odd 𝓔-summable spectral triple and its bounded counterpart.