arxiv:math/ v2 [math.ag] 11 Aug 2004

Transcription

1 ariv:math/ v2 [math.ag] 11 Aug 2004 ORBIFOLD CONFORMAL BLOCKS AND THE STACK OF POINTED G-COVERS MATTHEW SZCZESNY Abstract. Starting with a vertex algebra V, a finite group G of automorphisms of V, and a suitable collection of twisted V modules, we construct (twisted) D modules on the stack of pointed G covers, introduced by Jarvis, Kaufmann, and Kimura. The fibers of these sheaves are spaces of orbifold conformal blocks defined in joint work with Edward Frenkel. The key ingredient is a G equivariant version of the Virasoro uniformization theorem. 1. Introduction It is by now well-understood that conformal field theories (CFT s) in two dimensions give rise to sheaves with projectively flat connection over the moduli stack of n-pointed genus g curves, M g,n. Mathematically, this process can be described as follows (see for instance the book [FB] for more details). Given a vertex algebra V, which corresponds to a choice of CFT model, a collection of V modules M =(M 1,,M n ), and an n-pointed curve (, p), p =(p 1,,p n ), one obtains the vector space of conformal blocks, denoted C V (, p, M). Elements of this vector space can be used to construct chiral correlation functions in the CFT, which are sections of certain sheaves on powers of with pairwise diagonals removed. As (, p) varies in M g,n, one obtains a sheaf with a projectively flat connection, known as the Knizhnik-Zamolodchikov (KZ) connection. In certain cases, when the CFT is rational, the spaces C V (, p, M) are finite-dimensional. The sheaf is then a vector bundle that extends to the Deligne- Mumford compactification M g,n, and the connection to one with logarithmic singularities along the boundary divisor. In several cases, the space of conformal blocks is related to a moduli problem. For instance, when V = L k (g), the integrable basic ĝ module of level k Z +, we have the isomorphism C Lk (g)(, p, L k (g)) = H 0 (Bun G (), Θ k ) where Bun G () is the moduli stack of G-bundles on, G is the simply-connected algebraic group with Lie algebra g, and Θ is the theta line bundle on Bun G (), In this case, the KZ connection yields a non-abelian analogue of the heat equation satisfied by abelian theta functions. In recent years, much attention has been paid to the construction of CFT s by orbifolding. At the level of vertex algebras, this procedure can be described as follows. We are given a vertex algebra V, and a finite group G of automorphisms of V that also acts on the category of V modules. One begins by taking G invariants, and then adjoining 1

2 2 MATTHEW SZCZESNY so called twisted modules {M [g] }, for each conjugacy class [g] in G. Geometrically, orbifold models possess the new feature of twist fields. These are objects that cause vertex operators to become multivalued, with monodromies given by elements of G. In [FS], the notion of conformal block was extended to include twisted modules. A key ingredient is the notion of a pointed G cover. Let (, p) be a an n pointed smooth projective curve. A pointed G cover of (, p) is a set of data (π : C, p, q), q =(q 1,,q n ) where C is a smooth projective curve (not necessarily connected) with an effective action of G, such that = C/G, the quotient map π : C makes C in to a principal G bundle over \{p i }, and q i π 1 (p i ). The space of orbifold conformal blocks, denoted (1.1) C G V (C,, p, q, M) is attached to a G cover, and a collection of V modules M =(M 1,,M n ), where M i is twisted by the monodromy generator m i at q i. Orbifold conformal blocks can be used to construct chiral orbifold correlators, which are G invariant sections of sheaves on powers of C with certain divisors removed. For a detailed treatment of this construction, see our forthcoming paper [S]. In [JKK], following earlier work by [ACV], the authors introduce a smooth Deligne- Mumford stack M G g,n parameterizing smooth n pointed G covers. Given an appropriate collection M of (twisted) V modules, it is a natural question how the spaces 1.1 vary as (π : C, p, q) moves in M G g,n. In this paper, we construct sheaves with a projectively flat connection over (certain components of) M G g,n, whose fibers at a G cover (π : C, p, q) are the corresponding spaces 1.1. In other words, we construct a localization functor ( ) : (V mod) DM G mod g,n where D M G g,n is a sheaf of twisted differential operators on M G g,n, depending on the Virasoro central charge. This yields an orbifold generalization of the KZ connection. The resulting sheaves should be useful in constructing G-modular functors (see [Ki]). In the untwisted case, the key theorem in the construction is the so called Virasoro uniformization of M g,n (see [ADKP], [BS], [Kon], [TUY] ). Roughly, this theorem states that M g,n is a flag manifold for the Virasoro algebra. We extend the approach to G covers. Just as M g,n can be compactified to M g,n, so does M G g,n have a compactification M G g,n. In this paper we do not address the behavior of the D modules on the boundary M G g,n\m G g,n. Just as in the untwisted case, the existence of a logarithmic extension requires the finite-dimensionality of conformal blocks. It is natural to conjecture that such an extension is possible for the WZW model of positive integer level, when V = L k (g), and where the twisted modules are realized as integrable representations of appropriate twisted affine algebras. The structure of the paper is as follows. In section 2 we quickly review the notion of vertex algebra and vertex algebra module/twisted module. Section 3 recalls some

3 ORBIFOLD CONFORMAL BLOCKS AND THE STACK OF POINTED G-COVERS 3 facts about the stack of pointed G covers from [JKK]. In sections 4 and 5 we review the construction of the space of orbifold conformal blocks CV G (C,, p, q, M) following [FS]. Section 6 is devoted to reviewing Beilinson-Bernstein localization, which is the technique used to produce D modules on M G g,n. Our treatment is essentially a condensed version of that in [FB]. Section 7 contains a proof of the G equivariant Virasoro uniformization of M G g,n and the construction of the localization functor. Finally, section?? gives a formula for the orbifold KZ connection along the fibers of the projection M G g,n M g, sending (π : C, p, q) to, i.e. the locus of pointed G covers with a fixed base curve. Acknowledgments: I would like to thank Edward Frenkel and David Ben-Zvi for many valuable conversations. I would also like to greatfully acknowledge the hospitality of the Erwin Schrodinger Institute, where part of this work was completed. This research was partially supported by NSF grant DMS Vertex algebras and twisted 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 see [FLM, K, FB], and for background on twisted modules, see [FFR, D, DLM, BK]. We recall that a conformal vertex algebra is a Z + graded vector space V = V n, n=0 together with a vacuum vector 0 V 0, a translation operator T of degree 1, a conformal vector ω V 2 and a vertex operation Y : V End V [[z ±1 ]], A Y (A, z) = n Z A (n) z n 1. 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 ]], A Y M (A, z) = n Z A M (n) z n 1 such that for any v M we have A M (n) v = 0 for large enough n. This operation must satisfy the following axioms: Y M ( 0,z) = Id M ;

