Pseudo-differential operators on manifolds with a Lie structure at infinity (Q2461380)

Let \(M_0\) be a complete, noncompact Riemannian manifold and let \(M\) be a compact manifold with corners such that \(M_0=M\setminus \partial M\). It is assumed that the geometry at infinity of \(M_0\) is described by a Lie algebra of vector fields \({\mathcal V}\subset \Gamma(M,TM)\), i.e., \(M_0\) is a Riemannian manifold with Lie structure at infinity. The authors define and study an algebra \(\Psi^\infty_{1,0,{\mathcal V}}(M_0)\) of pseudodifferential operators canonically associated to \(M_0\). In that way they carry on Melrose's program to study the analytic properties of geometric differential operators on \(M_0\). The main theorem of the paper asserts that \(\Psi^\infty_{1,0,{\mathcal V}}(M_0)\) is closed under composition, and therefore it is an algebra. Several other properties of the algebra analogous to the properties of the algebra of pseudodifferential operators on a compact manifold are studied, in particular: quantization properties, usual mapping properties between appropriate Sobolev spaces. Moreover it is shown that \(\Psi^\infty_{1,0,{\mathcal V}}(M_0)\) is a microlocalization of the algebra of differential operators on \(M_0\) generated by \(\mathcal V\). The semi-classical variant of the algebra \(\Psi^\infty_{1,0,{\mathcal V}}(M_0)\) is also defined and studied.