Arxiv:1407.8512V6 [Math.RT] 29 Oct 2018 Tuto;Ivratter;ﬁiegeneration; ﬁnite Theory; Invariant Struction; Ouiaaaafrhlfldiscussions

Home , Superconformal algebra, Vertex operator algebra

arXiv:1407.8512v6 [math.RT] 29 Oct 2018 tuto;ivratter;fiiegeneration; finite theory; invariant struction; ouiAaaafrhlfldiscussions. helpful for Arakawa Lin moyuki Andrew to (#318755 Foundation Simons the from grant a and a edter n aeapiain nadvrerneo su of range diverse a in applications have mutant and theory field mal ie etxalgebra vertex a Given itse[P -,BH J,DY L,JI LI.Atog it Although JLII]. JLI, HLY, DLY, mathematics DJX, and BFH, physics Com B-H, the [AP, both see in list studied been o representations have series amples discrete unitary the ph construct and to [KP] theory representation in constructions earlier with commutes which xml,gvnasml,fiiedmninlLealgebra Lie finite-dimensional simple, a given example, known. are kind this of results general fn etxagbaof algebra vertex affine 11 Com (1.1) laced, L k e od n phrases. and words Key etakDae dmvcfrhlflcmet na ale d earlier an on comments helpful for Adamovic Drazen Gran thank We Discovery NSERC an by supported partially was work This etxagba r udmna ls fagbacstruct algebraic of class fundamental a are algebras Vertex ayitrsigvre lersaekono xetdt ha to expected or known are algebras vertex interesting Many − 1 OESO FIEVRE LERSISD AGRSTRUCTURES LARGER INSIDE ALGEBRAS VERTEX AFFINE OF COSETS ( ( g A ) eeae nain,smercblna form bilinear symmetric invariant, generate, etxagbaascae to associated algebra vertex a ler with algebra mal hrceietecstCom coset the characterize nt eeaino hscsti ulgnrlt ntefoll the in generality full in coset this of generation finite sa plcto,w ieanwpofo h ainlt fth of rationality the of proof new a give we sets application, generating an finite As strong minimal to leads and structive sprsmercblna forms bilinear (super)symmetric edagbaamtigahomomorphism a admitting algebra field iesoa i spragba containing (super)algebras Lie dimensional itn homomorphism a mitting A A , osrcini tnadwyt osrc e etxalgeb vertex new construct to way standard a is construction ⊗ k BSTRACT V ) = L ilihrtpoete of properties inherit will 1 V ( g k ) − n elkoncnetr BSI,F]asrsta when that asserts FL] [BBSSII, conjecture well-known a and , ie nt-iesoa eutv i algebra Lie reductive finite-dimensional a Given . l ( g ′ B , ′ c fn etxagba oe osrcin omtn const commutant construction; coset algebra; vertex affine ) HMSCETI N NRWR LINSHAW R. ANDREW AND CREUTZIG THOMAS = F ⊗ A V g hswsitoue yFekladZui F] generalizin [FZ], in Zhu and Frenkel by introduced was This . k 3 +2 k tpstv nee level integer positive at and , n subalgebra a and o l oiieintegers positive all for V ( V k g A k ( g ( and k g B , B , B .I 1. = ( ′ L ) ) and A B V k , W A → A ( NTRODUCTION k g tlevel at and -algebra; − k ) B ) l L , ( k o eei ausof values generic for V ′′ g ne oetcnclcniin on conditions technical some Under . ′ hc extend which l B , k 1 V ( g − g V ⊆ A B qipdwt odgnrt,invariant, nondegenerate, with equipped , B , 1 ′ uha ainlt and rationality as such k ) ( let , N Let . g ⊗ k ) ) . 2 = F → V ⊗ V k l ( L hr sadaoa map diagonal a is There . k Com , g A uecnomlalgebra. superconformal ( u prahi setal con- essentially is approach Our . ′′ 1 g k shaw). B , ( B , B g wn cases: owing eavre spragbaad- (super)algebra vertex a be o ayitrsigexamples. interesting many for h iaooagba ayex- Many algebra. Virasoro the f )) , ′′ g ) #E0197t hmsCreutzig), Thomas to (#RES0019997 t sc GO,weei a used was it where [GKO], ysics l ) simple e ato hsppr n etakTo- thank we and paper, this of raft let , Here . eoeteuieslaffine universal the denote ( ∈ g k A rsta rs u fconfor- of out arose that ures C eetbihtestrong the establish We . qipdwt nonde- a with equipped , V sfie,and fixed, is L ecstraiain.For realizations. coset ve ) jcs The bjects. k g swdl eivdthat believed widely is N ( ieaue o partial a for literature; stesbler of subalgebra the is ′ g and A ) 2 = k eoeterational the denote C a rmodones. old from ras uto;obfl con- orbifold ruction; = g superconfor- 2 ′′ cfiiees no -cofiniteness, V F r finite- are k safree a is ( A coset g ′ k g B , we , ssimply is L ′ ) or , k ( g com- ) → V g coincides with a simple rational -algebra of type g given by the Drinfeld-Sokolov reduc- W tion associated to the principal embedding of sl2 in g [FF, FKW]. The rationality of these -algebras was proven by Arakawa in [Ara], and this conjecture was recently proven inW full generality in a joint work with Arakawa [ACL]. Another interesting family is the coset

(1.2) Com(Lk(gln), Lk 1(sln+1) (n)). − ⊗E In this notation, L (gl )= (1) L (sl ) where (1) is the rank one Heisenberg algebra, k n H ⊗ k n H and (n) is the rank n bc-system, which admits an action of L1(sln). This is conjectured [I] to beE a rational super -algebra of sl(n +1 n), which in the case n =1 coincides with the N =2 superconformalW algebra. | We propose that in order to study such discrete series of cosets in a uniform manner, we should first consider the corresponding cosets of the universal affine vertex algebra V k(g) of g at level k. For example, to study the cosets (1.1), one should begin by studying k k 1 (1.3) Com(V (g),V − (g) L (g)). ⊗ 1 It was shown in [ACL] that (1.3) coincides with the universal -algebra of g for generic values of k. This statement implies that (1.1) is isomorphic to aW simple -algebra of type g not only for positive integer values of k, but for all admissible valuesW as well. This was originally conjectured by Kac and Wakimoto in [KWII]. Similarly, it is expected that k k 1 (1.4) Com(V (gl ),V − (sl ) (n)), n n+1 ⊗E coincides generically with the universal -algebra of sl(n +1 n). W | In general, a strong generating set for the universal coset often descends to a strong generating set for the coset of interest. By a strong generating set for a vertex algebra , we mean a subset S such that is spanned by the normally ordered monomialsA in the elements of S and⊆ their A derivatives.A Finding a strong generating set is an important step for studying the representation theory of and establishing properties such as C2- cofiniteness and rationality. A class of examplesA for which this approach has been fruitful is the parafermion algebras. Given a simple Lie algebra g of rank d and a positive integer k, the parafermion algebra N (g) is the coset Com( (d), L (g)), where (d) is the rank k H k H d Heisenberg algebra corresponding to the Cartan subalgebra of g. The C2-cofiniteness of Nk(g) was recently proven in [ALY] and the rationality was proven in [DR], using results of [DWI, DWII, DWIII]. A key ingredient in proving these important theorems was the explicit strong generating set for the universal parafermion algebra of sl2, namely Com( (1),V k(sl )), which was achieved in [DLY, DLWY]. H 2 Let g be a finite-dimensional, reductive Lie algebra (i.e., a direct sum of simple and abelian Lie algebras), equipped with a nondegenerate, symmetric, invariant bilinear form B. We denote by V k(g, B) the universal affine vertex algebra of g at level k, relative to B. In this paper, we shall study cosets of V k(g, B) inside a general class of vertex algebras k whose structure constants depend continuously on k. The goal in studying Ak k Com(V (g, B), ) is to understand the behavior of Com(Lk(g, B), k), where k and L (g, B) denoteA the simple quotients of k and V k(g, B), respectively.A In particular,A we k A are interested in special values of k for which Lk(g, B) is rational or admissible. The main examples we have in mind are the following. k k (1) = V (g′, B′) where g′ is a finite-dimensional Lie (super)algebra containing g, and A B′ is a nondegenerate, invariant (super)symmetric bilinear form on g′ extending B.

2 k k l (2) = V − (g′, B′) where is a free field algebra admitting a homomorphism A ⊗F F V l(g, B) for some fixed l C satisfying some mild restrictions. By a free field algebra, we→ F mean any vertex algebra∈ obtained as a tensor product of a Heisenberg algebra (n), a free fermion algebra (n),a βγ-system (n) or a symplectic fermion algebra H(n). F S k kAl l (3) = V − (g′, B′) V (g′′, B′′). Here g′′ is another finite-dimensional Lie (super)algebra Acontaining g, equipped⊗ with a nondegenerate, invariant, (super)symmetric bilinear l l form B′′ extending B. If V (g′′, B′′) is not simple, we may replace V (g′′, B′′) with its quotient by any ideal; of particular interest is Ll(g′′, B′′). In Section 6, we will prove in full generality that Com(V k(g, B), k) is strongly finitely A generated in cases (1) and (2) above for generic values of k, and in case (3) when k = k l l A k V − (g′, B′) V (g′′, B′′), and both k and l are generic. We will also prove this when = k l ⊗ A V − (g′, B′) L (g′′, B′′) for certain nongeneric values of l in some interesting examples. ⊗ l These are the first general results on the structure of cosets, and our proof is essentially constructive. The key ingredient is a notion of deformable family of vertex algebras that was introduced by the authors in [CLI]. A deformable family is a vertex algebra defined B over a certain ring of rational functions in a formal variable κ, and ∞ = limκ has a well-defined vertex algebra structure. This notion fits into the frameworkB of vertex→∞ B rings introduced by Mason [M], and it is useful because a strong generating set for ∞ gives rise to a strong generating set for with the same cardinality. In the above examples,B B Com(V k(g, B), k) is a quotient of a deformable family , and a strong generating set for A C gives rise to a strong generating set for Com(V k(g, B), k) for generic values of k. We Cwill show that A k k G ∞ = lim Com(V (g, B), ) = , k ∼ C →∞ A V where = Com lim V k(g, B), lim k . V k k A →∞ →∞ Here G is a connected Lie group with Lie algebra g, which acts on . Moreover, is a tensor product of free field and affine vertex algebras and G preservesV each tensorV factor of . The description of Com(V k(g, B), k) therefore boils down to a description of the V A orbifold G, which is an easier problem. V Building on our previous work on orbifolds of free field and affine vertex algebras [LI, LII, LIII, LIV, CLII], we will prove in Sections 4 and 5 that for any vertex algebra which is a tensor product of free field and affine vertex algebras and any reductive V group G Aut( ) preserving the tensor factors, G is strongly finitely generated. The proof depends⊆ onV a classical theorem of Weyl (TheoremV 2.5A of [W]), a result on infinite- dimensional dual reductive pairs (see Section 1 of [KR] as well as related results in [DLM, Aut( ) WaI, WaII]), and the structure and representation theory of the vertex algebras B for = (n), (n), (n), (n). B B H F S A In Section 7, we shall apply our general result to find minimal strong finite generating sets for Com(V k(g, B), k) in some concrete examples which have been studied previ- ously in the physics literature.A In physics language, the tensor product of two copies of Com(V k(g, B), k) is the symmetry algebra of a two-dimensional coset conformal field theory of a Wess-Zumino-Novikov-WittenA model. Minimal strong generating sets for many examples of coset theories have been suggested in the physics literature; see espe- cially [B-H], and we provide rigorous proofs of a number of these conjectures.

3 If g is simple and B is the standard normalized Killing form, we denote V k(g, B) by k k V (g), and we denote by h∨ the dual Coxeter number of g. Let g be simple, and a A vertex algebra admitting a homomorphism V k(g) k, as above. Suppose that k is a → A parameter value for which k is not simple, and let be the maximal proper ideal of k k A I k , so that k = / is simple. Let denote the kernel of the map V (g) k, and A A A I kJ → A suppose that is maximal so that V (g)/ ∼= Lk(g). There is always a vertex algebra homomorphismJ J

π : Com(V k(g), k) Com(L (g), ), k A → k Ak

which in general need not be surjective. In order to apply our results on Com(V k(g), k) to the structure of Com(L (g), ), we need to determine when π is surjective, sinceA in k Ak k this case a strong generating set for Com(V k(g), k) descends to a strong generating set A for Com(Lk(g), k). In Section 8, we shall prove that πk is surjective whenever k + h∨ is a positive real number.A

This provides a powerful approach to describing Com(Lk(g), k), and we will give two examples to illustrate our method. First, we show that foAr all admissible levels k, Com(Lk(sp2), Lk(osp(1 2))) is isomorphic to the rational Virasoro vertex algebra with k(4k+5) | c = (k+2)(2k+3) . Second, we give a new proof of the rationality of the simple N = 2 su- − 3k perconformal algebra with c = k+2 for all positive integers k. This algebra is realized as the coset of the Heisenberg algebra inside Lk(sl2) , where denotes the rank one bc- system. The rationality and regularity of these N =2⊗EsuperconformalE algebras were first established by Adamovic [AI, AII]; additionally, the irreducible modules were classified and the fusion rules were computed. In the physics literature, these algebras are known as N =2 superconformal unitary minimal models [DPYZ]. They are famous in string theory because extended algebras of tensor products of N = 2 superconformal unitary minimal models at total central charge 3d are the so-called Gepner models [G] of sigma models on d-dimensional compact Calabi-Yau manifolds. Finally, we mention that our work relates to another current problem in physics. The problem of finding minimal strong generators is presently of interest in the conjectured duality of families of two-dimensional conformal field theories with higher spin gravity on three-dimensional Anti-de-Sitter space. Strong generators of the symmetry algebra of the conformal field theory correspond to higher spin fields, where the conformal dimension becomes the spin. The original higher spin duality [GG] involves cosets k k k k 1 Com V (sl ), , where = V − (sl ) L (sl ). This case is discussed in Example n A A n ⊗ 1 n 7.13. Example 7.16 is the algebra appearing in the N = 1 superconformal version of the higher spin duality [CHRI], and Example 7.5 proves a conjecture of that article on the k k 1/2 structure of Com(V (sp2n),V − (osp(1 2n) (n)). Example 7.11 is the symmetry algebra of the N = 2 supersymmetric Kazama-Suzuki| ⊗ S coset theory on complex projective space [KS]. This family of coset theories is the conjectured dual to the full N = 2 higher spin supergravity [CHRII]. All these examples are important since they illustrate consis- tency of the higher spin/CFT conjecture on the level of strong generators of the symmetry algebra. Our results have recently been used in this direction in [FG]. The physics picture is actually that a two-parameter family of CFTs corresponds to higher spin gravity where the parameters relate to the ’t Hooft coupling of the gravity. This idea is similar to our idea of a deformable family of vertex algebras.

4 2. VERTEX ALGEBRAS

In this section, we briefly define vertex algebras, which have been discussed from vari- ous different points of view in the literature (see for example [B, FBZ, FLM, FHL, LZ, KI]). We will follow the formalism developed in [LZ] and partly in [LiI]. Let V = V0 V1 be a super vector space over C, and let z,w be formal variables. Let QO(V ) denote the⊕ space of linear maps n 1 V V ((z)) = v(n)z− − v(n) V, v(n)=0 for n >> 0 . → { | ∈ } Xn Z ∈ Each element a QO(V ) can be represented as a power series ∈ n 1 1 a = a(z)= a(n)z− − End(V )[[z, z− ]]. ∈ Xn Z ∈ We assume that a = a + a where a : V V ((z)) for i, j Z/2Z, and we write a = i. 0 1 i j → i+j ∈ | i| For each n Z, there is a nonassociative bilinear operation n on QO(V ), defined on homogeneous∈ elements a and b by ◦ n a b n a(w) n b(w)= Resza(z)b(w) ι z > w (z w) ( 1)| || |Reszb(w)a(z) ι w > z (z w) . ◦ | | | | − − − | | | | − 1 1 Here ι z > w f(z,w) C[[z, z− ,w,w− ]] denotes the power series expansion of a rational function| | f| |in the region∈ z > w . For a, b QO(V ), we have the following identity of power series known as the| |operator| | product expansion∈ (OPE) formula. n 1 (2.1) a(z)b(w)= a(w) b(w)(z w)− − + : a(z)b(w): . ◦n − Xn 0 ≥ a b n 1 Here : a(z)b(w):= a(z) b(w)+( 1)| || |b(w)a(z)+, where a(z) = n<0 a(n)z− − and n 1 − − − a(z)+ = n 0 a(n)z− − . Often, (2.1) is written as P ≥ P n 1 a(z)b(w) a(w) b(w)(z w)− − , ∼ ◦n − Xn 0 ≥ where means equal modulo the term : a(z)b(w):, which is regular at z = w. ∼ Observe that : a(z)b(z): is a well-defined element of QO(V ). It is called the Wick product, or normally ordered product, of a(z) and b(z), and it coincides with a(z) 1 b(z). − For n 1 we have ◦ ≥ n d n! a(z) n 1 b(z)=:(∂ a(z))b(z):, ∂ = . ◦− − dz For a (z),...,a (z) QO(V ), the iterated Wick product is defined inductively by 1 k ∈ (2.2) : a (z)a (z) a (z) : = : a (z)b(z):, b(z) = : a (z) a (z): . 1 2 ··· k 1 2 ··· k We often omit the formal variable z when no confusion can arise.

A subspace QO(V ) containing 1 which is closed under all products n will be called a quantumA operator ⊆ algebra (QOA). We say that a, b QO(V ) are local if ◦ ∈ (z w)N [a(z), b(w)]=0 − for some N 0. Here [, ] denotes the super bracket. This condition implies that a n b =0 for n N, so≥ (2.1) becomes a ﬁnite sum. Finally, a vertex algebra will be a QOA◦ whose elements≥ are pairwise local. This notion is well known to be equivalent to the notion of a vertex algebra in the sense of [FLM, FHL], except that a conformal structure is not

5 assumed to exist. Briefly, a vertex algebra is a vector space V with a distinguished vector called the vacuum vector, and an injective linear map Y : V QO(V ) satisfying some axioms, the most important of which is that Y (V ) is a QOA whose→ element are pairwise local. Conversely, if is a QOA whose elements are pairwise local, then is itself a faithful -module viaA the left regular map A A n 1 (2.3) ρ : QO( ), a a,ˆ aˆ(ζ)b = (a b) ζ− − . A→ A 7→ ◦n Xn Z ∈ It can be shown (see [LiI] and [LL]) that ρ is an injective QOA homomorphism, and that taking Y = ρ, is then a vertex algebra with vacuum vector 1. A A vertex algebra is said to be generated by a subset S = αi i I if is spanned by Ai { | ∈ } A words in the letters α and all products n, for i I and n Z. We say that S strongly gen- ◦ ∈i ∈ erates if is spanned by words in the letters α and products n, for n< 0. Equivalently, is spannedA A by the set of normally ordered monomials ◦ A : ∂k1 αi1 ∂km αim : i ,...,i I, k ,...,k 0 . { ··· | 1 m ∈ 1 m ≥ } Suppose that S is an ordered strong generating set α1,α2,... for . We say that S freely generates , if has a PBW basis consisting of { } A A A 1 1 2 2 n n k1 i1 kr i1 k1 i2 kr i2 k1 in kr in : ∂ α ∂ 1 α ∂ α ∂ 2 α ∂ α ∂ n α :, 1 i1 < < in, (2.4) ··· ··· ··· ··· ≤ ··· k1 k1 k1 , k2 k2 k2 , , kn kn kn . 1 ≥ 2 ≥···≥ r1 1 ≥ 2 ≥···≥ r2 ··· 1 ≥ 2 ≥···≥ rn There is a similar notion of free generation for a vertex superalgebra, where if αi is an odd generator, ∂kαi can only appear once in such a monomial. A conformal structure of central charge c on a vertex algebra is a Virasoro vector L(z)= n 2 A n Z Lnz− − satisfying ∈ ∈A P c 4 2 1 (2.5) L(z)L(w) (z w)− +2L(w)(z w)− + ∂L(w)(z w)− , ∼ 2 − − − such that in addition, L 1α = ∂α for all α , and L0 acts diagonalizably on . We − ∈ A A say that a has conformal weight d if L0(α) = dα, and we denote the conformal weight d subspace by [d]. In all our examples, the conformal weight grading is by Z 0, that is, A ≥ = [d], A A Md 0 ≥ and each [d] is finite-dimensional. We then have the graded character A (2.6) χ( , q)= dim( [d])qd. A A Xd 0 ≥ As a matter of notation, we say that a vertex algebra is of type (d ,d ,... ) if it has a A W 1 2 minimal strong generating set consisting of one field in each weight d1,d2,... .

Affine vertex algebras. Let g be a finite-dimensional, Lie (super)algebra, equipped with a (super)symmetric, invariant bilinear form B. The universal affine vertex (super)algebra V k(g, B) associated to g and B is freely generated by elements Xξ, ξ g, satisfying the operator product expansions ∈ ξ η 2 [ξ,η] 1 X (z)X (w) kB(ξ, η)(z w)− + X (w)(z w)− . ∼ − − 6 The automorphism group Aut(V k(g, B)) is the same as the group of automorphisms of g which preserve B; each automorphism acts linearly on the generators Xξ. If B is the stan- dardly normalized supertrace in the adjoint representation of g, and B is nondegenerate, we denote V k(g, B) by V k(g). We recall the Sugawara construction, following [KRW]. If g is simple and B is nondegenerate, we may choose dual bases ξ and ξ′ of g, satisfying { } { } B(ξ′, η) = δξ,η. The Casimir operator is C2 = ξ ξξ′, and the dual Coxeter number h∨ with respect to B is one-half the eigenvalue ofPC2 in the adjoint representation of g. If k + h∨ =0, there is a Virasoro element 6 1 ′ (2.7) Lg = : XξXξ : 2(k + h ) ∨ Xξ

k sdim(g) ξ · of central charge c = k+h∨ . This is known as the Sugawara conformal vector, and each X k is primary of weight one. We denote by Lk(g, B) the unique simple quotient of V (g, B) by its maximal proper ideal graded by conformal weight, and we denote by Lk(g) the simple graded quotient of V k(g).

Free ﬁeld algebras. The Heisenberg algebra (n) has even generators αi, i = 1,...,n, satisfying H i j 2 (2.8) α (z)α (w) δ (z w)− . ∼ i,j − 1 n i i i It has the Virasoro element LH = 2 i=1 : α α : of central charge n, under which α is primary of weight one. The automorphismP group Aut( (n)) is isomorphic to the orthogonal group O(n) and acts linearly on the generators. H The free fermion algebra (n) has odd generators φ , i =1,...,n, satisfying F i i j 1 (2.9) φ (z)φ (w) δ (z w)− . ∼ i,j − 1 n i i n i It has the Virasoro element LF = : φ ∂φ : of central charge , under which φ is − 2 i=1 2 primary of weight 1 . We have Aut( P(n)) = O(n), and it acts linearly on the generators. 2 F ∼ Note that (2n) is isomorphic to the bc-system (n), which has odd generators bi,ci, i = 1,...,n, satisfyingF E i j 1 i j 1 b (z)c (w) δi,j(z w)− , c (z)b (w) δi,j(z w)− , (2.10) ∼ − ∼ − bi(z)bj(w) 0, ci(z)cj(w) 0. ∼ ∼ The βγ-system (n) has even generators βi, γi, i =1,...,n, satisfying S i j 1 i j 1 β (z)γ (w) δi,j(z w)− , γ (z)β (w) δi,j(z w)− , (2.11) ∼ − ∼ − − βi(z)βj(w) 0, γi(z)γj (w) 0. ∼ ∼ 1 n i i i i It has the Virasoro element LS = : β ∂γ : : ∂β γ : of central charge n, under 2 i=1 − − which βi, γi are primary of weightP1 . The automorphism group Aut( (n)) is isomorphic 2 S to the symplectic group Sp(2n) and acts linearly on the generators. The symplectic fermion algebra (n) has odd generators ei, f i, i =1,...,n, satisfying A i j 2 j i 2 e (z)f (w) δi,j(z w)− , f (z)e (w) δi,j(z w)− , (2.12) ∼ − ∼ − − ei(z)ej (w) 0, f i(z)f j(w) 0. ∼ ∼ 7 n i i It has the Virasoro element LA = i=1 : e f : of central charge 2n, under which i i − − e , f are primary of weight one. We haveP Aut( (n)) ∼= Sp(2n), and it acts linearly on the generators. A

Filtrations. A ﬁltration on a vertex algebra such that = A(0) ⊆ A(1) ⊆ A(2) ⊆ ··· A A k 0 (k) is a called a good increasing ﬁltration [LiII] if for all a (k), b (l), we have ≥ A ∈A ∈A S (k+l) n< 0 (2.13) a n b A . ◦ ∈ (k+l 1) n 0 A − ≥

Setting ( 1) = 0 , the associated graded object gr( ) = k 0 (k)/ (k 1) is a Z 0- A − { } A ≥ A A − ≥ graded associative, (super)commutative algebra with a unit 1Lunder a product induced by the Wick product on . Moreover, gr( ) has a derivation ∂ of degree zero, and we call such a ring a ∂-ring. ForA each r 1 we haveA the projection ≥ (2.14) φr : (r) (r)/ (r 1) gr( ). A →A A − ⊆ A The key feature of such filtrations is the following reconstruction property [LL]. Let ai i I be a set of generators for gr( ) as a ∂-ring, where ai is homogeneous of degree { | ∈ } k A di. In other words, ∂ ai i I, k 0 generates gr( ) as a ring. If ai(z) (di) satisfies φ (a (z)) = a for each{ i,| then∈ is≥ strongly} generatedA as a vertex algebra by∈ Aa (z) i I . di i i A { i | ∈ } k For any Lie superalgebra g = g0 g1 and bilinear form B, V (g, B) admits a good increasing filtration ⊕

(2.15) V k(g, B) V k(g, B) , V k(g, B)= V k(g, B) , (0) ⊆ (1) ⊆··· (j) j[0 ≥ k k1 ξ1 kr ξr where V (g, B)(j) is spanned by all iterated Wick products : ∂ X ∂ X : of length k k ··· r j. We have a linear isomorphism V (g, B) ∼= gr(V (g, B)), and an isomorphism of graded≤ ∂-rings

k (2.16) gr(V (g, B)) ∼= Sym Vj Wj , Vj ∼= g0, Wj ∼= g1. Mj 0 O j^0 M ≥ ≥

j ξi k In this notation, Vj is spanned by the images of ∂ X ξi g0 in gr(V (g, B)), and Wj j ξi { | ∈ } ξi is spanned by the images of ∂ X ξi g1 . Using the notation Xj for these variables, { | ∈ } ξi ξi the ∂-ring structure on Sym j 0 Vj j 0 Wj is given by ∂Xj = Xj+1 for ξi in ≥ ≥ k k either g0 or g1. Clearly the weightL grading N onV V L(g, B)is inherited by gr(V (g, B)). For = (n), (n), (n), (n) we have good increasing ﬁltrations , V H F S A V(0) ⊆ V(1) ⊆ ··· where (j) is spanned by iterated Wick products of the generators and their derivatives of lengthV at most j. We have linear isomorphisms (n) = gr( (n)) (n) = gr( (n)), (n) = gr( (n)), (n) = gr( (n)), H ∼ H F ∼ F S ∼ S A ∼ A and isomorphism of ∂-rings

gr( (n)) = Sym V , gr( (n)) = V H ∼ j F ∼ j Mj 0 ^Mj 0 (2.17) ≥ ≥ gr( (n)) = Sym (V V ∗), gr( (n)) = (V V ∗), S ∼ j ⊕ j A ∼ j ⊕ j Mj 0 ^Mj 0 ≥ ≥ 8 Cn Cn i where Vj ∼= and Vj∗ ∼= ( )∗ for all j 0. If we choose a basis xj i = 1,...n for i ≥ { | i i } V and a basis y i = 1,...,n for V ∗, the ∂-ring structure is given by ∂x = x and j { j| } j j j+1 ∂yi = yi , and gr( ) inherits the weight grading on . j j+1 V V Finally, for all the vertex algebras = V k(g, B), (n), (n), (n), (n) these ﬁltrations are Aut( )-invariant. For any reductiveV group G HAut( F), weS haveA linear isomorphisms V ⊆ V G = gr( G) and isomorphisms of ∂-rings gr( )G = gr( G). V ∼ V V ∼ V

3. VERTEX ALGEBRAS OVER COMMUTATIVE RINGS

Let R be a unital, commutative ring. A vertex algebra over R will be an R-module with a vertex algebra structure, which we shall define as in Section 2. A general treatmentA of vertex algebras over commutative rings has recently been given by Mason [M]. Much of the theory is similar to vertex algebras over fields, but there are some important differ- ences. For example, the translation operator does not work when the ring does not have enough denominators, and must be replaced with a Hasse-Schmidt derivation. These difficulties are not present when R is a C-algebra, which is the case in all our examples.

First, given an R-module M, we deﬁne QOR(M) to be the set of R-module homomorphisms a : M M((z)), which can be represented by power series → n 1 1 a(z)= a(n)z− − End (M)[[z, z− ]]. ∈ R Xn Z ∈

Here a(n) EndR(M) is an R-module endomorphism, and for each v M, a(n)v = 0 for n >> 0.∈ Clearly QO (M) is an R-module, and we define the products∈a b as before, R ◦n which are R-module homomorphisms from QOR(M) R QOR(M) QOR(M). A QOA will be an R-module QO (M) containing 1 and closed⊗ under all→ products. Locality A ⊆ R is defined as usual, and a vertex algebra over R is a QOA QOR(M) whose elements are pairwise local. The OPE formula (2.1) still holds, and thAere ⊆ is a faithful representation QO ( ) given by (2.3). A→ R A We say that a subset S = αi i I generates if is spanned as an R-module by all words in αi and the above{ products.| ∈ }⊆A We say that S AstronglyA generates if is spanned as an R-module by all iterated Wick products of these generators and theirA A derivatives. In general, need not be a free R-module, but all the examples we need in this paper are free modules.A If S = α1,α2,... is an ordered strong generating set for , we say that S freely generates , if{ has an R} -basis consisting of all normally orderedA monomials of the form (2.4). In particular,A A is a free R-module. A Let be a vertex algebra over R and let c R. Suppose that contains a field L A ∈ A satisfying (2.5), such that L0 acts on by ∂ and L1 acts diagonalizably, and we have an R-module decomposition A = [d]. A A Md R ∈ Here [d] is the L0-eigenspace with eigenvalue d. If each [d] is a free R-module of finite rank,A we have the graded character A

(3.1) χ( , q)= rank ( [d])qd. A R A Xd R ∈ 9 In all our examples, the grading will be by Z 0, regarded as a semigroup inside R, and k ≥ k [0] ∼= R. A typical example is V (g) where k is regarded as a formal variable, so V (g) Ais a vertex algebra over the polynomial ring C[k]. As such, it has no conformal vector. 1 If instead we define R to be the localization D− C[k] where D is the multiplicative set k g generated by (k + h∨), then V (g) has Virasoro vector L given by (2.7). Let be a vertex algebra over R with a weight grading as above. Given an ideal I A ⊆ R = [0], let I denote the set of finite sums of the form f a where f I and a . ∼ A ·A i i i i ∈ i ∈A Clearly I is the vertex algebra ideal generated by I, andP we may consider the quotient ·A /(I ). A ·A It is a vertex algebra over R/I with a weight grading such that ( /(I ))[0] ∼= R/I. In general, if is a free R-module, /(I ) need not be a free R/I-module.A ·A However, in all our examples,A R/I will be a fieldA so that·A /(I ) is indeed free. A ·A Deformable families. The notion of a deformable family of vertex algebras is a special case of a vertex algebra defined over a commutative ring, and was introduced in [CLI]. Let K C be a subset which is at most countable, and let F denote the C-algebra of ⊆ K rational functions in a formal variable κ of the form p(κ) where deg(p) deg(q) and the q(κ) ≤ roots of q lie in K. A deformable family will be a free F -module with the structure of K B a vertex algebra over FK .

We assume that possesses a Z 0-grading B ≥ (3.2) = [m] B B mM0 ≥ by weight, where each [m] is free FK -module of finite rank, and [0] ∼= FK. Typically, this grading comes fromB a conformal structure on , but this needB not be the case. We only required that for a [m], the operator a is homogeneousB of weight m n 1. ∈ B ◦n − − For k C K, the ideal (κ k) FK is maximal and FK /(κ k) ∼= C. Let (κ k) denote the∈ set\ of finite sums of− the⊆ form f b , where b and− f (κ k). Clearly− B i i i i ∈ B i ∈ − (κ k) is a vertex algebra ideal of . ByP abuse of notation, we often denote (κ k) by (κ − k)Bwhen no confusion can arise.B The quotient − B − k = /(κ k) B B − is then an ordinary vertex algebra over C. Evidently, and k have the same graded character in the sense that B B d k d k χ( , q)= rank ( [d])q = dimC( [d])q = χ( , q). B FK B B B Xd 0 Xd 0 ≥ ≥ We regard k as being obtained from by evaluating the functions in F at the point k. B B K Since F consists of rational functions of degree at most zero, has a limit K B ∞ = lim , κ B →∞ B which we define as follows. First, fix a basis a i I of as an F -module, and define { i| ∈ } B K ∞ to be the vector space over C with basis αi i I . Without loss of generality, we Bmay assume that each a is homogeneous with{ respect| ∈ to} weight. If a [m], we declare i i ∈ B 10 that αi ∞[m], so that ∞ inherits the weight grading ∞ = m 0 ∞[m]. Next, we ∈ B B B ≥ B define a map L

φ : ∞, φ( fiai)= ( lim fi)αi. B → B κ Xi I Xi I →∞ ∈ ∈ Here i I fiai is an arbitrary element of , where the coefficients fi are elements of FK ∈ B and fiP=0 for all but finitely many indices. This map is clearly linear in the sense that φ(fω + gν) = ( lim f)φ(ω) + ( lim g)φ(ν). κ κ →∞ →∞ The vertex algebra structure on ∞ is defined on our basis by B (3.3) α α = φ(a a ), i, j I, n Z, i ◦n j i ◦n j ∈ ∈ and extended by linearity, so for all ω, ν and n Z, we have ∈ B ∈ (3.4) φ(ω ν)= φ(ω) φ(ν). ◦n ◦n Clearly ∞ is a vertex algebra over C with graded character χ( ∞, q) = χ( , q). Since each weightB space [m] has finite rank and the determinant of aB change of basisB matrix B lies in F , the vertex algebra structure of ∞ does not depend on the choice of basis of . K B B We can regard ∞ as obtained from by evaluating all elements of F at , so it is on B B K ∞ the same footing as k defined above. B Example 3.1 (Affine vertex superalgebras). Let g = g g be a finite-dimensional Lie 0 ⊕ 1 superalgebra over C, where dim(g0) = n and dim(g1)=2m. Suppose that g is equipped with a nondegenerate, invariant, supersymmetric bilinear form B. Fix a basis ξ1,...,ξn ± { } ξi η k for g and η±,...,η± for g , so the generators X ,X j of V (g, B) satisfy 0 { 1 m} 1 ξi ξj 2 [ξi,ξj ] 1 X (z)X (w) δi,jk(z w)− + X (w)(z w)− , − ∼ − − − η+ η 2 [η+,η ] 1 X i (z)X j (w) δi,jk(z w)− + X i j (w)(z w)− , (3.5) ± ∼ ± − − ξi η [ξi,η ] 1 X (z)X j (w) X j (w)(z w)− , ± ± ∼ ± ± − η η [η ,η ] 1 X i (z)X j (w) X i j (w)(z w)− . ∼ − 2 Let κ be a formal variable satisfying κ = k, and let F = FK for K = 0 . Let { } ± V be the vertex algebra with coefficients in F which is freely generated by aξi , aηj i = 1,...,n, j =1,...,m , satisfying { | }

ξi ξj 2 1 [ξi,ξj ] 1 a (z)a (w) δ (z w)− + a (w)(z w)− , ∼ i,j − κ − + − 1 + − η ηj 2 [ηi ,ηj ] 1 a i (z)a (w) δi,j(z w)− + a (w)(z w)− , (3.6) ∼ − κ − ± ± ξi η 1 [ξi,η ] 1 a (z)a j (w) + a j (w)(z w)− , ∼ κ − ± ± ± ± η η 1 [η ,η ] 1 a i (z)a j (w) + a i j (w)(z w)− . ∼ κ − For k =0, we have a surjective vertex algebra homomorphism 6 1 ± 1 ± V k(g, B), aξi Xξi , aηj aηj , V → 7→ √k 7→ √k

11 whose kernel is the ideal (κ √k), so V k(g, B) = /(κ √k). Then − ∼ V − (3.7) ∞ = lim = (n) (m), κ ∼ V →∞ V H ⊗A + − and has even generators αξi for i =1,...,n, and odd generators eηj , eηj for j =1,...,m, satisfying

ξi ξj 2 α (z)α (w) δi,j(z w)− , (3.8) + − ∼ − η η 2 e i (z)e j (w) δ (z w)− . ∼ i,j − An important feature of deformable families is that a strong generating set for the limit will give rise to a strong generating sets for the family after tensoring with a ring of the form FS for a subset S C containing K. The following result appears as Lemma 8.1 of [CLI], but we include a⊆ more detailed proof here for the beneﬁt of the reader. Lemma 3.2. Let K C be at most countable, and let be a vertex algebra over F with weight ⊆ B K grading (3.2) such that [0] ∼= FK . Let U = αi i I be a strong generating set for ∞, and let T = a i I be aB subset of such that φ{(a |)=∈α .} There exists a subset S C containingB { i| ∈ } B i i ⊆ K which is at most countable, such that FS FK is strongly generated by T . Here we have identiﬁed T with the set 1 a i I F ⊗ B. { ⊗ i| ∈ } ⊆ S ⊗FK B

Proof. For all n > 0, let dn = rankFK ( [n]) = dimC ∞[n], and ﬁx a basis b1,...,bdn for [n] as an F -module, so that the correspondingB setB β ,...,β , where β{= φ(b ), forms} B K { 1 dn } j j a basis of ∞[n]. B Since U = αi i I strongly generates ∞, there is a subset of monomials µ1,...,µdn { | ∈ } k1 kr B { } which each have the form : ∂ α ∂ α :, which is another basis for ∞[n]. Note that i1 ··· ir B ∞ need not be freely generated by U, so this subset may not include all possible mono- B mials of weight n. Let M = (mj,k) GLn(C) denote the change of basis matrix such that ∈

µj = mj,kβk. Xk Next, let m ,...,m be the monomials in the elements a i I and their derivatives { 1 dn } { i| ∈ } obtained from µ1,...,µdn by replacing each αi by ai. It follows from (3.3) that φ(mj)= µj. Moreover, since b ,...,b is a basis for [n] as an F -module, we can write { 1 dn } B K

mj = mj,k(κ)bk, Xk

for some functions mj,k(κ) FK. Taking the limit shows that limκ mj,k(κ) = mj,k, ∈ →∞ and since the matrix M = (mj,k) has nonzero determinant, it follows that this holds for M(κ)=(mj,k(κ)) as well. Moreover, det(M(κ)) lies in FK and hence has degree zero 1 as a rational function. Then det(M(κ)) has degree zero, but need not lie in FK since the denominator may have roots that do not lie in K. But if we let Sn be the union of K and this set of roots, det(M(κ)) will be invertible in F and m ,...,m will form a basis of Sn { 1 dn } FSn FK [n] as an FSn -module. We now take S = n 0 Sn, and it is clear that the set T ⊗ B ≥ has the desired properties. S Corollary 3.3. For k C S, the vertex algebra k = /(κ k) is strongly generated by the ∈ \ B B − image of T under the map k. B → B 12 Since our description of S is nonconstructive, it is difficult to determine when Corollary 3.3 can be applied to a specific value of k. However, a slightly weaker statement holds if S is replaced by a much smaller set S′, which can be determined algorithmically. Since T closes under operator product expansion in F , each term appearing in the OPE S ⊗FK B of ai(z)aj(w) for i, j I can be expressed as a linear combination of normally ordered monomials of the form∈ (3.9) : ∂k1 a (w) ∂kr a (w):, i1 ··· ir for i ,...,i I and k ,...,k 0. The structure constants, i.e., the coefficients of these 1 r ∈ 1 r ≥ monomials, are rational function of κ lying in FS but not necessarily in FK . Let D denote the set of poles of the structure constants appearing in a (z)a (w) for all i, j I. Without i j ∈ loss of generality, we may assume that D S. We now define S′ = K D. ⊆ ∪ Lemma 3.4. As an F ′ -module, F ′ is strongly generated by T , up to torsion elements. S S ⊗FK B Proof. Let be the subalgebra of F ′ generated by T . Note first that is strongly A S ⊗FK B A generated by T ; equivalently, is spanned as an F ′ -module by all normally ordered A S monomials (3.9) as above. This is clear since the corresponding generating set in FS FK (also denoted by T ) is a strong generating set, but the structure constants in F ⊗ allB S ⊗FK B lie in the smaller algebra F ′ . Also, since F is strongly generated by T , we have S S ⊗FK B (3.10) F = F ′ = F . S ⊗FK B S ⊗FS A S ⊗FK A Since F ′ is an integral domain, for each m 0, S ≥ rank ′ ( [m]) = dim (F ′ [m]) FS A F ⊗FS A is well-defined, where F denotes the fraction field of FS′ . By (3.10), we have

rank ( [m]) = rank (F [m]) = rank (F ′ [m]) = rank ′ ( [m]). FK B FS S ⊗FK B FS S ⊗FS A FS A ′ FS FK [m] Since rank ( [m]) = rank ′ (F ′ [m]), it follows that ⊗ B is a torsion F ′ - FK B FS S ⊗FK B [m] S module for all m, as claimed. A

In many situations, K is a finite set. For example, if is the deformable family B V satisfying /(κ √k) = V k(g, B) for some Lie superalgebra g, we can take K = 0 . V − ∼ { } Also, in many situations ∞ is strongly generated by a finite set U = α ,...,α . B { 1 r} Corollary 3.5. Suppose that K is a finite set and ∞ is strongly generated by a finite set U = k B α1,...,αr . Then is strongly generated by the corresponding set T = a1,...,ar for generic values{ of k. } B { }

If U isa minimal strong generating set for ∞ it is not clear in general that T is a minimal strong generating set for , since there mayB exist relations of the form λ(k)α = P , where B j P is a normally ordered polynomial in αi i I, i = k and limk λ(k)=0, although { | ∈ 6 } →∞ limk P is nontrivial. However, there is one condition which holds in many examples, under→∞ which T is a minimal strong generating set for . B Lemma 3.6. Suppose that U = αi i I is a minimal strong generating set for ∞ such that there is an N Z with wt(α ){<| N ∈for} all i I. If there are no normally orderedB polynomial ∈ >0 i ∈ relations among αi i I and their derivatives of weight less than N, then the corresponding set T = a i I{ is| a∈ minimal} strong generating set for . { i| ∈ } B 13 Proof. If T is not minimal, there exists a decoupling relation λ(k)a = P for some j I j ∈ of weight wt(aj) < N. By rescaling if necessary, we can assume that either λ(k) or P is nontrivial in the limit k . We therefore obtain a nontrivial relation among αi i I and their derivatives of→∞ the same weight, which is impossible. { | ∈ }

In our main examples, the fact that relations among the elements of U and their derivatives do not exist below a certain weight is a consequence of Weyl’s second fundamental theorem of invariant theory for the classical groups [W].

4. ORBIFOLDS OF FREE FIELD ALGEBRAS

By a free field algebra, we mean any vertex algebra = (n) (m) (r) (s) for integers m, n, r, s 0, where (0) is declared to be CVfor H= ⊗F, , , ⊗. Building S ⊗A on our ≥ B B H S F A previous work, we establish the strong finite generation of G for any reductive group G Aut( ) which preserves the tensor factors of . Our descriptionV of these orbifolds is ⊆ V V Cn ultimately based on a classical theorem of Weyl (Theorem 2.5A of [W]). Let Vk ∼= for k 1, and let G GL(n), which acts on the ring Sym k 1 Vk. For all p 1, GL(p) acts ≥ p ⊆ ≥ ≥ on Vk and commutes with the action of G. ThereL is an induced action of GL( ) = k=1 ∞ limpL GL(p) on k 1 Vk, so GL( ) acts on Sym k 1 Vk and commutes with the action →∞ ≥ ∞ G≥ of G. Therefore GLL( ) acts on R = (Sym k 1 VLk) as well. Elements σ GL( ) are ∞ ≥ ∈ ∞ known as polarization operators, and given fLR, σf is known as a polarization of f. ∈ n G Theorem 4.1. R is generated by the polarizations of any set of generators for (Sym k=1 Vk) . n G Since G is reductive, (Sym Vk) is finitely generated, so there exists a finite set Lf1,...,fr , k=1 { } whose polarizations generateLR.

As shown in [CLII] (see Theorem 6.4) there is an analogue of this result for exterior G algebras. Let S = ( k 1 Vk) and let d be the maximal degree of the generators of n G ≥ (Sym k=1 Vk) . ThenVLS is generated by the polarizations of any set of generators for d G ( kL=1 Vk) . In particular, S is generated by a finite number of elements together with theirVL polarizations. By a similar argument, the same holds for rings of the form G T = (Sym V ) ( W ) , k ⊗ k Mk 1 ^Mk 1 ≥ ≥ where V = Cn, W = Cm, and G GL(n) GL(m) is any reductive group. k k ⊆ × Theorem 4.2. Let = (m) (n) (r) (s) for integers m, n, r, s 0, and let G O(m) O(n) SpV(2r) HSp(2⊗Fs) be a reductive⊗ S ⊗A group of automorphisms of ≥that preserves the⊆ factors× (m), ×(n), (r×), and (s). Then G is strongly finitely generated. V H F S A V Proof. Note that = gr( ) as G-modules, and V ∼ V G gr( G) = gr( )G = (Sym V ) ( V¯ ) (Sym W ) ( W¯ ) , V ∼ V ∼ j ⊗ j ⊗ j ⊗ j Mj 0 ^Mj 0 Mj 0 ^Mj 0 ≥ ≥ ≥ ≥ Cm ¯ Cn C2r ¯ C2s as supercommutative rings. Here Vj ∼= , Vj ∼= , Wj ∼= , Wj ∼= . By a general theorem of Kac and Radul [KR] (see also [DLM] for the case of compact G), for each of the vertex algebras = (m), (n), (r), (s), we have a dual reductive B H F S A 14 pair decomposition = L(ν) M ν , B ∼ ⊗ Mν H ∈ where H indexes the irreducible, finite-dimensional representations L(ν) of Aut( ), and ν Aut( ) B the M ’s are inequivalent, irreducible, highest-weight B -modules. Therefore B = L(ν) L(µ) L(γ) L(δ) M ν M µ M γ M δ, V ∼ ⊗ ⊗ ⊗ ⊗ ⊗ ⊗ ⊗ ν,µ,γ,δM where L(ν), L(µ), L(γ), and L(δ) are irreducible, finite-dimensional modules over O(m), O(n), Sp(2r) and Sp(2s), respectively, and M ν , N µ, M γ and M δ are irreducible, highest- weight modules over (m)O(m), (n)O(n), (r)Sp(2r), and (s)Sp(2s), respectively. An immediate consequence whoseH proofF is the sameS as the proofA of Lemma 14.2 of [LV] is that G has a strong generating set which lies in the direct sum of finitely many irreducible V modules over (m)O(m) (n)O(n) (r)Sp(2r) (s)Sp(2s). H ⊗F ⊗ S ⊗A By Theorem 9.4 of [LV], (r)Sp(2r) is of type (2, 4,..., 2r2 +4r) and has strong generators S W 1 r (4.1) w˜2k+1 = : βi∂2k+1γi : :(∂2k+1βi)γi : , k =0, 1,...,r2 +2r 1. 2 − − Xi=1 By Theorem 11.1 of [LV], (n)O(n) is of type (2, 4,..., 2n) and has strong generators F W 1 n ˜j2k+1 = : φi∂2k+1φi :, k =0, 1,...,n 1. −2 − Xi=1 By Theorem 3.11 of [CLII], (s)Sp(2s) is of type (2, 4,..., 2s) and has strong generators A W 1 s w2k = : ei∂2kf i :+:(∂2kei)f i : , k =0, 1,...,s 1. 2 − Xi=1 In [LIII], it was conjectured that (m)O(m) is of type (2, 4,...,m2 +3m), and has strong generators H W m 1 j2k = ai∂2kai :, k =0, 1,..., (m2 +3m 2). 2 − Xi=1 In [LIV] this was proven for m 6. Although this conjecture was not proven for m > 6, ≤ it was shown that for all m, (m)O(m) has strong generators j2k 0 k K for some 1 H { | ≤ ≤ } K (m2 +3m 2). ≥ 2 − For any irreducible (m)O(m) (n)O(n) (r)Sp(2r) (s)Sp(2s)-submodule of with H ⊗F ⊗S ⊗A M V highest-weight vector f = f(z), and any subset S , define S to be the subspace spanned by the elements ⊆ M M

: ω1 ωaν1 νbµ1 µcζ1 ζdα :, (4.2) ··· ··· ··· ··· ω (m)O(m), ν (n)O(n), µ (r)Sp(2r), ζ (s)Sp(2s), α S. i ∈ H i ∈F i ∈ S i ∈A ∈ By the same argument as Lemma 9 of [LII], there is a finite set S of vertex operators of the form j2a1 (h ) j2at (h )˜j2b1+1(j ) ˜j2bu+1(j )˜w2c1+1(k ) w˜2cv+1(k )w2d1 (l ) w2dw (l )f, 1 ··· t 1 ··· u 1 ··· v 1 ··· w 15 such that = . In this notation M MS j2ai (m)O(m), 0 h 2a K, ∈ H ≤ i ≤ i ≤ 2bi+1 O(n) ˜j (n) , 0 ji < 2bi +1 2n 1, (4.3) ∈F ≤ ≤ − w˜2ci+1 (r)Sp(2r), 0 k < 2c +1 2r2 +4r 1, ∈ S ≤ i i ≤ − w2di (s)Sp(2s), 0 l 2d 2s 2. ∈A ≤ i ≤ i ≤ − In fact, this is equivalent to the C -cofiniteness of all irreducible (m)O(m) (n)O(n) 1 H ⊗F ⊗ (r)Sp(2r) (s)Sp(2s)-submodules of , according to Miyamoto’s definition [MiII]. Com- S ⊗A V bining this with the strong finite generation of each of the vertex algebras (m)O(m), H (n)O(n), (r)Sp(2r), and (s)Sp(2s), completes the proof. F S A 5. ORBIFOLDS OF AFFINE VERTEX SUPERALGEBRAS

In [LIII] it was shown that for any Lie algebra g with a nondegenerate form B, and any reductive group G of automorphisms of V k(g, B), V k(g, B)G is strongly finitely generated for generic values of k. In this section, we extend this result to the case of affine vertex superalgebras. Let g = g0 g1 be a finite-dimensional Lie superalgebra over C, where dim(g ) = n and dim(g )=2⊕ m, and let B be a nondegenerate form on g. Let be 0 1 V the deformable vertex algebra over F = FK for K = 0 from Example 3.1, such that k { } V (g, B) = /(κ √k), and ∞ = limk = (n) (m). Define the map ψ : ∞ ∼ →∞ ∼ by V − V V H ⊗A V→V

ξi ξi (5.1) ψ cr(κ)mr(a ) = crmr(α ), cr = lim cr(κ). κ Xr Xr →∞ ξi j ξi ξi In this notation, mr(a ) is a normally ordered monomial in ∂ a , and mr(α ) is obtained ξi ξi ξi from mr(a ) by replacing each a with α . This map is easily seen to satisfy (5.2) ψ(ω ν)= ψ(ω) ψ(ν), ◦n ◦n for all ω, ν and n Z. ∈V ∈ Note that has a good increasing ﬁltration, where (d) is spanned by normally ordered V ± V monomials in ∂laξi and ∂laηj of degree at most d. We have isomorphisms of ∂-rings

gr( ) = F C Sym V W = F C gr( ∞), V = g , W = g . V ∼ ⊗ j j ∼ ⊗ V j ∼ 0 j ∼ 1 Mj 0 O ^Mj 0 ≥ ≥ The action of G on preserves the formal variable κ, and we have V G G G G gr( ) = gr( ) = F C R = F C gr( ∞) = F C gr(( ∞) ), V ∼ V ∼ ⊗ ∼ ⊗ V ∼ ⊗ V G G where R = (Sym j 0 Vj) ( j 0 Wj) . Finally, [w] is a free F -module and ≥ ≥ V L G N VL G k G rank ( [w]) = dimC(( ∞) [w]) = dimC(V (g, B) [w]) F V V for all w 0 and k C. ≥ ∈ Fix a basis ξ ,...,ξ for V , which corresponds to { 1,l n,l} l l ξ1 l ξn l ξ1 l ξn ∂ a ,...,∂ a , ∂ α ,...,∂ α ∞, { }⊆V { }⊆V respectively. Similarly, fix a basis η± ,...,η± for W corresponding to { 1,l m,l} l ± ± ± ± l η l ηm l η l ηm ∂ a 1 ,...,∂ a , ∂ α 1 ,...,∂ α ∞, { }⊆V { }⊆V 16 respectively. The ring R is graded by degree and weight, where ξ1,l,...,ξn,l, η1±,l,...,ηm,l± have degree 1 and weight l +1. Choose a generating set S = s i I for R as a ∂-ring, { i| ∈ } where si is homogeneous of degree di and weight wi. We may assume that S contains finitely many generators in each weight. We can find a corresponding strong generating set T = t i I for G, where { i| ∈ } V G t ( ) , φ (t )=1 s F C R. i ∈ V (di) di i ⊗ i ∈ ⊗ G G G G Here φdi :( )(di) ( )(di)/( )(di 1) gr( ) is the usual projection. In particular, the V → V V − ⊆ V leading term of ti is a sum of normally ordered monomials of degree di in the variables ± aξi , aηj and their derivatives, and the coefficient of each such monomial is independent G of κ. Let u = ψ(t ) ( ∞) where ψ is given by (5.1), and define i i ∈ V G G (5.3) ( )∞ = U ( ∞) , V h i ⊆ V where U is the vertex algebra generated by ui i I . Since ti i I strongly gener- Gh i { | ∈ } { | ∈ } ates and closes under OPE (possibly nonlinearly), it follows from (5.2) that ui i I alsoV closes under OPE and strongly generates U. { | ∈ }

Fix w 0, and let m1,...,mr be a set of normally ordered monomials in ti and their ≥ { } G G derivatives, which spans the subspace [w] of weight w. Then ( )∞[w] is spanned by V V the corresponding monomials µl = ψ(ml) for l =1,...,r, which are obtained from ml by replacing ti with ui. Given normally ordered polynomials r r G G P (u )= c µ ( )∞[w], P˜(t )= c (κ)m [w], i l l ∈ V i l l ∈V Xl=1 Xl=1 with c C and c (κ) F , we say that P˜(t ) converges termwise to P (u ) if l ∈ l ∈ i i lim cl(κ)= cl, l =1, . . . , r. κ →∞

In particular, P˜(ti) converges termwise to zero if and only if limκ cl(κ)=0 for l = →∞ 1,...,r.

G Lemma 5.1. For each normally ordered polynomial relation P (u ) in ( )∞ of weight m and i V leading degree d, there exists a relation P˜(t ) G of weight m and leading degree d which i ∈ V converges termwise to P (ui).

d a a Proof. We may write P (ui) = a=1 P (ui), where P (ui) is a sum of normally ordered j1 jt d monomials µ = : ∂ ui1 ∂ uPit : of degree a = di1 + + dit . The leading term P (ui) ··· ··· d corresponds to a relation in R among the generators si and their derivatives, i.e., P (si)= d G a G 0. It follows that P (ti) ( )(d 1). Since P (ui) (( )∞)(a) for a = 1,...,d 1, we G ∈ V − ∈ V G − have P (ti) ( )(d 1). Since ti i I strongly generates , we can express P (ti) as a normally∈ orderedV − polynomial{ P| (t∈) of} degree at most d 1V. Let Q(t ) = P (t ) P (t ), 0 i − i i − 0 i which is therefore a relation in G with leading term P d(t ). V i If P0(ti) converges termwise to zero, we can take P˜(ti) = Q(ti) since P (ti) converges termwise to P (ui). Otherwise, P0(ti) converges termwise to a nontrivial relation P1(ui) G in ( )∞ of degree at most d 1. By induction on the degree, there is a relation P˜ (t ) V − 1 i of leading degree at most d 1, which converges termwise to P (u ). Finally, P˜(t ) = − 1 i i P (t ) P (t ) P˜ (t ) has the desired properties. i − 0 i − 1 i 17 G G G G Corollary 5.2. ( )∞ = ( ∞) = ( (n) (m)) . In particular, is a deformable family with limit ( (n)V (m))GV. H ⊗A V H ⊗A G G G G Proof. Recall that rankF ( [w]) = dimC(( ∞) [w]) for all w 0. Since ( )∞ ( ∞) , V G V G ≥ V ⊆ V it sufﬁces to show that rankF ( [w]) = dimC(( )∞[w]) for all w 0. Let m1,...,mr G V V ≥ { } be a basis for [w] as an F -module, consisting of normally ordered monomials in ti and V G their derivatives. The corresponding elements µl = ψ(ml) for l = 1,...,r span ( )∞[w], and by Lemma 5.1 they are linearly independent. Otherwise, a nontrivial relationV among µ1,...,µr would give rise to a nontrivial relation among m1,...,mr. Theorem 5.3. V k(g, B)G is strongly ﬁnitely generated for generic values of k.

Proof. Since K = 0 , this is immediate from Theorem 4.2 applied to = (n) (m) and Corollaries 3.3,{ 3.5} and 5.2. V H ⊗A Theorem 5.4. Let = (m) (n) (r) (s) be a free ﬁeld algebra and let g be a Lie superalgebra equippedV withH a nondegenerate⊗F ⊗ S form⊗AB. Let G be a reductive group of automorphisms of V k(g, B) which preserves each tensor factor. Then ( V k(g, B))G is strongly ﬁnitely generatedV ⊗ for generic values of k. V ⊗

Proof. We have lim V k(g, B) = (n) (m), k ∼ →∞ V ⊗ V ⊗ H ⊗A 1 where n = dim(g0) and m = 2 dim(g1), and lim ( V k(g, B))G = ( (n) (m))G. k ∼ →∞ V ⊗ V ⊗ H ⊗A Clearly G preserves the tensor factors, so the claim follows from Theorem 4.2 and Corol- laries 3.3 and 3.5.

6. COSETS OF V k(g, B) INSIDELARGERSTRUCTURES: GENERIC BEHAVIOR

Let g be a finite-dimensional reductive Lie algebra, equipped with a nondegenerate symmetric, invariant bilinear form B. Let k be a vertex (super)algebra whose structure A constants depend continuously on k, admitting a homomorphism V k(g, B) k. Many cosets of the form → A Com(V k(g, B), k) A have been studied in both the physics and mathematics literature. One class of examples is k k = V (g′, B′), A where g′ is a Lie (super)algebra containing g, and B is a nondegenerate, (super)symmetric invariant form on g′ extending B. Another class of examples is k k l = V − (g′, B′) , A ⊗F l where g′ and B′ are as above and is a free field algebra admitting a map φ : V (g, B) for some fixed l C. We requireF that the action of g on integrates to an action of→ a Fconnected Lie group∈ G whose Lie algebra is g, and that G preservesF the tensor factors of . The map V k(g, B) k is just the diagonal map Xξi Xξi 1+1 φ(Xξi ). F →A 7→ ⊗ ⊗ To construct examples of this kind, we recall a well-known homomorphism 1/2 τ : V − (sp ) (n). 2n → S 18 In terms of the basis ei,j 1 i 2n, 1 j 2n for gl2n, a standard basis for sp2n consists of { | ≤ ≤ ≤ ≤ } e + e , e e , e e , 1 j, k n. j,k+n k,j+n − j+n,k − k+n,j j,k − n+k,n+j ≤ ≤ Define τ by

e + +e + j k e + e + j k e e + + j k (6.1) X j,k n k,j n : γ γ :, X− j n,k− k n,j : β β :, X j,k− n k,n j : γ β : . 7→ 7→ 7→ This map is well known to factor through the simple quotient L 1/2(sp2n). Also, the sp2n- ξ − action coming from the zero modes X (0) ξ sp2n integrates to the usual action of Sp(2n) on (n). { | ∈ } S There is a similar homomorphism σ : V 1(so ) (m) m →F which factors through the simple quotient L1(som), and whose zero mode action integrates to SO(m). If g is any reductive Lie algebra which embeds in sp2n, and B1 is the 1 restriction of the form on sp2n to g, we obtain a restriction map τg : V (g, B1) (n). 1 → S Similarly, if g embeds in so we obtain a restriction map σg : V (g, B ) (m), where m 2 → F B2 is the restriction of the form on som to g. We have the diagonal map

1 ξ ξ ξ V (g, B + B ) (n) (m), X τg(X ) 1+1 σg(X ). 1 2 → S ⊗F 7→ ⊗ ⊗ The action of g coming from the zero modes integrates to an action of a connected Lie group G with Lie algebra g, which preserves both (n) and (m). S F Finally, we mention one more class of examples

k k l l = V − (g′, B′) V (g′′, B′′). A ⊗ Here g′′ is another finite-dimensional Lie (super)algebra containing g, equipped with a nondegenerate, invariant, (super)symmetric bilinear form B′′ extending B. As usual, the k k ξi ξi ξi l map V (g, B) is the diagonal map X X 1+1 X . If V (g′′, B′′) is not → A l 7→ ⊗ ⊗ simple, we may replace V (g′′, B′′) with its quotient by any nontrivial ideal in the above definition. In order to study all the above cosets from a unified point of view it is useful to axiom- atize k. A Definition 6.1. A vertex algebra k with structure constants depending continuously on k, A which admits a map V k(g, B) k will be called good if the following conditions hold. →A (1) There exists a deformable family defined over F for some (at most countable) subset K A K ⊆ C containing zero, such that k = /(κ √k). Letting be as in Example 3.1, there is a A A − V homomorphism inducing the map V k(g, B) k for each k with √k / K. V→A k →A ∈ (2) For generic values of k, admits a Virasoro element LA and a conformal weight grading k k A k = d N [d]. For all d, dim( [d]) is finite and independent of k. A ∈ A A (3) For genericL values of k, k decomposes into finite-dimensional g-modules, so the action of g integrates to an action ofA a connected Lie group G having g as Lie algebra. (4) We have a vertex algebra isomorphism

∞ = lim = (d) ˜, d = dim(g). κ ∼ A →∞ A H ⊗ A 19 ˜ Here ˜ is a vertex subalgebra of limκ with Virasoro element LA and N-grading by A →∞ A conformal weight, with finite-dimensional graded components. Also, the action of G on ∞ A preserves A˜. g k k (5) Although L0 need not act diagonalizably on , it induces a grading on into generalized eigenspaces corresponding to the JordanA blocks of each eigenvalue. InA general, these generalized eigenspaces can be infinite-dimensional. However, any highest-weight V k(g, B)- submodule of k has finite-dimensional components with respect to this grading for generic values of k. A

k k g Remark 6.2. Since the V (g, B)-submodules of have finite-dimensional L0 generalized eigenspaces, simple quotients of such modules must be simpleA quotients of Weyl modules. Generically, Weyl modules are already simple and in that case do not allow for nontrivial extensions by [Ku]. In other words, generically V k(g, B) acts completely reducibly on k, so A k = V k(λ) k(λ), A ∼ ⊗ C λMP + ∈ as a V k(g, B) Com(V k(g, B), k)-module. Here P + denotes the set of dominant weight of g, ⊗ A V k(λ) are the Weyl modules, and k(λ) the multiplicity spaces, which are modules for the coset C Com(V k(g, B), k). A For a fixed λ, V k(λ) k(λ) is graded by conformal weight. The field φ of a vector of minimal ⊗ C weight has the property that the OPE with a strong generator a of V k(g, B) Com(V k(g, B), k) has no poles of order higher than the conformal weight ∆ of a. This minimal-weight⊗ property doesA not change upon specializing to any specific value of k.

Suppose that dim(g)= d and g′ = g0′ g1′ where dim(g0′ )= n, dim(g1′ )=2m, and n d. It is not difﬁcult to check that the above⊕ examples ≥

k k k k l k k l l = V (g′, B′), = V − (g′, B′) , = V − (g′, B′) V (g′′, B′′), A A ⊗F A ⊗ k k are good according to Definition 6.1. For = V (g′, B′), we have A (6.2) ˜ = (n d) (m). A ∼ H − ⊗A k k l Similarly, for = V − (g′, B′) , we have A ⊗F (6.3) ˜ = (n d) (m) . A ∼ H − ⊗A ⊗F k k l l Finally, for = V − (g′, B′) V (g′′, B′′), we have A ⊗ l (6.4) ˜ = (n d) (m) V (g′′, B′′). A ∼ H − ⊗A ⊗ k l l l Also, V − (g′, B′) V (g′′, B′′) remains good if we replace V (g′′, B′′) by its quotient by any ⊗ l ideal, and (6.4) holds if we replace V (g′′, B′′) with its quotient by the ideal. Let k be an F -vertex algebra which is good as above, and let and be the de- A K A V formable families with k = /(κ √k) and V k(g, B)= /(κ √k) for √k / K. Let A A − V − ∈ (6.5) = Com( , ), C V A which is an FK -vertex algebra with Virasoro element g LC = LA L , − 20 g where LA and L are the Virasoro elements in and , respectively. For all k such that A V √k / K, define ∈ (6.6) k = /(κ √k). C C − g By abuse of notation, we use the same symbol LC = LA L to denote the Virasoro element k g − k k of , where LA and L are now the Virasoro elements in and V (g, B), respectively. C A Under the isomorphism ∞ = limκ = (d) ˜, we have A →∞ A H ⊗ A d g 1 ξi ξi ˜ lim L = LH = : α α :, lim LA = LH + LA. κ 2 k →∞ Xi=1 →∞ If is a deformable family and G Aut( ) is a reductive group of automorphisms, G A G⊆ √A k G √ is also a deformable family and /(κ k) ∼= ( ) whenever k / K. However, it isA not clear a priori that is a deformableA family− (i.e.,A [n] is a free F -submodule∈ of [n] C C K A for all n 0), or that for √k / K, we have ≥ ∈ (6.7) k = Com(V k(g, B), k). C A Clearly k Com(V k(g, B), k) and (6.7) holds generically, but unlike the case of orb- C ⊆ A ifolds, (6.7) need not hold for all √k / K. For example, let g be simple, B the normalized ∈ Killing form, k = V k(g), = , and K = 0 . Then = Com( , ) = C1, but at the A A h∨V h∨ { } C V V h∨ critical level k = h∨, Com(V − (g),V − (g)) is the Feigin-Frenkel center of V − (g). − Our first task is to determine the possible values of k for which k = Com(V k(g, B), k), and in the process we will show that is indeed a deformable family.C 6 For the moment,A we C assume that g is simple and that B is the normalized Killing form, so V k(g, B) = V k(g). Next, we introduce another FK-vertex algebra g G = Ker (L0) . K A ∩A Here G is a connected Lie group with Lie algebra g acting on , as in Definition 6.1. We clearly have . We let A C⊆K k = /(κ √k), K K − and let Q 0 denote the set of nonpositive rational numbers. ≤

Lemma 6.3. If √k / K and k + h∨ / Q 0, ∈ ∈ ≤ k g k G = Ker k (L0) ( ) . K A ∩ A k In particular, the graded character of is independent of k, for all k such that k + h∨ / Q 0. K ∈ ≤ k g k G Proof. Clearly Ker k (L0) ( ) . All Weyl modules of gˆ are at generic level com- K ⊆ A ∩ A g g pletely reducible (Remark 6.2), and hence L0 acts semisimply on . In particular, Ker (L0) is already the generalized eigenspace of eigenvalue zero. Furthermore,A the actionA of G clearly preserves the graded subspaces of and the G-invariant space is again a free A FK -module. g k Cas(M) The generalized L -eigenvalues on all have to be of the form ∨ + n for a non- 0 A k+h negative integer n, where Cas(M) is the Casimir eigenvalue on an irreducible representa- Cas(M) tion M of g. In particular, k+h∨ + n =0 is only possible if M is the trivial representation and n = 0, or if k + h∨ is a negative rational number. Hence for k + h∨ / Q 0, we have k g k G ∈ ≤ Ker k (L0) ( ) . K ⊇ A ∩ A 21 We have actually just proven

k g g Corollary 6.4. If √k / K and k + h∨ / Q 0 then = Ker k (L0) and L0 acts semisimply on ∈ ∈ ≤ K A the generalized eigenspace of eigenvalue zero in k. A Corollary 6.5. is a deformable family, that is, each weight-graded space [n] is a free FK - submodule of [nK]. K A Lemma 6.6. If √k / K and k + h∨ / Q 0, ∈ ∈ ≤ k k g Com(V (g), )= Ker k (L0). A A k k g Proof. Clearly any ω Com(V (g), ) is annihilated by L0. Conversely, suppose that g ∈ k G A k k ξi ω Ker k (L0). Since ω ( ) by Corollary 6.4, if ω / Com(V (g), ), then X 1 ω =0 ∈ A ∈ A ∈ A ◦ 6 for each i =1,...,d. We will show that such an ω cannot exist if k + h∨ / Q 0. ∈ ≤ k Recall that is N-graded by conformal weight (i.e., L0A-eigenvalue). Write ω as a sum of terms of homogeneousA weight, and let m be the maximum value which appears. Let g gˆ be the Lie subalgebra generated by the positive modes Xξ(k) ξ g,k> 0 . Note + ⊆ { | ∈ } that each element of U(g+) lowers the weight by some k > 0, and the conformal weight g grading on U(g+) is the same as the grading by L0-eigenvalue. An element x U(g+) of ∈ g weight k satisfies x(ω) m k. Also, x(ω) lies in the generalized eigenspace of L0 of eigenvalue− k, and x(ω)=0∈ Aif −k > m. − It follows that U(g+)ω is a finite-dimensional vector space graded by conformal weight. In particular, the subspace M U(g+)ω of minimal weight m is finite-dimensional. Hence it is a finite-dimensional g-module,⊆ and is thus a direct sum of finite-dimensional highest- g weight g-modules. Moreover, U(g+) acts trivially on M. Since g is simple and L is the g Sugawara vector at level k, the eigenvalue of L0 on M is given by

g Cas(M) (6.8) L0 M = . | k + h∨ g In fact, each irreducible summand of M must have the same L0 eigenvalue and hence g the same Casimir eigenvalue. This is a rational number. The L0 eigenvalue on M must actually be a negative integer r, with m r 1. This statement and (6.8) can only be − ≤ ≤ − true for rational values of k < h∨. − Corollary 6.7. is a deformable family over FK , and if √k / K and k + h∨ / Q 0, we have C ∈ ∈ ≤ k = Com(V k(g), k). C A k k k g k Proof. Since = Com(V (g), ) = Ker k (L0) = for generic values of k, we obtain = as vertexC algebras overA F . SinceA is aK deformable family over F , so is . C K K K K C Therefore k = k for all k with √k / K. Finally, since C K ∈ k g k k = Ker k (L0)= Com(V (g), ) K A A for k + h∨ / Q 0, the claim follows. ∈ ≤ We now return to the situation where g is reductive and B is nondegenerate.

Corollary 6.8. Suppose that g is reductive and the restriction of B to each simple ideal gi k ⊆ g is the normalized Killing form on gi. Then is a deformable family over FK and = k k C C Com(V (g, B), ) for all k such that k + hi∨ / Q 0, for all i. Here hi∨ is the dual Coxeter A ∈ ≤ number of the gi.

22 Proof. For a one-dimensional abelian summand of g, the corresponding afﬁne vertex algebra is just the Heisenberg algebra (1), and G = C∗. For all k =0, we have H 6 k k C∗ Com( (1), )= Ker(L0H) ( ) . H A ∩ A ∗ This is immediate from the fact that (1) acts completely reducibly on k, so that ( k)C = H A A ∼ (1) Com( (1), k). The result then follows by induction on the number of simple and abelianH ⊗ summandsH A of g.

Remark 6.9. If the restriction of B to gi is a nonzero constant λi times the normalized Killing form on gi, the above statement must be modiﬁed as follows: is a deformable family over FK and k k k C = Com(V (g, B), ) for all k such that kλi + hi∨ / Q 0, for all i. C A ∈ ≤

Now we are able to give a precise description of the limit ∞ = limκ . C →∞ C Theorem 6.10. Let g, B, and be as above. Then we have a vertex algebra isomorphism A lim = ˜G. κ ∼ →∞ C A Proof. The operator Lg acts on the (finite-dimensional) spaces k[n] of weight n and com- 0 A mutes with G, so it maps ( k)G[n] to itself. By Lemma 6.6, k[n] is generically the kernel of this map. Let A C k φ : [n] ∞[n]=( (d) ˜)[n] A →A H ⊗ A k be the map sending ω limk ω, which is injective and maps [n] into ˜[n]. Then 7→ →∞ C A Φ= φ Lg :( k)G[n] ( (d) ˜)G[n] ◦ 0 A → H ⊗ A also has kernel equal to k[n]. It is enough to show that dim(Ker(Φ)) dim( ˜G[n]). C ≥ A Equivalently, we need to show that dim(Coker(Φ)) dim( ˜G[n]). To see this, note that g ≥ A i ξi any element in the image of L0 is a linear combination of elements of the form :(∂ a )ν : i ξi for ξi g and i 0. Under φ these get mapped to :(∂ α )φ(ν):. In particular, each term ∈ ≥ G has weight at least one under LH, so ˜ [n] injects into Coker(Φ). 0 A Let g be reductive and B nondegenerate, and suppose that k, ˜, and G are as above. A A Let U = α i I be a strong generating set for ˜G, and let T = a i I be the { i| ∈ } A { i| ∈ } corresponding subset of such that limκ ai = αi. By Remark 6.9, there is a subset of C →∞ Q for which k may be a proper subset of Com(V k(g, B), k), but away from these points C A k = Com(V k(g, B), k). By expanding K to include these points, we can regard as a C A C deformable family such that k = Com(V k(g, B), k) for all k such that √k / K. C A ∈ Corollary 6.11. Let g be reductive and B nondegenerate, and suppose that k is good. Suppose A that ˜ is a tensor product of free field algebras and affine vertex algebras at generic level, and A the induced action of G on ˜ preserves each tensor factor. Then Com(V k(g, B), k) is strongly finitely generated for genericA values of k. A

Corollary 6.12. Let g be reductive and B nondegenerate. Let g′ be a Lie (super)algebra con- k taining g, equipped with a nondegenerate (super)symmetric form B′ extending B, and let = k A V (g′, B′). Then k k Com(V (g, B),V (g′, B′)) is strongly ﬁnitely generated for generic values of k.

23 Let be a free field algebra admitting a map V l(g, B) for some fixed l, and let k = k l F → F A V − (g′, B′) . If the induced action of G preserves the tensor factors of , ⊗F F k k l Com(V (g, B),V − (g′, B′) ) ⊗F is strongly finitely generated for generic values of k.

Finally, let g′′ be another Lie (super)algebra containing g, equipped with a nondegenerate (su- k k l l per)symmetric form B′′ extending B, and let = V − (g′, B′) V (g′′, B′′). Then A ⊗ k k l l Com(V (g, B),V − (g′, B′) V (g′′, B′′)) ⊗ is strongly ﬁnitely generated for generic values of both k and l.

7. SOME EXAMPLES

To illustrate the constructive nature of our results, this section is devoted to ﬁnding minimal strong ﬁnite generating sets for Com(V k(g, B), k) in some concrete examples. A By abuse of notation, we shall denote Com(V k(g, B), k) by k, since this equality holds generically. A C

k k+1/2 1/2 Example 7.1. Let g = sp and let = V (sp ) (n). Using the map V − (sp ) 2n A 2n ⊗S 2n → (n) given by (6.1), we have the diagonal map V k(sp ) k. Clearly S 2n →A k = Com(V k(sp ), k) C 2n A Sp(2n) 2 satisﬁes ∞ = (n) which is of type (2, 4,..., 2n +4n) by Theorem 9.4 of [LV]. It C ∼ S W follows from Corollary 6.12 that for generic values of k, k is of type (2, 4,..., 2n2 +4n). C W Sp(2n) Sp(2n) It is well known [KWY] that (n) ∼= L 1/2(sp2n) where L 1/2(sp2n) denotes the 1/2 S − − irreducible quotient of V − (sp2n). We obtain the following result, which was conjectured by Blumenhagen, Eholzer, Honecker, Hornfeck, and Hubel (see Table 7 of [B-H]).

k k+1/2 k k k Corollary 7.2. For = V (sp2n) L 1/2(sp2n), = Com(V (sp2n), ) is of type A ⊗ − C A (2, 4,..., 2n2 +4n) for generic values of k. W k k k k k Example 7.3. Let g = sp2n and = V (osp(1 2n)). Then = Com(V (sp2n),V (osp(1 2n)) k Sp(2An) |Sp(2n) C | satisﬁes limk ∼= (n) . Since (n) is of type (2, 4,..., 2n) by Theorem 3.11 of [CLII],→∞ weC obtainA A W

Corollary 7.4. k = Com(V k(sp ),V k(osp(1 2n)) is of type (2, 4,..., 2n) for generic k. C 2n | W In fact, by Corollary 5.7 of [CLII], (n)Sp(2n) is freely generated; there are no nontrivial normally ordered polynomial relationsA among the generators and their derivatives. It follows that k is freely generated for generic values of k. C Example 7.5. Let g = sp and = V k+1/2(osp(1 2n) (n)). Then 2n A | ⊗ S k k k 1/2 = Com(V (sp ),V − (osp(1 2n) (n))) C 2n | ⊗ S k Sp(2n) satisfies limk = ( (n) (n)) . →∞ C ∼ A ⊗ S 24 Lemma 7.6. ( (n) (n))Sp(2n) has the following minimal strong generating set: A ⊗ S 1 n j2k = : ei∂2kf i :+:(∂2kei)f i : , 0 k n 1, 2 ≤ ≤ − Xi=1 1 n (7.1) w2k+1 = : βi∂2k+1γi : :(∂2k+1βi)γi : , 0 k n 1, 2 − ≤ ≤ − Xi=1 1 n µk = : βi∂kf i : : γi∂kei : , 0 k 2n 1. 2 − ≤ ≤ − Xi=1 In particular, ( (n) (n))Sp(2n) has a minimal strong generating set consisting of even genera- A ⊗ S 3 5 4n+1 tors in weights 2, 2, 4, 4,..., 2n, 2n and odd generators in weights 2 , 2 ,..., 2 . Proof. The argument is similar to the proof of Theorem 7.1 of [CLI], and some details are omitted. By passing to the associated graded algebra and applying Weyl’s first fundamental theorem of invariant theory for Sp(2n), we obtain the following strong generating set for ( (n) (n))Sp(2n): A ⊗ S 1 n :(∂aei)∂bf i :+:(∂bei)∂af i : , a, b 0, 2 ≥ Xi=1 1 n :(∂aβi)∂bγi : :(∂bβi)∂aγi : , a, b 0, 2 − ≥ Xi=1 1 n :(∂aβi)∂bf i : :(∂aγi)∂bei : , a, b 0. 2 − ≥ Xi=1 As in Theorem 7.1 of [CLI], we use the relation of minimal weight to construct decoupling relations eliminating all but the set (7.1). Corollary 7.7. For generic values of k, k has a minimal strong generating set consisting of even C 3 5 4n+1 generators in weights 2, 2, 4, 4,..., 2n, 2n and odd generators in weights 2 , 2 ,..., 2 . Let L = j0 + w1 denote the Virasoro element of ( (n) (n))Sp(2n), which has central charge 3n−. Then L and µ0 generate a copy of the NA =⊗ 1 superconformal S algebra with − osp(1 2n) sp2n 1 0 c = 3n. Similarly, for noncritical values of k, L = L | L + w and µ generate − − a copy of the N =1 algebra inside k. C k k k k k Example 7.8. Let g = gln and = V (gl(n 1)). In this case, = Com(V (gln), ) k A GL(n) | C GL(n) A satisfies limk = (1) ( (n) ). By Theorem 4.3 of [CLII], (n) is of type →∞ C ∼ H ⊗ A A (2, 3,..., 2n + 1) so k is generically of type (1, 2, 3,..., 2n + 1). W C W k k k k k Example 7.9. Let g = gln and = V (gl(n 1)) (n). In this case, = Com(V (gln), ) k A |GL(n⊗S) C A satisfies limk = (1) ( (n) (n)) . →∞ C ∼ H ⊗ A ⊗ S Lemma 7.10. ( (n) (n))GL(n) has the following minimal strong generating set: A ⊗ S n n wk = : ei∂kf i :, jk = : βi∂kγi :, 0 k 2n 1, ≤ ≤ − Xi=1 Xi=1 n n νk = : ei∂kγi :, µk = : βi∂kf i :, 0 k 2n 1. ≤ ≤ − Xi=1 Xi=1

25 The even generators are in weights 1, 2, 2, 3, 3,..., 2n, 2n, 2n +1, and the odd generators are in 3 3 5 5 4n+1 4n+1 weights 2 , 2 , 2 , 2 ,..., 2 , 2 . Proof. The argument is the same as the proof of Lemma 7.6.

Therefore k has a minimal strong generating set with even generators in weights C 3 3 5 5 4n+1 4n+1 1, 1, 2, 2, 3, 3,..., 2n, 2n, 2n +1, and odd generators in weights 2 , 2 , 2 , 2 ,..., 2 , 2 , for generic values of k. Note that ( (n) (n))GL(n) has the following N =2 superconformal structure of central charge 3nA. ⊗ S − 1 1 0 0 0 + 0 0 (7.2) L = j ∂j w , F = j , G = ν , G− = µ . − 2 − For noncritical values of k, this deforms to an N =2 superconformal structure on k given by C n n − + 1 1 0 gl(n 1) gln 0 + η i i η L = j ∂j +L | L , F = j , G = : X i γ :, G− = : β X i : . − 2 − Xi=1 Xi=1 k k 1 k 1 Example 7.11. Let g = gln and = V − (sln+1) (n). There is a map V − (gln) k 1 A ⊗E → V − (sln+1) corresponding to the natural embedding gln sln+1, and a homomorphism 1 → k V (gln) (n) appearing in [FKRW], so we have a diagonal homomorphism V (gln) k →Ek k k k GL(n) → . Then = Com(V (gln), ) satisﬁes limk = ( (2n) (n)) , where (2n) isA the HeisenbergC algebra withA generators a1,...,a→∞ Cn andHa¯1,...,×E¯an satisfying H i j 2 i j i j a (z)¯a (w) δ (z w)− , a (z)a (w) 0, a¯ (z)¯a (w) 0. ∼ i,j − ∼ ∼ Lemma 7.12. ( (2n) (n))GL(n) has a minimal strong generating set H ×E n n jk = : bi∂kci :, wk = : ai∂ka¯i : 0 k n 1, ≤ ≤ − Xi=1 Xi=1 n n νk = : bi∂ka¯i :, µk = : ai∂kci :, 0 k n 1. ≤ ≤ − Xi=1 Xi=1 In particular, ( (2n) (n))GL(n) has even generators in weights 1, 2, 2, 3, 3,...,n,n,n +1, and H ×E 3 3 5 5 2n+1 2n+1 odd generators in weights 2 , 2 , 2 , 2 ,..., 2 , 2 . Proof. This is the same as the proof of Lemma 7.6.

Therefore k has a minimal strong generating set in the same weights for generic values C of k. Finally, ( (2n) (n))GL(n) has an N =2 superconformal structure given by H ×E 1 1 0 0 0 + 0 0 (7.3) L = j + ∂j w , F = j , G = ν , G− = µ , − 2 − which deforms to an N =2 superconformal structure on k. C This example is called the Kazama-Suzuki coset [KS] of complex projective space in the physics literature. It is conjectured [I] to be a super -algebra of sl(n+1 n) corresponding W | to the principal nilpotent embedding of sl2. In Section 8, we will explicitly determine the set of nongeneric values of k in the case n = 1. As a consequence, we will describe Com( (1), Lk(sl ) (1)) for all admissible levels k, and prove its rationality. H 2 ⊗E 26 k k 1 Example 7.13. Let g = sln and = V − (sln) L1(sln). Note that L1(sln) = Com( , (n)) A ⊗ ∼n iHi E where is the copy of the rank one Heisenberg algebra generated by i=1 : b c : and H k k k (n) is the rank n bc-system. Then = Com(V (sln), ) satisfies P E C A k SL(n) SL(n) SL(n) GL(n) lim = L1(sln) = Com( , (n)) = Com( , (n) )= Com( , (n) ). k ∼ ∼ →∞ C H E H E H E GL(n) k By [FKRW], (n) = 1+ ,n = (gln) so limk = (sln) and hence is of type E ∼ W ∞ ∼ W →∞ C ∼ W (2, 3,...,n). Therefore k is generically of type (2, 3,...,n). W C W More generally, let g be any simple, finite-dimensional, simply laced Lie algebra. The action of g on L1(g) integrates to an action of a connected Lie group G with Lie algebra g, and it is known that L (g)G is isomorphic to the -algebra (g) associated to 1 W W the principal embedding of sl2 in g, with central charge c = rank(g) [BBSSI, BS, F]. k k 1 k k Let = V − (g) L (g), equipped with the diagonal embedding V (g) . Then A ⊗ 1 → A k = Com(V k(g), k) satisfies C A k G lim = L1(g) . k ∼ →∞ C It follows that k has strong generators in the same weights as (g) for generic values of C W k. However, the much stronger statement that k is isomorphic to (g) for generic values of k has now been established in [ACL]. C W k k 1 Example 7.14. Let g = son and let = V − (son) L1(son). We have a projection 1 A k ⊗k V (son) L1(son), and a diagonal map V (son) . In this case we are interested k→ k k →k Z A/2Z not in = Com(V (son), ) but in the orbifold ( ) . Note that Z/2Z acts on each of C k A k 1 C the vertex algebras V (son), V − (son) and L1(son); the action is defined on generators by multiplication by 1. There is an induced action of Z/2Z on k. We have isomorphisms − C k Z/2Z k Z/2Z SO(n) Z/2Z O(n) O(n) lim (( ) ) = lim ( ) = L1(son) = L1(son) = (n) . k C ∼ k C ∼ ∼ ∼ F →∞ →∞ This appears as Theorems 14.2 and 14.3 of [KWY] in the cases where n is even and odd, respectively; in both cases, L (so )SO(n) decomposes as the direct sum of (n)O(n) and an 1 n F irreducible, highest-weight (n)O(n)-module. Since (n)O(n) is of type (2, 4,..., 2n), the following result, which wasF conjectured in Table 7 ofF [B-H], is an immediateW consequence. k Z/2Z k Z/2Z Corollary 7.15. limk ( ) isof type (2, 4,..., 2n), so ( ) isof type (2, 4,..., 2n) for generic values of k→∞. C W C W k k 1 Example 7.16. Let g = son and let = V − (son+1) (n). Recall that we have a map 1 A k ⊗F k V (son) (n), so we have a diagonal map V (son) . As above, there is an action → F k →k 1 A of Z/2Z acts on each of the vertex algebras V (son), V − (son+1) and (n), and therefore k k Z/2Z F SO(n) on , and we are interested in the orbifold ( ) . We have ∞ = ( (n) (n)) , C Z/2Z O(n) C C H ⊗F and ( ∞) =( (n) (n)) . C H ⊗F Lemma 7.17. ( (n) (n))O(n) has the following minimal strong generating set. H ⊗F n n w2k+1 = : φi∂2k+1φi :, j2k = : αi∂2kαi :, 0 k n 1, ≤ ≤ − Xi=1 Xi=1 n µk = : αi∂kφi :, 0 k 2n 1. ≤ ≤ − Xi=1 In particular, ( (n) (n))O(n) has even generators in weights 2, 2, 4, 4,..., 2n, 2n and odd H ⊗F3 5 4n+1 generators in weights 2 , 2 ,..., 2 .

27 The proof is the same as the proof of Lemma 7.6, and it implies that ( k)Z/2Z has strong C generators in the same weights for generic values of k. Moreover, ( (n) (n))O(n) has H ⊗F an N =1 superconformal structure with generators L = w0 + 1 j0 and µ0, which deforms − 2 to an N =1 structure on ( k)Z/2Z. C

Example 7.18. Let g be a simple, finite-dimensional Lie algebra of rank d with Cartan subalgebra h. For a positive integer k, the parafermion algebra Nk(g) is defined to be Com( (d), L (g)), where (d) is the Heisenberg algebra corresponding to h and L (g) H k H k is the irreducible affine vertex algebra at level k. The coset k(g) = Com( (d),V k(g)) is C H defined for all k C, and for a positive integer k, N (g) is the irreducible quotient of k(g) ∈ k C by its maximal proper ideal. In the case g = sl2, it follows from Theorems 2.1 and 3.1 of [DLWY] that k(sl ) is of type (2, 3, 4, 5) for all k = 0. This was used to establish the C 2 W 6 C2-cofiniteness of Nk(sl2) for positive integer values of k, and plays an important role in the structure of Nk(g) for a general simple g [ALY].

For any simple g of rank d, a choice of simple roots give rise to d copies of sl2 inside g which generate g. We have corresponding embeddings of (2, 3, 4, 5) into k(g), whose W C images generate k(g) [DWI]. However, these do not strongly generate k(g). Corollary C C 6.12 implies that k(g) is strongly ﬁnitely generated for generic values of k for any simple C g. We shall construct a minimal strong generating set for k(sl ) consisting of 30 elements. C 3 We work in the usual basis for sl3 consisting of ξij i = j together with ξii ξi+1,i+1 k { ˜| 6 } ˜ { − } for i = 1, 2. We have limk V (sl3) ∼= (2) where ∼= (6) with generators α12,α23,α13,α21,α32,α31. After→∞ suitably rescaling,H ⊗ theseA generatorsA satisfyH

12 21 2 23 32 2 13 31 2 α (z)α (w) (z w)− , α (z)α (w) (z w)− , α (z)α (w) (z w)− . ∼ − ∼ − ∼ −

Note that (6) carries an action of G = C∗ C∗ which is inﬁnitesimally generated by the action of hH. ×

Lemma 7.19. (6)G is of type (23, 35, 47, 59, 64, 72). In other words, a minimal strong generating set consistsH of 3 fields in weightW 2, 5 fields in weight 3, 7 fields in weight 4, 9 fields in weight 5, 4 fields in weight 6, and 2 fields in weight 7.

Proof. By classical invariant theory, (6)G has a strong generating set consisting of the normally ordered monomials H

q12 = : ∂iα12∂j α21 :, q13 = : ∂iα13∂jα31 :, q23 = : ∂iα23∂jα32 :, i, j 0, i,j i,j i,j ≥ (7.4) i 12 j 23 k 31 i 21 j 32 k 13 c = : ∂ α ∂ α ∂ α :, c′ = : ∂ α ∂ α ∂ α :, i, j, k 0. i,j,k i,j,k ≥

Not all of these generators are necessary. In fact, q12 0 i 3 , q23 0 i 3 , { 0,i| ≤ ≤ } { 0,i| ≤ ≤ } and q13 0 i 3 generate three commuting copies of (2, 3, 4, 5), and all the above { 0,i| ≤ ≤ } W quadratics lie in one of these copies. Similarly, we need at most c ,c′ i, j, k 2 . { i,j,k i,j,k| ≤ } 28 This follows from the decoupling relations i : q12 c : : q12 c := c , i 1, j,k 0, 0,0 i,j,k − i,0 0,j,k −2i +4 i+2,j,k ≥ ≥ j : q23 c : : q23 c := c , j 1, i,k 0, 0,0 i,j,k − j,0 i,0,k −2j +4 i,j+2,k ≥ ≥ k : q31 c : : q31 c := c , k 1, i, j 0, 0,0 i,j,k − i,0 i,j,0 −2k +4 i,j,k+2 ≥ ≥ (7.5) 21 21 i : q c′ : : q c′ := c′ , i 1, j,k 0, 0,0 i,j,k − i,0 0,j,k −2i +4 i+2,j,k ≥ ≥ 32 32 j : q c′ : : q c′ := c′ , j 1, i,k 0, 0,0 i,j,k − j,0 i,0,k −2j +4 i,j+2,k ≥ ≥

13 13 k : q c′ : : q c′ := c′ , k 1, i, j 0. 0,0 i,j,k − i,0 i,j,0 −2k +4 i,j,k+2 ≥ ≥

There are some relations among the above cubics and their derivatives, such as ∂c0,0,0 = c1,0,0 + c0,1,0 + c0,0,1. It is not difﬁcult to check that a minimal strong generating set for (6)G consists of H 12 23 13 q , q , q 0 i 3 c ,c′ 0 j, k 2 . { 0,i 0,i 0,i| ≤ ≤ }∪{ 0,j,k 0,j,k| ≤ ≤ } In particular, (6)G is of type (23, 35, 47, 59, 64, 72). H W Corollary 7.20. For generic values of k, k(sl ) is also of type (23, 35, 47, 59, 64, 72). C 3 W A similar procedure will yield minimal strong generating sets for k(g) for any simple g when k is generic. C

8. COSETSOFSIMPLEAFFINEVERTEXALGEBRASINSIDELARGERSTRUCTURES

k Let be a vertex algebra depending on a parameter k with a weight grading by Z 0, A ≥ such that all weight spaces are finite-dimensional. Let g be simple and assume that k A admits an injective map V k(g) k, and let k = Com(V k(g), k) as before. Suppose → A C A that k is a parameter value for which k is not simple. Let be the maximal proper ideal A I of k graded by conformal weight, so that = k/ is simple. Let denote the kernel A Ak A I J of the map V k(g) , and suppose that is maximal so that V k(g)/ = L (g). Let →Ak J J k = Com(L (g), ) Ck k Ak denote the corresponding coset. There is always a vertex algebra homomorphism π : k , k C → Ck but in general this map need not be surjective. Of particular interest is the case where k is a positive integer and k is C2-cofinite and rational. It is then expected that k will also A k C be C2-cofinite and rational. In order to apply our results on to the structure of k, we C k C need to determine when πk is surjective, so that a strong generating set for descends to a strong generating set for . C Ck Theorem 8.1. Suppose that √k / K, k + h∨ is a positive real number, and all zero modes of the ∈ k k k currents of the Cartan subalgebra h g in V (g) act semisimply on . Then πk : k is surjective. ⊆ A C → C

29 Proof. First, k decomposes into a direct sum of indecomposable V k(g) k modules, and this sumA is bigraded by the conformal weights of the two conformal⊗ vectors. C Each bigraded subspace is finite-dimensional since the two conformal weights add up to the total one, and that weight space is finite-dimensional. Thus every such indecomposable V k(g)-module M appearing in k must have finite- dimensional lowest weight subspace. Since the zero modes of the HeisenbergA subalgebra corresponding to h act semisimply, M must be a subquotient of a finite direct sum of Weyl modules, each of which is induced from an irreducible, finite-dimensional g-module with highest weight Λ. The conformal dimension of such a module is given by

(Λ + ρ Λ) | 2(k + h∨) and hence the vacuum module has lowest possible conformal dimension. It follows that k g g g k = Ker (L0) and k = Ker k (L0). By Corollary 6.4, L0 acts semisimply on the gen- C Ag C A k g eralized L0-eigenspace of eigenvalue zero in . It follows that Ker k (L0) surjects onto g A A Ker k (L0). A

This theorem applies in particular to the case where g is simple and simply laced, and k k 1 = V − (g) L1(g). Recall that in this case a level k is called admissible provided it A ⊗ h∨ is rational and k + h∨ for a positive integer u coprime to the dual Coxeter number ≥ u h∨. In this case the simple afﬁne vertex algebra Lk+1(g) is a subalgebra of Lk(g) L1(g) [KWIII]. We thus obtain the following result, which was used in the coset realization⊗ of simple -algebras at admissible levels [ACL]. W Corollary 8.2. Let g be simple and simply laced, and k+1 = V k(g) L (g), and let k be an ad- A ⊗ 1 missible level for g. Let k+1 = Com(V k+1(g),V k(g) L (g)) and = Com(L (g), L (g) C ⊗ 1 Ck+1 k+1 k ⊗ L (g)). Then the map π : k+1 is surjective. 1 k+1 C → Ck+1 Remark 8.3. If V k(g) is replaced by V k(g, B) where g is semisimple and B is a sum of positive scalar multiples of the normalized Killing forms of the simple summands, a similar statement to Theorem 8.1 follows by induction on the number of simple summands. Furthermore, this can be generalized to the case where g is reductive since the analogous theorem for cosets of Heisenberg algebras is also straightforward.

k k The case of Com(V (sp2),V (osp(1 2))). Fix even generators H,X± and odd generators k | φ± for V (osp(1 2))), satisfying |

1 k 2 H(z)X±(w) X±(w)(z w)− , H(z)H(w) (z w)− , ∼ ± − ∼ 2 −

+ 2 1 X (z)X−(w) k(z w)− +2H(w)(z w)− , ∼ − −

1 1 1 H(x)φ±(w) φ±(z w)− , X±(z)φ∓(w) φ±(w)(z w)− , ∼ ±2 − ∼ − −

1 1 + k 2 1 1 φ±(z)φ±(w) X±(w)(z w)− , φ (z)φ−(w) (z w)− + H(w)(z w)− . ∼ ±2 − ∼ 2 − 2 − 30 k k k k Let = Com(V (sp ),V (osp(1 2))), where V (sp ) is generated by H,X±. As in Ex- C 2 | 2 ample 3.1, we may take K = 0 . By Corollary 7.4, for generic values of k, k is isomor- { } C phic to the Virasoro vertex algebra with c = k(4k+5) . The generator is − (k+2)(2k+3) 4 + 1 + 1+ k L = : φ φ− :+ : X X− : + : HH : + ∂H. −2k +3 (k + 2)(2k + 3) (k + 2)(2k + 3) Note that the pole at k = 3 is removable. If we rescale L by a factor of 2k +3 and set − 2 k = 3 , the generator is well-deﬁned but no longer satisﬁes the Virasoro OPE relation. − 2 By Corollary 6.7, for all nonzero real numbers k > 2, k coincides with the universal − C coset (regarded as a vertex algebra over FK), specialized to κ = √k. Therefore, for C 3 all such values except for k = , k is the universal Virasoro vertex algebra with c = − 2 C k(4k+5) . Note that for k a positive integer, the map V k(sp ) V k(osp(1 2))) descends − (k+2)(2k+3) 2 → | to a map of simple vertex algebras Lk(sp2) Lk(osp(1 2))), since the singular vector of k k → | V (sp2) is clearly also null in V (osp(1 2))). Suppose that the level is admissible, that is 3 p | k = 2 + 2p′ with p> 1 and p′ coprime odd integers. Then a character computation [CFK, − k k Lemma 2.1] (see also [KWI]) reveals that the map V (sp2) V (osp(1 2))) again descends to a map of simple vertex algebras L (sp ) L (osp(1 2)))→. | k 2 → k | As above, let = Com(L (sp ), L (osp(1 2))). By Theorem 8.1, the map π : k is Ck k 2 k | k C → Ck surjective and by the same argument as Corollary 2.2 of [ACKL] for admissible levels, k is simple. We obtain C 3 p Theorem 8.4. For all admissible levels k, that is k = + ′ , p > 1 and p′ coprime odd − 2 2p integers, k = Com(Lk(sp2), Lk(osp(1 2))) is isomorphic to the rational Virasoro vertex algebra with centralC charge | k(4k + 5) (p v)2 c = =1 6 − , −(k + 2)(2k + 3) − pv p+p′ with v = 2 .

