The Gromov-Hausdorff propinquity for metric Spectral Triples

Abstract: We define a metric on the class of metric spectral triples, which is null exactly between spectral triples with unitary equivalent Dirac operators and -isomorphic underlying C-algebras. This metric dominates the propinquity, and thus implies metric convergence of the compact quantum metric spaces induced by metric spectral triples. In the process of our construction, we also introduce the covariant modular propinquity, as a key component for the definition of the spectral propinquity.