On composition chains in algebras of pseudodifferential operators (Q1386578)

From MaRDI portal
Revision as of 15:57, 31 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
On composition chains in algebras of pseudodifferential operators
scientific article

    Statements

    On composition chains in algebras of pseudodifferential operators (English)
    0 references
    0 references
    0 references
    24 May 1998
    0 references
    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})\)].
    0 references
    resolving composition chain
    0 references
    representation
    0 references
    \(C^*\)-algebra
    0 references
    compact manifold
    0 references
    composition chain
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references