Rational N = 2 superconformal algebras. We give a new proof of the C2-coﬁniteness 3k and rationality of the simple N = 2 superconformal algebra with central charge c = k+2 when k is a positive integer. Our argument makes use of a coset realization that has been known for many years [DPYZ], and is the case n =1 of Example 7.11. The rationality and regularity of these algebras was ﬁrst established by Adamovic in [AII]. First, for k C, k k ∈ consider the tensor product V (sl ) , where V (sl ) has generators H,X± satisfying 2 ⊗E 2 1 k 2 H(z)X±(w) X±(w)(z w)− , H(z)H(w) (z w)− , ∼ ± − ∼ 2 − + 2 1 X (z)X−(w) k(z w)− +2H(w)(z w)− , ∼ − − and is the bc-system with odd generators b, c satisfying E 1 b(z)b(w) 0, c(z)c(w) 0, b(z)c(w) (z w)− . ∼ ∼ ∼ − Let V k(sl ) denote the Heisenberg algebra with generator J = H : bc :. The H ⊆ 2 ⊗E − zero mode J integrates to a U(1) action on V k(sl ) , and we consider the U(1)-invariant 0 2 ⊗E algebra (V k(sl ) )U(1), which is easily seen to have the following strong generating set: 2 ⊗E i + j i + j i j i j (8.1) : ∂ X ∂ X− :, : ∂ X ∂ b :, : ∂ X−∂ c :, : ∂ b∂ c : i, j 0. ≥ 31 Note that i + i + i i (8.2) : ∂ X X− :, : ∂ X b :, : ∂ X−c :, : ∂ bc : i 0, ≥ k U(1) is also a strong generating set for (V (sl2) ) , since the span of (8.2) and their derivatives coincides with the span on (8.1). ⊗E Lemma 8.5. For all k C, (V k(sl ) )U(1) has a minimal strong generating set ∈ 2 ⊗E + + H, : X X− :, : bc :, : X b :, : X−c : . { } Proof. This is immediate from the following relations that exist for all i 0. ≥ i + : (: ∂ X b :)(: X−c :) : =

