Boundaries, spectral triples and -homology
Iain ForsythLeibniz Universität Hannover, Germany
Magnus GoffengChalmers University of Technology and University of Gothenburg, Sweden
Bram MeslandLeibniz Universität Hannover, Germany
Adam RennieUniversity of Wollongong, Australia
This paper extends the notion of a spectral triple to a relative spectral triple, an unbounded analogue of a relative Fredholm module for an ideal . Examples include manifolds with boundary, manifolds with conical singularities, dimension drop algebras, -deformations and Cuntz–Pimsner algebras of vector bundles.
The bounded transform of a relative spectral triple is a relative Fredholm module, making the image of a relative spectral triple under the boundary mapping in -homology easy to compute. We introduce an additional operator called a Clifford normal with which a relative spectral triple can be doubled into a spectral triple.
The Clifford normal also provides a boundary Hilbert space, a representation of the quotient algebra, a boundary Dirac operator and an analogue of the Calderon projection. In the examples this data does assemble to give a boundary spectral triple, though we can not prove this in general.
When we do obtain a boundary spectral triple, we provide sufficient conditions for the boundary triple to represent the -homological boundary. Thus we abstract the proof of Baum–Douglas–Taylor's "boundary of Dirac is Dirac on the boundary" theorem into the realm of non-commutative geometry.
Cite this article
Iain Forsyth, Magnus Goffeng, Bram Mesland, Adam Rennie, Boundaries, spectral triples and -homology. J. Noncommut. Geom. 13 (2019), no. 2, pp. 407–472DOI 10.4171/JNCG/331