Reduced Gutzwiller formula with symmetry: Case of a Lie group

We consider a classical Hamiltonian H on R2d, invariant by a Lie group of symmetry G, whose Weyl quantization is a selfadjoint operator on L²(Rd). If χ is an irreducible character of G, we investigate the spectrum of its restriction to the symmetry subspace of L²(Rd) coming from the decomposition of Peter-Weyl. We give semi-classical Weyl asymptotics for the eigenvalues counting function of in an interval of R, and interpret it geometrically in terms of dynamics in the reduced space R2d/G. Besides, oscillations of the spectral density of are described by a Gutzwiller trace formula involving periodic orbits of the reduced space, corresponding to quasi-periodic orbits of R2d.