On \(C^{*}\)-algebras and \(K\)-theory for infinite-dimensional Fredholm manifolds (Q2502975)

The usual \(C^*\)-algebras associated to a finite-dimensional Riemannian manifold \((M,g)\) is the commutative \(C^*\)-algebra \(C_0(M)\) of all continuous complex-valued functions which vanish at infinity on \(M\) and the non-commutative \(C^*\)-algebra \(C(M)\) of continuous sections of the Clifford algebra bundle of \(M\) vanishing at infinity. In the case of an infinite-dimensional Hilbert manifold modeled on a separable infinite-dimensional Euclidian space \({\mathcal E}\), these two constructions do not work. However, if the Hilbert manifold \(M\) has a Fredholm structure, the authors construct here a direct limit \(C^*\)-algebra by choosing a so called Fredholm filtration of \(M\), an appropriate countable sequence \(\{M_n\}^\infty_{n=k}\) of expanding, topologically closed, finite-dimensional submanifolds of \(\dim(M_n)=n\). So, the Riemannian-Fredholm manifold \((M,g)\) is equipped with an augmented Fredholm filtration \({\mathcal F}=(M_n,U_n)^\infty_{n=k}\) where \(U_n\) is a total open tubular neighborhood of \(M_n\hookrightarrow M_{n+1}\), and to the triple \((M,g,{\mathcal F})\) a non-commutative direct limit \(C^*\)-algebra \[ {\mathcal A}(M,g,{\mathcal F})=\varinjlim{\mathcal A}(M_n) \] is associated. That algebra can play the role of the algebra of functions vanishing at infinity on the non-locally compact space \(M\). The topological \(K\)-theory groups of \((M,{\mathcal F})\) are defined as the direct limits \[ K^{\infty-j}(M,{\mathcal F})=\varinjlim K^{n-j}(M_n),\quad j=0,1, \] where the connecting map \(K^{n-j}(M_n)\to K^{(n+1)-j}(M_{n+1})\) is the Gysin map of the embedding \(M_n\hookrightarrow M_{n+1}\). If \(M\) has an oriented Spin\(_q\)-structure \((1\leq q\leq\infty)\), the following duality isomorphism of the Serre-Swan and Poicaré s theorems type is proved \[ K^{\infty-j}(M,{\mathcal F})\simeq K_{j+1}({\mathcal A}(M,g,{\mathcal F}))\simeq K_j^c(M),\quad j=0,1. \] Thus, the \(K\)-theory groups of \((M,{\mathcal F})\) and the \(C^*\)-algebra \({\mathcal A}(M,g,{\mathcal F})\) do not depend on the choice of the Riemannian metric \(g\) or the Fredholm filtration \({\mathcal F}\).