On traces of operators associated with actions of compact Lie groups (Q2202805)

Let \((X,M)\) be a smooth pair consisting of a manifold \(M\) and its sub-manifold \(X\), \(G\) be a compact Lie group acting on manifold \(M\), \(T_g\) be a shift operator \[ T_gu=g^{-1^*}u \] which is induced by the diffeomorhism \(g\). The \(G\)-operator \(D\) under consideration is the following \[ D=\int\limits_GD_gT_gdg, \tag{1} \] where \(dg\) is Haar measure on the group \(G\), \(T_g\) is a smooth family of pseudo-differential operators. The authors study the trace operator \[ i^*Di_*: H^s(X)\rightarrow H^{s-d-\nu}(X), \] where \(i^*: H^s(M)\rightarrow H^{s-\nu/2}(X)\) and \( i_*: H^s(X)\rightarrow H^{s-\nu/2}(X)\) are boundary and co-boundary operators induced by the imbedding \(i: X\rightarrow M\), \(d\) is an order of the operator \(D\), \(\nu\) is a codimension of \(X\). They introduce the set \[ X_G=\{x\in X: Gx\subset X\} \] and prove their main result ``on a localization''. It asserts that the trace operator (1) is supported on the set \(X_G\subset X\), and particularly if \(X_G\) is an empty set then the operator (1) is compact. There are a lot of examples in the paper illustrating these conclusions.