arxiv: v1 [math.rt] 5 Nov 2018

Transcription

1 CHIRAL ALGEBRAS OF CLASS S AND MOORE-TACHIKAWA SYMPLECTIC VARIETIES arxiv: v1 [math.rt] 5 Nov 2018 TOMOYUKI ARAKAWA Abstract. We give a functorial construction of the genus zero chiral algebras of class S, that is, the vertex algebras corresponding to the theory of class S associated with genus zero pointed Riemann surfaces via the 4d/2d duality discovered by Beem, Lemos, Liendo, Peelaers, Rastelli and van Rees [BLL + ]. We show that there is a unique family of vertex algebras satisfying the required conditions and show that they are all simple and conformal. In fact, our construction works for any complex semisimple group G that is not necessarily simply laced. Furthermore, we show that the associated varieties of these vertex algebras are exactly the genus zero Moore-Tachikawa symplectic varieties [MT] that have been recently constructed by Braverman, Finkelberg and Nakajima [BFN2] using the geometry of the affine Grassmannian for the Langlands dual group. 1. Introduction Let G be a simply connected semisimple linear algebraic group over C, g = Lie(G). In [BFN2], Braverman, Finkelberg and Nakajima have constructed a new family of the (possibly singular) symplectic varieties W b G = SpecH Ǧ[[t]] (GrǦ,i! ( b k=1 A R)), b Z 1, equipped with a Hamiltonian action of b k=1g. Here Ǧ is the Langlands dual group of G, GrǦ is the affine Grassmannian for Ǧ, i : GrǦ b k=1grǧ is the diagonal embedding and A R is the perverse sheaf corresponding to the regular representation O(G) of G under the geometric Satake correspondence [MV]. These symplectic varieties satisfy the following properties: WG b=1 = G S, WG b=2 = T G, (WG b Wb G )/// (G) = W b+b 2 G, where S is a Kostant-Slodowy slice in g and the left-hand side in the last isomorphism is the symplectic reduction of WG b Wb G with respect to the diagonal action of G. The existence of the symplectic varieties satisfying the above conditions was conjectured by Moore and Tachikawa [MT] and WG b is called a (genus zero) Moore-Tachikawa symplectic variety. We note that WG b is conical for b 3. In this article we perform a chiral quantization of the above construction. More precisely, we construct a family of vertex algebras VG,b S, b Z 1, equipped with a vertexalgebrahomomorphism(chiralquantummomentmap) b i=1 V κc (g) VG,b S This work is partially supported by JSPS KAKENHI Grant Number No and No

2 2 TOMOYUKI ARAKAWA satisfying the following properties: (1) VG,b=1 S = HDS 0 (Dch G ), VS G,b=2 = DG ch, (2) H 2 +i (ĝ κg,g,vg,b V S G,b S ) = δ i,0 VG,b+b S 2 (associativity), where V κc (g) is the universal affine vertex algebra associated with g at the critical level κ c, HDS 0 (?) is the quantized Drinfeld-Sokolov reduction functor [FF1], Dch G is the algebra of the chiral differential operators [MSV, BD] on G at κ c, ĝ κg is the affine Kac-Moody algebra associated with g and the minus of the Killing form κ g of g, H 2 + (ĝ κg,g,vg,b S VS G,b ) is the relative semi-infinite cohomology with coefficients in VG,b S VS G,b, which can be regarded as an affine analogue of the Hamiltonian reduction with respect to the diagonal G-action, see (73), (74), (75) and Theorem for the details. We show that VG,b S, b Z 1, is the unique family of the vertex algebra objects in KL b that satisfies the conditions (1) and (2) (Remark 11.11) and that they are all simple and conformal (Theorem 11.4 and Proposition 11.7). The central charge of VG,b S is given by bdimg (b 2)rkg 24(b 2)(ρ ρ ), and the character of VG,b S is given by the following formula (Proposition 11.5): tr V S G,b (q L0 z 1 z 2...z b ) = q λ,ρ b 2 (1 q j ) rkg j=1 b (3) (1 q λ+ρ,α ) tr Vλ (q D z k ), λ P + k=i α + where (z 1,...,z b ) T b, T is the maximal torus of G, + is the set of positive roots of g, ρ = 1 2 α + α, ρ = 1 2 α + α, P + is the set of integrable dominant weights of g, V λ is the Weyl module of the affine Kac-Moody algebra ĝ κc at κ c with highest weight λ, and D is the standard degree operator of the affine Kac-Moody algebra that acts as zero on the highest weight of V λ. Our construction is an affine analogue of that of Ginzburg and Kazhdan [GK]. In the case that G is simply laced, the above stated results were conjectured by Beem, Lemos, Liendo, Peelaers, Rastelli and van Rees [BLL + ], and Beem, Peelaers, Rastelli and van Rees [BPRvR] in the theory of the 4d/2d duality in physics discovered in [BLL + ], as we explain below. The 4d/2d duality [BLL + ] associates a conformal vertex algebra V T to any fourdimensional N = 2 superconformal field theory (4d N = 2 SCFT) T. There is a distinguished class of 4d N = 2 SCFTs called the theory of class S [Gai, GMN], which is labeled by a complex semisimple group G and a pointed Riemann surface Σ. The vertex algebras associated to the theory of class S by the 4d/2d duality are called the chiral algebras of class S. The vertex algebra VG,b S constructed in this article is exactly the chiral algebra of class S corresponding to the group G and a b-pointed Riemann surface of genus zero. Chiral algebras of class S associated with higher genus Riemann surfaces are obtained by glueing VG,b S s and such a gluing procedure is described in terms of 2d TQFT whose targets are vertex algebras ([BPRvR]), which is well-defined by the properties (1) and (2), see [Tac1, Tac2] for mathematical expositions. It is known that 4d N = 2 SCFTs have several important invariants (or observables). One of them is the Schur index, which is a formal series. The 4d/2d duality [BLL + ] is constructed in such a way that the Schur index of a 4d N = 2

3 CHIRAL ALGEBRAS OF CLASS S AND SYMPLECTIC VARIETIES 3 SCFT T is obtained as the character of the corresponding vertex algebra V T. A recent remarkable conjecture of Beem and Rastelli [BR] states that we can also recover the geometric invariant Higgs(T) of T, called the Higgs branch, which is a possibly singular symplectic variety, from the vertex algebra V T. More precisely, they expect that we have an isomorphism (4) Higgs(T) = X VT of Poisson varieties for any 4d N = 2 SCFT T, where X V is the associated variety [A3] of a vertex algebra V, see [A6] for a survey. In this paper we also prove the conjecture (4) for the genus zero class S theories. For the theory of class S, the corresponding Higgs branches are exactly 1 the Moore-Tachikawa symplectic varieties that have been constructed mathematically as explained above ([BFN2]). Therefore showing the isomorphism between the Higgs branches and the associated varieties is equivalent to the following statement (Theorem 11.13): (5) X V S G,b = W b G for all b 1. Inotherwords,VG,b S isachiral quantization(definition2.1)ofthemoore-tachikawa symplectic variety WG b. Note that this in particular proves that the associated variety of VG,b S is symplectic for all b 1. We remark that there is a close relationship between the Higgs branches of 4d N = 2 SCFTs and the Coulomb branches [BFN1] of 3dN = 4 SUSY gaugetheories. Indeed, it is known [BFN2, Theorem 5.1] in type A that the Moore-Tachikawa variety WG b is isomorphic to the Coulomb branch of a star shaped quiver gauge theory. In view of [BR], we conjecture that VG,b S is quasi-lisse ([AK]), that is, Wb G has finitely many symplectic leaves for all b 1. Although it is very difficult to describe the vertex algebra VG,b S explicitly in general, conjectural descriptions ofvg,b S havebeen givenin severalcases in [BLL+ ], and it is possible to confirm them using Remark For instance, VG=SL S 2,b=3 is isomorphic to the βγ-system SB((C 2 ) 3 ) associated with the symplectic vector space WG=SL b=3 2 = (C 2 ) 3 (Theorem A.1); VG=SL S 2,b=4 is the simple affine vertex algebra L 2 (D 4 ) associated with D 4 at level 2 (Theorem A.2). The statement (5) for G = SL 2, b = 4 reproves the fact [AMor1] that X L 2(D 4) is isomorphic to the minimal nilpotent orbitclosureo min in D 4, and (2) givesanon-trivialisomorphism L 2 (D 4 ) = H 2 +0 ((ŝl 2) 4,sl 2,SB((C 2 ) 3 ) SB((C 2 ) 3 )) that was conjectured in [BLL + ]. Also, (3) provides a non-trivial identity of the normalized character [KT] of L 2 (D 4 ), whose homogeneous specialization is known to be E 4(τ)/240η(τ) 10 ([AK]). It would be interesting to compare (3) with [KW, Conjecture 3.4]. In general, VG,b S is a W-algebra in the sense that it is not generated by a Lie algebra, and the associativity isomorphism (2) provides non-trivial isomorphisms involving such vertex algebras. 1 There is a subtlety for higher genus cases due to the non-flatness of the moment map.

