Poisson traces, D-modules, and symplectic resolutions

We survey the theory of Poisson traces (or zeroth Poisson homology) developed by the authors in a series of recent papers. The goal is to understand this subtle invariant of (singular) Poisson varieties, conditions for it to be finite-dimensional, its relationship to the geometry and topology of symplectic resolutions, and its applications to quantizations. The main technique is the study of a canonical D-module on the variety. In the case the variety has finitely many symplectic leaves (such as for symplectic singularities and Hamiltonian reductions of symplectic vector spaces by reductive groups), the D-module is holonomic, and hence, the space of Poisson traces is finite-dimensional. As an application, there are finitely many irreducible finite-dimensional representations of every quantization of the variety. Conjecturally, the D-module is the pushforward of the canonical D-module under every symplectic resolution of singularities, which implies that the space of Poisson traces is dual to the top cohomology of the resolution. We explain many examples where the conjecture is proved, such as symmetric powers of du Val singularities and symplectic surfaces and Slodowy slices in the nilpotent cone of a semisimple Lie algebra. We compute the D-module in the case of surfaces with isolated singularities and show it is not always semisimple. We also explain generalizations to arbitrary Lie algebras of vector fields, connections to the Bernstein–Sato polynomial, relations to two-variable special polynomials such as Kostka polynomials and Tutte polynomials, and a conjectural relationship with deformations of symplectic resolutions. In the appendix we give a brief recollection of the theory of D-modules on singular varieties that we require.

group actions on varieties). Then, a standard result in the theory of D-modules implies that HP 0 (O(X )) = H 0 π * M(X ) is finite dimensional.
In fact, this method can be applied to a more general problem, when we have an affine variety X acted upon by a Lie algebra g. We say that X has finitely many gleaves if X admits a finite stratification with locally closed connected strata X i (called g-leaves) which carry a transitive action of g (i.e., g surjects to each tangent space of X i ). Then, we show that if X has finitely many g-leaves, then the space of coinvariants O(X )/{g, O(X )} is finite dimensional. The previous result on Poisson varieties is then recovered if g is O(X ). The proof of this more general result is similar: we define a canonical D-module M(X, g), obtained by dividing D(V ) by the equations of X and by g, and show that its underived direct image H 0 π * M(X, g) to a point is O(X )/{g, O(X )} and that it is holonomic if X has finitely many g-leaves. In this setting, the result is well known if the action of g integrates to an action of a connected algebraic group G with LieG = g, and in this case M(X, g) is in fact regular (see, e.g., [57,Lemma 1], [40,Theorem 4.1.1], [35,Section 5]); cf. Remark 6.10 below.
Moreover, the definition of M(X, g) makes sense when X is not necessarily affine, and g is a presheaf of Lie algebras on X which satisfies a D-localizability condition: g(U )D(U ) = g(U )D(U ) for any open affines U ⊂ U ⊂ X . This condition is satisfied, in particular, when X is Poisson and g = O(X ). Furthermore, it is interesting to consider the full direct image π * M(X, g). Its cohomology H i (π * M(X, g)) then ranges between i = − dim X and i = dim X , and we call it the g-de Rham homology of X . If g = O(X ) for a Poisson variety X , we call this cohomology the Poisson-de Rham homology of X , denoted HP D R −i (X ). For instance, if X is affine, then HP D R 0 (X ) ∼ = HP 0 (O(X )).
The rest of the paper is dedicated to the study of the D-module M(X ) and the Poisson-de Rham homology (in particular, HP 0 (O(X )) when X is affine) for specific examples of Poisson varieties X . One of the main cases of interest is the case when X admits a symplectic resolution ρ : X → X . In this case we conjecture that M(X ) ∼ = ρ * X . Namely, since ρ is known to be semismall, ρ * X is a semisimple regular holonomic D-module (concentrated in the cohomological degree 0), and one can show that it is isomorphic to the semisimplification of a quotient of M(X ), so the conjecture is that this quotient is by zero and that M(X ) is semisimple. This conjecture implies that dim HP 0 (O(X )) = dim H dim X ( X , C) for affine X , and, more generally, We discuss a number of cases when this conjecture is known: symmetric powers of symplectic surfaces with Kleinian singularities, Slodowy slices of the nilpotent cone of a semisimple Lie algebra, and hypertoric varieties. However, the conjecture is open for an important class of varieties admitting a symplectic resolution: Nakajima quiver varieties.
It turns out that an explicit calculation of M(X ) and the Poisson-de Rham homology of X (in particular, HP 0 (O(X )) for affine X ) is sometimes possible even when X does not admit a symplectic resolution. Namely, one can compute these invariants for symmetric powers of symplectic varieties of any dimension, and for arbitrary complete intersection surfaces in C n with isolated singularities. We discuss these calculations at the end of the paper. For example, it is interesting to compute M(X ) when X is the cone of a smooth curve C of degree d in P 2 . Recall that the genus of C is (d − 1)(d − 2)/2, and the Milnor number of X is μ = (d − 1) 3 . We show that M(X ) ∼ = δ μ−g ⊕ M(X ) ind , where M(X ) ind is an indecomposable D-module containing δ 2g , such that M(X ) ind /δ 2g is an indecomposable extension of δ g by the intersection cohomology D-module IC(X ). (Here δ is the δ-function D-module supported at the vertex of X .) The structure of the paper is as follows. In Sect. 2 we define g-leaves of a variety with an g-action, state the finite dimensionality theorem for coinvariants on varieties with finitely many leaves, and give a number of examples (notably in the Poisson case). In Sect. 3 we apply this theorem to proving that quantizations of Poisson varieties with finitely many leaves have finitely many irreducible finite-dimensional representations. In Sect. 4 we prove the finite dimensionality theorem using D-modules. In Sect. 5 we define the g-de Rham and Poisson-de Rham homology. In Sect. 6 we discuss the conjecture on the Poisson-de Rham homology of Poisson varieties admitting a symplectic resolution. In Sect. 7 we discuss Poisson-de Rham homology of symmetric powers. In Sect. 8 we discuss the structure of M(X ) when X is a complete intersection with isolated singularities. In Sect. 9 we discuss weights on the Poisson-de Rham homology (and hence HP 0 ) of cones and state an enhancement of the aforementioned conjecture in this case which incorporates weights. Finally, in the appendix we review background on D-modules used in the body of the paper.

Notation
Fix throughout an algebraically closed field k of characteristic zero (the algebraically closed hypothesis is for convenience and is inessential); we will restrict to k = C in Sects. [6][7][8][9]. We work with algebraic varieties over k, which we take to mean reduced separated schemes of finite type over k; we frequently work with affine varieties. (However, see Remarks 4.16 and 4.17 for some analogous results in the C ∞ and complex analytic settings.) We will let O X denote the structure sheaf of X , and for U ⊆ X , we let O(U ) := (U, O X ). Recall that there is a coherent sheaf T X , called the tangent sheaf, on X with the property that, for every affine open subset U ⊆ X , (U, T X ) ∼ = Der(O(U )), the Lie algebra of k-algebra derivations of O(U ), which by definition are the vector fields on U . (In the literature, T X is often defined as Hom O X ( 1 X , T X ) where 1 X is the sheaf of Kähler differentials. In some references T X is restricted to the case that X is smooth, which implies that T X is a vector bundle, but in general T X need not be locally free; see, e.g., [54, pp. 88-89] for a reference for T X in general.) Let Vect(X ) := (X, T X ), which is a Lie algebra whose elements are called global vector fields on X , and which is a module over the ring O(X ) of global functions.

Finite dimensionality of coinvariants under flows and zeroth Poisson homology
2.1. Let g be a Lie algebra over k and X be an affine variety over k (which very often will be singular). Suppose that g acts on X , i.e., we have a Lie algebra homomorphism α : g → Vect(X ). (We can take g ⊆ Vect(X ) and α to be the inclusion if desired.) In this case, g acts on O(X ) by derivations, and we can consider the coinvariant space, O(X ) g := O(X )/g · O(X ), which is also denoted by H 0 (g, O(X )). (It is the zeroth Lie homology of g with coefficients in O(X ). ) We begin with a criterion for this to be finite dimensional, which is the original motivation for the results of this note. Say that the action is transitive if the map α x : g → T x X is surjective for all x ∈ X . It is easy to see that if the action is transitive, then X is smooth, since rk α x is upper semicontinuous, while dim T x X is lower semicontinuous (in other words, generically α has maximal rank and X is smooth, so if α x is surjective for all x, then dim T x X = rk α x is constant for all x, and hence X is smooth).
Example 2.1 If g = Vect(X ), then g acts transitively if and only if X is smooth. (Since it is clear that, if X is smooth affine, then global vector fields restrict to T x X at every x ∈ X .) Moreover, if X is singular, it is a theorem of A. Seidenberg [53] that g is tangent to the set-theoretic singular locus (although this would be false in characteristic p).
In the case that g does not act transitively, one can attempt to partition X into leaves where it does act transitively. This motivates Definition 2.2 A g-leaf on X is a maximal locally closed connected subvariety Z ⊆ X such that, for all z ∈ Z , the image of α z is T z Z .
Note that a g-leaf is smooth since the tangent spaces T z Z have constant dimension, and hence, it is irreducible. Thus, a g-leaf is a maximal locally closed irreducible subvariety Z such that g preserves Z and acts transitively on it.
Remark 2.3 Note that two distinct g-leaves are disjoint, since if Z 1 , Z 2 are two intersecting leaves, then the union Z = Z 1 ∪ Z 2 is another connected locally closed set such that the image of α z is T z Z for all z ∈ Z ; by maximality Z 1 = Z = Z 2 . Therefore, if X is a union of g-leaves, then this union is disjoint and the decomposition is canonical.
On the other hand, it is not always true that X is a union of its leaves. Indeed, X can sometimes have no leaves at all. For example, let X = (C × ) 2 = SpecC[x, x −1 , y, y −1 ] and g = C · ξ for ξ a global vector field which is not algebraically integrable, such as ξ = x∂ x − cy∂ y for c irrational. If we work instead in the analytic setting, then locally there do exist analytic g-leaves, which in the example are the local level sets of x c y; but these are not algebraic (and do not even extend to global analytic leaves), as we are requiring. Remark 2.5 Let X i := {x ∈ X | rk α x = i} be the locus where the infinitesimal action of g restricts to an i-dimensional subspace of the tangent space. This is a locally closed subvariety. If it has dimension i, then its connected components are the leaves of dimension i and there are finitely many. Otherwise, if X i is nonempty, it has dimension greater than i and X is not the union of finitely many g-leaves. In the case that k = C, there are finitely many analytic leaves of dimension i in an analytic neighborhood of every point if and only if X i has dimension i or is empty. See [25,Corollary 2.7] for more details.
The first corollary (and the original version of the result in [20]) is the following special case. Suppose that X is an affine Poisson variety, i.e., O(X ) is equipped with a Lie bracket {−, −} satisfying the Leibniz rule, { f g, h} = f {g, h} + g{ f, h} (called a Poisson bracket). Equivalently, O(X ) is a Lie algebra such that the adjoint action, ad( f ) := { f, −}, is by derivations. We use the notation ξ f := ad( f ), which is called the Hamiltonian vector field of f . Let g := O(X ); then we have the action map α : g → Vect(X ) given by α( f ) = ξ f . In this case, the g-leaves are called symplectic leaves, because for every g-leaf Y and every y ∈ Y , the tangent space T y Y is equal to the space of restrictions ξ f | y of all Hamiltonian vector fields ξ f at y. Then, it is easy (and standard) to see that the Lie bracket restricts to a well-defined Poisson bracket on each symplectic leaf, which is nondegenerate, i.e., it induces a symplectic structure determined by the formula ω(ξ f ) = d f .
In this case, the coinvariants Example 2.7 Suppose that V is a symplectic vector space and G < Sp(V ) is a finite subgroup. Then, as observed in [8,Sect. 7.4], the quotient X = V /G := SpecO(V ) G has finitely many symplectic leaves. These leaves can be explicitly described: call a subgroup P < G parabolic if there exists v ∈ V with stabilizer P. Let X P ⊆ X be the image of vectors in V whose stabilizer is conjugate to P. Then, X P is a symplectic leaf. To see this, let v ∈ V have stabilizer P. Consider the projection q : V → V /G. Then, the kernel of dq| v is precisely (V P ) ⊥ . Hence, the differentials d(q * f )| v for f ∈ O(V ) G form the dual space ω(V P , −) to V P at v, which means that the Hamiltonian vector fields ξ q * f restrict to V P at v. Since dq| v (V P ) = T q(v) X P , we conclude that T q(v) X P is indeed the space of restrictions of Hamiltonian vector fields ξ f , as desired. To conclude that X P is a symplectic leaf, we have to show that it is connected. This follows since it is the image under a regular map of a connected set (an open subset of a vector space). As a result, we deduce the following corollary, which was a conjecture [1] of Alev and Farkas.