i 2 i+1 i + i+1 + k i+2 ( 1) : H(∂ b)c :+:(∂ X )X−bc :+:(∂ X )X− : :(∂ b)c :, − i +1 −i +2 : (: ∂iX+b :)(: bc :) = : ∂i+1X+b :, i − i+1 : (: ∂ X−c :)(: bc :) = : ∂ X−c :, i +2 : (: ∂ibc :)(: bc :) : = :(∂i+1b)c :+∂ω, −i +1 i r r where ω is a linear combination of elements of the form ∂ − :(∂ b)c : for r =0, 1,...,i.

k Next, we replace H and : bc : with J = H : bc : and F = H + 2 : bc :, respectively, and + − we replace : X X− : with

1 + 2 k k 1 L = : X X− :+ : Hbc : : b∂c :+ :(∂b)c : ∂H. k +2 k +2 −2(k + 2) 2(k + 2) −k +2 + Clearly F, L, : X b :, : X−c : commute with J, and L is a Virasoro element of central 3k 3 charge c = k+2 , and F is primary weight one, others are primary weight 2 . Moreover, they generate the N =2 superconformal algebra. Since (V k(sl ) )U(1) = Com( ,V k(sl ) ), 2 ⊗E H ⊗ H 2 ⊗E we obtain Lemma 8.6. For all k = 2, k = Com( ,V k(sl ) ) has a minimal strong generating set 6 − C H 2 ⊗E + F, L, : X b :, : X−c : , { } 3k and is isomorphic to the universal N =2 superconformal vertex algebra with c = k+2 . Next, for k a positive integer, we consider the tensor product L (sl ) . By abuse of k 2 ⊗E notation, we denote the generators by H,X±,b,c, as above. Recall that L (sl ) is the k 2 ⊗E simple quotient of V k(sl ) by the ideal generated by (X+)k+1. Let = k/( k). 2 ⊗E Ik Lk C Ik ∩C Lemma 8.7. k = Com( , Lk(sl2) ) where is the Heisenberg algebra generated by J = H : bc :. In particular,L His simple.⊗E H − Lk Proof. This is immediate from the fact that V k(sl ) is completely reducible as an - 2 ⊗E H module, and is an -submodule of V k(sl ) . Ik H 2 ⊗E It is well known [DPYZ] that the simple N =2 superconformal algebra has a realization + inside Com( , L (sl ) ) with generators F, L, : X b :, : X−c : , which are just the H k 2 ⊗E { } images of the generators of k. An immediate consequence of Lemmas 8.6 and 8.7 is that this N =2 algebra is the fullCcommutant.

