An equivariant noncommutative residue (Q380271)

On a closed manifold \(M\) the pseudo-differential operators form an algebra \(\Psi^{\infty}(M)\). Let \(\Psi^{-\infty}(M)\) be the space of smoothing operators and \({\mathcal{A}}(M) : = \Psi^{\infty}(M) / \Psi^{-\infty}(M)\) the algebra of classical complete symbols on \(M\). Let \(\Gamma\) be a finite group acting on \(M\) by diffeomorphisms. Then the group \(\Gamma\) acts on \(\Psi^{\infty}(M)\) and on \({\mathcal{A}} (M)\): if \(\mathcal{D}\) is a pseudo-differential operator and \(g\in \Gamma\), then \(g\cdot {\mathcal{D}} (f) := g{\mathcal{D}}(g^{-1} f)\) for all \(f \in \Psi^{\infty}(M)\). The author determines all traces on the cross-product algebra \({\mathcal{A}}(M) \bowtie \Gamma\) as residues of certain meromorphic zeta functions, and computes the cyclic homology for \({\mathcal{A}}(M) \bowtie \Gamma\) in terms of the de Rham cohomology of the fixed point manifold \(S^* M^g\). The traces on \({\mathcal{A}}(M) \bowtie \Gamma\) are considered as equivariant generalization of the noncommutative residue of \textit{M. Wodzicki} [Lect. Notes Math. 1289, 320--399 (1987; Zbl 0649.58033)] and \textit{V. Guillemin} [Adv. Math. 55, 131--160 (1985; Zbl 0559.58025)]. To a generator \(Ag\) in \({\mathcal{A}} (M) \bowtie \Gamma\) and an invariant order 1 positive elliptic operator \(D\) one associates the zeta-function \(\zeta_{Ag, D} (z) := \text{Tr}(D^{-z} Ag)\). For a fixed conjugacy class \(\langle \gamma \rangle\) a trace on \({\mathcal{A}}(M) \bowtie \Gamma\) is obtained by \[ \text{Tr}_{\langle \gamma\rangle} (\sum_{g\in \Gamma} A_g g):= \text{res}_{z=0} (\sum_{g\in \langle \gamma\rangle} \zeta_{Ag, D}(z)).\tag{1} \] The trace (1) has applications analogous to the noncommutative residue: (i) A very special case of an equivariant Weyl's formula of \textit{J. Brüning} and \textit{E. Heintze} [Invent. Math. 50, 169--203 (1979; Zbl 0392.58015)] is obtained. (ii) The results include an equivariant Connes trace formula as well as extensions of the logarithmic symbols based on a 2 cocycle in \(H^2(S_{\text{log}}(M) \bowtie \Gamma)\) as in [\textit{M. Kontsevich} and \textit{S. Vishik}, Prog. Math. 131, 173--197 (1995; Zbl 0920.58061)]. The author gives an answer for the question whether the traces defined in \textrm{(1)} are all the traces that can arise on \({\mathcal{A}}(M) \bowtie \Gamma\): Let \(\Gamma_{\gamma} : = \{ g \in \Gamma \mid g\gamma = \gamma g \}\) be the centralizer of \(g\) in \(\Gamma\) and \(k_{\gamma} = \text{dim}(S^*M^{\gamma})\). Then \[ \begin{aligned} HH_k ({\mathcal{A}}(M)\bowtie \Gamma ) & = \sum_{\langle\gamma\rangle}H^{k_{\gamma}-k}(S^*M^{\gamma} \times S^1 )^{\Gamma_{\gamma}},\\ HC_k({\mathcal{A}}(M) \bowtie \Gamma) & = \sum_{j\geq 0} HH_{k-2j}({\mathcal{A}}(M) \bowtie \Gamma).\end{aligned} \] The determination of these homology groups extends the results of \textit{J.-L. Brylinski} and \textit{E. Getzler} [K-Theory 1, No. 4, 385--403 (1987; Zbl 0646.58026)]. The results are systematically well-organized.