1: \begin{abstract}

2:   We prove a conjecture which expresses the bigraded Poisson-de Rham

3:   homology of the nilpotent cone of a semisimple Lie algebra in terms

4:   of the generalized (one-variable) Kostka polynomials, via a formula

5:   suggested by Lusztig. This can be viewed as a bigrading on the

6:   cohomology of the flag variety; via W-algebras, we similarly obtain

7:   bigradings on the cohomology of all Springer fibers.  In particular,

8:   this computes the grading on the zeroth Poisson homology of all

9:   classical finite W-algebras as well as the filtration on the zeroth

10:   Hochschild homology of all quantum finite W-algebras, and we

11:   generalize to all homology degrees.  Via the Springer correspondence, our

12:   result produces a graded multiplicity space isomorphic to every

13:   irreducible representation of the Weyl group with Hilbert series

14:   given by the Kostka polynomial.  As a consequence, we deduce a

15:   conjecture of Proudfoot on symplectic duality, relating in type A

16:   the Poisson homology of Slodowy slices to the intersection

17:   cohomology of nilpotent orbit closures. We also give an analogue of

18:   our main theorem in the setting of mirabolic D-modules.

19:   % More generally, we compute the weakly equivariant $D$-module

20:   % defined by the second author and Etingof, proving a conjecture of

21:   % the second author and Proudfoot, which via the Springer

22:   % correspondence, produces a grading on irreducible representations

23:   % of the Weyl group with Hilbert series given by the Kostka

24:   % polynomial.  As consequences, we compute the bigrading on the

25:   % Poisson-de Rham homology of finite $W$-algebras, the filtration on

26:   % the zeroth Hochschild homology of \emph{all} finite quantum

27:   % $W$-algebras, as well as on all Hochschild (co)homology for

28:   % regular finite quantum $W$-algebras.

29: \end{abstract}

30: