Solvability of the algebra of pseudodifferential operators with piecewise smooth coefficients on a smooth manifold

On a smooth compact manifold $\mathcal M$ without boundary, the $C^*$-algebra $\mathcal A$ generated on $L_2(\mathcal M)$ by the operators of two classes is considered. One class consists of zero order pseudodifferential operators with smooth symbols. The other class comprises the operators of multiplication by functions (“coefficients”) that may have discontinuities along a given collection of submanifolds (with boundary) of various dimensions; the submanifolds may intersect under nonzero angles. The situation is described formally by a stratification of the manifold $\mathcal M$. All the equivalence classes of irreducible representations of $\mathcal A$ are listed with a detailed proof. A solving composition series in $\mathcal A$ is constructed. This is a finite sequence of ideals $\{0\}=I_{-1}\subset I_0\subset\dots\subset I_N=\mathcal A$ whose subquotients $I_j/I_{j-1}$ are isomorphic to algebras of continuous functions with compact values; such operator-valued functions are defined on locally compact spaces and tend to zero at infinity.