Arxiv:Math/0112211V4 [Math.AG] 15 Aug 2003 Curve Edmrhs-Aud Etosof Sections (Endomorphism-Valued) Edter Se[HW VV) Hyhv Enetnieys BKT])

arXiv:math/0112211v4 [math.AG] 15 Aug 2003 curve edmrhs-aud etosof sections (endomorphism-valued) edter se[HW VV) hyhv enetnieys BKT]). extensively DLM, been have [Li, They e.g., DVVV]). (see, ar [DHVW, they (see so-call as the theory formu of sectors field was ingredients twisted important module as (or twisted appear modules literature) the Chapt Twisted of (see notion [FLM]. algebra The lowing vertex Le2]). operato Module [Le1, vertex Moonshine works twisted the syst where of The [FLM] struction modules. in twisted initiated of was inclusion modules the by enhanced be may fascina the with contact make to one to allows and operators tex alg vertex conformal a with Starting approaches). other for app algebraic formalism. F this geometric [B, CFT, a (see behind with algebras asp geometry vertex bee algebraic rich of has the The language effort understand the CFT. much in for years, formalized framework recent been In theory mathematical representation precise way. a natural as a such in mathematics interact of areas several fellowship. WSE OUE VRVRE LERSO ALGEBRAIC ON ALGEBRAS VERTEX OVER MODULES TWISTED favre ler a ru fatmrhss hnisrep its then automorphisms, of group a has algebra vertex a If i algebras vertex to approach algebro-geometric an [FB], In ric a provides dimensions two in (CFT) theory field Conformal atal upre ygat rmtePcadFudto a Foundation Packard the from grants by supported Partially Date X n eae ouispaces. moduli related and X eebr20;RvsdOtbr2002. October Revised 2001; December : V leri uv uhthat such curve algebraic orbifol treat to us Let allowing theory. modules, twisted to author first eKcMoyvre algebra vertex Kac-Moody modules. affine twisted of and module interpretation Heisenberg twisted algebra the chiral for of blocks case conformal the of notion the introduce Abstract. n a osrc etrbundle vector a construct can one , mdlsgvsrs oascino eti ha ntequot the on sheaf certain a of section a to rise gives –modules V eetn h emti praht etxagba develop algebras vertex to approach geometric the extend We eavre algebra, vertex a be DADFEKLADMTHWSZCZESNY MATTHEW AND FRENKEL EDWARD H ⊂ Aut( 1. V H Introduction X ∗ C CURVES hsgvsacodnt-redsrpino ver- of description coordinate-free a gives This . nt ru fatmrhssof automorphisms of group finite a .W hwta utbecleto ftwisted of collection suitable a that show We ). 1 V X on X uhta etxoeaosbecome operators vertex that such dNFadb nNECgraduate NSERC an by and NSF nd dobfl oeso conformal of models orbifold ed oesi ofra field conformal in models d ,adaayete in them analyze and s, M ,F].I re to order In FB]). K, LM, nrdcd(e H BD] [H, (see introduced s ebra iggoer pertaining geometry ting oc utb combined be must roach ient swr sdi h con- the in used were rs n leri geometry algebraic and mtcsuyo twisted of study ematic nw ntephysics the in known e .W logv a give also We s. r9o FM n the and [FLM] of 9 er pn nstigup setting on spent n ae n[F,D fol- D] [FFR, in lated c fteter has theory the of ect uidi eetyears recent in tudied X V etn nwhich in setting h eetto theory resentation = V n nalgebraic an and and , C/H db the by ed We . C an 2 EDWARD FRENKEL AND MATTHEW SZCZESNY

In this paper we extend the geometric formalism developed in [FB] to twisted modules over vertex algebras. Let C be a smooth projective curve, and H Aut(C) a finite group of automorphisms of C such that the stabilizer of the action of⊂H on at a generic point of C consists of the identity element of H. Suppose furthermore that V is a conformal vertex algebra, and that H acts on V by conformal automorphisms. We show that with these data, the vector bundle VC acquires an H–equivariant structure, lifting the action of H on C. Let X = C/H be the quotient curve, and ν : C X the ◦ → quotient map, ramified at the fixed points of H. Denote by C C the locus of points ◦ ⊂ ◦ in C whose stabilizer in H is the identity element. Let X X be the image of C in X ◦ ◦ ◦ ◦ ◦ ⊂ ◦ and ν : C X the restriction of ν to C. Thus, C is a principal H–bundle over X. → ◦ The vector bundle V ◦ over C carries an H–equivariant structure and hence descends C ◦ H to a vector bundle on X which we denote by V ◦ . X Let x X. Then x corresponds to an H–orbit O in C. For each point p ν−1(x), ∈ x ∈ the stabilizer Hp is a cyclic group, which has a canonical generator hp, the monodromy hp around p (generically, Hp = e and hp = e). We call a collection Mp of hp–twisted modules satisfying certain compatibilities,{ } a V –module along ν−{1(x).} For example, hp if hp = e, then each Mp is an ordinary V –module and the requirement is that if $ −1 hp" hp p = g(p) ν (p), then M " is obtained from Mp by twisting the V –action by the ∈ p automorphism of V corresponding to g. If, on the other hand, H = Z/N Z and hp is a hp generator of H, then Mp can be an arbitrary hp–twisted V –module. −1 Mx H,∗ × We attach to a V –module Mx along ν (x) a section Y of V ◦ on Dx , the X punctured disc at x. Using this structure we define the spaces of conformal blocks in the twisted setting. The space of conformal blocks is associated to a pair (C,H) as ◦ above and a collection of V –modules along ν−1(x) attached to a set of points of X X, ◦ \ and a (possibly empty) collection of V –modules along ν−1(x),x X. We give two equivalent definitions of the space of conformal blocks: using the∈ action of a certain Lie algebra obtained from Fourier coefficients of vertex operators, and using analytic continuation (as in [FB]). In the case of the Heisenberg and affine Kac-Moody vertex algebras this definition may be simplified using twisted versions of the Heisenberg and affine Lie algebras, respectively. Finally, we explain the connection with the chiral algebra formalism. The right DX – module A = VX ΩX is a chiral algebra on X in the sense of A. Beilinson and V. Drinfeld [BD] (see⊗ [FB], Ch. 18). The action of H on V induces an action of H by ◦ ◦ ◦ ◦ C C automorphisms of A. Then the twist A of A ◦ by the H–torsor C, A = A ◦ C, |X |X ×H ◦ is also a chiral algebra. Twisted V –modules correspond to AC –modules supported at ◦ the points x X X, and the above space of conformal blocks may be defined in terms ◦ ∈ \ of these AC –modules. TWISTED MODULES OVER VERTEX ALGEBRAS ON ALGEBRAIC CURVES 3

Acknowledgments. We thank D. Gaitsgory for a useful discussion of the chiral algebra interpretation of twisted modules.

2. Vertex algebras and modules In this paper we will use the language of vertex algebras, their modules, and twisted modules. For an introduction to vertex algebras and their modules [FLM, K, FB], and for background on twisted modules, see [FFR, D, DLM]. We recall that a conformal vertex algebra is a Z+–graded vector space ∞ V = Vn, n=0 ! together with a vacuum vector 0 V0, a translation operator T of degree 1, a conformal vector ω V and a vertex| operation&∈ ∈ 2 Y : V End V [[z±1]], → −n−1 A Y (A, z)= A(n)z . '→ Z n"∈ These data must satisfy certain axioms (see [FLM, K, FB]). In what follows we will denote the collection of such data simply by V . A vector space M is called a V –module if it is equipped with an operation Y M : V End M[[z±1]], → M M −n−1 A Y (A, z)= A(n)z '→ Z n"∈ such that for any v M we have AM v = 0 for large enough n. This operation must ∈ (n) satisfy the following axioms: M Y ( 0 ,z) = IdM ; • For any| & v M there exists an element • ∈ f M[[z, w]][z−1,w−1, (z w)−1] v ∈ − such that the formal power series Y M (A, z)Y M (B, w)v and Y (Y (A, z w)B, w)v M − are expansions of f in M((z))((w)) and M((w))((z w)), respectively. v − The power series Y M (A, z) are called vertex operators. We write the vertex operator corresponding to ω as M M −n−2 Y (ω, z)= Ln z , Z n"∈ M where Ln are linear operators on V generating the Virasoro algebra. Following [D], M we call M admissible if L0 acts semi-simply with integral eigenvalues. Now let σV be a conformal automorphism of V , i.e., an automorphism of the underly- ing vector space preserving all of the above structures (so in particular σV (ω)=ω). We 4 EDWARD FRENKEL AND MATTHEW SZCZESNY

σ will assume that σV has finite order N>1. A vector space M is called a σV –twisted V –module (or simply twisted module) if it is equipped with an operation M σ σ ± 1 Y : V End M [[z N ]], → M σ 1 M σ −n−1 A Y (A, z N )= A z '→ (n) n∈ 1 Z "N σ M σ such that for any v M we have A(n) v = 0 for large enough n. Please note that ∈ σ 1 σ we use the notation Y M (A, z N ) rather than Y M (A, z) in the twisted setting. This operation must satisfy the following axioms (see [FFR, D, DLM, Li]): M σ 1 Y ( 0 ,zN ) = IdM σ ; • For any| &v M σ, there exists an element • ∈ σ 1 1 − 1 − 1 −1 f M [[z N ,wN ]][z N ,w N , (z w) ] v ∈ − such that the formal power series M σ 1 M σ 1 M σ 1 Y (A, z N )Y (B, w N )v and Y (Y (A, z w)B, w N )v − σ 1 1 σ 1 are expansions of fv in M ((z N ))((w N )) and M ((w N ))((z w)), respectively. 2πim σ − N M m Z If A V is such that σV (A)=e A, then A(n) = 0 unless n N + . • ∈ σ ∈ The series Y M (A, z) are called twisted vertex operators. In particular, the Fourier coefficients of the twisted vertex operator M σ 1 M σ −n−2 Y (ω, z N )= Ln z , Z n"∈ σ σ generate an action of the Virasoro algebra on M . The σV –twisted module M is M σ 1 Z called admissible if L0 acts semi-simply with eigenvalues in N . One shows in the same way as in [FB], Sect. 4.1, that the axioms imply the following commutation relations between the coefficients of twisted vertex operators:

σ σ m σ (2.1) [AM ,BM ]= (A B)M , (m) (k) n (n) · (m+k−n) n"≥0 # $ where by deﬁnition m m(m 1) ...(m n + 1) m = − − ,nZ ; =1. n n! ∈ >0 0 # $ # $ We also have the following analogue of Prop. 4.1 of [FB]:

M σ 1 M σ 1 Lemma 2.1. For any A V , Y (T A, z N )=∂ Y (A, z N ). ∈ z Proof. We apply axiom (2) in the situation where B = 0 . Then | & M σ 1 M σ 1 n Y (Y (A, z w) 0 ,wN )v = Y (A 0 ,wN )v(z w) . − | & (−n−1)| & − n"≥0 σ 1 But A 0 = TA, therefore Y M (T A, w N )v appears as the coeﬃcient in front of (−2)| & (z w) in this series. Hence it should coincide with the coeﬃcient in front of (z w) − − TWISTED MODULES OVER VERTEX ALGEBRAS ON ALGEBRAIC CURVES 5

σ 1 1 in the expansion of Y M (A, z N )v in a power series in w N and (z w). But the latter M σ 1 − is equal to ∂wY (A, w N ). !

Applying formula (2.1) in the case when A = ω and m = 1 (so that A(m) = L0), we obtain that M σ M σ M σ M σ [L0 ,B(k) ] = (L0 B)(k) +(L−1 B)(k+1). · · σ But in a conformal vertex algebra L B = TB and (TB)M =( k 1)B by −1 · (k+1) − − (k) Lemma 2.1. Therefore if B is homogeneous of degree ∆, then σ σ σ (2.2) [LM ,BM ] = (∆ k 1)BM . 0 (k) − − (k) σ Suppose that M is an admissible module. Then we deﬁne a linear operator Sσ on σ M σ m M as follows. It acts on the eigenvectors of L0 with eigenvalue N by multiplication 2πim by e N . Hence we obtain an action of the cyclic group of order N generated by σ on σ M , g Sg. According to the axioms of twisted module and formula (2.2) we have the following'→ identity: −1 M σ 1 M σ 1 (2.3) S Y (g A, z N )S = Y (A, z N ). g · g Finally, we remark that there is an analogue of the Reconstruction Theorem for twisted modules. Namely, suppose that V is generated by vectors aα V,α S, in the sense of the usual Reconstruction Theorem (see Theorem 4.5 of [K] or∈ Theorem∈ 3.6.1 of σ 1 [FB]). Then if M σ is a σ–twisted V –module, the twisted vertex operators Y M (A, z N ) σ 1 for all A V may be reconstructed from the series Y M (aα,zN ),α S. This follows ∈ M σ 1 M σ 1 ∈ M σ 1 from H.Li’s formula for Y (A(n)B, z N ) in terms of Y (A, z N ) and Y (B, z N ) [Li]. But this formula is more complicated than its untwisted analogue, so the resulting formula for a general twisted vertex operator usually looks rather cumbersome (see for example formula (7.1) below).

3. Torsors and twists σ Let M be an admissible conformal σV –twisted V –module where ord(σV )=N. In σ this section we deﬁne a group AutN O which naturally acts on M , as well as natural σ torsors for AutN O. This will allow us to twist M by a certain torsor of formal coordinates.

1 3.1. The group AutN O. Let Aut C[[z N ]] denote the group of continuous algebra au- 1 1 1 tomorphisms of C[[z N ]]. Since C[[z N ]] is topologically generated by z N , an automor- 1 1 phism ρ of C[[z N ]] is completely determined by the image of z N , which is a series of the form 1 n (3.1) ρ(z N )= cnz , n∈ 1 Z,n>0 N" 1 1 where c 1 = 0. Hence we identify Aut C[[z N ]] with the space of power series in z N N ) 1 having non-zero linear term. For more on the structure of the group Aut C[[z N ]], see Section 5.1 of [FB]. Recall that we denote C[[z]] by O. 6 EDWARD FRENKEL AND MATTHEW SZCZESNY

1 Deﬁnition 3.1. AutN O is the subgroup of Aut C[[z N ]] preserving the subalgebra 1 C[[z]] C[[z N ]]. ⊂ Thus, AutN O consists of power series of the form 1 n (3.2) ρ(z N )= cnz ,c1 =0. N ) n∈ 1 +Z,n>0 N" 1 There is a homomorphism µ : AutN O Aut O which takes ρ C[[z N ]] to the automorphism of C[[z]] that it induces. At the→ level of power series, this∈ is just the map 1 1 µ : ρ(z) ρ(z)N . The kernel consists of the automorphisms of the form z N 'z N , where ' is'→ an Nth root of unity, so we have the following exact sequence: '→ 1 Z/N Z Aut O Aut O 1 . → → N → → Moreover, AutN O is a central extension of Aut O by the cyclic group Z/N Z. 1 The Lie algebra of Aut C[[z N ]] is (0) 1 1 1 Der C[[z N ]] = z N C[[z N ]]∂ 1 , z N (0) 1 and the Lie algebra of AutN O is its Lie subalgebra Der O = z N C[[z]]∂ 1 . The N z N homomorphism µ induces an isomorphism of the corresponding Lie algebras sending k+ 1 k z N ∂ 1 Nz ∂z,kZ,k 0. z N '→ ∈ ≥

3.2. The AutN O–torsor of special coordinates. Let (D,σD) be a pair consisting D C D of a formal disc = Spec R, where R ∼= [[z]] and an automorphism σD of (equivalently, of R) of order N. We denote by D the quotient of D by σD , i.e., the disc σD σD , & Spec R , where R is the subalgebra of σD–invariant elements. A formal coordinate t is called a special coordinate with respect to σ if σ(t)='t, where ' is an Nth root of unity, or equivalently, if tN is a formal coordinate on D. We denote by Aut(D) the set of all formal coordinates on D and by AutN (D) the subset of Aut(D) consisting of special formal coordinates. The set AutN (D) carries a simply transitive right action of the group Aut O given by t ρ(t), where ρ is the power N '→ series given in (3.2), i.e., AutN (D) is an AutN O–torsor.

σ 3.3. Twisting modules by AutN (D). Let M be an admissible σV –twisted module σ over a conformal vertex algebra V . Define a representation rM of the Lie algebra (0) σ DerN O on M by the formula k+ 1 M σ z N ∂ 1 N L . z N →− · k M σ It follows from the definition of a twisted module that the operators Lk , k > 0, act σ M σ 1 Z locally nilpotently on M and that the eigenvalues of L0 lie in N , so that the oper- M σ ator N L0 has integer eigenvalues. This implies that the Lie algebra representation M σ · M σ r may be exponentiated to a representation R of the group AutN O. In particular, the subgroup Z/N Z of Aut O acts on M σ by the formula i Si , N '→ σ where Sσ is the operator defined in Section 2. TWISTED MODULES OVER VERTEX ALGEBRAS ON ALGEBRAIC CURVES 7

σ We now twist the module M by the action of AutN O and deﬁne the vector space σ def σ (3.3) M (D) = AutN (D) M . Aut×N O Thus, vectors in Mσ(D) are pairs (t, v), up to the equivalence relation σ (ρ(t),v) (t, RM (v)),tAut (D),v M σ. ∼ ∈ N ∈ When D=Dx, the formal neighborhood of a point x on an algebraic curve X, we will σ use the notation M x.

4. Twisted vertex operators as sections σ Our goal is to give a coordinate-independent description of the operation Y M . In σ order to do this we need to ﬁnd how the operation Y M transforms under changes of special coordinates. This is the subject of this section.

4.1. The transformation formula for twisted vertex operators. Let O = C[[t]]. Denote by RV the representation of the group Aut O on V obtained by exponentiating V (0) n+1 the representation r of the Lie algebra Der O sending t ∂t to Ln,n 0 (see 1 − 1 ≥ Section 5.2 of [FB]). Recall that for any ρ(t N ) Aut O, we have ρ(t N )N Aut O. ∈ N ∈ For any τ(t) Aut O we denote by τz the element of Aut(C[[z]] O) obtained by expanding τ(z∈+ t) τ(z) in powers of t (see Section 5.4.5 of [FB]). Then⊗ we have the − following analogue of Lemma 5.4.6 from [FB] (that lemma is originally% due to Y.-Z. Huang [H]). Lemma 4.1. For any A V , ρ Aut O ∈ ∈ N M σ M σ V N −1 1 M σ −1 M σ 1 (4.1) R (ρ)Y (R ((ρ )z) A, ρ(z N ))R (ρ) = Y (A, z N ). (0) Proof. The exponential map DerN AutN O is surjective, so it suﬃces to consider the inﬁnitesimal version of (4.1). Write→

1 1 ρ = exp ('v(z N )∂ 1 ) z N , z N · where 1 k+ 1 v(z N )= vkz N . − Z k∈",k≥0 We have ρN = exp ('u(z)∂ ) z, z · where k+1 u(z)= N vkz . − Z k∈",k≥0 To check that formula (4.1) holds, it suﬃces to check that the '–linear term in it M σ 1 M σ V N V vanishes. Denote r (v(z N )∂ 1 ) by r and the '–linear term in R ((ρ )z) by r . z N v u,z The '–linear term in (4.1) reads

M σ M σ V 1 1 M σ M σ 1 (Id + 'r )Y ((Id 'r )A, z N + 'v(z N ))(Id 'r ) Y (A, z N ) v − u,z − v − 8 EDWARD FRENKEL AND MATTHEW SZCZESNY

M σ M σ 1 M σ V 1 1 M σ 1 (4.2) = '[r ,Y (a, z N )] 'Y (r A, z N )+'v(z N )∂ 1 Y (A, z N ). v − u,z · z N We ﬁnd that 1 rV A = (∂m+1u(z))L A u,z · − (m + 1)! z m · m"≥0 and M σ M σ rv = N vmLm , Z m∈",m≥0 so that vanishing of (4.2) is equivalent to the identity

M σ M σ 1 1 m+1 M σ 1 [r ,Y (A, z N )] = (∂ u(z))Y (L A, z N ). v − (m + 1)! z m · m"≥−1 Since 1 v(z N )∂ 1 = u(z)∂z, z N this identity follows from the OPE between a twisted vertex operator and the Virasoro ﬁeld in the same way as in Section 5.2.3 of [FB]. !

4.2. Example: primary ﬁelds. Recall that a vector A V is called a primary vector of conformal dimension ∆if it satisﬁes ∈

LnA =0, n > 0; L0A =∆A. As shown in Lemma 5.3.4 of [FB], the corresponding vertex operator Y (A, z) transforms under coordinate changes as an endomorphism-valued ∆–diﬀerential on the punctured disc. Now formula (4.1) implies an analogous transformation formula for the corre- σ 1 sponding twisted vertex operator Y M (A, z N ). Corollary 4.1. Let A V be a primary vector of conformal dimension ∆, and ρ ∈ ∈ AutN O. Then ∆ M σ M σ 1 M σ −1 N 1 M σ 1 (4.3) R (ρ)Y (A, ρ(z N ))R (ρ) ∂z(ρ (z N )) = Y (A, z N ). & ' 5. Coordinate-independent interpretation of twisted vertex operators

5.1. Recollections from [FB]. Let X be a smooth curve and AutX the principal Aut O–bundle of formal coordinates on X. The ﬁber of Aut at x X is the Aut O– X ∈ torsor Autx of formal coordinates at x (see Section 5.4 of [FB] for details). Given a conformal vertex algebra V , set

(5.1) V = VX = AutX V. Aut×O This is a vector bundle whose ﬁber at x X is the Aut –twist of V , ∈ x Vx = Autx V. Aut×O i.e., the set of pairs (z, A) where z is a formal coordinate at x and A V , modulo the ∈ equivalence condition (ρ(z),A) (z, RV (ρ) A) for ρ Aut O. ∼ · ∈ TWISTED MODULES OVER VERTEX ALGEBRAS ON ALGEBRAIC CURVES 9

As explained in Chapter 5 of [FB], for any x X the vertex operation Y gives rise ∗ ∈ × to a canonical section Yx of the dual bundle V on the punctured disc Dx with values in End Vx. Equivalently, we have a canonical linear map Y∨ :Γ(D×, V Ω ) End V ,sRes Y ,s . x x ⊗ X → x '→ x, x & ∨ If we choose a formal coordinate z at x and use it to trivialize V Dx , then Yx is given by the formula | Y∨(A zndz)=A . x ⊗ (n) ∨ Furthermore, the map Yx factors through the quotient U(V )=Γ(D×, V Ω )/ Im . x x ⊗ X ∇ The latter is a Lie algebra and the resulting map U(Vx) End Vx is a Lie algebra homomorphism (see Section 8.2 of [FB]). → More generally, let M be an admissible V –module. We attach to it a vector bundle M on X in the same way as above. The module operation Y M then gives rise to a M ∗ canonical section Y of V D× with values in End Mx. Equivalently, we have a canonical x | x linear map YM,∨ :Γ(D×, V Ω ) End M , x x ⊗ X → x which factors through U(Vx) (see Section 6.3.6 of [FB]). In this section we obtain analogous results for twisted modules over vertex algebras.

H 5.2. The vector bundle VX . Let C be a smooth projective curve, and H Aut(C)a finite group of automorphisms of C. Suppose furthermore that V is a conformal⊂ vertex algebra, and that H acts on V by conformal automorphisms. The vector bundle VC carries an H–equivariant structure lifting the action of H on C. It is given by def (5.2) h (p, (A, z)) =(h(p), (h(A),z h−1)) · ◦ where z h−1 is the coordinate induced at h(p) from z. Let X = C/H be the quotient curve, and◦ ν : C X the quotient map, ramified at the points where H has non-trivial → ◦ ◦ stabilizers. Denote by C C (resp. X X) the complement of the ramification points ⊂ ◦ ⊂◦ ◦ ◦ (resp. branch points) of ν, and by ν : C X the restriction of ν. Thus, C is an H– ◦ → ◦ principal bundle over X. The action of H on C is free, and V ◦ descends to a vector C ◦ H bundle V ◦ on X. More explicitly, X H (5.3) V ◦ = Aut ◦ V X C Aut×O×H −1 Here, H acts on Aut ◦ by h(p, z) = (h(p),z h ), and this action commutes with the C ◦ action of Aut O. The actions of H and Aut O on V commute because H is a conformal automorphism of V , and thus commutes with the Virasoro action. H H The vector bundle V ◦ possesses a flat connection . If z is a local coordinate X ∇ ◦ x X, H is given by the expression d + LV dz. ∈ ∇ −1 ⊗ 10 EDWARD FRENKEL AND MATTHEW SZCZESNY

5.3. Modules along H–orbits. Let x X. Then every point p ν−1(x) has a cyclic ∈ ∈ stabilizer of order N, which we denote Hp. Each Hp has a canonical generator hp, which corresponds to the monodromy of a small loop around x. For a generic point p, H = e and we set h = e. Suppose that we are given the following data: p { } p hp (1) A collection of admissible V –modules Mp p∈ν−1(x), one for each point in the hp { } fiber, such that Mp is hp–twisted. hp hg(p) −1 (2) A collection of maps S : Mp M , g H, p ν (x), commuting g,p,g(p) '→ g(p) ∈ ∈ with the action of AutN O and satisfying S = S S , gk,p,gk(p) g,k(p),gk(p) ◦ k,p,k(p) −1 Sg,p,g(p) = Sg−1,g(p),p, and h M g(p) hp S−1 Y g(p) (g A, z)S = Y Mp (A, z). g,p,g(p) · g,p,g(p) (3) If g H , then S = S , where S is the operator defined in Section 2. ∈ p g,p,p g g hp hp Given a collection Mp p∈ν−1(x), we can form the collection Mp (Dp) p∈ν−1(x), hp { } hp { } where Mp (Dp) is the AutN O–twist of Mp by the torsor of special coordinates at p. Let hp Mx = Mp (Dp) −1 p∈!ν (x) 1 hp N This is a representation of H, where H acts as follows. If A Mp , zp is a special coordinate at p, and g H, then ∈ ∈ 1 1 N N −1 g (A, zp ) = (S A, zp g ) · g,p,g(p) · ◦ Note that this action is well-defined since the S–operators commute with the action of H AutN O. Now, let Mx =(Mx) , the space of H–invariants of Mx. The composition of hp the inclusion Mx Mx and the projection Mx Mp (Dp) is an isomorphism for all −1 → hp → p ν (x). For vp Mp (Dp), denote by [vp] the corresponding vector in Mx. Note ∈ 1 ∈ 1 1 N hp N N −1 that for each (A, zp ) Mp (D ), and g H, [(A, zp ) ] = [(S A, zp g ) ] p ∈ p ∈ p g,p,g(p) · ◦ g(p) in Mx. −1 Definition 5.1. We call Mx a V –module along ν (x).

Henceforth, we will suppress the square brackets for elements of Mx and refer to 1 1 N N [(A, zp )p] simply as (A, zp ). 5.4. Construction of Modules along H–orbits. In this section we wish to give a −1 −1 construction of a module along ν (x) starting with a point p ν (x) and an hp– hp ∈ twisted module Mp . Note that when Hp is trivial, this just an ordinary V –module M. −1 hp Thus, suppose we are given p ν (x), and an hp–twisted module Mp . Observe ∈ −1 that the monodromy generator at the point g(p) is hg(p) = ghpg , i.e. the monodromies are conjugate. TWISTED MODULES OVER VERTEX ALGEBRAS ON ALGEBRAIC CURVES 11

−1 ghpg hp (1) For g H, deﬁne the module M to be Mp as a vector space, with the ∈ g(p) V –module structure given by the vertex operator

gh g−1 M p hp (5.4) Y g(p) (A, z)=Y Mp (g−1 A, z) · −1 ghpg −1 It is easily checked that this equips Mg(p) with the structure of a ghpg – twisted module. Furthermore, if g Hp, this construction results in an hp– hp ∈ twisted module isomorphic to Mp . hq hp (2) Recall that M is canonically isomorphic to Mp as a vector space by the −1 previous item. Thus, if q ν (x), and g(q) = q, define Sg,q,g(q) to be the identity map. ∈ ) $ (3) If g Hq, then g is conjugate to an element g Hp. Define Sg,q,q = Sg",p,p also using∈ the canonical identification. ∈ It is easy to check that this construction is well-defined, and satisfies the requirements of definition 5.1.

Remark 1. If Hp is trivial, and M = V , then for any g H, the new module structure ∈ −1 5.4 is isomorphic to the old one, and so the resulting module Mx along ν (x) is H H isomorphic to Vx , the ﬁber of the sheaf V at x.

Remark 2. If H = Hp, then p is unique, and so any hp–twisted module results in a module along ν−1(x). H,∗ 5.5. Twisted vertex operators as sections of VX . We begin with the observation ◦ H that a section of V ◦ over U X is the same as an H–invariant section of V ◦ over X ⊂ C −1 H,∗ H,∗ × ν (U), and likewise for V ◦ . Thus, defining a section of V ◦ on Dx is equivalent to X X ∗ × defining an H–invariant section of V ◦ on p∈ν−1(x) Dp . C 1 −1 N Let p ν (x), and let zp be an h –special( formal coordinate at p. This coordinate ∈ p V ◦ V ◦ gives us a trivialization ιzp of × . We will denote by ιzp (A) the section of × C Dp C Dp ) 1 ) ) N ) corresponding to A V with respect) to this trivialization. The coordinate zp also) ∈ hp hp gives us an identification of Mp (Dp) with Mp . −1 −1 Theorem 5.1. Let x X, and Mx a V –module along ν (x). For each p ν (x), ∈ 1 ∈ N Mx choose an hp–special coordinate zp at p. Define an End(Mx)–valued section Y of ∗ × V ◦ on p∈ν−1(x) Dp by the formula C 1 1 hp 1 ( N Mx N Mp N (5.5) (zp ,φ), Y (ι (A)) (zp ,v) = φ,Y (A, zp ) v . , zp · & , · & 1 Mx N Then this section Y is independent of the choice of special coordinate zp on each × Dp . Furthermore, it is H–invariant. 1 Proof. We begin by checking coordinate-independence. Choose a p ν−1(x). Let w N be another special coordinate at p. Then there exists a unique ρ ∈Aut O such that ∈ N 12 EDWARD FRENKEL AND MATTHEW SZCZESNY

1 1 1 1 σ N N N N N M ∗ w = ρ(zp ) (thus, w = ρ (zp )). We attach to w a section Yp of V ◦ D× with C | p values in End(Mx) by the formula * 1 M 1 M hp 1 (w N , φ), Y x (ι (A)) (w N , v) = φ,Y (A, w N ) v . , w · & , · & We must show that YMx = YMx . We have * * * * * * * 1 1 h N M p (zp ,φ) = (w N ,φ R (ρ)) * · 1 1 h N M p −1 (zp ,v) = (w N ,R (ρ) v) · 1 N N As explained in [FB], the section ιzp (A) of V ◦ appears in the coordinate w = ρ (zp ) C as ι (RV ((ρN ) )−1 A). It follows that w z · ι (A)=ι (RV ((ρN )−1) A). zp w z · Therefore

1 1 N Mx N (zp ,φ), Y (ι (A) (zp ,v) , zp · & h σ 1 h M p M V N −1 N M p −1 = φ,R (ρ)Y (R ((ρ ) ) A, ρ(zp ))R (ρ) v . * , z · & By (4.1), YMx = YMx , and we obtain that our section is coordinate-independent.

M We now proceed* to show that Y x is H–invariant. This amounts to checking, for g H ∈ 1 1 1 1 N Mx N N Mx N (zp ,φ), Y (g ι (A)) (zp ,v) = g (zp ,φ), Y (ι (A)) (zp ,v) , · zp · & ·, zp · & where the action on the right is by pullback of functions. The right-hand side is hp 1 M N −1 φ,Y p (A, zp g ) v . On the left, we have , ◦ · & g ι (A)=ι −1 (g A) · zp zp◦g · 1 1 N N −1 −1 ∗ (zp ,φ) = (zp g ,φ S ) M ∼ ◦ ◦ g,p,g(p) ∈ x 1 1 N N −1 (zp ,v) = (zp g ,S v) M ∼ ◦ g,p,g(p) · ∈ x Thus we get

1 1 N Mx N (zp ,φ), Y (g ι (A) (zp ,v) , · zp · & 1 1 N −1 −1 Mx N −1 = (zp g ,φ S ), Y (ι −1 (g A)), (zp g ,S v) , ◦ ◦ g,p,g(p) zp◦g · ◦ g,p,g(p) · & hg(p) 1 −1 M N −1 = φ,S Y g(p) (g A, zp g )S v , g,p,g(p) · ◦ g,p,g(p) · & hp 1 Mp N −1 = φ,Y (A, zp g ) v , ◦ · & 1 1 N Mx N = g (zp ,φ), Y (ι (A)) (zp ,v) ·, zp · & ! TWISTED MODULES OVER VERTEX ALGEBRAS ON ALGEBRAIC CURVES 13

Remark 3. In view of the comments at the beginning of section 5.5, YMx is the pullback H,∗ × under ν of a unique section of V ◦ on Dx . We will abuse notation by denoting the X latter by YMx as well. ! In the case of twisted primary fields, (4.3) implies the following analogue of Propo- sition 5.3.8 of [FB]: −1 −1 Proposition 5.1. Let x X, and Mx a V –module along ν (x). For each p ν (x), ∈ 1 ∈ N choose an hp–special coordinate zp at p. Define an End(Mx)–valued ∆–differential + × on p∈ν−1(x) Dp by the formula

1 1 hp 1 ( N N Mp N ∆ (zp ,φ),+ (zp ,v) = φ,Y (A, zp ) v (dz ) , · & , · & p (N−1) hp 1 1 ∆ ∆ N Mp N N ∆ = N zp φ,Y (A, zp ) v (dzp ) , · & 1 N Then + is independent of the choice of zp ’s. Recall from Section 5.4.9 of [FB] that a primary vector A V determines a line −∆ ∗ ∈∗ " ∆ subbundle jA :ΩC , VC , and by dualizing a surjection jA : VC ΩC . The section ∆ → Mx + of Ω ◦ D× appearing in Proposition 5.1 is just the image of the section Y C | p∈ν−1(x) p ∗ under jA.( −1 5.6. Dual version. Let x X, and Mx a V –module along ν (x). As in the case of ordinary vertex operators∈ (see Section 5.4.8 of [FB]), dualizing the construction we obtain a linear map

Mx,∨ × H Y :Γ(Dx , V ◦ Ω ◦ ) End Mx. X ⊗ X → Given by M (5.6) s Res Y x ,s → x, & Moreover, this map factors through the quotient

H def × H H U(Vx ) =Γ(Dx , V ◦ Ω ◦ )/ Im , X ⊗ X ∇ H which has a natural Lie algebra structure. The corresponding map U(Vx ) End Mx ◦ → is a homomorphism of Lie algebras. Note that x does not have to lie in X, but can be any point of X. 5.7. A sheaf of Lie algebras. Following Section 8.2.5 of [FB], let us consider the ◦ following complex of sheaves (in Zariski topology) on X:

H ∇ H 0 V ◦ V ◦ Ω ◦ 0 → X −→ X ⊗ X → H H where V ◦ Ω ◦ is placed in cohomological degree 0 and V ◦ is placed in cohomolog- X ⊗ X X H ical degree 1 (shifted de Rham complex). Let h(V ◦ ) denote the sheaf of the 0th − X 14 EDWARD FRENKEL AND MATTHEW SZCZESNY

◦ cohomology, assigning to every Zariski open subset Σ X the vector space ⊂ H def H H UΣ(V ◦ ) =Γ(Σ, V ◦ Ω ◦ )/ Im X X ⊗ X ∇ One can show as in Chapter 18 of [FB] that this is a sheaf of Lie algebras. ◦ According to formula (5.6), for any x Σ$, where Σ$ X is such that Σ$ X =Σ, ∈ H⊂ H ∩ restriction induces a Lie algebra homomorphism UΣ(V ◦ ) U(Vx ). We denote the X → H image by UΣ(Vx ).

5.8. Interpretation in terms of chiral algebras. A. Beilinson and V. Drinfeld have introduced in [BD] the notion of chiral algebra (see also [G]). A chiral algebra on a smooth curve X is a right D–module A on X together with homomorphisms of D– modules Ω A and → j j∗(A # A) ∆ (A), ∗ → ! where ∆: X X2 is the diagonal embedding, and j :(X2 ∆) X2 is the complement of the diagonal.→ These homomorphisms must satisfy certain\ axioms.→ As shown in Chapter 18 of [FB], for any conformal vertex algebra V and any smooth curve X, the right D–module VX ΩX is naturally a chiral algebra. Recall that a module over a chiral⊗ algebra A on X is a right D–module R on X together with a homomorphism of D–modules a : j j∗(A # R) ∆ (R). ∗ → ! This homomorphism should satisfy the axioms of [BD]. Suppose that R is supported at a point x X and denote its fiber at x by R . Then ∈ x R = ix!(Rx), where ix is the embedding x X. Applying the de Rham functor along the second factor to the map a we obtain a→ map a : j j∗(A) R R, x x∗ x ⊗ x → where jx :(X x) X. The chiral module axioms may be reformulated in terms of this map. Note that\ it→ is not necessary for A to be defined at x in order for this definition to make sense. If A is defined on X x, we simply replace j j∗(A) by j (A). \ x∗ x x∗ If M is a module over a conformal vertex algebra V , we associate to it the space Mx as in Section 5.1. Then the right D–module ix!(Mx) is a module over the chiral algebra V Ω supported at x and the corresponding map aM is defined as follows. Choose a ⊗ X x formal coordinate z at x and use it to trivialize V D and M and to identify | x x ix!(Mx)=M((z))dz/M[[z]]dz. Then aM (ı (A) f(z)dz, B)=Y M (A, z)B f(z)dz mod M[[z]]dz. x z ⊗ ⊗ M M The independence of ax on z is proved in the same way as the independence of Yx . M M,∨ Note that applying to ax the de Rham cohomology functor we obtain the map Yx (see Section 5.1). TWISTED MODULES OVER VERTEX ALGEBRAS ON ALGEBRAIC CURVES 15

◦ H Now let V ◦ be the vector bundle on X with connection defined by formula (5.3). X ◦ H Z Z Then V ◦ ΩX is a right D–module on X. Suppose that H = /N = σ . Given a X ⊗ , & full ramification point p C and a twisted V –module M σ, we define a map ∈ M σ H σ σ ap : jx∗(V ◦ ΩX ) Mp ip!(Mp ), X ⊗ ⊗ → ◦ H where x = ν(p) X X, as follows. Observe that sections of V ◦ ΩX D× are the same ∈ \ X ⊗ | x ∗ 1 as σ–invariant sections of ν (V ) Ω × . Choose a special coordinate z N at p and X C Dp ∗ ⊗ | use it to trivialize ν (V) ΩC D× and Mp and to identify ⊗ | p σ 1 1 1 1 ip!(Mp )=M((z N ))dz N /M [[z N ]]dz N . Then M σ 1 1 def M σ 1 1 1 1 1 a (ı (A) f(z N )dz N ,B) = Y (A, z N )B f(z N )dz N mod M[[z N ]]dz N . p z ⊗ ⊗ M σ 1 The independence of ap on z N may be proved in the same way as the independence M σ M σ of Yp was proved. Applying to ap the de Rham cohomology functor we obtain the M σ,∨ map Yp from Section 5.6. Now let H be an arbitrary finite group acting (generically with trivial stabilizers) on ◦ ◦ a smooth curve C. Then as before we have an H–torsor C over X X = C/H. Let A ◦ ⊂ be a chiral algebra on X equipped with an action of H by automorphisms. Then the ◦ C–twist of A, ◦ ◦ AC = C A, ×H ◦ inherits the chiral algebra structure from A. So we can consider AC –modules supported at arbitrary points x X. If A = VX ΩX , where V is a conformal vertex algebra on which H acts by automorphisms,∈ then⊗ such modules may be constructed from twisted V –modules. Namely, to each V –module along ν−1(x) (see Definition 5.1) we can attach ◦ to it in the same way as above a AC –module supported at x.

6. Conformal blocks We use the notation of section 5.2. Let x be a collection of distinct points { i}i=1···m of X, which contains all of the branch points of ν. Let Mxi i=1···m be a collection of −1 { } V –modules, such that Mxi is a module along ν (xi). Let m

F = Mxi +i=1 Given φ F∗, A M , ∈ i ∈ xi M (6.1) φ,A Y xi A A , 1 ⊗···⊗ · i ⊗···⊗ m& 16 EDWARD FRENKEL AND MATTHEW SZCZESNY

VH,∗ D× is a section of ◦ on xi . X We can now define the generalized space of conformal blocks, extending Definition 9.1.1 of [FB]: Definition 6.1. The space of conformal blocks C (X, x , M ) V { i} xi i=1···m is by definition the vector space of all linear functionals φ F∗ such that for any ∈ H,∗ Ai Mxi , the sections 6.1 can be extended to the same section of V ◦ , regular over ∈ X X x . \{ i} Remark. Observe that in this definition all branch points of ν are required to carry ◦ module insertions, so that X x X. ! \{ i}⊂ ∗ × We can pull back the sections 6.1 by ν to sections of V ◦ on p∈ν−1(x ) Dp Equiva- C i lently, Definition 6.1 can be rephrased as follows: ( Definition 6.2. The space of conformal blocks C (X, x , M ) V { i} xi i=1···m is by definition the vector space of all linear functionals φ F∗ such that for any ∈ Ai Mxi , the pullbacks of the sections 6.1 can be extended to the same H–invariant ∈ ∗ −1 section of V ◦ , regular over C ν (xi) . C \{ } 6.1. Alternative definition. Composing the map (5.6) with the map m VH VH UX\{xi}( ◦ ) U( x ) X → i !i=1 VH F we obtain an action of the Lie algebra UX\{xi}( ) on . We will employ the Strong Residue Theorem (see [T]):

Theorem 6.1. Let E be a vector bundle on a smooth projective curve Z. Let t1, . . . , tn Z be a set of distinct points. Then a section ∈ n τ Γ(D×, E∗) ∈ ti !i=1 has the property that n Res µ,τ =0, µ Γ(Z t , ,t , E Ω ) ti , & ∀ ∈ −{ 1 ··· n} ⊗ Z "i=1 if and only if τ can be extended to a regular section of E over Z t1, ,tn (i.e., τ Γ(Z t , ,t , E∗)) −{ ··· } ∈ −{ 1 ··· n} Applying Theorem 6.1 to Definition 6.1, we obtain that φ F∗ is a conformal block ∈ VH F if and only if it vanishes on all elements of the form s v, s UX\{xi}( ◦ ),v . This · ∈ X ∈ leads to the following equivalent definition, extending Definition 9.1.2 of [FB]: TWISTED MODULES OVER VERTEX ALGEBRAS ON ALGEBRAIC CURVES 17

Deﬁnition 6.3. The space of coinvariants is the vector space H M F VH F V (X, xi , xi )i=1···= /UX\{xi}( ◦ ) . { } X · VH The space of conformal blocks is its dual: the vector space of UX\{xi}( ◦ )–invariant X functionals on F C CV (X, xi , Mxi )i=1···m = Hom VH (F, ). UX\{xi}( ◦ ) { } X

7. Example: Heisenberg vertex algebra The definition of conformal blocks given in Section 6 is quite abstract, and involves a priori all of the fields of the vertex algebra V . When vertex algebras are generated by a finite number of fields the definition of conformal block can be simplified to involve only those generating fields. In this section we illustrate this in the case of the Heisenberg vertex algebra with an order 2 automorphism.

7.1. The vertex algebra π and its Z/2Z–twisted sector. Let H (resp. Hσ) denote the Lie algebra with generators bn, K n∈Z (resp. bn,K n∈ 1 +Z ), and commutation { } { } 2 relations * * [bn, bm]=nδn,−mK (resp. same but with b ’s) where K (resp. K) is central. Let H (resp. Hσ ) be the n * * * + + subalgebras generated by b (resp. b ). For λ C, let Cλ denote the 1 { n}n≥0 { n}n>0 ∈ dimensional representation of H * C K on which b , n > 0 acts by 0, b acts by λ, + ⊕ · n 0 and K acts by the identity.* Let , *H * * πλ = Ind Cλ. * H+⊕C·K 0 It is well-known that π = π has the structure* of, a vertex algebra (see for instance Chapter 2 of [FB]), generated by the ﬁeld assignment

π −n−1 Y (b−1 0 ,z)=b(z)= bnz . | & Z n"∈ 1 2 * * * Let us take ω = 2 b−1 to be the conformal vector of π. With this conformal structure, π has a conformal automorphism σ of order 2, induced from the automorphism of H which acts by *b b . All πλ have the structure of conformal π–modules. If n →−n λ = √M, M even, then πλ is admissible. We write

* π*λ λ −n−1 Y (b−1 0 ,z)=b (z)= bnz . | & Z n"∈ C * * * σ C Now let denote the 1–dimensional representation of H+ K on which K acts by the identity. The Hσ–module ⊕ · σ Hσ π = IndHσ C C +⊕ ·K 18 EDWARD FRENKEL AND MATTHEW SZCZESNY has the structure of an admissible conformal σ–twisted π–module, generated (in the sense of [Li]) by the ﬁeld assignment

πσ 1 −n−1 Y (b 0 ,z)=b(z 2 )= b z . −1| & n n∈ 1 +Z "2 * The twisted vertex operator assigned to an arbitrary vector v π is given as follows (see [FLM, KP, D]). Let ∈

σ 1 1 W π (b ...b 0 ,z)= ... :∂−n1−1b(z) ...∂−nk−1b(z): n1 nk | & ( n 1)! ( n 1)! z z − 1 − − k − and set * * −m−n ∆z = cmnbmbnz m,n"≥0 where the constants cmn are determined by the* * formula

1/2 1/2 m n (1 + x) + (1 + y) cmnx y = log − - 2 . m,n"≥0 Then for any v π we have ∈ σ σ (7.1) Y π (v, z)=W π (exp ∆ v, z). z ·

7.2. The Lie algebra Hout. Using the notation of earlier sections, we now restrict to the case where V = π, H = σ , where σ has order 2, and ν : C X has degree 2. ∼ , C & C → This is for example the case when C is hyperelliptic, σC is the hyperelliptic involution, 1 H σ and X = CP . The vector bundles V ◦ , V ◦ will be denoted Π ◦ , Π ◦ respectively. C X C X For x X we can construct π–modules along ν−1(x) by applying the construction ∈ −1 σ −1 in section 5.4. If π (x) consists of one point, we obtain a module πx along ν (x) σ −1 λ,p −1 starting with π . If π (x) consists of two points, we obtain a module πx along ν (x) starting with a point p in the ﬁber and a πλ,λ √2Z. ∈ Let xi i=1···m be a collection of points of X containing all of the branch points of { } −1 σ λi,pi ν, and π a collection of π–modules along ν (x ), where π = π or π = πx { xi } i xi ∼ xi xi ∼ i depending on whether ν−1(x ) consists of one or two points. The vector b 0 π is i −1| &∈ primary and has conformal weight 1. Applying Proposition 5.1, for each xi, we obtain × −1 D an End(πxi )–valued 1–form +i on p∈ν (xi) p Let * ( m F = πxi +i=1 and let H (C ) be the abelian Lie algebra C[C ν−1(x ) ] of regular functions on out aff \{ i } C ν−1(x ) . If A π , then f H (C ) acts on F by \{ i } i ∈ xi ∈ out aff m (7.2) f (A1 Am)= A1 (Resp f+i)Ai Am · ⊗···⊗ −1 ⊗···⊗ ⊗···⊗ "i=1 p∈ν"(xi) TWISTED MODULES OVER VERTEX ALGEBRAS ON ALGEBRAIC CURVES 19

∗ We will say that a meromorphic function f on C is even if σC (f)=f and odd if ∗ σ (f)= f. If f is even, then −1 Res f+ = 0, so only odd functions act C − p∈ν (xi) p i non-trivially. Let H (C )o denote the space of odd elements in C[C ν−1(x ) ]. out aff / \{ i } 7.3. Coinvariants and conformal blocks. Now we give an simpler, alternative definition of the spaces of coinvariants and conformal blocks for (twisted) π–modules, extending Deﬁnition 8.1.7 in [FB].

Definition 7.1. The space of coinvariants associated to (X, xi , πxi ) is the vector space { } { } H (X, x ,π ) = F/H (C )o F π { i} xi i=1···m out aff · The space of conformal blocks associated to (X, xi , πxi ) is the vector space * { } { } C (X, x ,π ) = HomH o (F, C) π { i} xi i=1···m out(Caff ) of H (C )o–invariant functionals on F. out aff * Remark. The discussion at the end of Section 7.2 implies that these definitions remain o the same if we replace Hout(Caff ) by Hout(Caff ). ! We can ask how the space of conformal blocks changes under the addition of points. Suppose then that to our collection of points xi i=1···m we add xm+1. Since xi i=1···m −1 { } { } contains all the branch points of ν, ν (xm+1) consists of two points. Set πxm+1 = 0,p −1 0,p πxm+1 , p ν (xm+1). Observe that in the case of the vacuum representation, πxm+1 = 0,σC (p) ∈ πxm+1 , so there is no choice of point in the fiber. There exists a natural map: (7.3) C (X, x ,π ) C (X, x ,π ) π { i} xi i=1···m+1 → π { i} xi i=1···m given by * * (7.4) φ φ m π ⊗|0-, → | i=1 xi 0 i.e., we restrict the functional φ to the vacuum vector in πxm+1 . The following lemma, analogous to Proposition 8.3.2 in [FB], will be proved in Section 7.5. Lemma 7.1. The map (7.4) is an isomorphism. 7.4. Equivalence of Definitions 6.1 and 7.1. We now have two seemingly different definitions of the space of conformal blocks: the general Definition 6.1 and Definition 7.1, which is specific to the case V = π. We will show that these two definitions agree. Applying the Strong Residue Theorem 6.1 to our collection of End(F)–valued one-forms, we obtain

Corollary 7.1. A functional φ is a conformal block if and only if Ai πxi , the one-forms ∀ ∈

× (7.5) φ,A1 (+i Ai) Am Γ Dp , Ω ◦ C , ⊗···⊗ · ⊗···⊗ &∈  −1  p∈ν3(xi)   can be extended to a single one-form + on C ν−1(x ) . φ \{ i } 20 EDWARD FRENKEL AND MATTHEW SZCZESNY

Remark. σC acts on the space of holomorphic one-forms. It is clear that +φ is odd under this action. ! We are now ready to prove the equivalence of the two deﬁnitions of conformal blocks. The proof is a generalization of the proof of Theorem 8.3.3 of [FB].

Theorem 7.1. Let φ be a linear functional on F such that Ai πxi , the one-forms ∀ ∈ −1 (7.5) can be extended to a single, odd, regular one–form +φ on C ν (xi) . Then the sections \{ }

πxi × ∗ (7.6) φ,A1 (Y Ai) Am Γ( Dp , ΠC ) , ⊗···⊗ · ⊗···⊗ &∈ −1 p∈ν3(xi) ∗ −1 can be extended to a single, invariant, regular section of ΠC on C ν (xi) , and vice versa. \{ } Proof. From the discussion following Theorem 5.1, there exists a map ∗ Π ◦ Ω ◦ C → C × −1 D such that the one-forms (7.5) are the projections of the sections (6.1) on p∈ν (xi) p Thus if the (6.1) extend to C ν−1(x ) , so will (7.5). Denote C ν−1(x ) by C . \{ i } \{ (i } aff Let Cˆ2 denote C2 Ξ, where Ξis the divisor in C2 consisting of pairs (x, y) C2 aff \ aff ∈ aff k l ˆ2 satisfying σC (x)=σC (y) for some integers k, l. Let r1 : C Caff denote the projection on the ﬁrst factor, whose ﬁber over q C is → ∈ aff C O aff \ q where Oq denotes the H–orbit of q. Let O O =(r1)∗ Cˆ2 .

This is a quasi-coherent sheaf on Caff whose fiber at q Caff is C[Caff Oq]. Let G denote the sheaf F Π on *C , where we treat∈F as a constant sheaf.\ For ⊗ C |Caff aff q C , the fiber G is F (Π ) = F π , where by π we mean the module ∈ aff q ⊗ C q ∼ ⊗ ν(q) ν(q) along ν−1(ν(q)) constructed out of the vacuum π. The sheaf O acts on G in such a way that fibrewise we obtain the action (7.2) of C[C O ] on aff \ q m * F Π = π π ⊗ ν(q) xi ⊗ ν(q) +i=1 Introduce the sheaf of homomorphisms

C = HomO(G, OCaff ) whose fiber at q Caff is the space of conformal blocks ∈ * * C (X, x ,ν(q) ,π ,π ) . π { i } xi ν(q) i=1···m Lemma 7.1 identifies the fibers of C with C (X, x ,π ) , thus providing a canon- * π { i} xi i=1···r ical trivialization of C. Thus, given * * φ C (X, x ,π ) * ∈ π { i} xi i=1···m * TWISTED MODULES OVER VERTEX ALGEBRAS ON ALGEBRAIC CURVES 21 we obtain a section φ of C on Caff . Let φq denote the value of this section at q C. Let A π and ∈ i ∈ xi * * v = m* A F ⊗i=1 i ∈ Contracting φ with v F, we obtain a section φv of Π∗ . By construction, the value ∈ C of φv on B (Π ) = π is φ (v B). We wish to show that the section φv is the ∈ C q ν(q) q ⊗ analytic continuation* of the sections (6.1). We begin* with the following lemma. * * * Lemma 7.2. There exists a regular one-form on Caff Oq whose restriction to the × \ −1 D union p∈ν (xi) p is equal to ( φ ,A + A A B , , q 1 ⊗···⊗ i · i ⊗···⊗ m ⊗ & × and its restriction to −1 D is p*∈ν (ν(q)) p ( φ ,A A + B , q 1 ⊗···⊗ m ⊗ q · & Proof. Since φq is a conformal* block, we obtain, using the definition of the action of C[C O ] on F π , aff \ q ⊗ ν(q) * 0= φq,f (v B) = Resp φq,A1 (f+i) Ai B , · ⊗ & −1 , ⊗···⊗ · ⊗···⊗ & i=1"···m p∈ν"(xi) * * + Res φ ,A A (f+ ) B . p, q 1 ⊗···⊗ m ⊗···⊗ q · & p=(q,"σC (q)) Thus, the strong residue theorem implies that* there exists a regular one-form on C O having the desired properties. ! aff \ q 1 −1 −1 2 N Remark 4. If x X, p ν (x), ν (x) consists of N points, and z is a formal ∈ ∈ × coordinate at p, then the endomorphism-valued one-form + on Dp has the expression

N−1 1 1 + = Nz N b(z N )dz N where 1 −n−1 b(z N )= bnz n∈ 1 +Z "N −1 Now we prove Theorem 7.1. Suppose that q is near p ν (xi). Choose a small analytic 1 ∈ N neighborhood U of p with special coordinate zi centered on p, such that q Ui. If ν 1 ∈ 1 N 2 is unramiﬁed, N = 1, and zi is any coordinate centered at p, otherwise N = 2 and zi is a σC –special coordinate. Since q = p, w = zi zi(q) is a coordinate centered at q, in some neighborhood W of q. Near q), we can trivialize− π W = Π × ∼ C |W via (B, q) (B, z z (q)). → i − i It remains to prove the following: 22 EDWARD FRENKEL AND MATTHEW SZCZESNY

Lemma 7.3. B π, ∀ ∈ π φ ,v B = φ ,A Y xi (B, q) A A 0 , q ⊗ & , q 1 ⊗···⊗ · i ⊗···⊗ m ⊗| && πx = φ,A1 Y i (B, q) Ai Am . * ,* ⊗···⊗ · ⊗···⊗ & Proof. The second equality follows from Lemma 7.1. The ﬁrst equality is proved by induction. It obviously holds for B = 0 . Now, denote by π(r) the subspace of π | & spanned by all monomials of the form b b 0 , where k r. Suppose that we i1 ··· ik | & ≤ have proved Lemma 7.3 for all B π(r). The inductive step is to prove the equality $ ∈ for elements of the form B = bn B. By, our* inductive hypothesis, we know that if B π(r), then · ∈ *

N−1 1 1 φ ,A (Nz N b(z N )) A B dz N , q 1 ⊗···⊗ i i · i ⊗···⊗ & i N−1 1 1 π N N N = φ,A NY xi (B, q)z b(z ) A A dz . * , 1 ⊗···⊗ i i · i ⊗···⊗ m& i According to Lemma 7.2 above, we also have

N−1 1 1 φ ,A (Nz N b(z N )) A A B dz N = φ ,A A b(w) B dw. , q 1 ⊗···⊗ i i · i ⊗···⊗ m ⊗ & i , q 1 ⊗···⊗ m ⊗ · & Using locality and associativity, we obtain * * * 1 N−1 1 π N N N φ,A Y xi (C, q)b(z ) A A Nz dz , 1 ⊗···⊗ i · i ⊗···⊗ m& i i 1 N−1 1 N π N N = φ,A b(z )Y xi (C, q) A A Nz dz , 1 ⊗···⊗ i · i ⊗···⊗ m& I i N−1 1 π N N = φ,A Y xi (b(z z (q)) B, q) A A Nz dz , 1 ⊗···⊗ i − i · · i ⊗···⊗ m& i i N−1 1 π = φ,A Y xi (b(w) B, q) A A Nz N dz N , 1 ⊗···⊗ * · · i ⊗···⊗ m& i i π = φ,A Y xi (b(w) B, q) A A dw, , 1 ⊗···⊗ * · · i ⊗···⊗ m& N−1 1 N N where the last step holds because Nz* i dzi = dw. Combining these relations, we obtain π φ ,A A b(w) B dw = φ,A Y xi (b(w) B, q) A A dw. , q 1 ⊗···⊗ m ⊗ · & , 1 ⊗···⊗ · · i ⊗···⊗ m& Multiplying both sides by wn and taking residues, we ﬁnd that * * * π φ ,A A b B = φ,A Y xi (b B, q) A A . , q 1 ⊗···⊗ m ⊗ n · & , 1 ⊗···⊗ n · · i ⊗···⊗ m& Equivariance of the sections 7.6 follows from the fact that they are invariant on all D× * * * p where p is a ﬁxed point of σC . This completes the proof of Theorem 7.1. !

7.5. Proof of Lemma 7.1. We start with the following fact.

−1 Lemma 7.4. Let p ν (xm+1). For every principal part f− at p, there exists an odd function f C[C ∈O ] whose principal part at p is f . ∈ aff \ p − TWISTED MODULES OVER VERTEX ALGEBRAS ON ALGEBRAIC CURVES 23

Proof. Let D be an effective divisor symmetric under the action of σ (i.e., if D =Σc q, C q· then c = c ), supported on ν−1(x ) . Denote the canonical divisor of C by q σC (q) { i }i=1···m KC . For deg(D) > deg(KC ), the Riemann-Roch theorem implies that dim L(D) = deg(D) + 1 g . − C It follows that Q = L(D +(n + 1) p +(n + 1)σ (p))/L(D + n p + n σ (p)) n+1 · C · · C for n 0 is two-dimensional. Furthermore, Q carries an action of σ . Suppose now ≥ n+1 C that Qn+1 is spanned by the images of two even functions f1,f2. Since fi are even, they have poles of the same order at both p and σC (p), and so will any linear combination. But this contradicts the fact that L(D +(n + 1)p + nσ (p))/L(D + n p + n σ (p)) C · · C is one-dimensional. It follows that for each n 0, Q contains an odd function. ! ≥ n+1 Now we prove the statement equivalent to Lemma 7.1 that the corresponding spaces of coinvariants H (X, x ,π ) and H (X, x ,π ) π { i} xi i=1···m π { i} xi i=1···m+1 0,p " are isomorphic. Recall that πxm+1 here is the vacuum module πxm+1 . Let Caff = * " * C O , and H (C )=C[C$ ]. The space aff \ p out aff aff H (X, x ,π ) (resp. H (X, x ,π ) π { i} xi i=1···m π { i} xi i=1···m+1 o " o is identified with the 0th homology of the Lie algebra Hout(C ) (resp. Hout(C ) ) * * aff aff with coefficients in F (resp. F π ). Lemma 7.4 implies that the sequence ⊗ xm+1 " µ (7.7) 0 H (C )o H (C )o w−1 C[w−1 ] 0 → out aff → out aff −→ s+1 s+1 → is exact, where µ is the map that attaches to a function its principal part at p. The " homology of H (C )o with coefficients in F π is computed using the Chevalley out aff ⊗ xm+1 complex " C• = F π •(H (C )o) ⊗ xm+1 ⊗ out aff with the differential d : Ci Ci−1 given by6 the formula → d = f ψ∗ i ⊗ i "i " o ∗ " o ∗ where fi is a basis in Hout(Caff ) and ψ is the dual basis of (Hout(Caff ) ) acting • { } " o { } on (Hout(Caff ) ) by contraction. n " o Choose pull-backs zn, n < 0, of ws+1, n < 0, in Hout(Caff ) under µ. Because of the 7 " exactness of the sequence (7.7), we can choose a basis f in H (C )o which is a { i} out aff union of z , and a basis of H (C )o. In this basis we may decompose { n}n<0 out aff d = d + z φ∗ , Caff n ⊗ n o ∗ where dCaff is the differential for Hout(Caff") , and φn denotes the element of the dual basis to f corresponding to z . { i} n 24 EDWARD FRENKEL AND MATTHEW SZCZESNY

We need to show that the homologies of this complex are isomorphic to the homolo- • o gies of the complex F (Hout(Caff ) ). Introduce an increasing filtration on πxm+1 , (r) ⊗ letting πm+1 be the span7 of all monomials of order less than or equal to m in bn, n < 0. Now introduce a filtration F on the Chevalley complex C• by setting { i} " * F = span v B D v F,B π(m) ,D i−m(H (C )o) . i { ⊗ ⊗ | ∈ ∈ xm+1 ∈ out aff } Our differential preserves this filtration. 6 Consider now the spectral sequence associated to the filtered complex C•. The zeroth term E0 is the associated graded space of the Chevalley complex, isomorphic to (π •(φ∗ ) ) (F •(H (C )o)). s+1 ⊗ n n<0 ⊗ ⊗ out aff The zeroth differential acts6 along the first factor6 of the above decomposition, and is given by the formula d0 = b φ∗ , n ⊗ n n<0 " because on the graded module the operator zn acts as bn, n < 0. But πs+1 is isomorphic to the symmetric algebra with generators bn, n < 0, and our differential is simply the Koszul differential for this symmetric algebra. It is well-known that the zeroth homology of this complex is isomorphic to C, and all other homologies vanish. Therefore all positive homologies of d0 vanish, while the zeroth homology is F •(H (C )). ⊗ out aff Hence, the E1 term coincides as a vector space with the Chevalley complex of the o 1 7 homology of Hout(Caff ) with coefficients in F. Also, the E differential coincides with dCaff , which is the corresponding Chevalley differential. We thus obtain the desired isomorphism " H (H (C )o, F π ) = H (H (C )o, F). i out aff ⊗ m+1 ∼ i out aff 8. Affine vertex algebras In Section 7.3 we have shown that in the case of the Heisenberg vertex algebra the space of conformal blocks had a simple realization as the dual of a certain space of twisted coinvariants. In this section we present a similar realization in the case of vertex algebras attached to affine Kac-Moody algebras.

8.1. The vacuum module Vk(g). Let g denote a complex simple Lie algebra, Lg = g [t, t−1] its loop algebra, and gˆ the corresponding aﬃne Kac-Moody Lie algebra. For ⊗ k C, let Ck denote the one-dimensional representation of g[t] C K where g[t] acts by∈ 0, and K acts by k. It is well known that the vacuum module⊕ · ˆg C Vk(g) = Indg[t]+C·K k has the structure of a vertex algebra (see for instance Section 3.4.2 of [FB]). a Pick a basis J a=1···d (where d = dim(g)) of g, and let Ja a=1···d be its dual basis with respect to{ the} normalized Killing form. Suppose that{k =} h∨ (where h∨ is the dual Coxeter number of g) and set ) − d 1 S = (J t−1)(Ja t−1) 0 . 2(k + h∨) a ⊗ ⊗ | & "a=1 TWISTED MODULES OVER VERTEX ALGEBRAS ON ALGEBRAIC CURVES 25

This is the Sugawara vector which determines a conformal structure on Vk(g) when k = h∨. In what follows, we will always use this conformal structure on V (g). ) − k Let σg be an automorphism of g of ﬁnite order N. Then σg induces a conformal automorphism of Vk(g), which we will denote by σVk(g). In particular, consider the case when σg is an outer automorphism (note that this is not necessary for the results below). Thus, N = 2 when g = A ,D ,m =4,E , and n m ) 6 N = 3 when g = D4. The following result is proved in [Li] σ Lemma 8.1. The σVk(g)–twisted Vk(g)–modules are precisely the gˆ –modules from the category O, where gˆσ is the twisted aﬃne Kac-Moody algebra associated to the automorphism σg. σ 8.2. The Lie algebra gout(Caff ). We keep the notation of Section 7. Let C be an algebraic curve with an automorphism σC of order N (where N = 2 or 3 depending on g), and let xi i=1···m be a collection of points of X containing the branch points { } −1 N−1 of ν. Denote C ν (xi) by Caff . Let us write g = l=0 gl, where gl denotes the \{ } 2πil ⊕ eigenspace of σg corresponding to the eigenvalue e N . Then σC acts on C[Caff ]–the ring of functions on Caff , and so we can write C[Caff ]= C[Caff ]l, where C[Caff ]l 2πil ⊕ ∗ N consists of those functions f such that σC (f)=e f. Let gσ (C )= N (g C[C ] ) . out aff ⊕l=1 l ⊗ aff l 8.3. Coinvariants and conformal blocks. For x X, V –modules along ν−1(x) can be constructed from ordinary or twisted V –modules∈ using the same technique that was used in the Heisenberg case in Section 7.2. More precisely, if x is a branch point of −1 ν,p = ν (x), and σC,p is the monodromy around x, then any σC,p–twisted Vk(g)– −1 −1 module gives rise to a Vk(g)–module along ν (x). Similarly, if ν (x) consists of N −1 points, then an ordinary Vk(g)–module and a choice of point p ν (x) gives rise to a −1 ∈ Vk(g)–modules along ν (x).

Let Mxi be a collection of Vk(g)–modules along xi constructed in this manner. { } {−1} Thus for each xi, we have a distinguished point pi ν (xi). Pick special coordinates 1 ∈ N z i near pi, where Ni = 1 if ν is unramiﬁed at pi and Ni = N otherwise. Set r

F = Mxi i+=m σ Then gout(Caff ) acts on F as follows: h (A A )= A [h] A A · 1 ⊗···⊗ m 1 ⊗···⊗ pi · i ⊗···⊗ m "i where [h]p denotes the Laurent series expansion of h around p C in the special coordinate that was selected. ∈ We are now ready to give an alternative, simplified definition of twisted coinvariants and conformal blocks for Vk(g), extending the definition of Section 8.2.1 in [FB]: Definition 8.1. The space of coinvariants is the vector space H (X, x , M ) = F/gσ (C ) F Vk(g) { i} xi i=1···m out aff · * 26 EDWARD FRENKEL AND MATTHEW SZCZESNY

The space of conformal blocks is its dual:

C g (X, xi , Mx )i=1···m = Homgσ (F, C) Vk( ) { } i out(Caff ) The following theorem* is proved using the same methods as Theorem 7.1.

Theorem 8.1. In the case of the vertex algebra Vk(g), Definition 6.1 is equivalent to Definition 8.1. References [BKT] B. Bakalov, V. G. Kac, and I. T. Todorov, Lattice Orbifolds, Preprint. [BD] A. Beilinson, V. Drinfeld, Chiral Algebras, Preprint, http://www.math.uchicago.edu/∼benzvi [B] R. Borcherds, Vertex algebras, Kac–Moody algebras and the monster, Proc. Natl. Acad. Sci. USA 83 (1986) 3068-3071. [DHVW] L. Dixon, J. A. Harvey, C. Vafa and E. Witten, String on orbifolds, Nucl. Phys. B261 (1985) 620-678; String on orbifolds II, Nucl. Phys. B274 (1986) 285-314. [D] C. Dong, Twisted modules for vertex algebras associated with even lattices, J. Algebra 165 (1994) 91-112. [DLM] C. Dong, H. Li and G. Mason, Twisted representations of vertex operator algebras, Math. Ann. 310 (1998) 571-600. [DVVV] R. Dijkgraaf, C. Vafa, E. Verlinde, H. Verlinde, The operator algebra of orbifold models, Comm. Math. Phys 123 (1989) 485-526. [FB] E. Frenkel, D. Ben-Zvi, Vertex algebras and algebraic curves, Mathematical Surveys and Mono- graphs 88, AMS, 2001. [FFR] A. Feingold, I. Frenkel, J. Reis, Spinor construction of vertex operator algebras, triality, and (1) 121 E8 , Contemp. Math. , AMS, 1991. [FLM] I. Frenkel, J. Lepowsky, A. Meurman, Vertex operator algebras and the monster, Academic Press, 1988. [G] D. Gaitsgory, Notes on 2D conformal field theory and string theory, in Quantum fields and strings: a course for mathematicians, Vol. 2, pp. 1017-1089, AMS, 1999. [H] Y.-Z. Huang, Two-dimensional conformal geometry and vertex operator algebras, Progress in Math- ematics 148, Birkhäuser, Boston, 1997. [K] V. Kac, Vertex algebras for beginners, Second Edition, AMS, 1998. [KP] V. Kac, D. Peterson, 112 constructions of the basic representation of E8, in Anomalies, geometry, topology, Agronne, 1985, pp. 276-298, World Scientific, 1985. [Le1] J. Lepowsky, Calculus of twisted vertex operators, Proc. Nat. Acad. Sci. U.S.A. 82 (1985) 8295– 8299. [Le2] J. Lepowsky, Perspectives on vertex operators and the Monster, in Proc. Sympos. Pure Math. 48, AMS, 1988. [Li] H. Li, Local systems of twisted vertex operators, vertex operator superalgebras and twisted modules, Contemp. Math 193 (1996) 203-236. [T] J. Tate, Residues of differentials on curves, Ann. Sci. Ecole Norm. Sup. 1 (1968) 149-159.

Department of Mathematics University of California, Berkeley, CA 94720 E-mail address: [email protected]

E-mail address: [email protected]