We prove two results about nonunital index theory left open by [CGRS2]. The first is that the spectral triple arising from an action of the reals on a C*-algebra with invariant trace satisfies the hypotheses of the nonunital local index formula. The second result concerns the meaning of spectral flow in the nonunital case. For the special case of paths arising from the odd index pairing for smooth spectral triples in the nonunital setting we are able to connect with earlier approaches to the analytic definition of spectral flow.
By considering the general properties of approximate units in differentiable algebras, we are able to present a unified approach to characterising completeness of spectral metric spaces, existence of connections on modules, and the lifting of Kasparov products to the unbounded category. In particular, by strengthening Kasparovs technical theorem, we show that given any two composable KK-classes, we can find unbounded representatives whose product can be constructed to yield an unbounded representative of the Kasparov product.
We provide sufficient conditions to factorise an equivariant spectral triple as a Kasparov product of unbounded classes constructed from the group action on the algebra and from the fixed point spectral triple. Our results are for the action of compact abelian Lie groups, and we demonstrate them with examples from manifolds and $theta$-deformations. In particular we show that equivariant Dirac-type spectral triples on the total space of a torus principal bundle always factorise. We also present an example that shows what goes wrong in the absence of our sufficient conditions (and how we get around it for this example).
The notion of spectral localizer is extended to pairings with semifinite spectral triples. By a spectral flow argument, any semifinite index pairing is shown to be equal to the signature of the spectral localizer. As an application, a formula for the weak invariants of topological insulators is derived. This provides a new approach to their numerical evaluation.
In this article we give a comprehensive treatment of a `Clifford module flow along paths in the skew-adjoint Fredholm operators on a real Hilbert space that takes values in KO${}_{*}(mathbb{R})$ via the Clifford index of Atiyah-Bott-Shapiro. We develop its properties for both bounded and unbounded skew-adjoint operators including an axiomatic characterization. Our constructions and approach are motivated by the principle that [ text{spectral flow} = text{Fredholm index}. ] That is, we show how the KO--valued spectral flow relates to a KO-valued index by proving a Robbin-Salamon type result. The Kasparov product is also used to establish a spectral flow $=$ Fredholm index result at the level of bivariant K-theory. We explain how our results incorporate previous applications of $mathbb{Z}/ 2mathbb{Z}$-valued spectral flow in the study of topological phases of matter.
An analytic definition of a $mathbb{Z}_2$-valued spectral flow for paths of real skew-adjoint Fredholm operators is given. It counts the parity of the number of changes in the orientation of the eigenfunctions at eigenvalue crossings through $0$ along the path. The $mathbb{Z}_2$-valued spectral flow is shown to satisfy a concatenation property and homotopy invariance, and it provides an isomorphism on the fundamental group of the real skew-adjoint Fredholm operators. Moreover, it is connected to a $mathbb{Z}_2$-index pairing for suitable paths. Applications concern the zero energy bound states at defects in a Majorana chain and a spectral flow interpretation for the $mathbb{Z}_2$-polarization in these models.