Boundaries, spectral triples and -homology
Iain Forsyth
Leibniz Universität Hannover, GermanyMagnus Goffeng
Chalmers University of Technology and University of Gothenburg, SwedenBram Mesland
Leibniz Universität Hannover, GermanyAdam Rennie
University of Wollongong, Australia
![Boundaries, spectral triples and $K$-homology cover](/_next/image?url=https%3A%2F%2Fcontent.ems.press%2Fassets%2Fpublic%2Fimages%2Fserial-issues%2Fcover-jncg-volume-13-issue-2.png&w=3840&q=90)
Abstract
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–472
DOI 10.4171/JNCG/331