On composition chains in algebras of pseudodifferential operators (Q1386578): Difference between revisions

We consider a \(C^*\)-algebra \({\mathcal A}\) generated by pseudodifferential operators (\(\psi\)DO) of order zero on a smooth \(m\)-dimensional compact manifold \({\mathcal M}\) with no edge. The set of generators of algebras \({\mathcal A}\) is made of operators of two types: (i) \(\psi\)DO whose symbols are smooth functions on a cospherical fibration \(S^*{\mathcal M}\) and homogeneous of degree zero on layers of a cotangent fibration \(T^*{\mathcal M}\); and (ii) operators of multiplication by discontinuous function (``coefficients'') that are given on \({\mathcal M}\). Discontinuities may have a rather complex structure that can be described by means of the stratification of the manifold \({\mathcal M}\). The purpose of this paper is to construct the (shortest) composition chain \(0= I_{-1}\subset I_0\subset\cdots\subset I_l= {\mathcal A}\) (\(l\) is a positive integer) that consists of ideals \(I_j\) of the algebra \({\mathcal A}\) and obeys the condition that the subquotient \(I_j/I_{j-1}\) is isomorphic to an algebra \(C_0(X_j)\otimes {\mathcal K}H_j\), \(j= 0,\dots,l\), where \(X_j\) is a locally compact space, \(C_0(X_j)\) is an algebra of continuous functions with a zero limit at infinity, and \({\mathcal K}H_j\) is an ideal of compact operators in a Hilbert space \(H_j\). [In the case of smooth coefficients, \({\mathcal A}\) is an ordinary algebra of \(\psi\)DO with smooth symbols; the desired composition chain has the form \(0\subset{\mathcal K}L_2(M)\subset{\mathcal A}\), and \({\mathcal A}/{\mathcal K}L_2(M)\simeq C(S^*{\mathcal M})\)].