1: \begin{abstract}

2: 

3: Affine $\sW$-algebras are a somewhat complicated family of (topological)

4: associative algebras associated with a semisimple Lie algebra, quantizing

5: functions on the algebraic loop space of Kostant's slice. They have

6: attracted a great deal of attention in geometric

7: representation theory because of Feigin-Frenkel's duality

8: theorem for them, which identifies $\sW$-algebras for a Lie algebra and

9: its Langlands dual through a subtle construction.

10: 

11: The main result of this paper is an affine version of Skryabin's theorem,

12: describing the category of modules over the $\sW$-algebra in simpler

13: categorical terms. But unlike the classical story, 

14: it is essential to work with derived categories in the affine setting.

15: 

16: One novel feature is the use of geometric techniques to

17: study $\sW$-algebras: the theory of $D$-modules on the loop group

18: and the geometry of the affine Grassmannian are indispensable tools. 

19: These are used to give an infinite family

20: of affine analogues of the Bezrukavnikov-Braverman-Mirkovic theorem, providing a geometric version of Rodier's

21: compact approximation to the Whittaker model from the arithmetic setting.

22: We also use these methods to generalize

23: Beraldo's theorem identifying Whittaker invariants and Whittaker coinvariants, extending his result

24: from $GL_n$ to a general reductive group. 

25: At integral level, these methods seem to have deep 

26: intrinsic meaning in the local geometric Langlands program. 

27: 

28: The theory developed here provides systematic proofs

29: of many classical results in the subject.

30: In particular, we clarify the

31: exactness properties of the quantum 

32: Drinfeld-Sokolov functor. 

33: 

34: \end{abstract}

35: