Poisson traces and D-modules on Poisson varieties.
Pavel Etingof Travis Schedler Ivan Losev
posted in Mathematics on Thursday, December 24th, 2009
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. As an application, we deduce that noncommutative filtered algebras whose associated graded algebras are coordinate rings of Poisson varieties with finitely many symplectic leaves have finitely many irreducible finite-dimensional representations. The appendix, by Ivan Losev, strengthens this to show that in such algebras, there are finitely many prime ideals, and they are all primitive. </p> <p>More generally, to any morphism phi: X -> Y and any quasicoherent sheaf of Poisson modules N on X, we attach a right D-module M_phi(X, N) on X, and prove that it is holonomic if X has finitely many symplectic leaves, phi is finite, and N is coherent. As an application, the finiteness result for irreducible representations of noncommutative filtered algebras extends to the case where the associated graded algebra is not necessarily commutative, but is finitely generated as a module over its center, which is the coordinate ring of a Poisson variety with finitely many symplectic leaves. </p> <p>We also describe explicitly (in the settings of affine varieties and compact smooth manifolds) the space of Poisson traces on X when X=V/G, where V is symplectic and G is a finite group acting faithfully on V. In particular, we show that this space is finite-dimensional.
