The symbols of an algebra of pseudo-differential operators (Q1064534): Difference between revisions

Atiyah and Singer constructed a Fréchet operator algebra \({\mathcal P}_{\infty}\) by closing a set of zero order pseudodifferential operators on a compact manifold X in the topology generated by all the norms of the spaces \(L(H^ s)\), s real. Each operator in this algebra has a 'symbol', a function in \(C(S^*X)\). Contradicting a statement of Atiyah and Singer and establishing the manifold analogue of a conjecture by H. O. Cordes, it is shown that each function in \(C(S^*X)\) is the symbol of an operator in \({\mathcal P}_{\infty}\).