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 which bound the degrees of such traces as well as the
dimension in each degree. This applies more generally to traces on all
polynomial functions which are invariant under invariant Hamiltonian flow.
In geometric representation theory, one often wishes to describe
representations realized on spaces of invariant functions as trace functions of
equivariant perverse sheaves. In the case of principal series representations
of GL_N over a local field, there is a description of families of these
representations realized on spaces of functions on GL_N invariant under the
translation action of the Iwahori subgroup, or a suitable smaller compact open
subgroup, studied by Howe, Bushnell and Kutzko, Roche, and others.
We study in detail the so-called looping case of Mozes's game of numbers,
which concerns the (finite) orbits in the reflection representation of affine
Weyl groups situated on the boundary of the Tits cone. We give a simple proof
that all configurations in the orbit are obtainable from each other by playing
the numbers game, and give a strategy for going from one configuration to
another. The strategy gives rise to a partition of the finite Weyl group into
finitely many graded posets, one for each extending vertex of the associated
extended Dynkin diagram.
We study in detail the so-called looping case of Mozes's game of numbers,
which concerns the (finite) orbits in the reflection representation of affine
Weyl groups situated on the boundary of the Tits cone. We give a simple proof
that all configurations in the orbit are obtainable from each other by playing
the numbers game, and give a strategy for going from one configuration to
another. The strategy gives rise to a partition of the finite Weyl group into
finitely many graded posets, one for each extending vertex of the associated
extended Dynkin diagram.
To every Poisson algebraic variety X over an algebraically closed field of
characteristic zero, we canonically attach a right D-module M(X) on X. If X is
affine, solutions of M(X) in the space of algebraic distributions on X are
Poisson traces on X, i.e., distributions invariant under Hamiltonian flows.
When X has finitely many symplectic leaves, we prove that M(X) is holonomic.
Thus, when X is affine and has finitely many symplectic leaves, the space of
Poisson traces on X is finite-dimensional.
To every Poisson algebraic variety X over an algebraically closed field of
characteristic zero, we canonically attach a right D-module M(X) on X. If X is
affine, solutions of M(X) in the space of algebraic distributions on X are
Poisson traces on X, i.e., distributions invariant under Hamiltonian flows.
When X has finitely many symplectic leaves, we prove that M(X) is holonomic.
Thus, when X is affine and has finitely many symplectic leaves, the space of
Poisson traces on X is finite-dimensional.