Generalized Fredholm properties for invariant pseudodifferential operators (Q1947025)

Let \(M\) be the total space of a principal \(G\)-bundle with \(G\) a unimodular Lie group and \(X = M/G\) a compact manifold. Classes of pseudo-differential operators \(UL^m(M)\) on \(M\) are defined. These pseudo-differential operators belong locally uniformly to the Hörmander class \(L^m\). The generalized \(L^2\)-Fredholm theory for \(G\)-invariant elliptic operators from the class \(UL^m(M)\) (\(EUL^m_G(M)\)) is given in terms of von Neumann's \(G\)-dimension. The main result asserts that, if \(m \geq 1\), \(A \in EUL^m_G(M)\) is self-adjoint, and \(f\in C^\infty_c(M)\), then we may solve \(Au = g\) in \(L^2\), with the uniform Sobolev estimate \(\|u\|_{s+m}\leq \|g\|_s\) for all \(g\) in a space of infinite \(G\)-dimension in \(L^2(M)\). Furthermore, all such \(g\) correspond to convolution kernels \(\kappa\) belonging to \(C^\infty \cap L^2(G)\). The family of convolution kernels \(\kappa\) which is mentioned in the above statement arises from the method of proof. The proof depends on a generalized Paley-Wiener theorem, valid for \(G\)-bundles. A~transversal dimension and its corresponding Fredholm theory in terms of anisotropic Sobolev estimates is also defined and described.