4 4 TOMOYUKI ARAKAWA Acknowledgments. The author is grateful to Christopher Beem, Boris Feigin, Michael Finkelberg, Davide Gaiotto, Victor Ginzburg, Madalena Lemos, Victor Kac, Anne Moreau, Hiraku Nakajima, Takahiro Nishinaka, Wolfger Peelaers, Leonardo Rastelli, Shu-Heng Shao, Yuji Tachikawa for very useful discussions. The results in this paper has been announced in part in Conference in Finite Groups and Vertex Algebras dedicated to Robert L. Griess on the occasion of his 71st birthday, Academia Sinica, Taiwan, August 2016, 60th Annual Meeting of the Australian Mathematical Society, Camberra, December 2016, Exact operator algebras in superconformal field theories, Perimeter Institute for Theoretical Physics, Wateloo, December 2016, 7th Seminar on Conformal Field Theory, Darmstadt, February 2017, Representation Theory XV, Dubrovnik, June 2017, Affine, Vertex and W-algebras, Rome, December 2017, The 3rd KTGU Mathematics Workshop for Young Researchers, Kyoto, February 2018, Gauge theory, geometric langlands and vertex operator algebras, Perimeter Institute for Theoretical Physics, Waterloo, March 2018, Vertex Operator Algebras and Symmetries, RIMS, Kyoto, July 2018, Vertex algebras, factorization algebras and applications, IPMU, Kashiwa, July 2018, The International Congress of Mathematics, Rio de Janeiro, August, 2018, Workshop on Mathematical Physics, ICTP-SAIFR, São Paulo, August 2018, and Geometric and Categorical Aspects of CFTs, the Casa Matemática Oaxaca, September He thanks the organizers of these conferences and apologies for the delay of the paper. The author is partially supported in part by JSPS KAKENHI Grant Numbers 17H01086, 17K Vertex algebras and associated varieties A vertex algebra [Bor] consists of a vector space V with a distinguished vacuum vector 0 V and a vertex operation, which is a linear map V V V((z)), written a b a(z)b = ( n Z a (n)z n 1 )b, such that the following are satisfied: (Unit axioms) ( 0 )(z) = id V and a(z) 0 a+zv[[z]] for all a V. (Locality) (z w) n [a(z),b(w)] = 0 for a sufficiently large n for all a,b V. The operator : a a ( 2) 0 is called the translation operator and it satisfies ( a)(z) = [,a(z)] = z a(z). The operators a (n) are called modes. For elements a,b of a vertex algebra V we have the following Borcherds identity for any m,n Z: ( ) m (6) (a j (j) b) (m+n j), (7) [a (m),b (n) ] = j 0 (a (m) b) (n) = j 0 ( 1) j ( m j ) (a (m j) b (n+j) ( 1) m b (m+n j) a (j) ). By regarding the Borcherds identity as fundamental relations, representations of a vertex algebra are naturally defined (see [Kac2, FBZ] for the details). We write (6) as a(z)b(w) j 1 1 (z w) j(a (j)b)(w) and call it the operator product expansion (OPE) of a and b

5 CHIRAL ALGEBRAS OF CLASS S AND SYMPLECTIC VARIETIES 5 For a vertex algebra V, let V op denote the opposite vertex algebra of V, that is, the vertex algebra V equipped with the new vertex operation a(z) op b = a( z)b and the new translation operator op =. A vertex algebra V is called commutative if the left side (or the right side) of (6) are zero for all a,b V, m,n Z. If this is the case, V can be regarded as a differential algebra (=a unital commutative algebra with a derivation) by the multiplication a.b = a ( 1) b and the derivation. Conversely, any differential algebra can be naturally equipped with the structure of a commutative vertex algebra. Hence, commutative vertex algebras are the same 2 as differential algebras ([Bor]). For an affine scheme X, let J X be the arc space of X that is defined by the functor of points Hom(SpecR,J X) = Hom(SpecR[[t]],X) for all C-algebra R. The ring C[J X] is naturally a differential algebra, and hence is a commutative vertex algebra. In the case that X is a Poisson scheme, C[J X] has [A3] the structure of a Poisson vertex algebra, see [FBZ, 16.2], [Kac3] for the definition of Poisson vertex algebras. It is known by Haisheng Li [Li] that any vertex algebra V is canonically filtered, and hence can be regarded as a quantization of the associated graded Poisson vertex algebra grv = p Fp V/F p+1 V, where F V is the canonical filtration of V. By definition, F p V = span C {(a 1 ) ( n1 1)...(a r ) ( nr 1) 0 a i V, n i 0, i n i p}. A vertex algebra is called good if the filtration F V is separated, that is, p Fp V = 0. For instance, any positively graded vertex algebra is good. The scheme Spec(grV) is called the singular support of V and is denoted by SS(V). The subspace R V := V/F 1 V = F 0 V/F 1 V grv is called Zhu s C 2 -algebra of V. The Poisson vertex algebra structure of grv restricts to a Poisson algebra structure of R V, which is given by ā. b = a ( 1) b, {ā, b} = a (0) b, where ā is the image of a V in R V. The associated variety of V is by definition the Poisson variety X V = Specm(R V ) and the associated scheme of V is the Poisson scheme X V = Spec(R V ) ([A3]). We have a surjective homomorphism (8) O(J XV ) grv of Poisson vertex algebras which is the identity map on R V ([Li, A3]). Definition 2.1. Let X = SpecR be an affine Poisson scheme. A chiral quantization of X is a good vertex algebra V such that X V = X as Poisson varieties. A strict chiral quantizationofx isachiralquantizationofx suchthat(8)isanisomorphism so that the singular support of V identifies with J X. 2 However, the modules of a commutative vertex algebra are not the same as the modules as a differential algebra.