32 Corollary 8.8. For k =1, 2, 3,... , k is isomorphic to the simple N =2 superconformal algebra 3k L with central charge c = k+2 .

It is well known that Lk(sl2) contains a copy of the lattice vertex algebra V√2kZ with k generators H, :(X±) : . Moreover, { } Com(Com( H , L (sl ))) = V , h i k 2 √2kZ where H denotes the Heisenberg algebra generated by H. In particular, V and the h i √2kZ parafermion algebra Nk(sl2) form a Howe pair (i.e., a pair of mutual commutants) inside L (sl ), and is an extension of V N (sl ). Both V and N (sl ) k 2 Lk √k(k+2)Z ⊗ k 2 √k(k+2)Z k 2 are rational, and the discriminant Z/ k(k + 2)Z of the lattice k(k + 2)Z acts on as Lk automorphism subgroup. The orbifoldp is V Nk(sl2)pand as a module for the √k(k+2)Z ⊗ orbifold 2k 1 − = M , Lk t Mt=0 where each M is a simple V N (sl )-module [DM]. Each M is in fact also C - t √k(k+2)Z ⊗ k 2 t 1 cofinite as the orbifold is C2-cofinite, hence Proposition 20 of [MiI] implies it is a simple current. We thus have a simple current extension of a rational, C2-cofinite vertex algebra of CFT-type and hence by [Y] the extension k is also C2-cofinite and rational. This provides an alternative proof of Adamovic’s theoremL that the simple N = 2 superconfomal 3k algebra with central charge c = k+2 for k =1, 2, 3,... , is C2-cofinite and rational.

