ﻻ يوجد ملخص باللغة العربية
Having in view the study of a version of Gelfand-Neumark duality adapted to the context of Alain Connes spectral triples, in this very preliminary review, we first present a description of the relevant categories of geometrical spaces, namely compact Hausdorff smooth finite-dimensional orientable Riemannian manifolds (or more generally Hermitian bundles of Clifford modules over them); we give some tentative definitions of the relevant categories of algebraic structures, namely propagators and spectral correspondences of commutative Riemannian spectral triples; and we provide a construction of functors that associate a naive morphism of spectral triples to every smooth (totally geodesic) map. The full construction of spectrum functors (reconstruction theorem for morphisms) and a proof of duality between the previous geometrical and algebraic categories are postponed to subsequent works, but we provide here some hints in this direction. We also show how the previous categories of propagators of commutative C*-algebras embed in the mildly non-commutative environments of categories of suitable Hilbert C*-bimodules, factorizable over commutative C*-algebras, with composition given by internal tensor product.
We present a duality between the category of compact Riemannian spin manifolds (equipped with a given spin bundle and charge conjugation) with isometries as morphisms and a suitable metric category of spectral triples over commutative pre-C*-algebras
In a triangulated category, cofibre fill-ins always exist. Neeman showed that there is always at least one good fill-in, i.e., one whose mapping cone is exact. Verdier constructed a fill-in of a particular form in his proof of the $4 times 4$ lemma,
After recalling in detail some basic definitions on Hilbert C*-bimodules, Morita equivalence and imprimitivity, we discuss a spectral reconstruction theorem for imprimitivity Hilbert C*-bimodules over commutative unital C*-algebras and consider some
In the context of A. Connes spectral triples, a suitable notion of morphism is introduced. Discrete groups with length function provide a natural example for our definitions. A. Connes construction of spectral triples for group algebras is a covarian
We discuss a number of general constructions concerning additive $ C^* $-categories, focussing in particular on establishing the existence of bicolimits. As an illustration of our results we show that balanced tensor products of module categories ove