The \(K\)-theory of bisingular pseudodifferential algebras (Q496829)

A pseudodifferential operator is an operator which takes a function on \({\mathbb R}^n\) or a differential manifold, puts it into the Fourier transform, multiplies this with a function which is called the symbol, and then takes the inverse Fourier transform. To deal, for instance, with tensor products or exterior products of pseudodifferential operators, \textit{L. Rodino} [Ann. Sc. Norm. Super. Pisa, Cl. Sci., IV. Ser. 2, 287--302 (1975; Zbl 0308.35081)] introduced bisingular pseudodifferential operators induced by bisingular symbols, which are roughly speaking the tensor product of two symbols. The author in the paper under review computes the \(K\)-theory of the \(C^*\)-completions of global bisingular pseudodifferential operators of various orders. To this end, he uses the \(K\)-theoretical techniques of the Künneth theorem for tensor products and the Mayer-Vietories sequence for pullbacks. More specifically, denote by \[ A^{i,j} = \overline{G_{\operatorname{cl}}^{i,j}({\mathbb R}^{n_1} \times {\mathbb R}^{n_2})} \] the \(C^*\)-closure of a classical bisingular pseudodifferential operator of Shubin type for \(i,j \in \{-1,0\}\). Then he constructs a short exact sequence \[ 0 \longrightarrow {\mathcal K} \longrightarrow A^{0,0} \longrightarrow \Sigma \longrightarrow 0, \] where \(\Sigma\) denotes a certain pullback by mapping coordinate-wise to the principal symbol. By the Künneth theorem and the Mayer-Vietories sequence, he obtains the complete computation of the \(K\)-theory groups \(K(A^{i,j})\) and \(K(\Sigma)\). He continues to consider Toeplitz operators of Hardy, Bergmann and Fock type and shows that the index theory of the tensor product of Toeplitz operators is the same as the index theory of the global bisingular operators. In an appendix, a complete proof of the Mayer-Vietoris exact sequence in \(K\)-theory is given, which may be useful for various readers.