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
. We also construct an embedding of a quotient of the category of spectral triples introduced in arXiv:math/0502583v1 into the latter metric category. Finally we discuss a further related duality in the case of orientation and spin-preserving maps between manifolds of fixed dimension.
In the setting of C*-categories, we provide a definition of spectrum of a commutative full C*-category as a one-dimensional unital saturated Fell bundle over a suitable groupoid (equivalence relation) and prove a categorical Gelfand duality theorem g
eneralizing the usual Gelfand duality between the categories of commutative unital C*-algebras and compact Hausdorff spaces. Although many of the individual ingredients that appear along the way are well-known, the somehow unconventional way we glue them together seems to shed some new light on the subject.
We present a constructive proof of the Stone-Yosida representation theorem for Riesz spaces motivated by considerations from formal topology. This theorem is used to derive a representation theorem for f-algebras. In turn, this theorem implies the Ge
lfand representation theorem for C*-algebras of operators on Hilbert spaces as formulated by Bishop and Bridges. Our proof is shorter, clearer, and we avoid the use of approximate eigenvalues.
In Riesz space theory it is good practice to avoid representation theorems which depend on the axiom of choice. Here we present a general methodology to do this using pointfree topology. To illustrate the technique we show that almost f-algebras are
commutative. The proof is obtained relatively straightforward from the proof by Buskes and van Rooij by using the pointfree Stone-Yosida representation theorem by Coquand and Spitters.
We study Toeplitz operators on Hilbert spaces of holomorphic functions on symmetric domains, and more generally on certain algebraic subvarieties, determined by integration over boundary orbits of the underlying domain. The main result classifies the
irreducible representations of the Toeplitz $C^*$-algebra generated by Toeplitz operators with continuous symbol. This relies on the limit behavior of hypergeometric measures under certain peaking functions.