Corollary 2.8 [5] If V is a symplectic vector space and G
In fact, the same result holds if V is not a symplectic vector space, but a symplectic affine variety, using the group SpAut(V ) of symplectic automorphisms of V (and G < SpAut(V ) still a finite subgroup). Again, we conclude that the symplectic leaves are the connected components of the X P as described above; the same proof applies except that the kernel of dq| v for v ∈ V with stabilizer P is now ((T v V ) P ) ⊥ (as we do not trivialize the bundle T V ). Moreover, one has the following more general result: [20,Corollary 1.3] If V is a symplectic vector space (or symplectic affine variety) and G < Sp(V ) (or SpAut(V )) is a finite subgroup, then Remark 2.10 For V a symplectic affine variety over k = C, we can give a more explicit formula [20,Corollary 4.20], which reduces it to the linear case and to some topological cohomology groups for local systems on locally closed subvarieties: where P ranges over parabolic subgroups of G (stabilizers of points of V ), C P is the set of connected components of V P , and which carries a canonical flat connection by [20,Proposition 4.17] (induced along any path in Z from any choice of symplectic P-equivariant parallel transport along T z V /T z Z , and the choice will not matter on H (T V | Z /T Z) by definition).

Remark 2.11
As observed in [20, Corollary 1.3], Corollary 2.9 continues to hold (with the same proof) if we only assume that V is an affine Poisson variety with finitely many leaves, and let G be a finite group acting by Poisson automorphisms.
Example 2.12 One case of particular interest is that of symplectic resolutions. By definition, a resolution of singularities ρ : X → X is a symplectic resolution if X is normal and X admits an algebraic symplectic form, i.e., a global nondegenerate closed two-form. Recall that a resolution of singularities is a proper, birational map such that X is smooth. In this situation, X is equipped with a canonical Poisson structure (fixing the symplectic form on X ): for every open affine subset U ⊆ X , one since ρ is proper and birational and X is normal. Thus, the Poisson structure on X gives O(U ) a Poisson structure, which then gives O X and hence X a Poisson structure. Conversely, if we begin with a normal Poisson variety X , we say that X admits a symplectic resolution if such a symplectic resolution X → X exists, which recovers the Poisson structure on X . Then, if X admits a symplectic resolution ρ : X → X , by [37,Theorem 2.5], it has finitely many symplectic leaves: indeed, for every closed irreducible subvariety Y ⊆ X which is invariant under Hamiltonian flow, if U ⊆ Y is the open dense subset such that the map ρ| ρ −1 (U ) : ρ −1 (U ) → U is generically smooth on every fiber ρ −1 (u), u ∈ U , then U is an open subset of a leaf. By induction on the dimension of Y , this shows that Y is a union of finitely many symplectic leaves; hence X is a union of finitely many symplectic leaves. See [37] for details.
We conclude that, in this case, Example 2.13 More generally, a variety X is called a symplectic singularity [4] if it is normal, the smooth locus X reg carries a symplectic two-form ω reg , and for any resolution ρ : X → X , ρ| * ρ −1 (X reg ) ω reg extends to a regular (but not necessarily nondegenerate) two-form on X . (This condition is independent of the choice of resolution, as explained in [4], since a rational differential form an a smooth variety is regular if and only if its pullback under a proper birational map is regular.) By [37, Theo-rem 2.5], every symplectic singularity has finitely many symplectic leaves. Therefore, Remark 2.14 By definition, every variety admitting a symplectic resolution is a symplectic singularity. However, the converse is far from true. Let k = C. By [4,Proposition 2.4], any quotient of a symplectic singularity by a finite group preserving the generic symplectic form is still a symplectic singularity. But even for a symplectic vector space V it is far from true that V /G admits a symplectic resolution for all G < Sp(V ) finite. To admit a resolution, by Verbitsky's theorem [58], G must be generated by symplectic reflections (elements g ∈ G with ker(g − Id) ⊆ V having codimension two). Moreover, a series of works [6,11,12,15,29] leads to the expectation that every quotient V /G admitting a symplectic resolution is a product of factors of the form C 2n /( n S n ) for < SL(2, C) finite, or of two exceptional factors of dimension four (by [6,15,29], this holds at least when G preserves a Lagrangian subspace U ⊆ V and hence can be viewed as a subgroup of GL(U ), and in general by [12] there is a list of cases of groups in dimension ≤ 10 which remain to check).

Example 2.15
Let V be a symplectic vector space and G < Sp(V ) a reductive subgroup. There is a natural moment map, μ : V → g * with g = Lie G, defined as follows. Let sp(V ) = LieSp(V ), and note sp(V ) ∼ = Sym 2 V * with the Poisson structure on SymV * ∼ = O(V ) induced by the symplectic form. Then, the moment map V → sp(V ) * ∼ = Sym 2 V is the squaring map, v → v 2 , and by restriction we get a moment map μ : V → g * . We can then define the Hamiltonian reduction, X := μ −1 (0)//G := Spec O(μ −1 (0)) G . This is well known to inherit a Poisson structure, which on functions is given by the same formula as that for the Poisson bracket on O(V ). In general, X need not be reduced, but by [46,Sect. 2.3], the reduced subscheme X red has finitely many symplectic leaves. These leaves are explicitly given as the irreducible components of the locally closed subsets X red where q : μ −1 (0) → X is the quotient map. Therefore, HP 0 (O(V /G)) is finite-dimensional (since Theorem 2.4 also applies to Poisson schemes that need not be reduced). Note that this example subsumes Example 2.7 (which is the special case where G is finite).

Definition 3.3 If O(X )
is nonnegatively graded with Poisson bracket of degree −d < 0, then a filtered quantization is a filtered associative algebra A = m≥0 A ≤m such that gr A := m≥0 A ≤m /A ≤m−1 ∼ = O(X ) and such that, for a ∈ A ≤m , b ∈ A ≤n , then ab − ba ∈ A ≤m+n−d and gr m+n−d (ab − ba) = {gr m a, gr n b}.
Given a finite-dimensional representation ρ : A → End(V ) of A, the character χ ρ := tr χ is a linear functional χ ∈ A * . As traces annihilate commutators, χ ρ ∈ HH 0 (A) * = [A, A] ⊥ ⊆ A * . By Proposition 3.5, we conclude that the number of such representations cannot exceed dim HH 0 (A) * . By the preceding paragraph, this is finite dimensional, so there can only be finitely many irreducible finite-dimensional representations of A (at most dim HP 0 (O(X ))).
For the first statement, the same proof applies, except that now we need to take some care with theh-adic topology. Namely, let [Ah, Ah] be the closure of [Ah, Ah] in theh-adic topology, i.e., Since the representations were continuous, χ i (h −1 [Ah, Ah]) = 0 for all i. By Lemma 3.6, i a i χ i | Ah = 0, and by k((h))-linearity, i a i χ i = 0. This again contradicts Proposition 3.5.

Remark 3.7
The proof actually implies the stronger result that Ah ⊗ k h K has finitely many continuous irreducible finite-dimensional representations over K (also at most dim HP 0 (O(X ))), where K = k((h)) is the algebraic closure of k((h)) (the field of Puiseux series over k, i.e., r ≥1 k((h 1/r ))). Here an n-dimensional representation ρ : This result is stronger since if ρ 1 , ρ 2 are two nonisomorphic irreducible representations of an algebra A over a field F, then for any extension field E,

Proof of Theorem 2.using D-modules
In this section, we explain the proof of Theorem 2.4. We need the theory of holonomic D-modules. (The necessary definitions and results are recalled in the appendix; see, e.g., [36] for more details.) An advantage of using D-modules is that the approach is local and hence does not essentially require affine varieties. However, for simplicity (to avoid, for example, presheaves of Lie algebras of vector fields), we will explain the theory for affine varieties and then indicate how it generalizes.

The affine case
The main idea is the following construction. Given an affine Poisson variety X and a Lie algebra g acting on X via a map α : g → Vect(X ), we construct a D-module M(X, g) which represents the functor of invariants under the flow of g, i.e., such that Hom(M(X, g), N ) = N g for all D-modules N , where we will define N g below. Without loss of generality, let us assume g ⊆ Vect(X ) and that α is the inclusion; otherwise, we replace g by its image α(g). Let i : X → V be any closed embedding into a smooth affine variety V . Denote the ideal of i(X ) in V by I X . Let g ⊆ Vect(V ) be the Lie subalgebra of vector fields which are tangent to X and whose restriction to X is in the image of α. As recalled in Sect. A.1, there are mutually quasi-inverse denotes the category of right modules over D(V ) supported on i(X ), and D − mod X is the category of D-modules on X ; this is in fact the way we define the category D − mod X . (We will call these merely D-modules on X , since using left D-modules gives an equivalent definition: see Remark A.10.) We will often work with O(V )-coherent right D(V )-modules supported on i(X ). Note that, on a smooth variety, such modules are well known to be vector bundles on X . (In more detail, one composes the equivalence between right and left D-modules on smooth varieties with the equivalence between O-coherent left D-modules on a smooth variety and vector bundles with flat algebraic connections.) Example 4.2 Suppose that g acts transitively on X ; in particular, this means X is smooth, so we can take V = X . Assume also that X is connected. In this case, by [25,Proposition 2.36], M(X, g) is either a line bundle or zero. (This can be shown by a straightforward computation of its associated graded module over O(T * X ), cf. the proof of Lemma 4.6 below.) In the case that g preserves a global nonvanishing volume form (which is sometimes called an affine Calabi-Yau structure), we obtain X , the canonical right D X -module of volume forms; the isomorphism M(X, g) → X sends the image of 1 ∈ D(X ) M(X, g) to the nonvanishing volume form. This includes the situation where X is symplectic and g is either O(X ) or its image in Vect(X ), the Lie algebra of Hamiltonian vector fields on X .
Given any D-module N on X , let D (X, N ) := Hom D(V ) (D X , i N ) be the sections of N supported on i(X ) (see Sect. A.2 for more details). For ξ ∈ g, and any lift ξ ∈ g, we have a linear endomorphism of (V, i N ) given by right multiplication by ξ . This preserves the linear subspace D (X, N ). The resulting endomorphism does not depend on the choice of the lift ξ and defines a Lie algebra action of g on D (X, N ). Therefore, we may consider the vector space N g := H 0 (g, D (X, N )) = {n ∈ D (X, N ) | n · ξ = 0, ∀ξ ∈ g}. The purpose of the second statement above is to explain what functor is represented by M(X, g).

