p-Summable Integral Formula for Spectral Flow

During the last two weeks, we discussed the definition of spectral flow and its connection to noncommutative geometry. This week, we will go over a proof of the integral formula for spectral flow which calculates the index pairing between (the equivalence classes of) a unitary and a p-summable semifinite Fredholm module.