The K-theory of bisingular pseudodifferential algebras

DOI10.1007/S11868-015-0124-XMaRDI QIDQ496829zbMATH OpenOpenAlexFDO

Publication date 22 September 2015

Published in Journal of Pseudo-Differential Operators and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1208.5072

\(K\)-theory bisingular pseudodifferential

(K)-theory and operator algebras (including cyclic theory) (46L80) Noncommutative topology (46L85) Pseudodifferential operators (47G30)

Abstract: In this paper we calculate the K-theory of

C^{a s t}

-algebras given by the norm-closures of spaces of bisingular pseudodifferential operators. We obtain results for the emph{global} bisingular calculus in the flat (

R r^{n_{1} + n_{2}}

) case.

Review text

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.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: The \(K\)-theory of bisingular pseudodifferential algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q496829)