\(K\)-theory of suspended pseudo-differential operators (Q1405999): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1023/a:1024537820594 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1995462045 / rank | |||
Normal rank |
Latest revision as of 10:01, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(K\)-theory of suspended pseudo-differential operators |
scientific article |
Statements
\(K\)-theory of suspended pseudo-differential operators (English)
0 references
9 September 2003
0 references
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)\).
0 references
index of elliptic operators
0 references
eta-invariant
0 references
Wodzicki residue
0 references
parameter-dependent pseudo-differential operators
0 references