1: \begin{abstract} 

2:   To every Poisson algebraic variety $X$ over an algebraically closed

3:   field of characteristic zero, we canonically attach a right

4:   $D$-module $M(X)$ on $X$. If $X$ is affine, solutions of $M(X)$ in

5:   the space of algebraic distributions on $X$ are Poisson traces on

6:   $X$, i.e., distributions invariant under Hamiltonian flow. When $X$

7:   has finitely many symplectic leaves, we prove that $M(X)$ is

8:   holonomic.  Thus, when $X$ is affine and has finitely many

9:   symplectic leaves, the space of Poisson traces on $X$ is

10:   finite-dimensional. More generally, to any morphism $\phi: X \rightarrow Y$ and any

11:   quasicoherent sheaf of Poisson modules $N$ on $X$, we attach a right

12:   $D$-module $M_\phi(X, N)$ on $X$, and prove that it is holonomic if

13:   $X$ has finitely many symplectic leaves, $\phi$ is finite, and $N$

14:   is coherent.  

15:   

16:   As an application, we deduce that noncommutative filtered algebras,

17:   for which the associated graded algebra is finite over its center whose

18:   spectrum has finitely many symplectic leaves, have finitely many

19:   irreducible finite-dimensional representations. The appendix, by

20:   Ivan Losev, strengthens this to show that in such algebras, there

21:   are finitely many prime ideals, and they are all primitive. This

22:   includes symplectic reflection algebras.

23: 

24:   Furthermore, we describe explicitly (in the settings of affine

25:   varieties and compact $C^\infty$-manifolds) the finite-dimensional

26:   space of Poisson traces on $X$ when $X=V/G$, where $V$ is symplectic

27:   and $G$ is a finite group acting faithfully on $V$.

28: \end{abstract}

29: