Computational Approaches to Poisson Traces Associated to Finite Subgroups of Sp[subscript 2n](C)

Abstract

We reduce the computation of Poisson traces on quotients of symplectic vector spaces by finite subgroups of symplectic automorphisms to a finite one by proving several results that bound the degrees of such traces as well as the dimension in each degree. This applies more generally to traces on all polynomial functions that are invariant under invariant Hamiltonian flow. We implement these approaches by computer together with direct computation for infinite families of groups, focusing on complex reflection and abelian subgroups of GL[subscript 2](C) < Sp[subscript 4](C), Coxeter groups of rank <3 and types A 4, B 4=C 4, and D 4, and subgroups of SL[subscript 2](C).