Proof
The first statement follows from the following alternative definition of M(X, g). Note that g acts on the D-module D X (see Sect. A.2 for its definition) on the left by D-module endomorphisms: there is a canonical generator 1 ∈ D X , so for any ξ ∈ g and lift ξ ∈ g, we can define ξ · 1 = ξ ∈ i D X = I X · D V \D V , and this does not depend on the choice of ξ . This extends uniquely to the claimed action. Then, one may check that M(X, g) = g · D X \D X . From this one easily deduces the second statement.

Remark 4.4
We see from the proof that there is a canonical surjection D X → M(X, g). Equivalently, there is a canonical global section 1 = 1 M(X,g) ∈ D (X, M(X, g)) = Hom(D X , M(X, g)). For every closed embedding i : X → V into a smooth affine variety, applying i to this map and taking the composition D(V ) i D X i M(X, g), we get a canonical generator 1 ∈ i M(X, g) as a right module over D(V ). This is nothing but the image of 1 ∈ D(V ) under the defining surjection D(V ) → i M(X, g). We will make use of this canonical generator below.
Let π : X → pt be the projection to a point. We will need the functor of underived direct image, H 0 π * (see the appendix for the definition). Then, we have the following fundamental relationship between the pushforward to a point of M(X, g) and coinvariants of O(X ).
The proof of Theorem 2.4 rests on an estimate for the characteristic variety (singular support) of M(X, g) (whose definition we recall in Definition A.13). Recall above that a g-leaf is smooth. Therefore, given a closed embedding X → V into a smooth variety, each g-leaf Z has a well-defined conormal bundle, which we denote by T * Z V , which has dimension equal to the dimension of V .

Lemma 4.6
Suppose X is the union of finitely many g-leaves and i : X → V is a closed embedding into a smooth variety. Then, the characteristic variety of i M(X, g) is contained in the union of the conormal bundles of these g-leaves inside V .
Proof We make an explicit (and straightforward) computation. For notational convenience, we assume that X ⊆ V and that i is the inclusion. We equip i M(X, g) with the good filtration given by the canonical generator 1 ∈ i M(X, g), i.e., i M(X, g) ≤m = (D V ) ≤m · 1; see Remark 4.4. Then, we claim that the associated graded relations of the defining relations, I X and g, of i M(X, g), cut out the union of the conormal bundles. In this case the associated graded relations are also just gr i M(X, g), we obtain the result.
The claim follows from a more general one that does not require the assumption that X is the union of finitely many g-leaves: By definition, the restriction of the RHS to any g-leaf is the conormal bundle to the leaf, which proves the preceding claim. To prove the above formula, note first that I X O(T * V ) is nothing but the ideal I T * V | X of the subset T * V | X , the restriction of the cotangent bundle to X ⊆ V . Then, at each x ∈ X , the equations g cut out, in the cotangent fiber T * x V , the perpendicular im(α x ) ⊥ . This proves the claim, and hence the lemma.
Since the conormal bundle to a smooth subvariety Z ⊆ V of a smooth variety V has dimension equal to the dimension of V , we conclude: Theorem 4.7 If X is the union of finitely many g-leaves, then M(X, g) is holonomic.
We remark that this result, in the case that g is the derivative of the action of a (connected) algebraic group G on X , is well known (see, e.g., [35,Section 5]); see also Remark 6.10 below. We can now complete the proof of Theorem 2.4. By Theorem 4.7 and Corollary A. 19, H 0 π * M(X, g) is finite dimensional. By Lemma 4.5, this is O(X ) g , which is hence finite dimensional.
Example 4.8 Suppose that X = V /G for V a symplectic vector space and G < Sp(V ) a finite group of symplectic automorphisms. For any parabolic subgroup P in G (as in Example 2.7), let N (P) be the normalizer of P in G, and N 0 (P) := N (P)/P. Let i K : V P /N 0 (P) → V /G be the corresponding closed embedding. Then by [20,Corollary 4.16], there is a canonical isomorphism, where Par(G)/G denotes the set of conjugacy classes [P] of parabolic subgroups P < G,

Globalization
In this subsection, we briefly explain how to generalize the previous constructions to the not necessarily affine case. If X is an arbitrary variety, then we may consider a presheaf g of Lie algebras acting on X via a map α : g → T X . For example, g could be a constant sheaf, giving a (global) action of g on X . Another example is if X is a Poisson variety; then g could be O X , acting by the Poisson bracket, or its image in T X , which is the presheaf of Hamiltonian vector fields.
As before, without loss of generality, let us assume that g ⊆ T X is a sub-presheaf and α is the inclusion (we can just take the image of α). Let i : X → V be a closed embedding into a smooth variety V and I X the ideal sheaf of i(X ). Let g ⊆ T V be the sub-presheaf of vector fields which are tangent to X and restrict on X to vector fields in g. Then, given any open affine subset U ⊆ X , we can consider the D-module M(U, g(U )) defined as in Definition 4.1. Under mild conditions, these then glue together to form a D-module on X : In particular, it is immediate that if g is a constant sheaf, then it is D-localizable. By [25,Example 3.11], the presheaf of Hamiltonian vector fields on an arbitrary Poisson variety is D-localizable. By [25,Example 3.9], the sheaf of all vector fields is Dlocalizable (note that merely being a sheaf does not imply D-localizability, although by [25, Example 3.10], being a quasi-coherent sheaf acting in a certain way does imply D-localizability).

Proposition 4.10 [25, Proposition 3.5]
If g is D-localizable, then there is a canonical D-module M(X, g) on X whose restriction to every open affine U is M(U, g(U )).

Remark 4.11
In [25], the above is stated somewhat more generally: one can fix an open affine covering and ask only that g be D-localizable with respect to this covering. Above we take the covering given by all open affine subsets, and it turns out that the g we are interested in are all D-localizable with respect to that covering (which is the strongest D-localizability condition).
With this definition, all of the results and proofs of the previous section, except for Lemma 4.5 (and the proof of Theorem 2.4) carry over. In particular, Theorem 4.7 holds for arbitrary (not necessarily affine) X .

Example 4.12
As in Example 4.2, we can consider the case where g acts transitively on X . Assume X is irreducible. As before, X is smooth, so M(X, g) is either a line bundle or zero. If g preserves a nonvanishing global volume form, we again deduce that M(X, g) = X , by the same isomorphism sending 1 ∈ M(X, g) to the volume form. This includes the case that X is symplectic (and need not be affine), with the symplectic volume form.

Corollary 4.13 If X is a (not necessarily affine) Poisson variety with finitely many symplectic leaves, and g is O X (or the presheaf of Hamiltonian vector fields), then M(X, g) is holonomic.
Proof We only need to observe that the g-leaves are the symplectic leaves. Then, the result follows from Theorem 4.7.
Remark 4.14 Beware that the use of presheaves above is necessary: for a general Poisson variety X , the presheaf g of Hamiltonian vector fields is not a sheaf: see [25,Remark 3.16] (even though g is the image of the action α : O X → T X of the honest sheaf of Lie algebras O X on X ). However, as we observed there, when X is generically symplectic (which is true when it has finitely many symplectic leaves, as in all of our main examples), then g is a sheaf (although it is clearly not quasi-coherent).

Example 4.15
Suppose that V is a symplectic variety (not necessarily affine) and G < SpAut(V ) a finite subgroup of symplectic automorphisms. Then we can let g := H (V ) G , the G-invariant Hamiltonian vector fields. Then, we obtain the following formula [20,Theorem 4.19], which implies (2.1) from before. In the notation of Remark 2.10, for i Z : Z → V the closed embedding: where the sum is over all parabolic subgroups of V , and we view topological local systems on smooth subvarieties of V as left D-modules and hence right D-modules in the canonical way.
Passing to V /G we get a global generalization of Example 4.8 [20,Theorem 4.21]: let Par(G)/G be the set of conjugacy classes [P] of parabolic subgroups P < G, and for Z ∈ C P , let N Z (P) < N (P) be the subgroup of elements of the normalizer N (P) of P which map Z to itself, and let N 0 be the D-module on Z 0 obtained by equivariant pushforward from Z . Then we obtain: Remark 4. 16 In fact, one can prove a C ∞ analogue of (4.4), using the analogous (but simpler) arguments for distributions rather than D-modules. Let V be a compact C ∞ -manifold and G be a finite group acting faithfully on V . For P ≤ G a parabolic subgroup and Z a connected component of the locus of fixed points of P, let H Z denote the space of flat sections of the local system H (T V | Z /T Z) recalled in Remark 2.10: by [20,Sect. 4.6], the local system is trivial, so H Z identifies with each fiber: In particular, by Corollary 2.9, H Z is a finite-dimensional vector space. Then, [20,Proposition 4.23] states that the space of smooth distributions on V invariant under G-invariant Hamiltonian vector fields is isomorphic to In particular, it is finite dimensional and of dimension P Z ∈C P dim H Z . 5 Poisson-De Rham and g-de Rham homology 5.1. As an application of the constructions of the previous section, we can define a new derived version of the coinvariants O(X ) g . Let X be an affine variety and g a Lie algebra acting on X .
In this case, the pushforward functor H 0 π * is right exact, and H −i (π * ) = L i (H 0 π * ) is the i-th left derived functor (which is why we negate the index i and define a homology theory, rather than a cohomology theory).
Using Sect. 4.2, this definition carries over to the nonaffine setting, where now g may be an arbitrary D-localizable presheaf of vector fields on X ; however, we no longer have an (obvious) interpretation of H g−D R 0 (X ) (and H 0 π * is no longer right exact in general).

Example 5.2
In the case that X is Poisson, Definition 5.1 defines a homology theory which we call the Poisson-de Rham homology. Recall here that, when X is affine, we let g be O(X ) (or its image in Vect(X ), the Lie algebra of Hamiltonian vector fields on X ). For general X , we let g be O X (or its image in T X , the presheaf of Lie algebras of Hamiltonian vector fields). We denote this theory by HP D R is the de Rham cohomology of X . Indeed, by Examples 4.2 and 4.12, in this case M(X, g) = X , the canonical right D-module of volume forms, and then