4 4 MATTHEW SZCZESNY For any v M there exists an element such that the formal power series f v M[[z, w]][z 1,w 1, (z w) 1 ] Y M (A, z)y M (B, w)v and Y M (Y (A, z w)b, w)v are expansions of f v in M((z))((w)) and M((w))((z w)), respectively. The power series Y M (A, z) are called vertex operators. We write the vertex operator corresponding to ω as Y M (ω, z) = n Z L M n z n 2, where L M n are linear operators on V generating the Virasoro algebra. Following [D], we call M admissible if L M 0 acts semi-simply with integral eigenvalues. Now let σ V be a conformal automorphism of V, i.e., an automorphism of the underlying vector space preserving all of the above structures (so in particular σ V (ω) =ω). We 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 Y M σ : V End M σ [[z ± 1 N ]], A Y M σ (A, z 1 N )= A M σ (n) z n 1 n 1 N Z such that for any v M σ we have A M σ (n) v = 0 for large enough n. Please note that we use the notation Y M σ (A, z 1 N ) rather than Y M σ (A, z) in the twisted setting. This operation must satisfy the following axioms (see [FFR, D, DLM, Li]): Y M σ ( 0,z 1 N ) = Id M σ; For any v M σ, there exists an element f v M σ [[z 1 N,w 1 N ]][z 1 N,w 1 N, (z w) 1 ] such that the formal power series Y M σ (A, z 1 N )Y M σ (B, w 1 N )v and Y M σ (Y (A, z w)b, w 1 N )v are expansions of f v in M σ ((z 1 N ))((w 1 N )) and M σ ((w 1 N ))((z w)), respectively. If A V is such that σ V (A) =e 2πim N A, then A M σ (n) = 0 unless n m N + Z. The series Y M σ (A, z) are called twisted vertex operators. In particular, the Fourier coefficients of the twisted vertex operator Y M σ (ω, z 1 N )= L M σ n z n 2, generate an action of the Virasoro algebra on M σ. The σ V twisted module M σ is called admissible if L M σ 0 acts semi-simply with eigenvalues in 1 N Z. Suppose that M σ is an admissible module. Then we define a linear operator S σ on M σ as follows. It acts on the eigenvectors of L M σ 0 with eigenvalue m N by multiplication by e 2πim N. Hence we obtain an action of the cyclic group of order N generated by σ n Z

5 ORBIFOLD CONFORMAL BLOCKS AND THE STACK OF POINTED G-COVERS 5 on M σ, σ S σ. According to the axioms of twisted module, we have the following identity: (2.1) S 1 σ Y M σ (σ A, z 1 N )S σ = Y M σ (A, z 1 N ). 3. The stack of pointed G-covers In this section we review the definition of the stack of pointed G-covers introduced in [JKK] following [ACV]. Let M g,n denote the stack of smooth n-pointed curves of genus g. The objects of M g,n consist of families (λ : S, p 1,,p n ) where λ : S is a smooth family of curves of genus g, and p i : S, i =1,,n are pairwise disjoint sections of λ. Note that the p i are ordered. Definition 3.1. Let (λ : S, p 1,,p n ) M g,n be a smooth n pointed curve, and G a finite group. A smooth G cover of consists of a morphism π : C of smooth curves over S, satisfying the following properties: There is a right G action on C preserving π. C\ i π 1 (p i ) is a principal G bundle over \ i p i We denote the smooth G cover by (π : C, p 1,,p n ). A smooth n pointed G cover consists of a smooth G cover (π : C S, p 1,,p n ) together with n sections q i : S C such that q i π 1 (p i ). We denote it by (π : C, p 1,,p n,q 1,,q n ). To avoid cumbersome notation, we will henceforth use (, p), (C,, p), and (C,, p, q), to denote respectively, an n pointed curve, a G cover, and a pointed G cover, where p =(p 1,,p n ) and q =(q 1,,q n ). A morphism of pointed G covers is a G equivariant fibered diagram - that is, a morphism of the underlying curves together with a G equivariant morphism of the covers preserving the points q i. Smooth n pointed G covers form a stack, denoted M G g,n. There is an obvious morphism p : M G g,n M g,n (C,, p, q) (, p) Let G A denote the group G viewed as a right G space under conjugation. There is a G equivariant map e : M G g,n Gn A sending (C,, p, q) to the n tuple m =(m 1,,m n ), where m i is the monodromy of C around q i. Let M G g,n(m) denote the closed sub-stack e 1 (m). Note that M G g,n(m) may be empty. We have M G g,n = M G g,n (m) We have the following theorem: m G n A Theorem 3.1. [JKK] The stack M G g,n and the stacks MG g,n (m) are smooth Deligne- Mumford stacks, flat, proper, and quasi-finite over M g,n.