REFERENCES [AI] D.Adamovic, Representations of the N =2 superconformal vertex algebra, Int. Math. Res. Not. (1999), 61-79. [AII] D. Adamovic, Vertex algebra approach to fusion rules for N = 2 superconformal minimal models, J. Algebra 239 (2001), 549-572. [AP] D. Adamovic and O. Perse, The vertex algebra M(1)+ and certain affine vertex algebras of level 1, − SIGMA 8 (2012), 040. [Ara] T. Arakawa, Rationality of -algebras: principal nilpotent cases, Ann. Math. vol. 182, no. 2 (2015), W 565-604. [ACKL] T. Arakawa, T. Creutzig, K. Kawasetsu, and A. Linshaw, Orbifolds and cosets of minimal -algebras, W Comm. Math. Phys. 355, No. 1 (2017), 339-372. [ACL] T. Arakawa, T. Creutzig, and A. Linshaw, -algebras as coset vertex algebras, arXiv:1801.03822. W [ALY] T. Arakawa, C. H. Lam, and H. Yamada, Zhu’s algebra, C2-algebra and C2-cofiniteness of parafermion vertex operator algebras, Adv. Math. 264 (2014), 261-295. [B] R. Borcherds, Vertex operator algebras, Kac-Moody algebras and the monster, Proc. Nat. Acad. Sci. USA 83 (1986) 3068-3071. [BBSSI] F. Bais, P. Bouwknegt, M. Surridge, and K. Schoutens, Extensions of the Virasoro algebra constructed from Kac-Moody algebras using higher order Casimir invariants, Nuclear Phys. B 304 (1988), no. 2, 348- 370. [BBSSII] F. Bais, P. Bouwknegt, M. Surridge, and K. Schoutens, Coset construction for extended Virasoro algebras, Nuclear Phys. B 304(2):371-391,1988. [B-H] R. Blumenhagen, W. Eholzer, A. Honecker, K. Hornfeck, and R. Hubel, Coset realizations of unifying -algebras, Int. Jour. Mod. Phys. Lett. A10 (1995) 2367-2430. W [BFH] J. de Boer, L. Feher, and A. Honecker, A class of -algebras with infinitely generated classical limit, W Nucl. Phys. B420 (1994), 409-445. [BS] P. Bouwknegt and K. Schoutens, -symmetry in conformal field theory, Phys. Rept. 223 (1993) 183- W 276.