Remark 5.3
The Poisson-de Rham homology is quite different, in general, from the ordinary Poisson homology. If X is an affine symplectic variety, it is true that , both producing the de Rham cohomology of the variety. But when X is singular, if X has finitely many symplectic leaves, HP D R * (X ) can be nonzero only in degrees − dim X ≤ * ≤ dim X , since it is the pushforward of a holonomic D-module on X . On the other hand, the ordinary Poisson homology HP * (O(X )) is in general nonzero in infinitely many degrees if X is singular and affine. Theorem 4.7 (now valid for nonaffine X ) together with Corollary A.19 implies: In particular, if X is a Poisson variety with finitely many symplectic leaves, then HP D R * (X ) is finite dimensional. Example 5.5 Suppose g is any Lie algebra (or presheaf of Lie algebras) acting transitively on X (in particular, X is smooth), and assume X is connected. Then, as explained in Example 4.2, M(X, g), and hence H g−D R (X ), is either zero or a line bundle (i.e., in the complex topology, there exist everywhere local sections invariant under (the flow of) g, which forms a line bundle because such sections are unique up to constant multiple). In the case that M(X, g) is a line bundle, the associated left D-module L := M(X, g)⊗ O X −1 X (for X the canonical bundle) has a canonical flat connection, and then This vector bundle with flat connection need not be trivial. Consider [25, Example 2.38]: with g the Lie algebra of vector fields preserving the multivalued volume form d(x r ) ∧ dy for r ∈ k. It is easy to check that this makes sense and that the resulting Lie algebra g is transitive. Then, M(X, g) is the D-module whose local homomorphisms to X correspond to scalar multiples of this volume form, and hence M(X, g) is nontrivial (but with regular singularities) when r is not an integer. For k = C, the line bundle L = M(X, g) with flat connection has monodromy e −2πir going counterclockwise around the unit circle.
6 Conjectures on symplectic resolutions 6.1. In the case where X is symplectic, by Example 5.2, for all i. It seems to happen that when X → X is a symplectic resolution (see Example 2.12), we can also describe the Poisson-de Rham homology of X in the same way, and it coincides with that of X . For notational simplicity, let us write M(X ) := M(X, O X ) below. In this section, we set k = C. Conjecture 6.1 If ρ : X → X is a symplectic resolution and X is affine, then: We remark first that (b) obviously implies (a), setting i = 0. Next, (c) implies (b), since, for π X : X → pt and π X : X → pt the projections to points, we have Next, note that if one eliminates (a), the conjecture extends to the case where X is not necessarily affine. Indeed, part (c) is a local statement, so conjecture (c) for affine X implies the same conjecture for arbitrary X by taking an affine covering. As before, (c) implies (b) for arbitrary X .
Since (c) is a local statement, if it holds for ρ : X → X , then it follows that the same statement holds for slices to every symplectic leaf Z ⊆ X . Namely, recall that the Darboux-Weinstein theorem ( [59]; see also [37,Proposition 3.3]) states that a formal neighborhoodX z of z ∈ Z , together with its Poisson structure, splits as a productẐ z × X Z , for some formal transverse slice X Z to Z at z, which is unique (and independent of the choice of z) up to formal Poisson isomorphism. Now, for such a formal slice X Z , letting ρ : X Z = ρ −1 (X Z ) → X Z be the restriction of ρ, we obtain a formal symplectic resolution, and then the statement of (c) and hence also of (a) and (b) hold for ρ . In the case that X Z is the formal neighborhood of the vertex of a cone C (expected to occur by [39, Conjecture 1.8]) and ρ is the restriction of a conical symplectic resolution ρ C : C → C, this implies that Conjecture 6.1 holds for ρ C as well. Here and below a conical symplectic resolution is a C × -equivariant resolution for which the action on the base contracts to a fixed point (i.e., the base is a cone).
In particular, one can use this to compute HP 0 (O(X Z )) and HP D R i (X Z ) for all leaves Z . Conversely, [50,Theorem 4.1] shows that if one can establish the formal analogue of (a) for all X Z , and if ρ : X → X itself is a conical symplectic resolution, then Conjecture (c) follows for X . Lemma 2.11], it follows from the decomposition theorem [2, Théorème 6.2.5] that ρ * X is a semisimple regular holonomic D-module on X . Moreover, by [50, Proposition 2.1], ρ * X is isomorphic to the semisimplification of a quotient M(X ) of M(X ). Conjecture 6.1 therefore states that M(X ) ∼ = M(X ) and that M(X ) is semisimple. In the case that ρ is a conical symplectic resolution, by [50,Proposition 3.6], ρ * X is actually rigid, which implies that any D-module whose semisimplification is ρ * X is already semisimple. Thus, in the conical case, M(X ) ∼ = ρ * X , and Conjecture 6.1 states that in fact the quotient M(X ) M(X ) is an isomorphism. For more details on the quotient M(X ) , see Remark 6.8 below.
Conjecture 6.1 has been proved in many cases, with the notable exception of Nakajima quiver varieties. Remark 6.3 Let X be a Nakajima quiver variety. By [50,Theorem 4.1], since formal slices to all symplectic leaves of X are formal neighborhoods of Nakajima quiver varieties, to prove Conjecture 6.1 for X , it would suffice to prove part (a) for X and for all the quiver varieties that appear by taking slices. Thus, the full conjecture for the class of Nakajima quiver varieties would follow from part (a) for the class of Nakajima quiver varieties.
Example 6.4 Let Y be a smooth symplectic surface. Then, one can set X = Sym n Y := Y n /S n , the n-th symmetric power of Y . In this case one has the resolution ρ : X = Hilb n Y → X . In this case, Conjecture 6.1(c) (and hence the entire conjecture) follows from [24,Theorem 1.17], which gives a direct computation of M(X ) in this case; see Sect. 7 for more details.
Example 6.5 Next suppose that Y = C 2 / , for < SL(2, C) finite, is a du Val singularity, and X := Sym n Y . Then, we can take the minimal resolution Y → Y . We obtain from the previous example the resolution ρ 1 : X := Hilb n Y → Sym n Y , and we can compose this with ρ 2 : Sym n Y → Sym n Y to obtain the resolution ρ = ρ 2 • ρ 1 : X → X . In this case, Conjecture 6.1 is proved in [24, Sect. 1.3], using the main result of [22] together with [32, Theorem 3]: see Sect. 7 for more details.  2)] (see also [47,Sect. 7]), as observed in [21]. Example 6.7 Let X be as in the previous example. In this case the symplectic leaves are the nilpotent adjoint orbits G · e ⊆ X , for G a semisimple complex Lie group with LieG = g. Let e ∈ g be a nilpotent element. One has a Kostant-Slodowy slice S 0 e := X G·e , transverse to G · e, explicitly given by S e := e + ker(ad f ) and S 0 e := S e ∩ X , where (e, h, f ) is an sl 2 -triple (whose existence is guaranteed by the Jacobson-Morozov theorem), equipped with a canonical Poisson structure, such that the formal neighborhoodŜ e of e is a formal slice. Let S 0 e be the preimage of S 0 e under ρ. The Poisson algebra O(S 0 e ) is called a classical W -algebra. As observed above, the previous example implies that Conjecture 6.1 also holds for [21,Theorem 1.6], and the latter is the same as the top cohomology of the Springer fiber over e, H dim ρ −1 (e) (ρ −1 (e)), since S e and hence S 0 e admits a contracting C × action (the Kazhdan action) to ρ −1 (e) (explicitly, this is given on S e by λ · (x) = λ 2−h x).
More generally, we conclude also part (b) of Conjecture 6.1 for S 0 e , which yields in this case that . By [21, Theorem 1.13], we can generalize even further and consider all of S e = e + ker(ad f ), and show that HP D R * (S e ) is a (graded) vector bundle over g//G ∼ = h/W with fibers given by the cohomology of the Springer fiber over e. Equivalently, we have the family of deformations S η e := S e ∩ χ −1 (e) over g//G, with χ : g → g//G the quotient; then, we conclude is flat over g//G).