6 6 MATTHEW SZCZESNY 4. Groups and torsors The purpose of this section is to review the structure of the group of formal coordinate changes on the formal disk Spec(R[[z]]) and the formal punctured disk Spec(R((z))) for an arbitrary C algebra R. We will be primarily interested in the case when R is an Artin C-algebra, such as C[ɛ]/(ɛ 2 ). For more on the structure of these groups, see Section 5.1 of [FB], or the original source [MP] Groups. Let us denote R[[z]] by O R, and R((z)) by K R. Let Aut(O R ) denote the group of continuous R algebra automorphisms of R[[z]] preserving the ideal (z), and Aut(K R ) the group of all continuous R algebra automorphisms of R((z)). Since R[[z]] is topologically generated by z, an automorphism ρ of R[[z]] is completely determined by the image of z, which is a series of the form (4.1) ρ(z) = c n z n, c n R n Z,n 1 where c 1 is a unit. Hence we identify Aut(O R ) with the space of power series in z satisfying these conditions. Similarly, an element ρ of Aut(K R ) can be identified with a formal Laurent series of the form ρ(z) = c n z n, n Z,n k where c n is nilpotent if n 0, and c 1 is a unit. The functor R Aut(O R ) is representable by a group scheme over C which we ll denote Aut O. The Lie algebra Der (o) (O) of Aut(O) is topologically generated by elements z k z,k 1 The functor R Aut(K R ) is representable by an Ind-group scheme which we ll denote Aut(K). Denote by Der(K) the Lie algebra of Aut(K), generated by z k z,k Z We now consider some groups arising in the study of ramified coverings of disks. Let Aut(R[[z 1 N ]]) denote the group of continuous R algebra automorphisms of R[[z 1 N ]] preserving the ideal (z 1 N ). Definition 4.1. Aut N (O R ) is the subgroup of Aut(R[[z 1 N ]]) preserving the subalgebra R[[z]] R[[z 1 N ]]. Thus, Aut N O consists of power series of the form (4.2) ρ(z 1 N )= n 1 N +Z,n>0 c n z n, such that c 1 N is a unit. c n R

7 ORBIFOLD CONFORMAL BLOCKS AND THE STACK OF POINTED G-COVERS 7 There is a homomorphism µ N : Aut N (O R ) Aut(O R ) which takes ρ Aut N (O R ) to the automorphism of R[[z]] that it induces. At the level of power series, this is just the map µ N : ρ(z 1 N ) ρ(z 1 N ) N. The kernel consists of the automorphisms of the form z 1 N ɛz 1 N, where ɛ is an Nth root of unity, so we have the following exact sequence: 1 Z/N Z Aut N (O R ) Aut(O R ) 1. Thus Aut N (O R ) is a central extension of Aut(O R ) by the cyclic group Z/N Z. One can define the group Aut N (K R ) in an obvious way. Denote by Aut N (O) the group scheme representing the functor R Aut N (O R ), and Aut N (K) the Ind-group scheme representing R Aut N (K R ). The Lie algebra Der (o) N (O) of Aut N (O) can be identified with z 1 N C[[z]] z 1 N. The homomorphism µ N induces an isomorphism of the corresponding Lie algebras sending (4.3) z k+ 1 N z 1 N Nz k+1 z, k Z,k 0. Similarly, the Lie algebra Der N (K)of Aut N (K) can be identified with z 1 N C((z)) z 1 N, and µ N extends to a homomorphism Der N (K) Der(K). Let be a smooth curve over Spec R. If x is an R valued point of, denote by Aut(Ôx,R) the automorphisms of the formal neighborhood of x fixing x. Suppose now that C is a smooth curve over Spec R with effective G action, and that = C/G. Denote the quotient map by π : C. Choosing a formal coordinate z at x yields an isomorphism Aut(Ôx,R) = Aut(O R ) (For the definition of a formal coordinate, see the next section). If y C, denote by O(y) the G orbit of y in C, and by Ô(y) the formal neighborhood of O(y). Let Ô(y) denote the union of the formal punctured disks around points in O(y). Note that Ô(y) and Ô(y) carry an action of G. Let Aut(Ô(y) R ) resp. Aut(Ô(y) R ) denote the automorphism group of O(y) and O(y) respectively, and Aut G (Ô(y) R ) resp. AutG (C, Ô(y) R ) the corresponding subgroups of elements commuting with G. Finally, denote by Aut G e (Ô(y) R ) resp. AutG e (Ô(y) R ) the identity components of the corresponding groups. For each q O(y), by choosing a coordinate in which the action of the stabilizer G q is linear (this is called a special coordinate, see the next section), we obtain isomorphisms ψ q : Aut G e (Ô(y) R ) Aut N(O R ) and ψ q : AutG e (Ô(y) R ) Aut N(K R )

8 8 MATTHEW SZCZESNY by restricting to the disk around q. The proof amounts to observing that any element of Aut N (O R ) has a unique G equivariant extension to Aut G e (Ô(y) R ) (and the same with Ô replaced by Ô ) Torsors. Let D R = Spec A, where A = R[[z]] is a formal R disk, and let x D R be an R point. By a formal coordinate on (D R,x) we mean a isomorphism D R = Spec(R[[z]]) that identifies x with the origin (the origin being the R point corresponding to the ideal (z) R[[z]]). Let Aut(D R,x ) denote the set of formal coordinates on (D R,x). It is an Aut(O R ) torsor. Suppose now that (D R, x, σ D ) is a triple consisting of a formal disk D R = Spec B, where B = R[[z 1 N ]], x D R, and σ D is an automorphism of D (equivalently, of B) of order N fixing x. After a change of coordinate, σ D is equivalent to the automorphism z 1 N ɛz 1 N, where ɛ is a primitive Nth root of unity. We denote by D the quotient of D by σ D, i.e., the disk Spec B σ D, where B σ D is the subalgebra of σ D invariant elements. A formal coordinate t is called a special coordinate with respect to σ D if σ D (t) =ɛt, where ɛ is an Nth root of unity, or equivalently, if t N is a formal coordinate on D. We denote by Aut N (D R,x ) the subset of Aut(D R,x ) consisting of special formal coordinates. The set Aut N (D R,x ) carries a simply transitive right action of the group Aut N (O R ) given by t ρ(t), where ρ is the power series given in (4.2), i.e. Aut N (D R,x ) is an Aut N (O R ) torsor. Suppose now that π : C = C/G as above, and that y C. Let N denote the order of the stabilizer G y, which is cyclic, and generated by the monodromy around y, m y. To this data we can associate the set Aut N (D R,y ) of special coordinates on (Spec Ôy,y) with respect to G y, which is an Aut N (O R ) torsor. Note that when R = C, D R has a unique R point, and we will suppress it in the notation. Henceforth, we will also use the convention that D C is denoted D, and suppress R when referring to groups, torsors, etc. 5. Orbifold conformal blocks In this section we review the definition of orbifold conformal blocks introduced in [FS] Twisting modules by Aut N (D). Let D be a disk with an N th order automorphism as in the last section, and let M σ be an admissible σ V twisted module over a conformal vertex algebra V. Define a representation r M σ of the Lie algebra Der (o) N (O) on M σ by the formula z k+ 1 N 1 N L M σ z N k. It follows from the definition of a twisted module that the operators L M σ k, k > 0, act locally nilpotently on M σ and that the eigenvalues of L M σ 0 lie in 1 N Z, so that the operator N L M σ 0 has integer eigenvalues. This implies that the Lie algebra representation r M σ may be exponentiated to a representation R M σ of the group Aut N (O). In particular, the subgroup Z/N Z of Aut N (O) acts on M σ by the formula i Sσ, i where S σ is the operator defined in Section 2.