33 [CFK] T. Creutzig, J. Froehlich, S. Kanade, Representation theory of Lk (osp(1 2)) from vertex tensor categories | and Jacobi forms, Proc. Am. Math. Soc. 146 (2018), no. 11, 4571-4589. [CHRI] T. Creutzig, Y. Hikida and P. B. Rønne, N = 1 supersymmetric higher spin holography on AdS3, JHEP 1302 (2013) 019. [CHRII] T. Creutzig, Y. Hikida and P. B. Rønne, Higher spin AdS3 supergravity and its dual CFT, JHEP 1202 (2012) 109. [CLI] T. Creutzig and A. Linshaw, The super 1+∞ algebra with integral central charge, Trans. Amer. Math. W Soc. 367 (2015), no. 8, 5521-5551. [CLII] T. Creutzig and A. Linshaw, Orbifolds of symplectic fermion algebras, Trans. Amer. Math. Soc. 369, No. 1 (2017), 467-494. [DPYZ] P. Di Vecchia, J. L. Petersen, M. Yu and H. B. Zheng, Explicit construction of unitary representations of the N = 2 superconformal algebra, Phys. Lett. B 174 (1986) 280-284. [DJX] C. Dong, X. Jiao, and F. Xu, Mirror extensions of vertex operator algebras, Commun. Math. Phys. 329 (2014), no. 1, 263-294. [DM] C. Dong, G. Mason Quantum Galois theory for compact Lie groups, J. Algebra 214 (1999), no. 1, 92-102. [DLY] C. Dong, C. Lam, and H. Yamada, -algebras related to parafermion algebras, J. Algebra 322 (2009), W no. 7, 2366-2403. [DLWY] C. Dong, C. Lam, Q. Wang, and H. Yamada, The structure of parafermion vertex operator algebras, J. Algebra 323 (2010), no. 2, 371-381. [DLM] C. Dong, H. Li, and G. Mason, Compact automorphism groups of vertex operator algebras, Internat. Math. Res. Notices 1996, no. 18, 913-921. [DR] C. Dong, L. Ren, Representations of the parafermion vertex operator algebras, Adv. Math. 315 (2017), 88-101. [DWI] C. Dong and Q. Wang, The structure of parafermion vertex operator algebras: general case, Commun. Math. Phys. 299 (2010), 783-792. [DWII] C. Dong and Q. Wang, On C2-cofiniteness of the parafermion vertex operator algebras, J. Algebra 328 (2011), 420-431. [DWIII] C. Dong and Q. Wang, Parafermion vertex operator algebras, Frontiers of Mathematics in China 6(4) (2011), 567-579. [FL] V. Fateev and S. Lykyanov. The models of two-dimensional conformal quantum field theory with Zn symmetry, Internat. J. Modern Phys. A, 3(2):507-520, 1988. [FBZ] E. Frenkel and D. Ben-Zvi, Vertex Algebras and Algebraic Curves, Math. Surveys and Monographs, Vol. 88, American Math. Soc., 2001. [FG] K. Ferreira and M. R. Gaberdiel, The so-Kazama-Suzuki Models at Large Level, JHEP 1504 (2015) 017. [FKRW] E. Frenkel, V. Kac, A. Radul, and W. Wang, 1+∞ and (glN ) with central charge N, Commun. W W Math. Phys. 170 (1995), 337-358. [FKW] E. Frenkel, V. Kac and M. Wakimoto, Characters and fusion rules for -algebras via quantized Drinfeld- W Sokolov reductions, Commun. Math. Phys. 147 (1992) 295. [F] I. Frenkel, Representations of Kac-Moody algebras and dual resonance models, Applications of group theory in physics and mathematical physics (Chicago, 1982), 325-353, Lectures in Appl. Math., 21, Amer. Math. Soc., Providence, RI, 1985. [FF] B. Feigin and E. Frenkel, Quantization of the Drinfeld-Sokolov reduction, Phys. Lett. B 246 (1990) 75. [FHL] I.B. Frenkel, Y-Z Huang, and J. Lepowsky, On axiomatic approaches to vertex operator algebras and modules, Mem. Amer. Math. Soc. 104 (1993), no. 494, viii+64 pp. [FLM] I.B. Frenkel, J. Lepowsky, and A. Meurman, Vertex Operator Algebras and the Monster, Academic Press, New York, 1988. [FZ] I.B. Frenkel and Y.C. Zhu, Vertex operator algebras associated to representations of affine and Virasoro algebras, Duke Math. J, Vol. 66, No. 1, (1992), 123-168. [G] D. Gepner, Space-Time Supersymmetry in Compactified String Theory and Superconformal Models, Nucl. Phys. B 296 (1988) 757. [GG] M. R. Gaberdiel and R. Gopakumar, An AdS3 Dual for Minimal Model CFTs, Phys. Rev. D 83 (2011) 066007. [GKO] P. Goddard, A. Kent and D. Olive, Virasoro algebras and coset space models, Phys. Lett B 152 (1985) 88-93.

