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

From MaRDI portal
scientific article
Language Label Description Also known as
English
On traces of operators associated with actions of compact Lie groups
scientific article

    Statements

    On traces of operators associated with actions of compact Lie groups (English)
    0 references
    0 references
    0 references
    30 September 2020
    0 references
    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.
    0 references
    pseudo-differential operator
    0 references
    trace operator
    0 references
    sub-manifold
    0 references
    compact Lie group
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references