9 ORBIFOLD CONFORMAL BLOCKS AND THE STACK OF POINTED G-COVERS 9 We now twist the module M σ by the action of Aut N O and define the vector space (5.1) M σ (D) def = Aut N (D) M σ. Aut N O Thus, vectors in M σ (D) are pairs (t, v), up to the equivalence relation (ρ(t),v) (t, R M σ (v)), t Aut N (D),v M σ. When D = D x, the formal neighborhood of a point x on an algebraic curve, we will use the notation M σ x The vector bundle V G. Let (, p) be a smooth n pointed curve over Spec(C), and let π : C be a smooth G cover of (, p). Suppose furthermore that V is a conformal vertex algebra, and that G acts on V by conformal automorphisms. Let Aut C be the Aut(O) torsor over C whose fiber at y C is Aut(D y )the set of formal coordinates at y. As explained in [FB], Aut(O) acts on V, and the action commutes with G. Let V C = Aut C V Aut(O) The vector bundle V C carries a G equivariant structure lifting the action of G on C. It is given by (5.2) g (p, (A, z)) def =(g(p), (g(a),z g 1 )) where z g 1 is the coordinate induced at g(p) from z. Let C C denote the open set on which the G action is free, and let = π( C). Thus, C is a G principal bundle over. V C descends to a vector bundle V G on. More explicitly, (5.3) V G = Aut V C Aut(O) G Here, G acts on Aut C by g(p, z) = (g(p),z g 1 ), and this action commutes with the action of Aut(O). The vector bundle V G possesses a flat connection G. If z is a local coordinate at x, G is given by the expression d + L V 1 dz Modules along G orbits. Let y C. Then every point r O(y) has a cyclic stabilizer of order N, which we denote G r. Each G r has a canonical generator h r, which corresponds to the monodromy of a small loop around p = π(y). For a generic point r, N = 1, G r = {e} and we set h r = e. Suppose that we are given the following data: (1) A collection of admissible V modules {Mr hr} r O(y), one for each point in the orbit, such that Mr hr is h r twisted. (2) A collection of maps S g,r,g(r) : Mr hr M h g(r) g(r), g G, r π 1 (p), commuting with the action of Aut N O and satisfying S gk,r,gk(r) = S g,k(r),gk(r) S k,r,k(r), S 1 g,r,g(r) = S g 1,g(r),r,

10 10 MATTHEW SZCZESNY and g,r,g(r) Y M h g(r) g(r) S 1 (g A, z)s g,r,g(r) = Y M hr r (A, z). (3) If g G r, then S g,r,r = S g, where S g is the operator defined in Section 2. Given a collection {Mr hr} r O(y), we can form the collection {M hr r (D r)} r O(y), where M hr r (D r ) is the Aut N O twist of Mr hr by the torsor of special coordinates at p. Let M O(y) = r O(y) M hr r (D r) This is a representation of G, where G acts as follows. If A M hr r, z 1 N r is a special coordinate at r, and g G, then g (A, z 1 N r ) = (S g,r,g(r) A, z 1 N r g 1 ) Note that this action is well-defined since the S operators commute with the action of Aut N O. Now, let M O(y) =(M O(y) ) G, the space of G invariants of M O(y). For every r O(y) let φ r : M O(y) M hr r (D r) be the isomorphism which is the composition of the inclusion M O(y) M O(y) and the projection M O(y) M hr r (D r ). For v r M hr r (D r ), let [v r ] denote φ 1 (v r ) M O(y). Note that for each (A, z 1 N r M hr r (D r ), and g G, [(A, z 1 N r ) r ] = [(S g,r,g(r) A, z 1 N r g 1 ) g(r) ] in M p. Definition 5.1. We call M O(y) a V module along O(y). Henceforth, we will suppress the square brackets for elements of M O(y) and refer to [(A, z 1 N r ) r ] simply as (A, z 1 N r ) Construction of Modules along G orbits. In this section we wish to describe an induction procedure which yields a module along O(y) starting with a point r O(y) and an h r twisted module Mr hr. Note that when G r is trivial, this just an ordinary V module M. Thus, suppose we are given r O(y), and an h r twisted module Mr hr. Observe that the monodromy generator at the point g(r) is h g(r) = gh r g 1, i.e. the monodromies are conjugate. ) r (1) For g G, define the module M ghrg 1 g(r) to be Mr hr as a vector space, with the V module structure given by the vertex operator (5.4) Y M ghrg 1 g(r) (A, z) =Y M hr r (g 1 A, z) It is easily checked that this equips M ghrg 1 g(r) with the structure of a gh r g 1 twisted module. Furthermore, if g G r, this construction results in an h r twisted module isomorphic to Mr hr.