34 [HLY] G. Höhn, C. H. Lam, and H. Yamauchi, McKay’s E7 observation on the Baby Monster, Int. Math. Res. Not. no. 1 (2012), 166-212. [I] K. Ito, N=2 superconformal CP(n) model, Nucl. Phys. B 370 (1992) 123. ⊗n L c n, L c , [JLI] C.JiangandZ.Lin, The commutant of sl2 ( 0) in the vertex operator algebra sl2 (1 0) , Adv. Math. 301 (2016), 227-257. [JLII] C. Jiangand Z. Lin, Tensor decomposition, parafermions, level-rank duaity, and reciprocity law for vertex operator algebras, arXiv:1406.4191. [KI] V.Kac, Vertex Algebras for Beginners, University Lecture Series, Vol. 10. American Math. Soc., 1998. [KP] V. Kac and D. Peterson, Spin and wedge representations of infinite-dimensional Lie algebras and groups, Proc. Natl. Acad. Sci. USA 78 (1981), 3308-3312. [KR] V. Kac and A. Radul, Representation theory of the vertex algebra 1+∞, Transform. Groups, Vol. 1 W (1996) 41-70. [KRW] V. Kac, S. Roan, and M. Wakimoto, Quantum reduction for affine superalgebras, Commun. Math. Phys. 241 (2003), no. 2-3, 307-342. [KWI] V. Kac and M. Wakimoto. Modular Invariant Representations of Infinite-Dimensional Lie Algebras and Superalgebras. Proc. Nat. Acad. Sci. USA, 85:4956-4960, 1988. [KWII] V. Kac and M. Wakimoto, Classification of modular invariant representations of affine algebras, In Infinite- dimensional Lie algebras and groups (Luminy-Marseille, 1988), volume 7 of Adv. Ser. Math. Phys., pages 138-177. World Sci. Publ., Teaneck, NJ, 1989. [KWIII] V. Kac and M. Wakimoto, Branching functions for winding subalgebras and tensor products, Acta Ap- plicandae Mathematicae 21, 3–39, 1990. [KWY] V. Kac, W. Wang, and C. Yan, Quasifinite representations of classical Lie subalgebras of 1+∞, Advances W in Math. 139 (1998) no. 1, 56-140. [KS] Y. Kazama and H. Suzuki, New N =2 Superconformal Field Theories and Superstring Compactification, Nucl. Phys. B 321 (1989) 232. [Ku] S. Kumar, Extension of the category Og and a vanishing theorem for the Ext functor for Kac-Moody algebras. Journal of Algebra, 108(2), (1987) 472-491. [LiI] H.Li, Local systems of vertex operators, vertex superalgebras and modules, J. Pure Appl. Algebra 109 (1996), no. 2, 143-195. [LiII] H.Li, Vertex algebras and vertex Poisson algebras, Commun. Contemp. Math. 6 (2004) 61-110. [LZ] B. Lian and G. Zuckerman, Commutative quantum operator algebras, J. Pure Appl. Algebra 100 (1995) no. 1-3, 117-139. [LL] B.LianandA.Linshaw, Howe pairs in the theory of vertex algebras, J. Algebra 317, 111-152 (2007). [LI] A. Linshaw, Invariant theory and the 1+∞ algebra with negative integral central charge, J. Eur. Math. W Soc. 13, no. 6 (2011) 1737-1768. [LII] A. Linshaw, A Hilbert theorem for vertex algebras, Transform. Groups, Vol. 15, No. 2 (2010), 427-448. [LIII] A. Linshaw, Invariant theory and the Heisenberg vertex algebra, Int. Math. Res. Notices, 17 (2012), 4014-4050. [LIV] A. Linshaw, Invariant subalgebras of affine vertex algebras, Adv. Math. 234 (2013), 61-84. [LV] A. Linshaw, The structure of the Kac-Wang-Yan algebra, Commun. Math. Phys. 345, No. 2, (2016), 545-585. [M] G. Mason, Vertex rings and their Pierce bundles, Contemp. Math. 711, 45-104, Amer. Math. Soc., Prov- idence, RI, 2018. [MiI] M. Miyamoto, Flatness and Semi-Rigidity of Vertex Operator Algebras, arXiv:1104.4675. [MiII] M. Miyamoto, C1-cofiniteness and fusion products for vertex operators algebras, Conformal Field The- ories and Tensor Categories, Proceedings of a Workshop Held at Beijing International Center for Mathematical Research, Mathematical Lectures from Peking University, 271-279, 2014. [WaI] W. Wang, Duality in infinite-dimensional Fock representations, Commun. Contemp. Math. 1 (1999), 155-199. [WaII] W. Wang, Dual pairs and infinite-dimensional Lie algebras, Contemp. Math. 248 (1999) 453-469. [W] H. Weyl, The Classical Groups: Their Invariants and Representations, Princeton University Press, 1946. [Y] H. Yamauchi, Module categories of simple current extensions of vertex operator algebras. J. Pure Appl. Algebra 189 (2004), no. 1-3, 315-328.

35 DEPARTMENT OF MATHEMATICS,UNIVERSITY OF ALBERTA E-mail address: [email protected]

DEPARTMENT OF MATHEMATICS,UNIVERSITY OF DENVER E-mail address: [email protected]