On composition chains in algebras of pseudodifferential operators (Q1386578)

From MaRDI portal
Revision as of 10:58, 20 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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