11 ORBIFOLD CONFORMAL BLOCKS AND THE STACK OF POINTED G-COVERS 11 (2) Recall that M hs is canonically isomorphic to Mr hr as a vector space by the previous item. Thus, if s O(y), and g(s) s, define S g,s,g(s) to be the identity map. (3) If g G s, then g is conjugate to an element g G r. Define S g,s,s = S g,r,r also using the canonical identification. It is easy to check that this construction is well-defined, and satisfies the requirements of definition 5.1. Definition 5.2. We call a module along O(y) obtained via this construction a module along O(y) induced from Mr hr, and denote it Ind O(y) r (Mr hr ). Remark 1. If G r is trivial, and M = V, then for any g G, the new module structure 5.4 is isomorphic to the old one, and so the resulting module M p along O(y) is isomorphic to V G p, the fiber of the sheaf V G at p. Remark 2. If G = G r, then r is unique, and so any h r twisted module results in a module along O(y). Now, let m =(m 1,,m n ) G n A be a collection of monodromies. Let (π : C, p 1,,p n,q 1,,q n ) e 1 (m) be a pointed G cover with the prescribed monodromies. Given a collection M 1,,M n of V modules, such that M i is m i twisted, the above induction procedure yields a collection Ind O(q 1) q 1 (M 1 ),, Ind O(qn) q n (M n ), of modules along O(q i ). Note: We can label G orbits on C by points of p. We will use the notation M p to denote a module along the G orbit π 1 (p) Geometric Vertex Operators. Let p, and M p a V module along π 1 (p). Let D p denote the formal punctured disk Spec K p. It is shown in [FS] that the vertex operator gives rise to a section Y Mp, : Γ(D p, VG Ω ) End M p. Moreover, this map factors through the quotient U(V G p ) def = Γ(D p, VG Ω )/ Im G, which has a natural Lie algebra structure. The corresponding map (5.5) y p : U(V G p ) End M p is a homomorphism of Lie algebras. Note that p does not have to lie in, but can be any point of. For each r π 1 (p), composing the above maps with the isomorphism End M p = End M hr r (D r) induced by φ r yields a map: Y Mp, r and a Lie algebra homomorphism (5.6) y p,r : U(V G p : Γ(D p, VG Ω ) End M hr r (D r) ) End Mhr r (D r).

12 12 MATTHEW SZCZESNY 5.6. A sheaf of Lie algebras. Following Section of [FB], let us consider the following complex of sheaves (in the Zariski topology) on : 0 V G V G Ω 0 where V G Ω is placed in cohomological degree 0 and V G is placed in cohomological degree 1 (shifted de Rham complex). Let h(v G ) denote the sheaf of the 0th cohomology, assigning to every Zariski open subset Σ the vector space U Σ (V G ) def = Γ(Σ, V G Ω )/ Im G One can show as in Chapter 18 of [FB] that this is a sheaf of Lie algebras. According to formula (5.5), for any p Σ, where Σ is such that Σ = Σ, restriction induces a Lie algebra homomorphism ι p : U Σ (V G ) U(V G p ). We denote the image by U Σ (V G p ) Conformal Blocks. Let (π : C, p) be a G cover, and M =(M p1,, M pn ) a collection of modules along π 1 (p 1 ),,π 1 (p n ). Let Composing the maps 5.5 with the map U \p (V G ) F = M pi ιpi n U(V G p i ) i=1 we obtain an action of the Lie algebra U \p (V G ) on F. Definition 5.3. The space of coinvariants is the vector space H G V (C,, p, M) =F/U \p(v G ) F. The space of conformal blocks is its dual: the vector space of U \p (V G ) invariant functionals on F CV G (C,, p, M) = Hom U \p (V G )(F, C). Suppose now that (π : C, p, q) is a pointed G cover, that m i denotes the monodromy at q i, and that M 1,,M n is a collection of V modules such that M i is m i twisted. Then Ind O(q i) q i (M i ) is a module along O(q i ), and we can apply our definition above with M = (Ind O(q 1) q 1 (M 1 ),, Ind O(qn) q n (M n )) In this case, to emphasize the dependence on the points q i in the fiber, we use the notation HV G(C,, p, q, M) and CG V (C,, p, q, M). Denote by M qi the twist of M i by the torsor of special coordinates at q i. For each i, we have the following commutative diagram of Lie algebras:

13 ORBIFOLD CONFORMAL BLOCKS AND THE STACK OF POINTED G-COVERS 13 U(V G p i ) U(V G p i ) y pi End Mpi φ qi y pi,q i End Mqi Letting F = M qi, the commutativity of the diagram implies that H G V (C,, p, q, M) = F/U \p (V G ) F. and C G V (C,, p, q, M) = Hom U\p (V G ) ( F, C). 6. Localization Functors The purpose of this section is to review the general yoga of Beilinson-Bernstein localization (see [BB1, BB2, BS, FB]) following [FB]. Definition 6.1. A Harish-Chandra pair is a pair (g,k) where g is a Lie algebra and K is an algebraic group, equipped with the following data: an embedding k g of the Lie algebra k of K into g, and an action Ad of K on g compatible with the adjoint action of K on k and the action of k on g. A (g,k) module is a vector space V carrying compatible actions of g and K. Definition 6.2. Let Z be a variety over C. A (g,k) action on Z is an action of K on Z, together with a Lie algebroid homomorphism α : g O Z T Z to the tangent sheaf of Z. The two actions must satisfy the following compatibility conditions: (1) The restriction of α to k O Z is the differential of the K action. (2) α(ad k (a)) = kα(a)k 1 The action is said to be transitive if α is surjective, and simply transitive if α is an isomorphism. These definitions extend naturally to the world of pro-algebraic groups, pro-varieties, and pro-stacks. (see [BB2, BFM]). Suppose now that Z S is a principal K bundle, and that Z carries a transitive (g,k) action extending the fibrewise K action. Let V be a (g,k) module. The sheaf V O Z carries an action of the algebroid g O Z, and it follows from the surjectivity of α that V stab = V O Z /ker(α) (V O Z ) is a module for the algebroid T Z, and therefore a D Z module, where the latter denotes the sheaf of differential operators on Z. Moreover, the K equivariance requirement in the definition of (g,k) action and (g,k) module ensures that V stab is K equivariant, and so descends to a D S module, which we denote (V ). We will need a description of the fiber of (V ) at a point s S. Let Z s denote the fiber of Z over s, and let g s denote the Lie algebra Z s g. The ideals ker(α) z,z Z s give rise to a well-defined Lie ideal g s stab gs. Denote Z s V by V s. The action of g on V induces an action of g s on V s. One can show (see [FB]) that (V ) s = Vs /g s stab V s. K K

