Reduction and the trace formula (Q2640975)

Let P be a first-order, elliptic, self-adjoint, classical pseudodifferential operator with positive symbol on a compact n- dimensional manifold without boundary, M, and G be a compact connected Lie group with a representation in the Hilbert space of square-integrable half densities of M, \(L^ 2(M)\), by Fourier integral operators. Assume that P commutes with the G-representation. The authors study the relationship between the way the spectrum of P is distributed along the various isotypical subspaces of \(L^ 2(M)\) and the reduction (in the sense of classical mechanics) of the bicharacteristic flow of P. The particular case when the symmetry group is the circle was considered in the previous work of the authors [Invent. Math. 96, No.2, 385-423 (1989; Zbl 0686.58040)].