Injectivity of the cycle map for finite-dimensional W-algebras

We study a cycle map defined on finite-dimensional modules for the W-algebra with regular integral central character. By comparison with the theory in positive characteristic, we show that this map injects into the top Borel–Moore homology group of a Springer fiber. This is the first result in a larger program to completely describe the finite-dimensional modules for the W algebras.