14 14 MATTHEW SZCZESNY Definition 6.3. The functor : ((g,k) mod) (D S mod) sending V to (V ) is called the localization functor associated to the (g,k) action on Z. More generally, suppose that V is a module for a Lie algebra l, which contains g as a Lie subalgebra and carries a compatible adjoint K action. V O Z is then a module over the Lie algebroid l O Z. Suppose also that we are given a subsheaf of Lie subalgebras l l OZ satisfying the following conditions: (1) it is preserved by the action of K (2) it is preserved by the action of the Lie algebroid g O Z (3) it contains ker(α) Then, for the same reason as above, the sheaf V O Z / l (V O Z ) becomes a K equivariant D Z module, and so descends to a D S module which we denote (V ). Let s S, and Z s be as above. Denote by l s the Lie algebra Z s l. The fibers l z,z Z s give K rise to a well-defined subalgebra l s l s, and the fiber (V ) s is isomorphic to V s / l s V s Localization of central extensions. Suppose as above, that (g,k) is a Harish- Chandra pair, and that Z S is a K principal bundle with a transitive (g,k) action extending the fibrewise K action. Suppose also that g has a central extension 0 C ĝ g 0 which splits over k. Tensoring the above extension by O Z we obtain an extension of Lie algebroids (6.1) 0 O Z ĝ O Z g O Z 0 We will assume henceforth that the extension 6.1 splits over ker(α), so that we get an embedding of the ideal ker(α) into ĝ O Z. The quotient T of ĝ O Z by ker(α) now fits into an extension of Lie algebroids (6.2) 0 O Z T T Z 0 Let V be a (ĝ,k) module. The sheaf V O Z carries an action of the Lie algebroid ĝ O Z, and so the quotient V stab = V O Z /ker(α) (V O Z ) carries an action of T. Let D Z = U(T), the enveloping algebroid of T. This is a sheaf of twisted differential operators (a TDO), and the T action on V stab extends naturally to an action of D Z. By the same argument as above, D Z and V stab are K equivariant, and so is the action of D Z on V stab. D Z therefore descends to a TDO D S on S, and V stab to a D S module which we denote (V ). Let ĝ s denote the Lie algebra Z s ĝ. The ideals ker(α) z,z Z s give rise to a well-defined Lie ideal ĝ s stab ĝs. Denote Z s V by V s. The action of ĝ on V induces an action of ĝ s on V s. The fiber (V ) s is isomorphic to V s /ĝ s stab V s. Thus, a central extension ĝ of g gives rise to a localization functor sending V to (V ). : ((ĝ,k) mod) ( D S mod) K K

15 ORBIFOLD CONFORMAL BLOCKS AND THE STACK OF POINTED G-COVERS 15 More generally, suppose ĝ is a Lie subalgebra of l, and we are given a subsheaf l l OZ containing ker(α), preserved by the actions of K and ĝ O Z. Let V be a l module carrying a compatible K action. The sheaf V O Z / l (V O Z ) is then a K equivariant D Z module, and descends to a D S module on S, which we denote (V ). Let l s = Z s l, and denote by ls l s the subalgebra arising from the stabilizers K in Z s. The fiber (V ) s is isomorphic to V s / l s V s. 7. G equivariant Virasoro uniformization Let M G g,n = {(π : C, p, q, z)} where (π : C, p, q) is an n- pointed G cover, and z =(z 1,,z n ), where z i is a special coordinate at q i. This is a projective limit of Deligne-Mumford stacks. Forgetting the coordinates yields a map M G g,n ξ M G g,n Similarly, let M g,n = {(, p, q, z )} where (, p) M g,n and z =(z 1,,z n ), where z i is a formal coordinate at p i. Forgetting the coordinates yields a map M g,n ζ M g,n Moreover, there exists a map η : M G g,n M g,n defined by η :(π : C, p, q, z) (, p, z ) where z i = zn i i, and N i is the order of G qi making the following diagram commute: For a C-algebra R, let M G g,n ξ η M g,n M G g,n p ζ M g,n Aut(C/, O R ) = Aut N1 (O R ) Aut N2 (O R ) Aut Nn (O R ) and Der (o) (C/, O) = Der (o) N 1 (O) Der (o) N n (O). Similarly, define Aut(C/, K R ) and Der(C/, K) in the obvious way. We have that Der(C/, O) (resp. Der(C/, K)) is the Lie algebra of the group scheme (resp. indscheme) representing R Aut(C/, O R ) (resp. R Aut(C/, K R )). We see that

16 16 MATTHEW SZCZESNY M G g,n is an Aut(C/) torsor over M G g,n. The following is a generalization of the Virasoro uniformization theorem (see [ADKP], [BS], [Kon], [TUY]) to G covers. Theorem 7.1. M G g,n carries a transitive action of Der(C/, K) extending the action of Aut(C/, O) along the fibers of ξ. Proof. Let R = C[ɛ]/(ɛ 2 ). A family of G covers and special coordinates over Spec R is the same as a tangent vector to M G g,n. Thus to construct an action of Der(C/, K) on M G g,n and prove transitivity, it suffices to do it over R. In fact, we construct an action of the corresponding group Aut(C/, K R ). Suppose that (π : C, p, q, z) is an R point of M G g,n, and that ρ Aut(C/, K R ). Let Aut G e (C/, K R) = Aut G e (Ô(q 1), K R ) Aut G e (Ô(q n), K R ) We have an isomorphism ψ q 1 ψ q n : Aut G e (C/, K R) Aut(C/, K R ). under which ρ corresponds to an element ρ G of Aut G e (C/, K R). At each point r of O(q i ), there is a set of N i special coordinates compatible with z i (i.e. obtained from z i by applying elements of G), and we choose one arbitrarily, and call it w r. We now define the new ρ twisted G cover (π : C ρ ρ, p ρ, q ρ, z ρ ) by the following: as a topological space, C ρ = C and ρ =, but the structure sheaf of C ρ is changed as follows. Let U C be Zariski open. If O(q i ) U =, i, define O Cρ (U) =O C (U). If U intersects the orbits O(q i ) at the points r 1,,r m, define O Cρ (U) to be the subring of O C (U\{r j } j=1,,m ) consisting of functions f whose expansion f rj (w rj ) R((w rj )) at r j in the coordinate w rj satisfies f rj (ρ G, 1 (w rj )) R[[w rj ]]. Since the gluing is G equivariant, C ρ is again a G cover. We now prove transitivity. The homomorphisms µ N : Aut N (K R ) Aut(K R ) induce a homomorphism µ C/ : Aut(C/, K R ) Aut(, K R ) def = Aut(K R ) Aut(K R )(n times) The following diagram commutes: M G g,n ρ η M g,n µ C/ (ρ) M G g,n η M g,n The transitivity follows from the fact that the action of Aut(, K R ) on M g,n is transitive (by [ADKP], [BS], [Kon], [TUY]), the fact that η is a quasi-finite map, and µ C/ is surjective.

