Chern character and Fermi point
This paper reformulates the Chern character in topological K-theory using Fermi points of Fredholm operators to generalize spectral flow and provide elementary proofs for the evenness of the edge index and the bulk-edge correspondence in four-dimensional time-reversal symmetric topological insulators (class AI).