6 6 TOMOYUKI ARAKAWA Theorem 2.2 ([AMor2]). Let V be a good vertex algebra such that X V is a reduced, smooth symplectic variety. Then gr V is simple as vertex Poisson algebras; V is simple; V is a strict chiral quantization of XV. Let φ : V W be a vertex algebra homomorpshim. Then φ(f p V) F p W, and φ induces a homomorphism of vertex Poisson algebras grv grw, which we denote by grφ. It restricts to a Poisson algbera homomorphism R V R W, and therefore induces a morphism X W X V of Poisson varieties. A vertex algebra is called conformal if there exists a vector ω, called the conformal vector, such that the corresponding field ω(z) = n Z L nz n 2 satisfies the following conditions: (1) [L m,l n ] = (m n)l m+n + m3 m 12 δ m+n,0 cid V, where c is a constant called the central charge of V; (2) L 0 acts semisimply on V; (3) L 1 =. For a conformal vertex algebra V we set V = {v V L 0 v = V}, so that V = V, and write a = if a V. A conformal vertex algebra is called conical if V = 0 unless 1 m Z 0 for some m Z 1 and V 0 = C ([AK]). For a conformal vertex algebra V = V, one defines Zhu s algebra [FYZ] Zhu(V) of V by Zhu(V) = V/V V, V V = span C {a b a,b V}, where a b = ( ) a i 0 a i (i 2) b for a V a. The algebra Zhu(V) is a unital associative algebra by the multiplication a b = ( ) a i 0 a i (i 1) b. The grading of V gives a filtration on Zhu(V) which makes it almost-commutative, and there is a surjective map (9) R V grzhu(v) of Poisson algebras. The map (9) is an isomorphism if V admits a PBW basis ([A5]). For a vertex subalgebra W of V, let Com(V,W) = {v V [v (m),w (n) ] = 0 w W, n Z} = {v V w (n) v = 0 w W, n 0}. Then Com(V,W) is a vertex subalgebra of V, called a coset vertex algebra, of a commutant vertex algebra ([FYZ]). The vertex subalgebras W 1 and W 2 are said to form a dual pair in V if W 1 = Com(W 2,V) and W 2 = Com(W 1,V). The coset vertex algebra Com(V,V) is called the center of V and is denoted by Z(V). Let a be a finite-dimensional Lie algebra. For an invariant symmetric bilinear form κ on a, let â κ be the corresponding Kac-Moody affinization of a: â κ = a((t)) C1, where the commutation relation of â κ is given by Define [xf,yg] = [x,y]fg +Res t=0 (gdf)κ(x,y)1, [1,â κ ] = 0. V κ (a) = U(â κ ) U(a[[t]] C1) C,

7 CHIRAL ALGEBRAS OF CLASS S AND SYMPLECTIC VARIETIES 7 where C is the one-dimensional representation of a[t]] C1 on which a[[t]] acts trivially and 1 acts as the identity. There is a unique vertex algebra structure on V κ (a) such that 0 = 1 1 is the vacuum vector and x(z) = n Z(xt n )z n 1, for z a, where on the left-hand-side we have regarded g as a subspace of V κ (a) by the embedding g V κ (a), x (xt 1 ) 0. The vertex algebra V κ (a) is a strict chiral quantization of a and is called the universal affine vertex algebra associated with a at level κ. Note that we have V κ (a) op V κ (a), x x, (x a). A V κ (a)-module is the same as a smooth ĝ κ -module, that is, a ĝ κ -module M such that xt n m = 0 for n 0 for all x g, m M. 3. Some variants of Chiral Hamiltonian reductions For an algebraic group G and an G-scheme X, let QCoh G (X) be the category of quasi-coherent sheaves on X equivariant under the adjoint action of G. When X is affine we do not distinguish between a coherent sheaf on an affine scheme and the module of its global sections. Let G be a simply connected semisimple algebraic group, g = Lie(G). An object of QCoh G (g ) is the same as a Poisson O(g )-module on which the adjoint action of g is locally finite. A Poisson algebra object in QCoh G (g ) is a Poisson algebra R equipped with a Poisson algebra homomorphism µ R : O(g ) R such that the adjoint action of g is locally finite. If R is a Poisson algebra object in QCoh G (g ), X = Spec(R) is a G-scheme and the G-equivariant morphism µ R : X g is a moment map for the G-action. We denote by R op the Poisson algebra object in QCoh G (g ) with the opposite Poisson structure, X op = SpecR op. We have µ R op = µ R. Let R be a Poisson algebra object in QCoh G (g ), X = SpecR. Suppose that the moment map µ X : X g is flat, and that there exists a closed subscheme S of X such that the action map G S X, (g,s) gs, is an isomorphism of G-schemes. Then O(S) = O(X) G is a Poisson subalgebra of O(X), and hence S is a Poisson subvariety of X. Let R be an another Poisson algebra object in QCoh G (g ), X = SpecR, µ X : X g, the moment map. Then R op R is a Poisson algebra object in QCoh G (g ) with the moment map µ : X op X g, (x,x ) µ X (x) + µ X (x ) for the diagonal G-action. Since µ X is flat, so is µ. Moreover, µ 1 (0) = X g X = G (S g X ), where S g is the restriction of µ X to S. Hence, the Hamiltonian reduction (X op X )/// (G) is well-defined, and we have (10) (X op X )/// (G) = µ 1 (0)/G = S g X. According to [KS, Kuw], this construction is realized by a BRST cohomology as follows. Let Cl(g) be the classical Clifford algebra associated with g g, which is a Poisson superalgebra generated by odd elements ψ i, ψ i, i = 1,...,dimg, with the relations { ψ i, ψ j } = δ ij, { ψ i, ψ j } = { ψ i, ψ j } = 0. For a Poisson algebra object A in QCoh G (g ), set C(g cl,a) = A Cl(g).