17 ORBIFOLD CONFORMAL BLOCKS AND THE STACK OF POINTED G-COVERS 17 Let O(q) = i O(q i). The stabilizer of (π : C, p, q, z) is the subgroup Aut(C/, K) out Aut(C/, K) consisting of those elements that preserve O C (C\O(q)). The Lie algebra of Aut(C/, K) out is the Lie algebra of G invariant vector fields on C\O(q), denoted Vect G (C\O(q)). Note that Vect G (C\O(q) = Vect(\p) where Vect(\p) denotes the space of vector fields on \p. We thus obtain a localization functor ( ) : ((Der(C/), Aut(C/)) mod) D M G g,n mod M (M) The fiber of (M) at (π : C, p, q, z) is M/ Vect G (C\O(q)}) M, where M is the Aut(C/) twist of M. We want to construct a localization functor that sends modules along orbits to D modules whose fibers are spaces of orbifold conformal blocks. We now proceed with this construction Construction of the Lie algebroid U G (V ) out. In this section we construct a Lie algebroid U G (V ) out over M G g,n whose fiber at (π : C, p, q, z) is the Lie algebra U \p (V G ) of section 5.6. Each G cover in a fixed component M G g,n has a fixed genus, which we ll denote h. This fixed component of M G g,n, parameterizing a family of genus h curves with n marked points thus comes with a map to M h,n. Denote by h the universal pointed curve over M h. Consider the following fibered product h = M G g,n h h M h M G g,n M h Thus h can be viewed as the universal pointed G cover over M G g,n. The projection h M G g,n comes with sections q i : M G g,n h, and applying elements of the group G, we obtain sections passing through every point of O(q i ). We now wish to construct the coordinate bundle over h. This can be done as follows: consider the diagram S = M G g,n M h,1 M h,1 M h M G g,n M h We see that S is an Aut(O) bundle over h. Let = S V V h Aut(O)

18 18 MATTHEW SZCZESNY - this is a sheaf over h. V h possesses a flat connection G along the fibers of the projection h M G g,n, which along each fiber restricts to the connection G of section 5.2, i.e. we have a complex 0 G 0 V h V h Ω h / M G g,n Restricting this complex to h \O(q), taking de Rham cohomology along the fibers, and then G invariants, yields the Lie algebroid U G (V ) out Sheaves of Conformal Blocks. Let m =(m 1,,m n ) be a collection of monodromies, and M =(M 1,,M n ) a collection of V modules such that M i is m i twisted and admissible. Let U(M i ) denote the Lie algebra of Fourier coefficients of (twisted) vertex operators acting on M i, and let U(M) =U(M 1 ) U(M n ) The data of the local coordinates in M G g,n allows us to embed the Lie algebroid U G (V ) out inside U(M) O MG g,n (by expanding vertex operators in the local coordinates), and the Virasoro operators acting on the modules yield the embedding Der(C/, K) O MG g,n U(M) O MG g,n Denote by Vect G (C\O(q)) the Lie algebroid on M G g,n whose fiber at (π : C, p, q, z) is Vect G (C\O(q)). Again, the local coordinates allow us to identify it with a subalgebroid of Der(C/, K). Furthermore, under this identification, O MG g,n Vect G (C\O(q)) U G (V ) out. The same argument that is used in [FB], chap. 16, shows that U G (V ) out is preserved by the Aut(C/)-action on M G g,n Let M = i M i. This is a U(M) module and a (g,k) module for the Harish- Chandra pair (Der(C/), Aut(C/)). We are thus in the setup of section 6, with l = U(M) and l = U O MG G (V ) out. Suppose first that the Virasoro central charge c g,n vanishes. Beilinson-Bernstein localization then yields a D module HV G(M) on MG g,n (m) whose fiber at (π : C, p, q) is (7.1) F/U\p (V G ) F where F denotes the Aut(C/)-twist of M by the torsor of special coordinates at the points q i. By the comments at the end of section 5.7, this space is exactly HV G (C,, p, q, M). Suppose now that c is non-zero, and let Der(C/) denote the central extension of Der(C/) obtained as the Baer sum of Virasoro cocycles of the individual factors. In this case M is a Harish-Chandra module for the pair ( Der(C/), Aut(C/)). Moreover,

19 ORBIFOLD CONFORMAL BLOCKS AND THE STACK OF POINTED G-COVERS 19 the Lie algebroid extension 0 O MG g,n Der(C/) O MG g,n Der(C/) O MG g,n 0 splits over the kernel of the anchor map, as the Virasoro cocycle is trivial on Vect G (C\O(q)). Applying the machinery of section 6 with l = U(M) and l = U O MG G (V ) out., we g,n obtain a module HV G(M) for a sheaf of twisted differential operators on MG g,n(m), whose fiber at (π : C, p, q) is HV G (C,, p, q, M). Definition 7.1. Denote by KZ the connection on HV G (M) coming from the D module structure. 8. The orbifold KZ connection in the direction of fixed. In this section we give a formula for the orbifold KZ connection along the fibers of the projection κ : M G g,n (m) M g sending (C,, p, q) to i.e., this amounts to fixing the base curve. We begin by introducing some notation. Fix m =(m 1,,m n ) and M =(M 1,,M n ) as before, and let M=M 1 M n Let Der(O) denote the Lie algebra generated by {z k z },k 0, and and Der N (O) the one generated by {z k+ 1 N z 1 N },k 1. Under the homomorphism 4.3, these two Lie algebras are isomorphic. We have Let Der (o) (O) Der(O) Der (o) N (O) Der N(O) Der(C/, O) = Der N1 (O) Der Nn (O). We now wish to consider the two Harish-Chandra pairs (Der(O), Aut(O)) and (Der N (O), Aut N (O)). As explained in [FB], the action of the pair (Der(O), Aut(O)) is simply transitive along the fibers of the projection M g,1 M g (and a similar statement applies in the case of multiple points). From the fact that the map η : M G g,n M g,n has finite fibers, and that the two Harish-Chandra pairs (Der(O), Aut(O)) and (Der N (O), Aut N (O)) are isogenous, we can deduce that the action of the pair (Der(C/, O), Aut(C/, O)) along the fibers of the map is also simply transitive. Let and κ ξ : M G g,n M g M G,n (m) =κ 1 () M G g,n (m) M G,n (m) = (κ ξ) 1 () M G g,n (m)

