Pseudodifferential operators on manifolds with scaled bounded geometry

We prove a general black box result which produces algebras of pseudodifferential operators (ps.d.o.s) on noncompact manifolds, together with a precise principal symbol calculus. Our construction (which also applies in parameter-dependent settings, with phase space weights and variable differential and decay orders) recovers (mild generalizations of) most of the ps.d.o. algebras which have been introduced in recent years as tools for the microlocal analysis of nonelliptic partial differential equations. This includes those used for proving resolvent bounds (b- and scattering algebras and resolved or semiclassical versions thereof), studying waves on asymptotically flat spacetimes (3b-, edge-b-, and desc-algebras), inverting geodesic X-ray transforms (semiclassical foliation and 1-cusp algebras), and many others. Our main result rests on the novel notion of manifolds with scaled bounded geometry. A scaling encodes, in each distinguished chart of a manifold with bounded geometry, the amounts in <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="left-parenthesis 0 comma 1 right-bracket"> <mml:semantics> <mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mn>1</mml:mn> <mml:mo stretchy="false">]</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">(0,1]</mml:annotation> </mml:semantics> </mml:math> </inline-formula> by which the components of a uniformly bounded vector field are scaled. This decouples the regularity of the coefficients of elements of the resulting Lie algebra <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper V"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">V</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {V}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> of vector fields from the pointwise size of their coefficients. When the scaling tends to <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="0"> <mml:semantics> <mml:mn>0</mml:mn> <mml:annotation encoding="application/x-tex">0</mml:annotation> </mml:semantics> </mml:math> </inline-formula> at infinity, the approximate constancy of coefficients of elements of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper V"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">V</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {V}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> on increasingly large (as measured using <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper V"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">V</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {V}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> ) cubes gives rise to a principal symbol which captures <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper V"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">V</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {V}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -operators modulo operators of lower differential order and more decay.