On a class of nonlocal elliptic operators for compact Lie groups. Uniformization and finiteness theorem (Q657375)

The author studies \(G\)-pseudodifferential operators of the form \[ P= \int_G P_g T_g dg, \] where \(P_g\) is a smooth family of classical pseudodifferential operators on a compact manifold \(M\), depending on the parameter \(g\in G\), with \(G\) a compact Lie group of diffeomorphisms acting on \(M\), and \(dg\) is the Haar measure on \(G\). If \(G\) is a discrete group, then the integral defining \(P\) reduces to a finite sum; the corresponding \(G\)-pseudodifferential operators were already studied by many authors, see for example \textit{A. Connes} [Noncommutative geometry. Transl. from the French by Sterling Berberian. San Diego, CA: Academic Press. xiii, 661 p. (1994; Zbl 0818.46076)]. Here the author studies the general case. In particular, the symbol of \(P\) is defined as an element of the crossed product of the algebra of the classical symbols on \(S^*M\) and the group \(G\). Invertibility of such symbol implies the Fredholm property for \(P\).