20 20 MATTHEW SZCZESNY and let H V G (M,)= M G,n (m) M. Aut(C/) We deduce that along M G,n (m), the connection KZ on HV G (M) lifts to the sheaf H V G (M,), and an explicit formula in local coordinates can be obtained. Choose coordinates z i around p i. Since the map p is quasi-finite, the z i therefore define coordinates on κ 1 N (). Choose compatible special coordinates z i i at q i which are N i th roots of the z i. z i induces coordinates z i w i at points near p i, and likewise, the choice of N i th root z we denote (z i w i ) 1 N i. (C,, p, q): 1 N i i at q i induces a family of N i th roots of z i w i, which We can thus trivialize H V G (M,) in a neighborhood W of ι :M W H G V (M,) (A 1 A n,w 1,,w n ) [A 1, (z 1 w 1 ) 1 N 1 ] [A n, (z n w n ) 1 Nn ] and similarly, we obtain a trivialization ι of H G V (M,). We have the following theorem: Theorem 8.1. Along, M G,n (m), the orbifold KZ connection KZ on HV G (M) lifts to H V G(M,), and in the trivialization ι, is given in the local coordinates z i by zi = zi + L M i 1 where L M i 1 is the 1-st Virasoro operator acting on M i. Note: The vector field responsible for translations along the curve is z. Observe that under the homomorphism 4.3, we have µ 1 N ( z) = 1/Nz 1+1/N z 1 N It follows that 1/Nz 1+1/N 1 is precisely the vector field responsible for moving the z N ramification points of the map π : C along. Note that in general, its action on M G g,n will change the complex structure of the cover C. References [ACV] D. Abramovich, A. Corti, A. Vistoli Twisted bundles and admissible covers, preprint math.ag/ [ADKP] Arbarello, E.; De Concini, C.; Kac, V. G.; Procesi, C. Moduli spaces of curves and representation theory. Comm. Math. Phys. 117 (1988), no. 1, [BB1] A. Beilinson and J. Bernstein, Localisation de g-modules. (French) C. R. Acad. Sci. Paris Sr. I Math. 292 (1981), no. 1, [BB2] A. Beilinson and J. Bernstein, A proof of the Jantzen conjectures, Advances in Soviet Mathematics 16, Part 1, pp. 1-50, AMS, [BD] A. Beilinson, V. Drinfeld, Chiral Algebras, Preprint, benzvi [BFM] A. Beilinson, B. Feigin, and B. Mazur, Introduction to algebraic field theory on curves, unpublished manuscript. [BK] B. Bakalov, V. G. Kac, Twisted modules over lattice vertex algebras, preprint, math.qa/

21 ORBIFOLD CONFORMAL BLOCKS AND THE STACK OF POINTED G-COVERS 21 [BS] A. Beilinson, V. Schechtman, Determinant bundles and Virasoro algebras Comm. Math. Phys. 118 (1988), [B] R. Borcherds, Vertex algebras, Kac Moody algebras and the monster, Proc. Natl. Acad. Sci. USA 83 (1986) [D] C. Dong, Twisted modules for vertex algebras associated with even lattices, J. Algebra 165 (1994) [DLM] C. Dong, H. Li and G. Mason, Twisted representations of vertex operator algebras, Math. Ann. 310 (1998) [FB] E. Frenkel, D. Ben-Zvi, Vertex algebras and algebraic curves, Mathematical Surveys and Monographs 88, AMS, [FS] E. Frenkel, M. Szczesny, Twisted modules over vertex algebras on algebraic curves, to appear in Advances in Mathematics. [FFR] A. Feingold, I. Frenkel, J. Reis, Spinor construction of vertex operator algebras, triality, and, Contemp. Math. 121, AMS, [FLM] I. Frenkel, J. Lepowsky, A. Meurman, Vertex operator algebras and the monster, Academic Press, [FMS] D. Friedan, E. Martinec, S. Shenker, Conformal invariance, supersymmetry and string theory, Nuclear Phys. B271 (1986) [JKK] T. Jarvis, R. Kaufmann, T. Kimura, Pointed Admissible G-Covers and G-equivariant Cohomological Field Theories, preprint math.ag/ [K] V. Kac, Vertex algebras for beginners, Second Edition, AMS, [KP] V. Kac, D. Peterson, 112 constructions of the basic representation of E 8, in Anomalies, geometry, topology, Agronne, 1985, pp , World Scientific, [Ki] A. Kirillov Jr. On the modular functor associated with a finite group, preprint math.qa/ [Kon] M. Kontsevich, The Virasoro algebra and Teichmuller spaces, Funct. Anal. Appl. 21 (1987) no. 2, [Li] H. Li, Local systems of twisted vertex operators, vertex operator superalgebras and twisted modules, Contemp. Math 193 (1996) [Le1] J. Lepowsky, Calculus of twisted vertex operators, Proc. Nat. Acad. Sci. U.S.A. 82 (1985) E (1) 8 [MP] J. M. Munoz Porras, F.J. Plaza Martin, Automorphism group of k((z)): applications to the Bosonic String, Comm. Math. Phys, 216 (2001) [S] M. Szczesny, Orbifold chiral correlators from conformal blocks and KZ equations, to appear. [TUY] Tsuchiya, Akihiro; Ueno, Kenji; Yamada, Yasuhiko Conformal field theory on universal family of stable curves with gauge symmetries. Integrable systems in quantum field theory and statistical mechanics, , Adv. Stud. Pure Math., 19, Academic Press, Boston, MA, Department of Mathematics University of Pennsylvania, Philadelphia, PA address: szczesny@math.upenn.edu