On the existence and structure of \(\psi^*\)-algebras of totally characteristic operators on compact manifolds with boundary (Q1963856)

The set \(\Psi^0_{b,cl}(X, \Omega^{1/2})\) of \(0\)-order totally characteristic (\(b\)-pseudodifferential) operators on compact manifolds \(X\) with boundary is known to be an algebra that can be represented faithfully as a symmetric subalgebra of the \(C^*\)-algebra \({\mathcal L}(\sigma L^2(X, \Omega^{1/2}))\) of all bounded operators on the weighted Hilbert space \(\sigma L^2(X, \Omega^{1/2}))\). An algebra \({\mathcal A}\) is said to be a \(\Psi^*\)-algebra if it is a symmetric, continuously embedded Fréchet algebra satisfying the following crucial property of spectral invariance: \({\mathcal A}^{-1}={\mathcal A}\cap({\mathcal L}(\sigma L^2(X, \Omega^{1/2})))^{-1}\). The main aim of this paper is to construct the \(\Psi^*\)-algebra \[ {\mathcal A}^{(b)}_\infty(X, \Omega^{1/2})\subset{\mathcal L}(\sigma L^2(X, \Omega^{1/2})) \] with the following properties: (a) \(\Psi^0_{b,cl}(X, \Omega^{1/2})\) is a dense subalgebra of the \(\Psi^*\)-algebra \({\mathcal A}^{(b)}_\infty(X, \Omega^{1/2})\). (b) There is a symbol map \(\tau:{\mathcal A}^{(b)}_\infty(X, \Omega^{1/2})\to Q^{(b)}\) such that \(a\in {\mathcal A}^{(b)}_\infty(X, \Omega^{1/2})\) is a Fredholm operator iff \(\tau(a)\) is invertible in \(Q^{(b)}\); here \(Q^{(b)}\) is a \(\Psi^*\)-algebra of smooth symbols that can be described explicitly. (c) \({\mathcal A}^{(b)}_\infty(X, \Omega^{1/2})\subset \bigcap_m{\mathcal L}(\sigma H^m_\sigma(X, \Omega^{1/2}))\). (d) Localized to the interior each \(a\in{\mathcal A}^{(b)}_\infty(X, \Omega^{1/2})\) is an ordinary pseudodifferential operator on the open manifold \(\text{int}(X)\). In the last part of this paper the structure of the \(\Psi^*\)-algebra \({\mathcal A}^{(b)}_\infty(X, \Omega^{1/2})\) is investigated. Namely, spectrum, Jacobson topology and the relationship of certain closed ideals in the algebra \({\mathcal A}^{(b)}_\infty(X, \Omega^{1/2})\) are described explicitly.