8 8 TOMOYUKI ARAKAWA Then C(g cl,a) is naturally a Poisson superalgebra. Define the odd element Q = dimg i=1 µ A (x i ) ψ i ck ij ψ i ψ j ψ k C(g cl,a), where {x i } is a basis of g and c k ij is the corresponding structure constant. Then { Q, Q} = 0, andhence, (ad Q) 2 = 0. It followsthat(c(g cl,a),ad Q) isadifferential graded Poisson algebra, where its grading is defined by dega = for a A, degψi = 1, degψ i = 1. The corresponding cohomology is denoted by H 2 + (g cl,a), which is naturally a Poisson superalgebra. We have (11) H 2 + (g,r op R) = O((X op X )/// (G)) H (g,c) aspoissonsuperalgebras([kuw]). NotethatH (g,c)isisomorphictothederham cohomology ring H DR (G) of G, and to the ring of invariant forms (g ) g. In particular, H 2 +0 (g,r op R) = 0 for i < 0 or i > dimg, and H 2 +0 (g,r op R) = O((X op X )/// (G)) = O(S) O(g )R = R S as Poisson algebras. More generally, for M Coh G (g ), C(g cl,r op M) = R op M Cl(g) is naturally a differential graded Poisson C(g cl,r op O(g ))-module. The corresponding cohomology H 2 + (g,r op M)isaPoissonmoduleoverH 2 + (g cl,r op O(g )) = O(S) H (g,c), and we have H (g cl,r op M) = ( O(S) O(g )M ) H (g,c). The arc space J G of G is the proalgebraic group G[[t]], and the Lie algebra J g of J G equals to g[[t]]. An object M of Coh J G (J g ) is the same as a Poisson vertex O(J g )-module on which the action of J g is locally finite. A Poisson vertex algebra object in QCoh J G (J g ) is a Poisson vertex algebra V equipped with a Poisson vertex algebra homomorphism µ V : O(J g ) V on which the action of J g is locally finite. If V is a Poisson vertex algebra object in QCoh J G (J g ), Spec(V) is a J G-scheme. The J G-equivariant morphism µ V : SpecV J g is called the chiral moment map. For a Poisson algebra object R in QCoh G (g ), J R := O(J SpecR) is a Poisson vertex algebra object in QCoh J G (J g ) with the chiral moment map (J µ R ). For a Poisson algebra object V in QCoh J G (J g ), set C cl (ĝ cl,v) = V 2 + (g), where 2 + (g) is the Poisson vertex superalgebra generated by odd elements ψ i, ψ i, i = 1,...,dimg, with λ-brackets (see [Kac3]) {( ψ i ) λ ψ j } = δ ij, {( ψ i ) λ ψ j } = {( ψ i ) λ ψ j } = 0. Set Q cl = dimg i=1 µ V (x i ) ψ i ck ij ψ i ψ j ψ k C(ĝ cl,v). Then (Q cl (0) )2 = 0, and (C(ĝ cl,v),q cl (0) ) is a differential graded Poisson vertex algebra, where its cohomologicalgrading is defined by dega = for a V, deg n ψ i = 1, deg n ψ i = 1, n 0. The corresponding cohomology H 2 + (ĝ cl,v) is naturally a Poisson vertex superalgebra. Let X = G S be as above. Then J X = J G J S. Assume further that the chiral moment map J µ X : J X J g is flat. For a vertex Poisson algebra object V in QCoh J G (J g ), O(J X op ) V is a vertex Poisson algebra

9 CHIRAL ALGEBRAS OF CLASS S AND SYMPLECTIC VARIETIES 9 object in QCoh J G (J g ) with chiral moment map ˆµ : J X op SpecV J g, (x,y) J µ X (x) + µ V (y). We have ˆµ 1 (0) = J X J g SpecV = J G (J S J g SpecV). It follows in the same way as (11) that (12) H 2 + (ĝ cl,o(j X op ) V) = (O(J S) J g V) H (g,c). In particular, if R is an Poisson algebra object in Coh G (g ), then (13) H 2 + (ĝ cl,o(j X op J X )) = O(J ((X op X)/// (G))) H (g,c). More generally, the same argument gives that (14) H 2 + (ĝ cl,o(j X op ) M) = ( O(J S) O(J g )M ) H (g,c) for any M Coh J G (J g ). Let κ be an invariant symmetric bilinear form on g. Denote by KL κ the full subcategory of the category of graded V κ (g)-modules consisting of objects M on which g[[t]]t acts locally nilpotently and g acts locally finitely. For λ P +, let V κ λ = U(ĝ κ) U(g[t] C1) Vλ κ KL κ, where V λ is the irreducible finite-dimensional representation of g with highest weight λ. Note that V κ 0 = V κ (g) as ĝ κ -modules. Let KL ord κ be the full subcategoryof KL κ consistingof objects that arepositively gradedand each homogenoussubspaces arefinite-dimensional. For M KL ord κ, the Li filtration F M is separated. Note that any object of KL κ is an inverse limit of objects of KL ord κ. A vertex algebra object in KL κ is a vertex algebra V equipped with a vertex algebra homomorphism µ V : V κ (g) V such that V is a direct sum of objects in KL ord κ as a V κ (g)-module. The map µ V is called the chiral quantum moment map. Let V be a a vertex algebra object in KL κ. Then V is good, and R V and grv are a Poisson algebra object in QCoh G (g ) and a Poisson vertex algebra object in QCoh J G (J g ), respectively. A conformal vetex algebra object in KL κ is a vertex algebra object V in KL κ which is conformal with conformal vector ω V and µ V (x) is primary with respect to ω V for all x g V κ (g), that is, (ω V ) (n) µ V (x) = 0 for n 2. If V is a vertex algebra object in KL κ, V op is also an vertex algebra object in KL κ with µ V op(x) = µ V (x) for x g. Let κ g be the Killing form of g. For a vertex algebra object in KL κg, let C(ĝ κg,v) = V 2 + (g), where 2 + (g) is the vertex superalgebra generated by odd elements ψ i, ψi, i = 1,...,dimg, with OPEs ψ i (z)ψj δij (w) z w, ψ i(z)ψ j (w) ψi (z)ψ j (w) 0. The vertex algebra 2 + (g) is conformal of central charge 2dimg. We have 2 + (g) = (g), + (g (g) 0 = ). Set Q = dimg i=1 Z 0 µ V (x i ) ψ i ck ijψ iψ jψ k C(ĝ κg,v). Then (Q (0) ) 2 = 0, and (C(ĝ κg,v),q (0) ) is a differential graded vertex algebra, where its cohomological grading is defined by dega = for a V, deg n ψ i = 1,

10 10 TOMOYUKI ARAKAWA deg n ψ i = 1, n 0. The corresponding cohomology H 2 + (ĝ κg,v) is the semi-infinite ĝ κg -cohomology with coefficient in V, and is naturally a vertex superalgebra. If V is conformal with central charge c V, then H 2 + (ĝ κg,v) is conformal with central charge c V 2dimg. More generally, if M is an object in KL κg, then C(ĝ κg,m) = M 2 + (g) is a C(ĝ κg,v κg (g))-module. Hence, (C(ĝ κg,m),q (0 ) is naturally a differential graded vertex algebra module over C(ĝ κg,v κg (g)). The corresponding cohomology H 2 + (ĝ κg,m) is naturally a module over H 2 + (ĝ κg,v κg (g)). Set κ = κ κ g. For M KL κ, N KL κ, M N is an object of KL κg with respect to the diagonal action of ĝ 2κ. Theorem 3.1. Let V be a vertex algebra object in KL κ, which is a strict quantization of X. Assume that (1) there exists a closed subscheme S of X such that the action map G S X, (g,s) gs, is an isomorphism of G-schemes, (2) the chiral moment map grµ V ;J X J g is flat. Then, grh 2 + (ĝ κg,v op M) = (O(J S) J g grm) H (g,c) for any M KL ord κ. If W is a vertex algebra object W in KL κ, the vertex algebra H 2 + (ĝ κg,v op W) is good, and we have SS(H /2+0 (ĝ κg,v op W)) = J S J g SS(W) and XH /2+0 (ĝ κg,v op W)) = S g XW. Proof. Note that (C(ĝ κg,v op W),Q (0) ) is a direct sum of finite-dimensional subcomplexes since V op W is a direct sum of objects in KL ord κ g. Note also that grc(ĝ κg,v op M) = C(ĝ cl,grv op grm) = C(ĝ cl,o(j X) grm). Hencethere is a spectral sequence E r H /2+ (ĝ κg,v op M) such that = H 2 +n (ĝ cl,o(j X) grm) = (O(J S) J g grm) Hn (g,c). q E n q,q 1 Because elements of O(J S) J g grm are g-invariant, it follows that d r is identically zero for all r 1, and we get that grh 2 + (ĝ κg,v op M) = (O(J S) J g grm) H (g,c). This completes the proof. ForM KL κg, C(ĝ κg,m)isav 0 (g)-modulebytheactionx i x i := Q (0) ψ i, i = 1,...,dimg. Set C(ĝ κg,g,m) = {c C(ĝ κg,m) (ˆx i ) (0) c = (ψ i ) (0) c = 0, i = 1,...,dimg}. Then C(ĝ κg,g,m) is a subcomplex of C(ĝ κg,m), and the cohomology of the complex (C(ĝ κg,g,m),q (0) ) is the relative cohomology H 2 + (ĝ κg,g,m) with coefficient in M. If V is a vertex algebra object in KL κg, H 2 + (ĝ κg,g,v) is naturally a vertex superalgebra. Proposition 3.2. For M KL κg, H /2+ (ĝ κg,m) = H /2+ (ĝ κg,g,m) H (g,c).

11 CHIRAL ALGEBRAS OF CLASS S AND SYMPLECTIC VARIETIES 11 Proof. We may assume that M is finitely generated. Consider the Hochschild-Serre spectral sequence E r H /2+i (ĝ κg,m) for the subalgebra g ĝ κg. In the first term we have E p,q 1 In the second term we have (15) E p,q 2 = C p (ĝ κg,g,m) H q (g,c). = H p (ĝ κg,g,m) H q (g,c). We can therefore represent classes in E p,q 2 as sums of tensor products ω 1 ω 2 of a cocycle ω 1 in C p (ĝ κg,g,m) representing a class in H p (ĝ κg,g,m) and a cocycle ω 2 representing a class in H q (g,c). Applying the differential to this class, we find that it is identically equal to zerobecause ω 1 is g-invariant. Thereforeall the classes in E 2 survive. Moreover, all of the vectors of the two factors in the decomposition (15) lift canonically to the cohomology H /2+ (ĝ κg,m), and so we obtain the desired isomorphism. The following assertion follows immediately from Theorem 3.1 and Proposition 3.2. Theorem 3.3. Let V, S, M, be as in Theorem 3.1. Then we have { grh 2 +i (ĝ κg,g,v op M) O(J S) J g grm for i = 0, = 0 otherwise. In particular, SS(H /2+0 (ĝ κg,g,v op W)) = J S J g SS(W), for a vertex algebra object W in KL κ. and XH /2+0 (ĝ κg,g,v op W)) = S g XW, Proposition 3.4. Let M KL κg. Suppose that M is free over U(t 1 g[t 1 ]) and cofree over U(tg[t]). Then H /2+i (ĝ κg,g,m) = 0 for i 0. Proof. Since M is free over U(t 1 g[t 1 ]), we obtain that H /2+i (ĝ κg,m) = 0 for i < 0 by considering the Hochschild-Serre spectral sequence for the subalgebra t 1 g[t 1 ] ĝ κg, see [Vor, Theorem 2.3]. Hence by Proposition 3.2, H /2+i (ĝ κg,g,m) = 0 for i < 0. Next, consider the Hochschild-Serre spectral sequence E r H /2+ (ĝ κg,m) for the subalgebra g[t] ĝ κg as in [Vor, Theorem 2.2]. By definition, we have E p,q 1 = H q (g[t],m p (ĝ/g[t])). Since M is cofree over U(tg[t]), so is M p (ĝ/g[t]). Hence (16) E p,q 1 = ( M p (ĝ/g[t]) ) g[t] H q (g,c). It follows that E p,q 1 = 0 for p > dimg, and therefore H /2+i (ĝ κg,m) = 0 for i > dimg. Therefore, by Proposition 3.2, we have H /2+i (ĝ κg,g,m) = 0 for i > 0. The form κ c = 1 2 κ g is called the critical level for g. For M,N KL κc, we have M N KL κg. We set (17) M N = H 2 + (ĝ κg,g,m N).

12 12 TOMOYUKI ARAKAWA Let 4. Feigin-Frenkel center z(ĝ) = Z(V κc (g)) = V κc (g) g[t], the Feigin-Frenkel center of the vertex algebra V κc (g) ([FF2]). We have isomorphisms ([EF, Fre1]) X z(ĝ) = g //G, Spec(grz(ĝ)) = J (g //G), Zhu(z(ĝ)) = Z(g), where Z(g) denotes the center of U(g). The grading of V κc (g) induces a grading of z(ĝ): z(ĝ) = Z 0 z(ĝ), z(ĝ) = z(ĝ) V κ (g). Let d 1,...,d rkg be the exponents of g, where rkg is the rank of g. Choose homogeneous strong generators P 1,...,P rkg z(ĝ) with P i z(g) di+1. Their images form homogeneous generators of R z(ĝ) = O(g ) G, grz(ĝ) = O(J g ) J G, Zhu(z(ĝ)) = Z(g), respectively. We use the notation P i (z) = n Z P i,(n) z n 1 = n ZP i,n z n di 1, so that the operator P i,n has degree n on V κc (g). Let M KL κc. Then z(ĝ) naturally acts on M, and hence, M can be regarded as a module of the polynomial ring Set Z = C[P i,n ;i = 1,...,rkg,n Z]. Z ( 0) = C[P i,(n) ;i = 1,...,rkg,n 0], Z (<0) = C[P i,(n) ;i = 1,...,rkg,n < 0], Z >0 = C[P i,n ;i = 1,...,rkg,n > 0], Z <0 = C[P i,n ;i = 1,...,rkg,n < 0], Z 0 = C[P i,0 ;i = 1,...,rkg]. Then Z (<0) Z <0, Z ( 0) Z >0, and Z (<0) = z(ĝ). We have the isomorphism o : Z 0 Zhu(z(ĝ)) Z(g). For λ P +, set V λ = V κc λ. We regard V λ a Z 0 -graded ĝ κc -module by giving the degree zero to the highest weight vector. Let L λ be the unique simple graded quotient of V{ λ. Let χ λ : Z C be the evaluation at L λ. Since L λ is graded, γ λ (o(p i,n )) for n = 0 χ λ (P i,n ) = where γ λ : Z(g) C is the evaluation at 0 for n 0, V λ. Let KL [λ] be the full subcategory of KL consisting of objects M such that χ λ (P i,0 )m = γ λ (o(p i,0 ))m for all i. Then KL = λ P + KL [λ]. For M KL, let M = λ P + M [λ], M [λ] KL [λ], be the corresponding decomposition. Clearly, V λ,l λ KL [λ] and any simple object in KL [λ] is isomorphic to L λ [d] for some d C, where L λ [d] denotes the ĝ κc -module L λ whose grading is shifted as (L λ [d]) d = (L λ ) d+d. We denote by Z-Mod the category of positive energy representations of the vertex algebra z(ĝ), that is, the category of Z-modules M that admits a grading M = d h+z 0 M d, h C, such that P i,n M d M d n for all i and n. For M Z-Mod, we set chm = d C qd dimm d if dimm d < for all d. Let

13 CHIRAL ALGEBRAS OF CLASS S AND SYMPLECTIC VARIETIES 13 Z-Mod [λ] be the full subcategory of Z-Mod consisting of objects M on which P i,0 acts as χ λ (P i,0 ) for all i = 1,...,rkg, and set Z-Mod reg = λ P + Z-Mod [λ]. 5. Chiral differential operators on G There are two commuting Hamiltonian actions on the cotangent bundle T G = G g ofggivenbyg.(h,x) = (hg 1,gx)and g.(h,x) = (gh,x). Thecorresponding moment maps are µ L : G g g, (g,x) x, and µ R : G g g, (g,x) g.x, respectively. The algebra O(T G) can be considered as a Poisson algebra object in Coh G (g ) with the moment map µ L or µ R. Note that the isomorphism T G T G, (g,x) (g 1,gx), exchanges µ L and µ R. We have (18) O(T G) op = O(T G), x x (x g O(g )), f f (f O(G)), and so we do not distinguish between T G and (T G) op. Lemma 5.1. (i) For any Poisson algebra object R in Coh G (g ), we have H 2 +0 (g,o(t G) R) = R. (ii) For any vertex Poisson algebra object V in Coh J G (J g ), we have H 2 +0 (ĝ cl,o(j T G) V) = V. Proof. By (11), we have H 2 +0 (g,o(t G) R) = O(g ) O(g )R = R. Similarly, by (12), H 2 +0 (ĝ cl,o(j T G) V) = O(J g ) O(J g )V = V (19) Let κ be an invariant symmetric bilinear form of g as before. Let D ch G,κ = U(ĝ κ) U(g[[t]] C1) O(J G), where g[[t]] = J g acts on O(J G) by x x L := (J µ L ) (x) and 1 acts as the identity. There exists a unique vertex algebra structure on DG,κ ch such that π L : V κ (g) D ch G,κ, u 0 u 1 J G (u U(ĝ κ )), O(J G) DG,κ ch, f 1 f, are homomorphisms of vertex algebras, and x(z)f(w) 1 z w (x Lf)(w) (x g V κ (g), f O(G) O(J G)) ([GMS2, AG]). The vertex algebra DG,κ ch is called the algebra of chiral differential operators (cdo) on G at level κ, which is the special case of the chiral differential operators on a smooth algebraic variety introduced independently by Malikov, Schechtman and Vaintrob [MSV] and Beilinson and Drinfeld [BD]. The cdo D ch G,κ is a strict chiral quantization of the cotangent bundle T G to G. In particular, DG,κ ch is simple for any κ by Theorem 2.2. We have D ch G,κ (D ch G,κ )op, x x, x g, f f, f O(G), and so we do not distinguish between DG,κ ch and (Dch G,κ )op. According to [GMS2, AG], there is a vertex algebra embedding π R : V κ (g) D ch G,κ,

14 14 TOMOYUKI ARAKAWA and V κ (g) and V κ (g) form a dual pair in D ch G,κ, i.e., (20) V κ (g) = Com(V κ (g),d ch G,κ ) = (Dch G,κ )πr(g[t]), (21) V κ (g) = Com(V κ (g),dg,κ ch ) = (Dch ) πl(g[t]). Suppose that κ κ c, and let ω L and ω R be the Sugawara conformal vector of V κ (g) and V κ (g), respectively. Then ω D ch G,κ = ω L +ω R gives a conformal vector of DG,κ ch of central charge 2dimG. In fact, the left-hand side makes sense even at the critical level κ = κ c, and ω D ch G,κ gives a conformal vector of DG,κ ch c of central charge 2dimG for all κ ([GMS1]). We have D G,κ = (D G,κ ), (D G,κ ) 0 = O(G) = V λ V λ, n Z 0 λ P + where λ = w 0 (λ) and w 0 is the longest element of the Weyl group W of g. Proposition 5.2. The cdo DG,κ ch is a direct sum of objects in KLord κ (resp. KL ord κ ). Proof. First, suppose that κ = κ c. Consider the decomposition DG,κ ch c = (D ch G,κc ) [λ] λ P + with respect to the action π R. Clearly, each direct summand (DG,κ ch c ) [λ] is closed under the action of both π L and π R of ĝ κc. Thus, it is enough to show that (DG,κ ch c ) [λ], = (DG,κ ch c ) [λ] (DG,κ ch c ) is finite-dimensional for all λ,. By the definition (19), DG,κ ch c is cofree over U(tg[t]), and we have (DG,κ ch c ) tg[t] = U(ĝκc ) U(g[t] C1) O(G) = V λ V λ. λ P + Hence the direct summand (DG,κ ch c ) [λ] is also cofree over U(tg[t]) and we have (DG,κ ch c ) tg[t] [λ] = V λ V λ. It follows as (22) (D ch G,κ c ) [λ] = Vλ V λ as graded vector spaces (not as ĝ κc ĝ κc -modules), and we are done. Nextsupposethatκ κ c. LetL L (z) = n Z LL nz n 2 andl R (z) = n Z LR nz n 2 be the fields corresponding to ω L and ω R, respectively. Set DG,κ ch [d 1,d 2 ] = {v DG,κ ch LL 0v = d 1 v, L R 0 v = d 2 v}, so that (D G,κ ) = d 1+d 2= Dch G,κ [d 1,d 2 ]. We have DG,κ ch = DG,κ ch [,d] = DG,κ ch [d, ], d C d C where DG,κ ch [,d] = d C Dch G,κ [d,d], DG,κ ch [d, ] = d C Dch G,κ [d,d ]. Therefore, it is sufficient to show that DG,κ ch [,d] and Dch G,κ [d, ] are objects of KLord κ and KL ord κ, respectively. This is equivalent to that DG,κ ch [d 1,d 2 ] is finite-dimensional for all d 1,d 2 C. Since the argument is symmetric, we may assume that (κ κ c )/κ g Q 0. By [Zhu2], there exists an increasing filtration (23) 0 = M 1 M 1..., D ch G,κ = p M p,

15 CHIRAL ALGEBRAS OF CLASS S AND SYMPLECTIC VARIETIES 15 such that M p /M p 1 = V κ λ D(V κ λ ), p λ P + where D(V κ λ ) is the contradracdient dual of Vκ λ. However, for a given d 1, there exists only finitely many λ P + such that (V κ λ ) d 1 0, where (V κ λ ) d 1 denotes the L L 0 -eigenspace of Vκ λ with eigenvalue d 1. It follows that DG,κ ch [d 1,d 2 ] is finitedimensional for all d 1,d 2 C. By Proposition 5.2, D ch G,κ is a conformal vertex algebra object in KL κ (resp. KL κ ) with the chiral quantum moment map π L (resp. π R ). Let M KL κ. According to [AG, Theorem 6.5], we have the canonical isomorphism (24) D ch G,κ M = D ch G,κ κ M of ĝ κ ĝ κ κ κ g -modules. Here, on the left-hand side ĝ κ acts on DG,κ ch via π L and ĝ κ κ κ 0 diagonally acts on via π R and the ĝ κ -action on M. On the right-hand side ĝ κ diagonally acts via π L and the ĝ κ -action on M, and ĝ κ κ κ 0 acts on DG,κ ch via π R. Since H 2 +i (ĝ κg,g,dg,κ ch ) = δ i,0 C by Theorem 3.3, (24) induces the isomorphism (25) H 2 +i (ĝ κ,g,d G,κ M) = δ i,0 M as ĝ κ -modules for any M KL κ ([AG]). As easily seen, this is an isomorphism of vertex algebras if M is a vertex algebra object in KL κ. In terms of the notation (17) we have (26) D ch G,κ c M = M = M D ch G,κ c for M KL κc. We have the canonical isomorphism ([ACM]) (27) ZhuD ch G,κ = D G, where D G denotes the algebra of global differential operators on G. Under this identification, the filtration of ZhuDG,κ ch coincides with the natural filtration on D G and the map (9) for V κ (g) recoversthe well-known isomorphism O(T G) grd G. The algebra homomorphism between Zhu s algbebras induced by π L and π R are the embeddings U(g) D G defined by g x x L and g x x R, respectively. For a D G -module M, define the DG,κ ch G,κ -module IndDch M by Ind Dch G,κ D G M = U(ĝ κ ) U(g[[t]] C1) ( O(J G) O(G) M ), whereg[[t]] C1actsonO(J G) O(G) M by(u(t))(g m) = (u(t).g) m+g (u(0)m) for u g[[t]], f O(J G), m M. Let DG,κ ch -Mod be the category of positive energy representations of Dch G,κ, and let D G -Mod be the category of D G -modules. Theorem5.3 ([ACM,Theorem5.2]). The functor Ind Dch G,κ D G : D G -Mod DG,κ ch -Mod gives an equivalence of categories. Corollary 5.4. Any M D ch G,κ -Mod is free over U(t 1 g[t 1 ]) and cofree over U(tg[t]). D G

16 16 TOMOYUKI ARAKAWA 6. Quantum Drinfeld-Sokolov reduction and equivariant affine W-algebras Let f be a nilpotent element of g, {e,h,f} an sl 2 -triple in g associated with f, S f = f +g e g = g the Slodowy slice at f, where g e is the centralizer of e in g. It is known that S f is a Poisson veriety, where the Poisson structure of S f is describe as follows ([GG]). Set g j = {x g [h,x] = 2jx}, so that g = j 1 2 Zg j. Choose a Lagrangian subspace l of g 1/2 with respect to the symplectic form g 1/2 g 1/2 C, (x,y) (f [x,y]). Then m := l j 1 g j is a nilpotent Lie subalgebra of g. Let M be the unipotent subgroup of G corresponding to m. Then the projection µ : g m is the moment map for the M-action. Let χ : m C be the character defined by χ(x) = (x f). Then χ is a regular value of µ. Moreover, we have the isomorphism of the affine varieties Hence, M S f µ 1 (χ) = χ+m, (g,s) g.s S f = µ 1 (χ)/m = g /// χ M has the structure of a reduced Poisson variety. According to [Gin], this construction can be generalized as follows. Let R be a Poisson algebra object in QCoh G (g ), X = SpecR. Then the moment map µ : X µx g m for the M-action is flat. We get the reduced Poisson scheme X/// χ M = µ 1 (χ)/m = S f g X. By applying this to X = T G = G g for the moment map µ L, we obtain the equivariant Slodowy slice [Los]. S G,f = G M (f +m ) at f. The Poisson variety S G,f is an example of a twisted contangent bundle over G/M ([CG, 1.5]). In particular, S G,f is a smooth symplectic variety. We have S op G,f = S G,f since (T G) op = T G. We identify S G,f with G S f via the G-equivariant isomorphism (28) ν : S G,f = G M (χ+m ) G S f, (g,(n,s)) (gn,s), (g G, n M, s S f ). The action of G on S G,f is Hamiltonian with the moment map (29) µ : S G,f = G S f g, (g,s) g.s, which is flat ([Slo]). Hence, by (11), (28), we have (30) H 2 + (g,o(s G,f ) R) = O(S f g SpecR) H (g,c) for a Poisson algebra object R in QCoh G (g ). The same argument as in [Slo] shows that J n µ : J n S G,f = J n G J n S f J n g

17 CHIRAL ALGEBRAS OF CLASS S AND SYMPLECTIC VARIETIES 17 is flat for all n Z 0, and hence the same is true for n =. Thus, by (12), we have (31) H 2 + (ĝ cl,o(j S G,f ) V) = O(J S f g SS(V)) H (g,c). for any Poisson vertex algebra object V in Coh J G (J g ). ForM KL κ, leth DS,f (M)betheBRSTcohomologyofthequantizedDrinfeld- Sokolov reduction associated with f (and with the Dynkin grading) with coefficients in M ([FF1, KRW]), which is defined as follows. Set g 1 = j 1 g j g >0 = j>0 g j. Then χ : g 1 [t,t 1 ] C, xt n δ n, 1 (f x), defines a character. Let F χ = U(g >0 [t,t 1 ]) U(g>0[t]+g 1 [t,t 1 ]) C χ, where C χ is the one-dimensional representation of g >0 [t]+g 1 [t,t 1 ] on which g 1 [t,t 1 ] acts by the character χ and g >0 [t] acts triviality. We have H DS,f (M) = H 2 + (g >0 [t,t 1 ],M F χ ), where H 2 + (g >0 [t,t 1 ],N) is the semi-infinite g >0 [t,t 1 ]-cohomology [Feĭ] with coefficients in a g >0 [t,t 1 ]-module N. The (affine) W-algebra associated with (g,f) at level κ is by definition [FF1, KRW] the vertex algebra W κ (g,f) = H 0 DS,f (V κ (g)). The vertex algebra W κ (g,f) is a strict chiral quantization of the Slodowy slice S f ([DSK, A4]). More generally, if V is a vertex algebra object in KL κ, then HDS,f 0 (V) is a vertex algebra, and µ V : V κ (g) V induces a vertex algebra homomorphism W κ (g,f) HDS,f 0 (V). If V is a conformal vertex algebra object in KL κ with central charge c V, then it follows from [KRW, 2.2] that HDS,f 0 (V) is conformal with central charge (32) c V dimo f 3 2 dimg 1/2 +12(ρ h) 3(k +h ) h 2, where O f = G.f and k = 2h κ/κ g. Note that dimo f = dimg dimg 0 dimg 1/2. Theorem 6.1. (i) ([A4]) For M KL κ we have HDS,f i (M) = 0 for i 0. Therefore the functor KL κ W κ (g,f)-mod, M HDS,f 0 (M), is exact. (ii) ([A4]) For M KL ord κ, we have grh 0 DS (M) = O(J S f ) O(J g )grm. Hence, if V is a vertex algebra object in KL κ, then the vertex algebra H 0 DS,f (V) is good, and grh0 DS,f (V) = O(J S f ) O(J g ) (grv). In particular, X H 0 DS,f (V ) = X V g S f. (iii) ([A5]) For any vertex algebra object V in KL κ, we have Zhu(H 0 DS (V)) = H 0 DS (Zhu(V)), where in the right-hand side H 0 DS (?) is the finite-dimensional analogue of the quantized Drinfeld-Sokolov reduction as described in [A5].

18 18 TOMOYUKI ARAKAWA Corollary 6.2. For a vertex algebra object V in KL κ, the vertex algebra H 0 DS,f (V) is a chiral quantization of X V g S f. If in addition V is a strict chiral quantization of X = X V, then H 0 DS (V) is a strict chiralization of X g S f. Define the equivariant affine W-algebra associated with (G,f) at level κ by By Corollary 6.2, W κ G,f W κ G,f := H0 DS,f (Dch G,κ ). is a a strict chiralization of X W κ G,f = X D ch G,κ g S f = SG,f Since S G,f is a smooth symplectic variety, WG,f κ is simple by Theorem2.2. Because DG,κ ch is conformal with central charge 2dimg, Wκ G,f is conformal with central charge (33) dimg+dimg dimg 1/2 +12(ρ h) 3(k +h ) h 2. We have WG,f κ = 1 2 Z(Wκ G,f ) and the conformal weight of WG,f κ is not bounded from the below. We have WG,f κ = (WG,f κ )op since DG,κ ch = (DG,κ ch )op, and so we do not distinguish between them. By Therem 6.1, the vertex algebra homomorphism π L : V κ (g) DG,κ ch induces the embedding W κ (g,f) W κ G,f, whichwealsodenotebyπ L. Themapgrπ L : grw κ (g,f) = O(J S f ) grwg,f κ = O(J S G,f ) is induced by the projection J S G,f = J (G S f ) = J G J S f J S f. On the other hand, the vertex algebra homomorphism π R : V κ (g) DG,κ ch induces the vertex algebra homomorphism V κ (g) W κ G,f, which we denote also by π R. In particular, WG,f κ is a ĝ κ -module. The map grπ R : grv κ (g) = O(J g ) grwg,f κ = O(J S G,f ) is the dual to the chiral moment map (34) J µ : J S G,f = J G J S f J g, (g,f) gf. Proposition 6.3. The ĝ κ -module W κ G,f is free over U(g[t 1 ]t 1 ). Therefore, there exists a filtration 0 = M 0 M 1 M 2..., W κ G,f = p M p, as a ĝ κ - module such that each successive quotient is isomorphic to V κ λ for some λ P +. Proof. Since WG,f κ is an object of KL κ, it is sufficient to show that we have H i (g[t 1 ]t 1,WG,f κ ) = 0 for i > 0. We consider the spectral sequence E r H (t 1 g[t 1 ],WG,f κ )suchthatthee 1-termisisomorphictoH (t 1 g[t 1 ],grwg,f κ ) = H (t 1 g[t 1 ],O(J S G,f )), thatis,thekoszulhomologyofo(j S G,f )asao(j g )- module. Since J µ is a flat, we have that H i (g[t 1 ]t 1,O(J S G,f )) = 0 for i > 0. Hence the spectral sequence collapses at E 1 = E, and we get that H i (g[t 1 ]t 1,WG,f κ ) = 0 for i > 0 as required. By Proposition 6.3, it follows that the vertex algebra homomorphism π R : V κ (g) WG,f κ is injective.

19 CHIRAL ALGEBRAS OF CLASS S AND SYMPLECTIC VARIETIES 19 Proposition 6.4. The ĝ κ -module WG,f κ is cofree over U(tg[t]) and we have (WG,f) κ tg[t] = HDS,f(V 0 κ λ) V λ λ P + as W κ (g,f) U(g)-module. In particular, as vertex algebras. W κ (g,f) = Com(V κ (g),w κ G,f ) = (Wκ G,f )g[t] Proof. Consider the spectral sequence E r H (tg[t],w κ G,f ) such that the E 1- term is isomorphic to H (tg[t],grw κ G,f ). Since grwκ G,f = O(S G,f ), we have H i (tg[t],grw κ G,f ) = δ i,0 O(J S f ) O(G). It follows that the spectral sequence collapses at E 1 = E, and we get that (35) grh i (tg[t],w κ G,f ) = δ i,0 O(J S f ) O(G). In particular, WG,f κ is cofree over U(tg[t]). On the other hand, by Theorem 6.1, the embedding (DG,κ ch )πr(tg[t]) = V κ λ V λ λ P + induces the embedding H 0 DS,f((D ch G,κ) πr(tg[t]) ) = Dch G,κ λ P + H 0 DS,f(V κ λ) V λ W κ G,f, and the image is contained in (W κ G,f )tg[t]. Since grh 0 DS,f (Vκ λ ) = O(J S f ) V λ, we have gr( λ P + H0 DS,f (Vκ λ ) V λ ) = O(J S f ) O(G). Therefore, by (35), we get that (W κ G,f )tg[t] = λ P + H 0 DS,f (Vκ λ ) V λ. Proposition 6.5. The ĝ κ -module W κ G,f is a direct sum of objects in KLord κ. Proof. First, suppose that κ = κ c. Consider the decomposition W κc G,f = (W κc G,f ) [λ]. λ P + Then (W κc G,f ) [λ] = HDS,f 0 ((Dch G,κ c ) [λ]. In the samewayasin the proofofproposition 5.2, using Proposition 6.4 we find that (W G,c ) [λ] = HDS,f (V κ λ ) Vκ λ as graded vector spaces and we are done. So suppose that κ κ c. Let ω be the conformal vector of WG,f κ. Then ω = ω W + ωĝ, where ω W and ωĝ are conformal vectors of W k (g,f) and V κ (g), respectively. Let L W (z) = n Z LW n z n 2 and Lĝ(z) = n Z Lĝn z n 2 be the fields corresponding to ω W and ωĝ, respectively. Set WG,f κ [d 1,d 2 ] = {v WG,f κ L W 0 v = d 1v, Lĝ 0 v = d 2v}, so that (W κ G,f ) = d 1+d 2= Wκ G,f [d 1,d 2 ]. We have W κ G,f = d CW G,f [d, ]

20 20 TOMOYUKI ARAKAWA as a ĝ κ -module, where WG,f κ [d, ] = d C Wκ G,f [d,d ]. So it is sufficient to show that WG,f κ [d, ] is an object of KLord κ, or equivalently, Wκ G,f [d 1,d 2 ] is finitedimensional for all d 1,d 2 C. If (κ κ c )/κ g Q 0, set N p = HDS 0 (M p), where M p is as in (23). By Theorem 6.1, N defines a filtration of WG,f κ such that N p /N p 1 = HDS,f(V 0 κ λ) D(V κ λ ). o λ P + We have H 0 DS,f (Vκ λ ) = d Z 0 H 0 DS,f (Vκ λ ) d+h λ, and dimh 0 DS,f (Vκ λ ) d < for all d, where HDS,f 0 (Vκ λ ) d denotes the L W 0 -eigenspace of H0 DS,f (Vκ λ ) with eigenvalue d, and (36) h λ = (λ+2ρ λ) 2(k +h ) 1 2 k+h λ 2 h+ρ 2 ρ 2 λ(h) = 2(k +h ) (ρ h) (k +h ) h 2. 8 It follows that, for a given d 1, there exists only finitely many λ P + such that HDS,f 0 (Vκ λ ) d 1 0, and thereforewg,f κ [d 1,d 2 ] isfinite-dimensional foralld 1,d 2 C. If (κ κ c )/κ g Q 0, there exists [Zhu2] a decreasing filtration such that D ch G,κ = M 1 M 1..., M p = 0, M p /M p+1 = V κ λ D(Vκ λ ). p λ P + Setting N p = HDS 0 (M p), we get a filtration of WG,f κ such that N p /N p+1 = H 0 DS,f (Vκ λ ) D(Vκ λ ). o λ P + Since there exist only finitely many λ P + such that D(V κ λ ) d 1 0 for a given d 1, it follows that WG,f κ [d 1,d 2 ] is finite-dimensional for all d 1,d 2 C. This completes the proof. p By Proposition 6.5, WG,f κ is a conformal vertex algebra object in KLord κ the chiral quantum moment map π R. By Theorem 3.3, we have the following assertion. with Theorem 6.6. Let M KL κ. Then H 2 +i (ĝ κg,g,wg,f κ M) = 0 for i 0, where the BRSTcohomology is taken with respect to the action of ĝ κg on WG,f κ M given by x(w m) = π R (x)w m+w xm. If M KL ord we have grh 2 +0 (ĝ κg,g,w κ G,f M) = O(J S f ) O(J g )grm. Theorem 6.7. For M KL κ, we have the isomorphism H DS,f (M) = H 2 + (ĝ κg,g,w κ G,f M) as W κ (g,f)-modules, where W κ (g,f) acts on the first factor WG,f κ on the righthand side. If M is a vertex algebra object in KL κ, this is an isomorphism of vertex algebras.

21 CHIRAL ALGEBRAS OF CLASS S AND SYMPLECTIC VARIETIES 21 Proof. We may assume that M KL ord κ since the cohomology functor commutes withinjectivelimits. WemayalsoassumethatM isz 0 -graded: M = d Z 0 M d : (xt n )M d M d n for x g, n Z. Note that (37) by Theorem 6.1 and Theorem 6.6. Let C = i Z grh DS,f (M) = grh 2 + (ĝ κg,g,w κ G,f M) C i, C i = p.q p+q=i C p,q, C p,q = M D ch G,κ /2+p (g) Fχ /2+q (g>0 ), where F χ is the vertex algebra generated by fields Ψ α (z), α 1/2, with the OPEs Ψ α (z)ψ α (w) (f [x α,x β ])/(z w), and /2+q (g >0 ) is the vertex superalgebra generated by odd fields ψ α (z), ψ α (z), α >0, with the OPEs ψ α (z)ψ β (w) δ α,β /(z w). Here, x α is the root vector of g corresponding to the root α, j = {α x α g j }, >0 = j>0 j, and we have taken the Cartan subalgebra h in g 0 and is the corresponding set of roots of g. Set Q (0) = (Qĝ) (0) +(Q DS ) (0), where Qĝ(z) = (π M (x i (z))+π R (x i (z)))ψi (z) 1 c k i,j 2 : ψ i (z)ψ j (z)ψ k(z) :, dimg i=1 Q DS (z) = (π L (x α (z))+φ α (z))ψα(z) 1 c γ α,β 2 : ψ α(z)ψβ(z)ψ γ (z) :, α >0 α,β,γ >0 where π M is the action of ĝ κ on M, {x i } is a basis of g, c k ij is the corresponding structure constant, c γ α,β is the structure constant of g >0 with respect to the basis {x α }, and we have set Φ α (z) = (f x α ) for α j, j 1, and omitted the tensor product symbol. Then (Qĝ (0) )2 = (Q DS (0) )2 = 0, {Qĝ (0),QDS (0)} = 0, and C has the structure of a double complex. Let (E r,d r ) be the spectral sequence for the total cohomology H (C,Q (0) ) such that d 0 = (Q DS ) (0) and d 1 = (Qĝ) (0). We claim that this spectral sequence converges to H (C,Q (0) ). Indeed, first suppose that κ = κ c. Then by (22), (DG,κ ch c ) [λ] admitsadecomposition(dg,κ ch c ) [λ] = G,κ c ) [λ] [d 1,d 2 ]such i,j,k d 1,d 2 Z 0 (D ch that π L (xt n )(DG,κ ch c ) [λ] [d 1,d 2 ] (DG,κ ch c ) [λ] [d 1 n,d 2 ], π R (xt n )(DG,κ ch c ) [λ] [d 1,d 2 ] (DG,κ ch c ) [λ] [d 1,d 2 n], for x g, n Z. It follows that C is a direct sum of subcomplexes C λ,d = D=d+ M (D ch G,κ ) [λ][,d] /2+p (g) (F χ ) /2+q (n), λ P +, D Z 0, and we have Cλ,D λ Cp, = 0 for a sufficiently large p. Next supposethatκ κ c. TheincreasingfiltrationM ofdg,κ ch in(23)inducesafiltration C of the complex C. As above, we find that the spectral sequence converges on each C p. Since the cohomology functor commutes with the injective limits, we get a vector space isomorphism H (C) = limh (C p ) = lime (p) = E, where E r (p) is the spectral sequence for H (C p ).