\(K\)-theory of suspended pseudo-differential operators (Q1405999)

The algebra \(\Psi^\mathbb{Z}_{\text{sus}}(M,E)\) of 1-suspended pseudo-differential operators was introduced by \textit{R. B. Melrose} [Math. Res. Lett. 2, 541-561 (1995; Zbl 0934.58025)]. This algebra possesses a trace functional extending by regularization the trace from operators of order \(-\infty\). A symbolic version of this trace functional, called the formal trace, gives an interpretation of the spectral flow as a \(\mathbb{Z}\)-valued 1-cocycle on the space of elliptic suspended operators. The first result of this paper is a description of the relationship between the formal trace and the analog of the Wodzicki residue trace that exists for very general pseudo-differential operator algebras. By using this new identity, the \(K\)-theory groups of Melrose's algebras are computed. The boundary map in the six-term long exact sequence turns out to be related to both the eta invariant of suspended operators and the index of elliptic (non-suspended) operators. So, the boundary map \(\delta:K_0 (C(S^*_{\text{sus}}M))\to K_{-1} (C_0(\mathbb{R},k))\) is described in terms of the suspended residue trace. (In the Section 6 of the paper, an alternative way of proving this result, based on the results of \textit{R. B. Melrose} and \textit{V. Nistor} [Geom. Funct. Anal. 8, 88-122 (1998; Zbl 0898.46060)] is discussed). As a corollary, the boundary map is surjective, and this determines completely the \(K\)-theory groups of \(\Psi^\circ_{\text{sus}}(M,E)\).