Remark 6.8
The deformation considered in Example 6.7 is part of a more general phenomenon. For a general projective symplectic resolution ρ : X → X , in [38], Kaledin proves that ρ can be extended to a projective map ρ : X → X of schemes over the formal disk := Spec C[[t]], such that, restricting to the point 0 ∈ , we recover the original resolution ρ : X → X . Furthermore, he shows that X is normal and flat over , and that over the generic point, ρ restricts to an isomorphism of smooth, affine, symplectic varieties [38, 2.2 and 2.5]. (In fact the construction provides more: for every choice of ample line bundle L on X , there is a unique triple ( X , L, ω Z ) up to isomorphism where L is a line bundle on X , ω Z is a symplectic structure on the associated C × -torsor Z → X , the C × action is Hamiltonian for ω Z , the projection Z → is the moment map for the action, and the restrictions of L and ω Z to X recover L and the original symplectic structure.) The family of maps over (together with L and ω Z ) is called a twistor deformation. In the case that ρ is conical, we can moreover replace the formal disk by the line C = SpecC[t] and the map X → X can be taken to be C × -equivariant.
In the general case (where ρ need not be conical), let X t be the fiber of X → over t ∈ and X t the fiber of X → over t. Then, one can show that Conjecture 6.1 implies that the family HP i D R (X t ) is flat with fibers isomorphic to H dim X −i ( X t ) (which is a vector bundle equipped with the Gauss-Manin connection). More generally, the conjecture for X implies that the family M(X t ) of fiberwise D-modules is torsion-free: indeed, as explained in [50, Proposition 2.1], since M(X t ) ∼ = X t ∼ = ρ * X t for generic t, the quotient M(X ) of M(X ) by the torsion of the family M(X t ) is isomorphic to the semisimplification of ρ * X . Conversely, if ρ is conical, then as explained in Remark 6.2, we can replace the formal deformation by an actual C ×equivariant deformation over the line C, and in this case [50,Proposition 3.6] implies that if the family M(X t ) is torsion-free, then M(X ) is already semisimple and the conjecture holds. Example 6.9 Next suppose that X is a conical Hamiltonian reduction of a symplectic vector space by a torus. Such a variety is called a hypertoric cone. More precisely, we can assume the symplectic vector space is a cotangent bundle, V = T * U , and the torus is G = (C × ) k for some k ≥ 1, acting faithfully on U via a : G → GL(U ), with the induced Hamiltonian action on V as in Example 2.15. Explicitly if U = C n for n ≥ k, a(G) is a subgroup of the group of invertible diagonal matrices, and (a i j ) is the matrix of weights such that a(λ 1 , . . . , λ k )(e i ) = k j=1 λ a i j e i , then μ ((b 1 , . . . , b n ), (c 1 , . . . , c n ) Then, X = μ −1 (0)//G. In this case, for every character χ of G, we can form a GIT quotient X := μ −1 (0)// χ (G), mapping projectively to X . In the case this is a symplectic resolution, Conjecture 6.1 is proved in [50, Theorem 4.1, Example 4.6], by showing, as we mentioned, that Conjecture 6.1 follows (for conical symplectic resolutions) from its part (a) for slices to the symplectic leaves; since the slices in this case are also hypertoric cones, part (a) follows for these by [49]. Remark 6.10 As noted in Remark 6.2, Conjecture 6.1 would imply that M(X ) is regular and semisimple when X admits a symplectic resolution. This is not true for general X : we will explain in Remark 8.11 that already if X is a surface in C 3 which is a cone over a smooth curve in P 2 , then M(X ) is not semisimple unless the genus is zero (hence X is a quadric surface).
For regularity, [20,Example 4.11] gives a simple example where M(X ) is not regular: let X = Z ×C 2 with Z is the surface Using coordinates p, q on C 2 , we consider the Poisson bracket given by { p, q} = 1, {x 1 , x 2 } = x 2 3 (and cyclic permutations), and {q, f Then, X has two symplectic leaves: (a basis is given from monomials in x 1 , x 2 , x 3 of degree at most one in each variable). As a result, the algebraic flat connections on {0}×C 2 given by ∇( f ) = d f −m f dp, m ∈ {0, 1, 2, 3}, all appear as quotients of M(X ) (i.e., they admit sections which extend to Hamiltonian-invariant distributions on X supported on {0} × C 2 ). As these connections have irregular singularities at {∞} = P 2 \C 2 for m = 0, we conclude that M(X ) is not regular.
However, it is an open question whether, if X has finitely many symplectic leaves, M(X ) must be locally regular on X , i.e., all composition factors are rational connections which have no irregular singularities in X itself. If this is true, then it would follow that M(X ) is regular whenever X is proper (in particular, projective).
Let us remark that in the case when g = Lie G and the action is the infinitesimal action associated with an action of G on X with finitely many orbits, then it is well known that M(X ) is regular holonomic (see, e.g., [35,Section 5]). Note that, for general g, the action may not integrate to a group action, but formally locally it integrates to the action of a formal group; it would be interesting to try to use this and the argument of op. cit. to prove local regularity in general.

Remark 6.11
There are many other interesting consequences of Conjecture 6.1 which would resolve open questions. For instance, the conjecture implies that every symplectic resolution of X is strictly semismall in the following sense: for every symplectic resolution ρ : X → X and every symplectic leaf Y ⊆ X , one has dim ρ −1 (Y ) = 1 2 (dim X + dim Y ). The semismallness condition itself is equivalent to the inequality ≤. This corollary follows because, whenever X has finitely many symplectic leaves, the intersection cohomology D-module of every symplectic leaf closure (i.e., intermediate extension of the canonical right D-module on the leaf itself) is a composition factor of M(X ) (which follows from [20,Sect. 4.3]; see also [25, Propositions 2.14 and 2.24]), and there is a composition factor of ρ * X with support equal to the leaf closure if and only if the dimension equality holds. Another interesting potential application (pointed out to us by D. Kaledin) is a conjecture variously attributed to Demailly, Campana, and Peternell [39, Conjecture 1.3] that if T * Z → Y is a symplectic resolution of an affine variety Y , then Z is a partial flag variety. Namely the conjecture implies that the maximal ideal m 0 ⊆ O(Y ) of the origin is a perfect Lie algebra; the conjecture would follow if one shows that Z = G/P where LieG ⊆ m 0 is the degree-one subspace and P is a parabolic subgroup of G.

Symmetric powers and Hilbert schemes
In this section we would like to discuss results from [24] on the zeroth Poisson homology of symmetric powers. We continue to set k = C. In this section, the variety Y will always be assumed to be connected.

The main results
Given an affine variety Y = Spec A, let S n Y := Y n /S n = Spec Sym n A be the n-th symmetric power of Y . Let the symbol & denote the product in the symmetric algebra. Note that n≥0 HP 0 (O(S n Y )) * is a graded algebra, with multiplication induced, via the inclusions

To see that this indeed induces maps on Poisson traces (HP
. Then, it remains to observe that the maps above are compatible with this adjoint action of O(Y ), so they indeed induce bilinear maps as claimed on Poisson traces, which are easily seen to be associative with unit 1 ∈ HP 0 (O(S 0 Y )) = HP 0 (C) = C.
where the grading is given by |HP 0 (O(S n Y )) * | = n (on both sides of the isomorphism), and |t| = 1.
Then, (7.1) states that, for all n ≥ 1, where vol Y is the canonical volume form (i.e., the 1 2 dim Y -th exterior power of the symplectic form). We can write the above more explicitly using the coefficients a n (i) which give the number of i-multipartitions of n (i.e., collections of i ordered partitions whose sum of sizes is n), i.e.,

Notation 7.3
Whenever we take tensor products (so also symmetric powers) of C h -algebras complete in theh-adic topology (e.g., Sym n Ah), we mean theh-adic completion of the usual tensor product (and hence symmetric power). The results above imply the degeneration of the spectral sequence computing the zeroth Hochschild homology of quantizations of S n Y . Let Y be an affine symplectic variety, and let Ah be any deformation quantization of O(Y ), so that Sym n Ah is a deformation quantization of O(S n Y )). Then, the spectral sequence associated with the deformation yields a natural C((h))-linear surjection

Notation 7.4 When B is a C h -algebra complete in theh-adic topology, let
where the filtration on HH 0 (Sym n Ah[h −1 ]) is induced by the filtration of Sym n Ah[h −1 ] by powers ofh, and gr denotes theh-adically completed associated graded space.

Sketch of proof of Theorem 7.1
The proof of Theorem 7.1 is based on the following theorem, giving the structure of M(X ) when X = S n Y , for Y a symplectic variety that need not be affine. Let i : Y → S i Y be the diagonal embedding, and for k j=1 r j i j = n, let q : Indeed, Theorem 7.1 (at the level of vector spaces) is obtained from Theorem 7.6 by computing the direct image of M(X ) to the point, and it is not hard to check that the corresponding isomorphism of vector spaces is an algebra map.

Sketch of proof of Theorem 7.6
Now let us say a few words about the proof of Theorem 7.6. One can show that all the simple summands S, on the right-hand side, are composition factors of M(X ) (by constructing surjections M(X )| U → S| U on dense open sets U in X ), so it suffices to show that: (a) they are the only composition factors, which furthermore occur with multiplicity 1, and (b) M(X ) is semisimple.
We first show that (a) implies (b). To do this we need to work on Y n rather than on X = S n Y = Y n /S n . Let p : Y n → S n Y = X be the projection. By definition, M(X ) ∼ = p * ( M) S n where M := M(Y n , O(Y n ) S n ) is a right D-module on Y n , which is also holonomic since the O(Y n ) S n -leaves of Y n are the diagonals (subvarieties Z ⊆ Y n obtained by setting certain components to be equal). Similarly, the summands S in Theorem 7.6 are of the form S ∼ = p * ( S) S n for some D-modules S on Y n . In fact, each S is the pushforward of the canonical right D-module Z for some diagonal Z ∼ = Y m ⊆ Y n , m ≤ n under the embedding Z → Y n . Since the S are also composition factors of M, to deduce (b) from (a), it suffices to show that Ext 1 ( S, S ) = 0 for distinct S, S . The characteristic variety of each S is the conormal bundle T * Z Y of the associated diagonal Z ⊆ Y n , and for distinct diagonals the intersection of these conormal bundles has codimension at least dim Y ≥ 2 (i.e., the dimension is at most To prove (a), it suffices to replace S n Y with the formal neighborhood of a point of the diagonal in S n Y . In other words, by the formal Darboux theorem, it is sufficient to consider the flat case, when Y = V is the formal neighborhood of zero in a symplectic vector space V . In this case, by Example 4.8, we only have to show that each multiplicity space for the intersection cohomology D-module of each diagonal is one-dimensional for all m ≤ n. By induction on n we can restrict to the delta-function D-module of the origin. Then, since M(S n V ) is semisimple, it suffices to show that Applying the formal Darboux theorem, there is a formal symplectomorphism of V whose pullback takes f to x 1 (i.e., f can be completed to a coordinate system in which the symplectic form is the standard one), so we can assume f = x 1 . Since all formal symplectic automorphisms are obtained by integrating Hamiltonian vector fields, it suffices to consider the value ψ(x ⊗(n−1) 1 ). This value must be a function that, in coordinates, depends only on x 1 , since such functions are the only ones which are invariant under all symplectic automorphisms fixing x 1 . By linearity and invariance under conjugation by rescaling x 1 (and applying the inverse scaling to y 1 ), we deduce that ψ(x ⊗(n−1) 1 ) = λ · x n−1 1 for some λ ∈ C. Thus, on x ⊗(n−1) 1 , ψ coincides with λ times the multiplication operator, f 1 ⊗· · · ⊗ f n−1 → λ f 1 · · · f n−1 . The latter operator is evidently symmetric and invariant under Hamiltonian flow. On the other hand, we have argued that a symmetric operator invariant under Hamiltonian flow is uniquely determined by its value on x ⊗(n−1) 1 . So ψ is equal to λ times the multiplication operator, as desired.
As a by-product, we obtain the following theorem:

Structure of M(X) for complete intersections with isolated singularities
In this section we discuss results from [25, Sect. 5] and [23] concerning M(X ) and HP D R * (X ) when X is a complete intersection surface with isolated singularities (or more generally of arbitrary dimension, if one suitably defines the Lie algebra g of Hamiltonian vector fields). In particular, we will recover topological information about the singularities, including the Milnor numbers and genera, and find examples where M(X ) is not semisimple. For concreteness, we will take X to be a surface in C 3 throughout most of the section and explain at the end how the arguments extend to general (locally) complete intersections (of arbitrary dimension) in complex affine space.

Main results for surfaces in C 3
Let be a surface with f irreducible. It is naturally Poisson, with bracket {x 1 , x 2 } = f x 3 together with cyclic permutations of the indices. We will be interested particularly in f having two nice properties:  1 x 1 , . . . , λ a n x n ), i.e., this action (which contracts to the origin) preserves X . Note that if f is quasi-homogeneous with isolated singularities, then since the singular locus is preserved under the action of C × , it must be identically {0} (or empty).

Example 8.3
In the case that f ∈ C[x 1 , x 2 , x 3 ] is quasi-homogeneous with weight m with respect to |x i | = a i , we see that the Poisson bracket has degree d := m − (a 1 + a 2 + a 3 ). If moreover f has isolated singularities (i.e., its singular locus is {0}), then X is well known to be isomorphic to a du Val singularity, C 2 / for < SL(2, C) a finite subgroup, if d < 0; to have a simple elliptic singularity at the origin if d = 0; and to have neither a du Val nor elliptic singularity if d > 0. In particular, up to isomorphism, in the case d < 0 (a du Val singularity) X is isomorphic to one of the following (see, e.g., [10] and [17,Proposition 2

.3.2]):
2) 3) and in the case d = 0 (elliptic), then X is isomorphic to one of the following forms:

Notation 8.4
For a possibly singular complex algebraic or analytic variety X , let H * top (X ) denote the topological cohomology of X . Notation 8.5 For s ∈ X an isolated singularity, let μ s denote the Milnor number at s. Let g s denote the "reduced genus" of the singularity at s, which we define as for ρ : X → X any resolution of singularities and Y = ρ −1 (s) (this definition does not depend on the choice of resolution).
By [33,48], if X t is a smoothing of X , then for B(s) a small ball about s, X t ∩ B(s) is homotopic to a bouquet of μ s spheres of dimension dim X . In the case X is a hypersurface in C n , the Milnor number can be described as the codimension in O(X ) of the ideal generated by the partial derivatives of f .    Remark 8.10 Theorem 8.7 shows that there are delta-function submodules of M(X ) which are not direct summands whenever H 0 j ! X \Z IC(X ), the minimal extension of X \Z . Equivalently, this holds whenever Ext 1 (IC(X ), δ s ) = 0 for some point s ∈ Z . Since Ext 1 (IC(X ), δ s ) ∼ = Ext 1 (δ s , IC(X )) * by Verdier duality, we actually see that M(X ) is not semisimple whenever possible, i.e., whenever there exists a nonsemisimple extension of X \Z to X . One can compute that Ext 1 (IC(X ), δ s where U s is some contractible neighborhood of s (see [14,Lemma 3.5], similar to [20,Lemma 4.3]), which exists by [27], cf. also [48, 2.10]. Here U s \{s} is homotopic to the topological link of s. Thus, we see that M(X ) is not semisimple whenever the link has nonzero first Betti number.

Remark 8.11
Taking the special case where X is a cone over a smooth curve in P 2 of degree d, recall that the reduced genus of the singularity is g = (d−1)(d−2) 2 (the same as the genus of ) and the Milnor number is μ = (d − 1) 3 . In this case, we see that H 1 top (X \{0}) ∼ = H 1 top ( ) (since X \{0} is homotopic to a nontrivial S 1 -bundle over ). Therefore, by Remark 8.10 we obtain that H 0 j ! X \{0} is an extension given by a short exact sequence of the form We obtain from Theorem 8.9 that M(X ) ind has a filtration with subquotients δ 2g , IC(X ), and δ g , in that order. In particular, for g > 0, it is not semisimple, and moreover not self-dual (there is twice the multiplicity of δ function D-modules on the bottom as on the top). From Theorem 8.7 we see that M(X ) ∼ = M(X ) ind ⊕ δ μ−g 0 .

The family M(X t ) of fiberwise D-modules on a smoothing
The results can be reinterpreted in terms of a smoothing. Namely, we can consider all the level sets X t := { f = t} ⊆ C 3 of f in C 3 as t ∈ C varies, which for generic t will be smooth. It is then well known that, for generic t, dim H 2 top (X t ) = dim H 2 top (X ) + s∈Z μ s , where again Z ⊆ X is the singular locus which we assume is finite; this is a consequence of the fact from [33,48] that, for every s ∈ Z and 0 < |t| 1, the intersection of X t with a small ball about s ∈ C 3 is homotopic to a bouquet of μ s 2-spheres. As a result, Theorem 8.6 implies that dim HP 0 (O(X )) = dim H 2 top (X t ) for generic t. Since X t is a smooth symplectic surface, H 2 top (X t ) ∼ = HP 0 (O(X t )) (by Example 5.2). Thus, near t = 0 the family HP 0 (X t ) of vector spaces has constant dimension, i.e., forms a vector bundle. We have proved: In fact, this is a shadow of a similar phenomenon for the D-modules M(X t ), which is central to the proof of the main results. Note that, for each t ∈ C, we can consider the D-module M(X t ) on X t , which for i t : X t → C 3 the embedding, is realized as Theorem 8.13 [23,Theorem 2.8] The family on C of right D(C 3 )-modules with fiber (i t ) M(X t ) at t ∈ C is flat near t = 0. For generic t, the fiber of this family is the right D-module is isomorphic to (i t ) X t .

Sketch of proof of Theorems 8.6, 8.7 and 8.13
Theorem 8.6 follows immediately from Theorem 8.7. For the latter, since M(X ) is locally defined, we can restrict to a neighborhood U s of each singular point s ∈ Z , and if we work in the analytic category, we can take the neighborhood to be contractible ( [27], cf. also [48, 2.10]). Moreover, in this case we can show [25,Corollary 5.9] (using results of G.-M. Greuel [31]) that the maximal quotient of M(U s ) supported at the singularity is δ μ s , or equivalently [25,Theorem 5.11] that HP 0 (O(U s )) ∼ = C μ s . The main idea is to compare HP 0 (O(U s )) directly with the cohomology of the de Rham complex of U s modulo those differential forms which are torsion (i.e., restrict to zero on U s \{s}). This takes care of the last term of the sequence in Theorem 8.7.
Theorem 8.7 then reduces to the statement that the canonical map H 0 j ! X \Z → M(X ) (obtained by adjunction from X \Z ∼ = j ! M(X ) = M(X )| X \Z ) is injective. We then prove this and Theorem 8.13 simultaneously. The argument is as follows: in general, if M(X t ) is not torsion-free, then for each t we can consider the torsion at t, M(X t ) tor , such that M(X t ) := M(X t )/M(X t ) tor is torsion-free. Note that M(X t ) tor is zero for generic t. Applying the pushforward functor π * for π : C 3 → pt the projection to a point, we can see that π * M(X t ) is quasiisomorphic to a complex of finitely-generated and torsion-free C[t]-modules, i.e., of free finitely-generated C[t]-modules. Taking Euler characteristic, we conclude that χ(π * M(X t ) ) is independent of t. Since M(X t ) = M(X t ) for generic t, we conclude that χ(π * M(X )) = χ(π * M(X t )) + χ(π * M(X ) tor ). Furthermore, M(X ) tor is supported on the singular locus, as M(X )| X \Z = X \Z is simple. Therefore M(X ) tor is the direct sum of delta submodules, so π * M(X ) tor is a vector space concentrated in degree zero. We conclude that Next, M(X ) has finite length (as it is holonomic) and its composition factors consist of a single copy of IC(X ) := j ! * X \Z , for j : X \Z → X the open embedding, together with some delta-function D-modules supported on Z . Therefore, we also obtain, for IH * (X ) := π * IC(X ) the intersection cohomology of X , χ HP D R * (X ) = χ(IH * (X )) + m, (8.11) where m is the number of delta-function D-modules appearing as composition factors of M(X ). Putting (8.10) and (8.11) together, we get Now we restrict again to X = U s , a contractible neighborhood of s. As we saw above, in this case μ s is the length of the maximal quotient of M(U s ) supported at s. Let K be the maximal submodule of M(X ) ind supported at s. Let m be the length of K (so K ∼ = δ m s ). Then, we have an exact sequence 0 → K → M(X )| U s → δ μ s → 0, and hence m = μ s + m . Since U s is contractible, we obtain from all of this: Finally we explicitly compute χ(IH * (U s )) [25, Proposition 5.9] using the classical formula [28, Sect. 6.1], obtaining On the other hand, we compute in general that dim H 1 top (U s \{s}) = dim Ext 1 (IC(U s ), δ s ), the maximum possible size of a submodule of M(X ) supported at s which does not contain a direct summand of M(X ). In other words, this is one less than the length of H 0 j ! X \Z itself. Therefore, the map H 0 j ! X \Z → M(X ) is injective, and moreover, (8.13) is an equality. The former finishes the proof of Theorem 8.7, and the latter proves Theorem 8.13.

Sketch of proof of Theorem 8.9
Here, following [23, Sect. 6], we sketch the proof of Theorem 8.9 under the additional assumption that f is actually homogeneous, i.e., a i = |x i | = 1 for all i. The general case does not significantly change the details, and this makes things a bit more concrete and easier to follow.
Let Eu = i x i ∂ i be the Euler vector field. The main idea is that there is a canonical endomorphism T Eu ∈ End D(C 3 ) (i M(X )) which descends from the endomorphism → Eu · of left multiplication on D(C 3 ). (Actually, M(X ) is weakly equivariant, which means that i M(X ) is a graded right D(C 3 )-module, such that for homogeneous ∈ i M(X ), | | = T Eu ( ) − · Eu; see Sect. 9.) Let T Eu also denote the corresponding endomorphism of M(X ). Then, M(X ) decomposes as a direct sum of the generalized eigenspaces of T Eu ; call them M(X ) m .
Next, the degree in which M(X ) ind appears is the degree d of the Poisson bivector σ , since the action of Eu by right multiplication on the symplectic volume form of X \{0} is multiplication by d, and the symplectic volume form is the image of the generator 1 under the canonical quotient D X \{0} X \{0} (as it is invariant under Hamiltonian flow). So M(X ) d is a direct sum of M(X ) ind and some δ-function D-modules. By Theorem 8.7, we have an exact sequence (8.14) Since As a result, T Eu preserves every direct summand of M(X ) m for every m. For a contradiction, suppose that there is a direct summand K of M(X ) d supported at the origin. We can assume K ∼ = δ 0 . Now T : To obtain a contradiction, let v : M(X ) d → K ∼ = δ 0 be the projection. Let N be the space of smooth distributions on C 3 and w : δ 0 → N the inclusion. The main step in the proof is the following (which is a slightly weaker version of [23, Lemma 6.1]):
To prove Lemma 8.14, we construct φ v explicitly. By (8.14) we can associate with v an element of HP 0 (O(X )) * d . Let Q ∈ HP 0 (O(X )) d be the dual of v under the Hermitian pairing on HP 0 (O(X )) d : where ω is the rational volume form on X (the inverse of the Poisson bivector), and r is the radial coordinate function. Then, we partially define φ v by: This converges when α vanishes to order greater than d [23, Lemma 6.2], and we can extend it arbitrarily to a linear functional on all of C ∞ c (C 3 ). The result is annihilated by all Hamiltonian vector fields which vanish to order greater than d, but since the weight of σ is d, this includes all Hamiltonian vector fields. Thus φ v ∈ Hom(M (X ) d , N ).
We claim that φ v · (Eu −d) = w(v(1)), which completes the proof. By definition of Q ∈ HP 0 (O(X )) d = O(X ) d , the RHS has the property w(v(1))(P H) = Q, P H (0) for all P ∈ O(X ) d and H ∈ C ∞ c (C n ). We have to show the same for the LHS. It suffices to show this for a single choice of H , and the identity therefore reduces to an explicit computation: choosing H (x) = h(|x| 2 ) for h a smooth real function with h(0) = 0, we obtain The first equality uses that we can choose the extension of φ v from functions vanishing to order > d at 0 to all functions in such a way that we project away from a space of functions supported in an arbitrarily small neighborhood of zero (and that φ v ·(Eu −d) does not depend on the choice of extension). This completes the sketch.

Generalization to locally complete intersections and higher dimension
Finally, we explain how to generalize from surfaces in C 3 to general locally complete intersections of arbitrary dimension.
Suppose that X is a complete intersection surface in C n , i.e., X = { f 1 = · · · = f n−2 = 0}. Then, X has a Poisson structure, called the Jacobian Poisson structure, given by the skew-symmetric biderivation ∂(x 1 ,..., x i ,..., x j ,...,x n ) the Jacobian determinant (omitting x i and x j from the denominator). Explicitly, With this modification all of the preceding results generalize without change, except that now the family X t should be defined by picking a generic line C·(c 1 , . . . , c n−2 ) ⊆ C n−2 , and setting X t = { f i = c i } n i=1 ⊆ C n , which will be smooth for generic t. The quasi-homogeneous condition is replaced by the condition that all of the f i be quasihomogeneous with respect to fixed weights a i = |x i | (but the degrees of the f i can be different).
Next, we explain how to generalize to varieties of higher dimension. If X = { f 1 = · · · = f n−k = 0} ⊆ C n is a complete intersection of dimension k ≥ 2, then X is equipped with a canonical skew-symmetric multiderivation X : Given a (k −2)-form α ∈ k−2 (X ), we can associate a vector field, ξ α := i X (dα), which we call the Hamiltonian vector field of α. Let g be the set of all Hamiltonian vector fields on X . We can check that g is a Lie algebra, using the formula [ξ α , ξ β ] = ξ L ξα β [25,Sect. 3.4], which one can check in local coordinates.

Remark 8.15
The vector fields ξ α actually make sense as vector fields on all of C n : since α := d f 1 ∧ · · · ∧ d f n−k ∧ α is a well-defined (n − 1)-form on C n , we obtain ξ α := i ∂ 1 ∧···∧∂ n (d f 1 ∧ · · · ∧ d f n−k ∧ α), a well-defined vector field on C n , which is Hamiltonian on each level set X c 1 ,..., . Thus, the Lie algebra of Hamiltonian vector fields on each X c 1 ,...,c n−k is the same Lie algebra g.
Thus, we can replace HP 0 (O(X )) by (O(X )) g = HP g−D R 0 (X ) and similarly for X t (where now we define X t using a generic line C · (c 1 , . . . , c n−k ) ⊆ C n−k ). Similarly we can replace M(X ) and M(X t ) by M(X, g) and M(X t , g). (In view of Remark 8.15, we have the explicit description (i t ) M(X t , g) = (gD C n + I X t D C n )\D C n .) With this change, all of the results and proofs continue to go through in the same manner.
Finally, since the D-module M(X ) is defined locally, we actually do not need to require that X globally be a complete intersection, only that it locally admits this structure, provided that there is a global skew-symmetric multiderivation X : → O X which is nonvanishing on the smooth locus. We do not require X to be affine. The notion of isolated singularities still makes sense. We can replace the quasi-homogeneous condition by the condition that, at every point x ∈ X , the formal neighborhoodX x of the point is isomorphic to a complete intersection inĈ n 0 defined by quasi-homogeneous functions (with respect fixed weights that can depend on the point x chosen), i.e., that X be formally locally conical.

Relationship to the Bernstein-Sato polynomial
In [14], following a suggestion of the first author, the second author and T. Bitoun relate these results to the theory of the Bernstein-Sato polynomial. Namely, the latter involves the study, for f ∈ C[x 1 , . . . , x n ] = O(C n ) and λ ∈ C, of the left D(C n )module D(C n ) · f λ . Let us recall the definition. Let U := C n \{ f = 0}, so that    This formula was motivated by a similar phenomenon discovered by T. Bitoun in characteristic p > 0: Let f be a polynomial with rational coefficients in n ≥ 3 variables which is absolutely irreducible, i.e., it remains irreducible over C, and assume that { f = 0} has a unique singular point. For a field F let A n F be the affine space over the field F and D(A n F ) be the ring of Grothendieck differential operators on A n F . Then, for p sufficiently large, we can consider the local cohomology D(A n , which turns out to be generated by f −1 (hence fully analogous to D(C n ) · f −1 /O(C n ) in characteristic zero). In [9], it is proved that, for sufficiently large p the length of this D(A n F p )-module is one more than the " p-genus" of the singularity, which is defined as the dimension of the "stable part" of H n−2 (Y p , O Y p ), for Y p the exceptional fiber of a resolution of singularities of X p : where the stable part refers to the intersection of the images of all powers of the Frobenius morphism. See [9,14] for details.
The above results also have a direct application to the Bernstein-Sato polynomial. Recall that the Bernstein-Sato polynomial is defined as the annihilator in C then λ is a root of this polynomial. The converse question is interesting and little is known aside from [43,Proposition 6.2], which says that the converse holds if additionally λ − m is not a root for any positive integer m. The results above imply a converse in the quasi-homogeneous case: Corollary 8.18 [14,52] For f quasi-homogeneous with an isolated singularity and λ ∈ C, if λ is a root of the Bernstein-Sato polynomial, then D(C n )· f λ = D(C n )· f λ+1 .
M. Saito has also demonstrated in [52,Example 4.2] a counterexample to this assertion when the quasi-homogeneity assumption is removed.

Weights on homology of cones
We continue to work over k = C. In Sect. 8.4, we used that if O(X ) is graded (i.e., X admits a C × -action) and Poisson with a homogeneous Poisson bracket (which was the case there for X a quasi-homogeneous surface in C 3 ), then HP 0 (O(X )) is also nonnegatively graded. In this section we explain how in fact HP D R * (X ) is bigraded, and consider its bigraded Hilbert-Poincaré polynomial (i.e., a Laurent polynomial in two variables). We give several examples (without proofs) that demonstrate that one recovers in this way many special polynomials from combinatorics.

Weakly equivariant D-modules and bigrading on Poisson-de rham homology
As Call this grading on i M(X ) the weight grading. In this case, the pushforward under the map π : X → pt is a complex of weight graded vector spaces, since O(V ) is also a graded D(V )-module. Therefore, the Poisson-de Rham homology HP D R * (X ) is bigraded. It is very interesting to compute this grading, which turns out to be closely related to important special polynomials.

Symmetric powers of conical surfaces with isolated singularities
Let Y ⊆ C 3 = Spec[x 1 , x 2 , x 3 ] be a conical surface with singular locus {0}, i.e., Y = { f = 0} where f is quasi-homogeneous with isolated singularities. In this context, n≥0 HP 0 (O(S n Y )) * is again a graded algebra just as in Sect. 7.1, with grading given by n, which we call the "symmetric power." In fact, it is a bigraded algebra, with the additional grading given by the weight on each summand HP 0 (O(S n Y )) * (which will be nonpositive, as it is dual to the nonnegative weight on O(S n Y )). It turns out to be possible to explicitly compute this bigraded vector space: Let be the Jacobi ring (so dim J Y = μ Y is the Milnor number of the singularity at the origin), and let its Hilbert-Poincaré polynomial be In particular, the dimension of HP 0 (O(S n Y )) is a n (μ Y ) (7.3), the number of μ Ymultipartitions of n. Remark 9.5 We put "noncanonical" in parentheses because, unlike in the case of (7.1), we do not construct an explicit isomorphism. Note that the map of (7.1) still makes sense here, but is no longer injective: indeed, if ε n : O(S n Y ) → C is the augmentation map, then the map of (7.1) sends ε 1 t m−1 to ε m for all m, but ε m 1 · · · ε m k = ε m 1 +···+m k in the RHS, which shows that ε 1 &ε 1 and ε 1 t both map to ε 2 . It does not appear that there exists a canonical isomorphism in general. Now let us restrict to the special case where Y ∼ = C 2 / for < SL(2, C) finite, i.e., Y is a du Val singularity. Then, S n Y = C 2n /( n S n ) is a finite linear quotient of a vector space, so the special case of (4.4) with V linear (i.e., [20,Proposition 4.16]), yields the entire structure of M(S n Y ) for every n. We can therefore compute the entire Poisson-de Rham homology, with the help of [50,Theorem 5.1], which tells us in this case that a slight modification of (4.4) is an isomorphism of weakly C × -equivariant D-modules, applying on the right-hand side a shift in weight down by dim Z in each summand. The result is: (9.2) where in the trigrading by symmetric power, weight, and homological degree, |t| = (1, −| f |, 0), |s| = (1, 0, 2), and |u| = (1, −2, 2). Thus on trigraded Hilbert series we obtain: In particular dim HP D R * (S n Y ) = a n (μ Y + 1), the number of (μ Y + 1)-multipartitions of n (where μ Y also equals the number of irreducible representations of ).

The Nilpotent cone
Next let X ⊆ g be the cone of nilpotent elements in a semisimple Lie algebra g. Then, as explained in Example 6.6, HP D R * (X ) ∼ = H dim X − * (T * B), for T * B → X the Springer resolution. This is isomorphic to the cohomology of the flag variety B itself. However, the source HP D R * (X ) has an additional grading given from the dilation action on X . G. Lusztig proposed a formula for the graded Hilbert-Poincaré polynomial [50,Conjecture 8.1]. For W the Weyl group attached to g, and χ an irreducible representation of W , let K g,χ (t) be the generalized Kostka polynomial, 2i (B)). Then, G. Lusztig's suggestion was: h HP D R * (X ); x, y = χ ∈Irrep(W ) K g,χ (x 2 )K g,χ (y −2 ). (9.4) Example 9.9 [13, Example 1.5] Let g = sl n and let χ = h * ⊗ sign ∼ = C n−1 . Consider χ to be (in coordinates) C n /C · (1, 1, . . . , 1), and make the same identification for h * . Let λ ∈ h * reg be the image of (a 1 , . . . , a n ) ∈ C n . Then, the resulting filtration on χ (the Vandermonde filtration) is: F 2i−2 dimB (χ ) is the span of (a j 1 , . . . , a j n ) for j ≤ i.
Finally, we can apply this to the classical W-algebras (see Example 6.7). This uses the Springer correspondence, which associates with every irreducible representation χ of W a pair of a nilpotent coadjoint orbit O χ ⊆ g * and a local system L χ on O χ . Identify g * ∼ = g using the Killing form, so that O χ ⊆ g, which allows us to consider irreducible representations χ such that O χ = G · e.

The hypertoric case
Let X be a hypertoric cone as in Example 6.9, which admits a symplectic resolution. Let A be the associated hyperplane arrangement (in C dim X/2 ) with |A| linear hyperplanes (whose normal vectors span C dim X/2 ). Let A (x, y, b) := A (x, y, b 1 , . . . , b A ) be the polynomial defined by G. Denham in [16] using the combinatorial Laplacian. The above formula is proved via the Tutte polynomial and symplectic leaves, which are interesting in their own right. Let T A (x, y) denote the Tutte polynomial of the arrangement. The symplectic leaves of X are indexed by (coloop-free) flats F ⊆ A, cf. e.g., [51]. For each such we can define the restriction, A F , by intersecting with all the hyperplanes in F, and the localization, A F , by dividing by the intersection of these hyperplanes. Then, the above formula follows from the following one:

Conjectural description for conical symplectic resolutions
Finally, we sketch a conjectural description of the bigrading on HP D R * (X ) in terms of a deformation of resolution (which enhances Conjecture 6.1(b) for conical symplectic resolutions to incorporate the weights). Let ρ : X → X be a projective conical symplectic resolution. Let X → X be a C × -equivariant twistor deformation of ρ over C = Spec C[t] (see Remark 6.8). Note that the degree of t equals the degree of the symplectic form on X ; call this degree d.
Let θ : X → C and θ : X → C be the projections to the base, and let X t := θ −1 (t) and X t := θ −1 (t) be the fibers. By the argument of [56,Sect. 4.2], θ is a topological fiber bundle (thanks to Y. Namikawa for pointing this out). Thus, the family of vector spaces H i ( X t ) is an algebraic vector bundle on C for each i equipped with the Gauss-Manin connection (corresponding to the right D-module H i−dim X θ * X ). Using this connection we can uniquely trivialize the vector bundle (up to an overall scaling) and identify it with H i ( X ) ⊗ C[t]. (Note that the family of varieties X is nontrivial, since X t is affine for generic t but not for t = 0.) Let i cl be the space of holomorphic fiberwise closed differential forms on X , i.e., cycles in the complex of holomorphic differential forms modulo dt, for t the function X → C above. There is a natural map Let K i := coker( ). Then, K i is finite dimensional and concentrated at t = 0. Thus, as a C[t]-module, K i is a direct sum of Jordan blocks C[t]/t φ(i, j) , for j = 1, 2, . . . , dim(H i ( X )) and φ(i, j) ∈ Z ≥0 (where some of the Jordan blocks are allowed to be zero, in which case we set φ(i, j) = 0). Recall that d is the degree of the generic symplectic form on X , which equals the degree of t.

Conjecture 9.12 h(HP D R
The cohomological degree zero case, i.e., h(HP D R 0 (X ); y) = y −d·dim X/2 j y d·φ(dim X, j) , should follow from Conjecture 6.1(a) using the direct interpretation of HP D R 0 (X ) ∼ = HP 0 (O(X )) via functions on X . The difficulty appears to be in relating HP D R i (X ) for i > 0 to fiberwise closed differential forms on the family.

Remark 9.13
Note that the conjecture predicts in particular that HP D R * (X ) lies only in weights which are multiples of d. This is not true in general if X does not admit a symplectic resolution, even if it is a symplectic singularity (and hence has finitely many leaves): in [18,Appendix A], many examples are constructed of X = V /G with V a symplectic vector space and G < Sp(V ) finite, such that HP 0 (O(X )) is nonzero in degree three (the smallest dimension of V in these examples is 12). Since the Poisson bracket on V /G is the one coming from V , having degree −2, in this case we have d = 2 even though the weights are not all even.
We explain how to verify the conjecture in the case of a du Val singularity X ∼ = C/ for < SL(2, C) finite. Then, HP D R * (X ) is only nonzero in degrees zero and two, and where h is the Coxeter number associated with the Dynkin diagram listed in the example (note that h|t| = | f |); this can be seen to be a twistor deformation. Let ω = dx 1 ∧dx 2 ∧dx 3 /d f be the fiberwise generic symplectic form on X (constant in t), and ω be the fiberwise symplectic form on X , which generically is the pullback ρ * ω. Then, we have isomorphisms HP 0 (X ) → H 2 (X t ) for t = 0 given by [g] → [gω]. If g is homogeneous, then gω is a homogeneous form which has degree |g| + |ω| = |g| + d. Therefore, the order of vanishing of [g ω] in cohomology at t = 0 must be precisely |g|/d + 1. It follows that a homogeneous basis of HP 0 (O(X )) produces forms [g ω] which restrict on each fiber t = 0 to a basis of the cohomology and which vanish on cohomology at t = 0 to order precisely |g|/d + 1. This is exactly what is required for the formula to hold. To complete the proof we have only to show that the elements g ω span all fiberwise (closed) two-forms on X modulo fiberwise exact forms. To see this, observe that all fiberwise two-forms on X are of the form g ω for some g ∈ ( X , O X ) = O(X ), and that they are fiberwise exact if and only if Definition A.3 Suppose X is an arbitrary (not necessarily smooth or affine) variety equipped with a closed embedding i : X → V into a smooth variety V . Then, a right D-module on X with respect to i, is defined to be a right D-module on V which is supported on i(X ). It is quasi-coherent if the D-module on V is quasi-coherent.
Remark A. 4 In fact, not every variety admits a closed embedding into a smooth variety, so this definition cannot be used to define D-modules on arbitrary varieties.
In the case that X is affine, this definition does not depend on the choice of closed embedding up to canonical equivalence because of the following theorem of Kashiwara. Given a closed embedding i : Z → V of smooth varieties, let mod Z − D V denote the category of right D V -modules supported on i(Z ). Then, there are functors i : mod − D Z → mod Z − D V and i : mod Z − D V → mod − D Z , given by, for i • and i • the direct and inverse image of sheaves of vector spaces, with canonical right D-module structures.
Theorem A.5 Suppose that i : Z → V is a closed embedding of smooth varieties. Then, the functors i and i above are mutually quasi-inverse equivalences.
Theorem A.6 Let X be an arbitrary variety. Suppose that i 1 : X → V 1 and i 2 : X → V 2 are two closed embeddings with V 1 , V 2 smooth, and that there exists a third smooth variety V 3 together with a commuting diagram of closed embeddings, Then, the functors i 23 • (i 13 ) and i 13 • (i 23 ) define mutually inverse equivalences between the categories of quasi-coherent right D-modules on X with respect to i 1 and i 2 . Moreover, this does not depend on the choice of i 3 and V 3 , and the composition of the equivalences from i 1 to i 2 to i 3 and back to i 1 is the identity functor.
In the case that X is an affine variety, there always exists an embedding X → V into an affine space, and given two such embeddings X → V 1 and X → V 2 we can always find a third affine space V 3 such that we obtain a commuting diagram of embeddings as above. Therefore we conclude: Corollary A.7 If X is an affine variety, there is a category D−mod X of quasi-coherent D-modules on X which is canonically equivalent to the category of quasi-coherent right D-modules on V supported on i(X ) for every choice of closed embedding i : X → V with V an affine space (or a smooth affine variety).
Gluing these categories together by Theorem A.6, we obtain a canonical category on general varieties: For a general variety, we can define the global sections functor on D-modules by gluing the functor on affine varieties (which by definition embed into smooth varieties). This is well defined since, for U 1 ⊆ U 2 affine, D (U 1 , M| U 1 ) = D (U 2 , M| U 2 ) ⊗ O(U 2 ) O(U 1 ). We therefore obtain an O(X )-module, D (X, M), for an arbitrary variety X . In the case X embeds into a smooth variety, we recover the same answer as before (by restricting the embedding to affine subvarieties). We caution, however, that even when X is affine, the global sections functor is not in general exact.
Next, given any (not-necessarily smooth) variety X , there is a canonical quasicoherent D-module, denoted by D X , such that Hom(D X , N ) = D (X, N ) for all D-modules N on X , i.e., D X represents the functor of global sections. It may be defined as follows. Given any open (affine) subset U ⊆ X and closed embedding i : U → V into a smooth variety, let I U be the ideal sheaf of i(U ). Then, we have the D-module I U · D V \D V supported on i(U ), and we may set D U := i (I U · D V \D V ). One may check explicitly that the definition does not depend on the choice of closed embedding and that Hom(D U , N ) = D (U, N ) for all D-modules N on U . Moreover, the definition is local: D U 1 = D U 2 | U 1 for U 1 ⊆ U 2 . We see therefore that these glue to a D-module, D X , on X . (Note that for quasi-projective varieties one need not worry about gluing, taking U = X .) Even when X is affine, this D-module is not, in general, projective, which explains why the global sections functor is not, in general, exact.
In the case that X is smooth, we can use the identity embedding X → X and consider D-modules to be modules over the ring of differential operators. In this case D X identifies with the sheaf of differential operators on X as a right module over itself. In general, though, D X is only given by an assignment to each open affine subset U ⊆ X together with an embedding U → V into an affine space of a sheaf D U on V (which by Kashiwara's equivalence does not depend on the embedding); so we cannot compare D X with the sheaf of rings of differential operators on X , as the two are different types of objects.
If X is affine, it is actually true, although nontrivial, that the global sections D (D X ) = Hom(D X , D X ) of D X identify with Grothendieck's ring of differential operators on X , but it is still not true that quasi-coherent D-modules are the same as right modules over this ring. In fact, for general singular affine varieties X , the category of D-modules on X need not be equivalent to the category of modules over any ring.

A.3 Holonomic D-modules
Definition A.11 A coherent right D-module on a smooth affine variety V is a finitelygenerated quasi-coherent right D(V )-module. A coherent D-module M on an arbitrary affine variety X is one such that, for any (equivalently every) closed embedding i : X → V into a smooth affine variety, the corresponding D-module on V supported on i(X ) is coherent. A coherent D-module M on an arbitrary variety X is one such that the restriction of M to every open affine subset U ⊆ X is coherent. Definition A. 13 Given a coherent right D-module M on a smooth affine variety V equipped with a good filtration, the characteristic variety, Ch(M), is defined to be the set-theoretic support of grM over T * V .
One can check that the characteristic variety does not depend on the choice of good filtration. (This follows from [36,Theorem 2.13].) This allows one to extend the notion of characteristic variety to the not-necessarily affine case, since the characteristic variety is defined locally. We conclude that every coherent right D-module on a smooth variety has a well-defined characteristic variety.
Definition A.14 A (nonzero) holonomic right D-module on a smooth irreducible variety V is a coherent right D-module whose characteristic variety has dimension equal to the dimension of V .
In fact, the characteristic variety is well known to be a coisotropic subvariety of T * V (by a theorem of Sato, Kawai, and Kashiwara [55]; see also [26]), so the (nonzero) D-module is holonomic if and only if this is Lagrangian (and hence has the minimal possible dimension). By convention, the zero module is also holonomic.

A.4 Direct and inverse image
Given a map f : X → Y of smooth varieties, we have natural functors f ! : These are not, in general, the derived functors of any functors on abelian categories. However, when f is affine, f * is the derived functor of a right exact functor, and when f is an open embedding, f * is the derived functor of a left exact functor (and in this case f ! is the exact restriction functor). In particular, if f is a closed embedding, then f * is the derived functor of the exact functor f (now viewed as having target equal to all quasi-coherent D-modules on Y ). Also, when f is a closed embedding, f ! is the derived functor of a left exact functor (which is given by the same definition as f , now defined on all D-modules on Y rather than merely those set-theoretically supported on f (X )). In particular, when f is a closed embedding, f * coincides with f (more precisely, f M is the cohomology of f * M), and f ! coincides with f on D-modules supported on f (X ) (more precisely, f M is the cohomology of f ! M if M is supported on f (X )). The definitions are: Therefore, we can make the following definition: Observe that when X is a point, a holonomic D-module is merely a finitedimensional vector space (since finite generation reduces to finite dimensionality, and the support condition is trivial). We therefore deduce: Corollary A. 19 If M is a complex of quasi-coherent D-modules on a variety X with holonomic cohomology and π : X → pt is the projection, then π * M is a complex with finite-dimensional cohomology. In particular, if M is a holonomic D-module, then H 0 π * M is a finite-dimensional vector space.