Arxiv:1705.04060V2 [Math.QA] 7 Dec 2018

Home , K3 surface

arXiv:1705.04060v2 [math.QA] 7 Dec 2018 h rtfwcoefficients few first the module oua function modular in ftelretMtiugroup Mathieu largest the of tions n er ann[2 rvdta hs ca-hmsnseri McKay-Thompson these that proved [12] Gannon Terry and ca-hmsnseries McKay-Thompson Fischer-Gr group–the dimension sporadic the largest the of of sums resentations the into decomposed naturally be could fcet of efficients ti okmdlrfr fweight of form modular mock a is It ftecaatr fthe of characters the of (1.2) 3srae h aoiform Jacobi the surface, K3 (1.1) h uhri upre yNF 11771416. NSFC by supported is author The n21,Euh,Ogr n ahkw 9 bevdta when that observed [9] Tachikawa and Ooguri Eguchi, 2010, In rpry t qiain hrce o nt symplectic finite a for character equivariant its property: etxagbawt eta charge central with algebra vertex htisascae rddojc sauiayrepresentati unitary a is object graded associated its that ihteMKyTopo eisfor series McKay-Thompson the with A HRLHDECHMLG N AHE MOONSHINE MATHIEU AND COHOMOLOGY HODGE CHIRAL K BSTRACT 2 = φ 0 , P 1 ( ecntutafitaino hrlHdechmlyo 3su K3 a of cohomolgy Hodge chiral of filtration a construct We . z n ∞ ; =0 τ J = ) K ( q n ) q − N ntefmu osru onhn[]7[5:teexpansio the moonshine[1][7][25]: monstrous famous the in n A − 2 J Σ 1 ch n 4 = ( / g q 8 2 r h uso h iesoso h reuil representa irreducible the of dimensions the of sums the are ( 1 R = ) ˜ q φ , ihgae dimension graded with 4 1 ) Σ( 0 uecnomlvre ler ihcnrlcharge central with algebra vertex superconformal , , for 1 2 1 ( ( q 1 q z z = ) ; ; g 196884 + M .I 1. τ τ in ) 20 + ) 24 c q fweight of 2 1 ALNSONG BAILIN M − g Let . NTRODUCTION 6 = hycnetrdta hr xs graded a exist there that conjectured They . nMtiumoonshine. Mathieu in 8 1 24 ( − ch eepooe nsvrlwrs[4][5][8][13][14] works several in proposed were n t usaeo rmtv etr a the has vectors primitive of subspace its and q 2 + 2 1 1 R 21493760 + ˜ , 4 1 , 0 0 ( X n z ∞ n index and =1 ; τ A 2 + ) Σ( n no the of on q q q n automorphism ) 2 esmntr usqety the Subsequently, monster. iess ) X n ti ahe nlget the to analogue Mathieu is It . . + ∞ =1 1 · · · A sdcmoe noasum a into decomposed is , N n ch fteirdcberep- irreducible the of s 4 = side eemn a determine indeed es 1 R ˜ h litcgnso a of genus elliptic the ,n + superconformal 4 1 g rface , 2 1 of ( z X ; X τ agrees ) such , , c 6 = co- n M , 24 - - graded M24-module K. But the proof does not explain any connection to geometry or physics, and a concrete construction of K remains unknown. In this work, we will construct a graded vector space from the chiral de Rahm algebra of the K3 surface with − 1 graded dimension Σ(q)+2q 8 .

ch Chiral de Rham algebra ΩX is a sheaf of vertex algebras on a complex manifold X

constructed by Malikov, Schectman and Vaintrob in [21][19]. The sheaf has a Z Z≥ × 0 grading ∞ ch ch ΩX = ΩX [k,p] Mk=0 Mp by conformal weight k and fermionic number p. And the weight zero piece of the sheaf coincides with the ordinary de Rham sheaf. According to [17], If X is a Calabi-Yau mani- ∗ ch fold, its cohomology H (X, ΩX ), which is called chiral Hodge cohomology , can be iden- tified with the infinite-volume limit of the half-twisted sigma model defined by E. Witten. This construction has substantial applications to mirror symmetry: Borisov established a relation between these sheaves of vertex algebras for mirror Calabi-Yau hypersurfaces and complete intersections in toric varieties in [2].

If X is a hyperK¨ahler manifold, we will show that Hi(X, Ωch) has a ﬁltration Hi (X) , X { k } such that its associated graded object i(X, Ωch) = Hi (X)/Hi (X) is a unitary repre- H X ⊕ k k+1 sentation of the =4 vertex algebra with central charge c = 3 dim X( Theorem 3.4). N If X is a K3 surface, let 1 (X) be the space of the primitive vectors with conformal An,2 weight n in the unitary representation 1(X, Ωch) of the =4 vertex algebra with central H X N charge c =6 . Let ∞ 1 n− 1 (q)= (X)q 8 . AX An,2 Xn=1 We will show

1 Theorem 1.1. The graded dimension of (q) is Σ(q)+2q 8 . For a ﬁnite symplectic automor- AX phism g acting on a K3 surface X,

∞ − 1 n− 1 Σ (q)+2q 8 = q 8 Trace 1 g = TraceA g. g An,2(X) X (q) Xn=1

Here g is regarded as a member of M24 by Mukai’s classiﬁcation of ﬁnite subgroups of symplectic automorphisms of K3 surfaces in [16][18].

2 Soon after this article was posted online, Katrin Wendland told me that she had similar result in [26], which was almost ﬁnished.

2. CHIRAL DE RHAM COMPLEX

ch The chiral de Rham algebra is a sheaf of vertex algebras ΩX deﬁned on any complex manifold X. Let (U, γ1, γN ) be a complex coordinate system of an N dimensional com- ··· plex manifold X. Let (U) be the space of holomorphic functions on U. As a vertex O algebra Ωch(U) is generated by βi(z), bi(z),ci(z), 1 i N and f(z), f (U) with their X ≤ ≤ ∈ O nontrivial OPEs ∂f i i (z) δ βi(z)f(w) ∂γ , bi(z)cj(w) j ∼ z w ∼ z w − − and the normally ordered relations

: f(z)g(z):= fg(z), for f,g (U). ∈ O Let Ω be the sub algebra of Ωch(U) which is generated by βi(z), bi(z),ci(z) and γi(z), 1 γ X ≤ i N. It is the tensor product of N copies of the βγ bc system. (U) is a C[γ1 , γN ] ≤ − O (−1) ··· (−1) module by identifying the action γi with multiplication of γi in (U). Ωch(U) can be (−1) O X regarded as the localization of Ωγ on U,

+ ch (U) C[γ1 ,···γN ] Ωγ = (U) C Ωγ = ΩX (U). O ⊗ (−1) (−1) O ⊗ ∼

+ i i i i Here Ωγ is the sub algebra of Ωγ generated by β (z),∂γ (z), b (z) and c (z). The second isomorphism maps f a to : f(z)a :. ⊗ ch So ΩX (U) is spanned by the elements

(2.1) : f∂k1 βi1 ∂ks βis ∂l1 bj1 ∂lt bjt ∂m1 cr1 ∂mu cru ∂n1 γs1 ∂nv γsv :, f (U), ··· ··· ··· ··· ∈ O k k k 0, l l 0, m m 0, n n > 0. 1 ≥ 2 ≥···≥ s ≥ 1 ≥···≥ t ≥ 1 ≥···≥ u ≥ 1 ≥···≥ v

Ωch(U) is a free (U) module (which is not compatible with the vertex algebra struc- X O ture), which has a basis given by elements of (2.1) with f =1.

ch ch ΩX [k,p](U), the part of conformal weights k and fermionic numbers p of ΩX (U), isa free (U) module, which has a basis given by elements of (2.1) with f =1 and O

k = ki + li + mi + ni + s + t, p = u t. X X X X − 3 Let γ˜1, γ˜N be another set of coordinates on U, with ··· (2.2) γ˜i = f i(γ1, γN ), γi = gi(˜γ1, γ˜N ). ··· ··· ch The coordinate change equations for the generators of ΩX (U) are ∂f i ∂γ˜i(z) =: (z)∂γj (z): , ∂γj ∂gj ˜bi(z) =: (g(γ))bj : , ∂γ˜i ∂f i (2.3) c˜i(z) =: (z)cj(z): , ∂γj ∂gj ∂ ∂gj β˜i(z) =: (g(γ))(z)βj(z) : + :: ( (g(γ)))(z)ck(z): bj(z): . ∂γ˜i ∂γk ∂γ˜i

ch ch Filtration. Let ΩX,l(U) be the subspace of ΩX (U), which is spanned by elements represented by(2.1) with v s l. − ≥ Ωch (U) Ωch (U) Ωch (U) ···⊂ X,l+1 ⊂ X,l ⊂ X,l−1 ⊂··· ch is a ﬁltration of ΩX (U).

Lemma 2.1. The ﬁltration is compatible with the grading of conformal weight and fermionic number . And for l>k,

Ωch[k,p](U) Ωch (U) = Ωch[k,p](U) Ωch (U); X ∩ X,l X ∩ X,k Ωch[k,p](U) Ωch (U) = Ωch[k,p](U) Ωch (U). X ∩ X,−l X ∩ X,−k Proof. By the deﬁnition, Ωch[k,p](U) Ωch (U) is a free (U) module, which has a basis X ∩ X,l O given by elements of (2.1) with f =1 and

k = ki + li + mi + ni + s + t, p = u t, v s l. X X X X − − ≥ So Ωch (U)= Ωch[k,p](U) Ωch (U). X,l X ∩ X,l Mk,p We have the ﬁrst statement. For a ﬁxed k, there is no elements represented by (2.1) with v s>k or v s< k since k s and k v, so we have the second statement. − − − ≥ ≥ Lemma 2.2. For any A Ωch (U), A′ Ωch (U), A A′ Ωch (U). For any holomorphic ∈ X,k ∈ X,l (n) ∈ X,k+l function f on U, f A Ωch (U), for n = 1. (n) ∈ X,k+1 6 − 4 ′ ′ Proof. We can assume A and A are elements in the form of (2.1). A(n)A is obtained from A and A′ by contracting some β′s with γ′s and some b′s with c′s and acting ∂′s on some β′s , γ′s ,b′s and c′s in A and A′. One ∂sγ, s> 0 contracts with one β and one β contracts with one ∂sγ, s > 0 or a holomorphic function. Thus through the contraction, the number of ∂sγ′s, s> 0 minus the number of β′s in A and A′ will not decrease. The number of β′s will not change and the number of ∂sγ′s, s > 0 will not decrease by acting ∂′s on β′s , γ′s, b′s and c′s. So A A′ Ωch (U). If A = f and n 0, if f A = 0, there is some β contracts (n) ∈ X,k+l ≥ (n) 6 ch 1 −n−1 ch with f, so f A Ω (U). If n< 1, f A =( ∂ f) − A Ω (U). (n) ∈ X,k+1 − (n) (−n−1)! ( 1) ∈ X,k+1

Let

ch ch ch ch ch gr(ΩX )(U)= grk(ΩX )(U), grk(ΩX )(U) = ΩX,k(U)/ΩX,k+1(U). Mk Let p : Ωch (U) gr (Ωch)(U) k X,k → k X be the projection. By Lemma 2.2, the n-th product

: gr (Ωch)(U) gr (Ωch)(U) gr (Ωch)(U) (n) k X × l X → k+l X given by ′ ′ pk(A)(n)pl(A )= pk+l(A(n)A ).

ch ch is well deﬁned on gr(ΩX )(U). So gr(ΩX )(U) is a vertex algebra with the n-th product given by the above equation. By Lemma 2.2, for any f (U), any A gr(Ωch)(U) and ∈ O ∈ X n = 1, f A =0. So gr(Ωch)(U) is a (U) module under the 1-th product. 6 − (n) X O − i i i i i i i i Let B = p−1(β ), A = p1(∂γ ), b = p0(b ), c = p0(c ). We have

(2.4) B(0) =0

ch ch ch on gr(ΩX )(U) since β0 maps ΩX,k(U) to ΩX,k(U). The nontrivial OPEs of these elements are δi δi Bi(z)Aj(w) j , bi(z)cj(w) j . ∼ (z w)2 ∼ z w − − ch Let W be the vertex algebra generated by these elements, then gr(Ω )(U)= (U) CW . γ X O ⊗ γ W + Bi Ai bi It is easy to see that as a vertex algebra γ is isomorphic to Ωγ by identifying , , and ci with βi,∂γi, bi and ci, respectively.

From Lemma 2.2 and the coordinate change equations (2.3), we have

5 Lemma 2.3. The ﬁltration Ωch (U) is preserved under the coordination change. { X,k }

Thus the vertex algebra sheaf Ωch has a ﬁltration Ωch . Its associated graded object X { X,k}

ch ch ch ch ch ch gr(ΩX )= ΩX,k/ΩX,k+1, with ΩX,k/ΩX,k+1(U)= gr(ΩX,k)(U) M is a sheaf of vertex algebra. Under the coordinate change (2.2), ∂f i A˜ i =: Aj : , ∂γj ∂gj b˜i =: (g(γ))bj : , ∂γ˜i ∂f i (2.5) c˜i =: cj : , ∂γj ∂gj B˜ i =: (g(γ))Bj : . ∂γ˜i

ch So gr(ΩX ) is the sheaf of the sections of holomorphic vector bundle ∞ ∗ ∗ p k V = (S n (T ) S n (T ) −1 n T n−1 T )= V [k,p]y q q,y q ⊗ q ⊗ ∧y q ⊗ ∧yq q,y On=1 Xk,p

ch ch with gr(ΩX )[k,p], the part of conformal weight k and fermionic number p of gr(ΩX ), is

the sheaf of the holomorphic sections of Vq,y[k,p]. Vq,y is a holomorphic vector bundle of vertex algebra and its ﬁbre at x U is isomorphic to W . ∈ γ

Global sections. If X is a Calabi-Yau manifold, there are four global sections Q(z), L(z), J(z) and G(z) on X, which generate an N = 2 super conformal vertex algebra with the central charge c = 3 dim X. Locally,

N N (2.6) Q(z)= : βi(z)ci(z):, L(z)= (: βi(z)∂γi(z): : bi(z)∂ci(z) :), − Xi=1 Xi=1 N N J(z)= : bi(z)ci(z):, G(z)= : bi(z)∂γi(z): . − Xi=1 Xi=1 If X has a nowhere vanishing holomorphic volume form ω . Let (U, γ1, ,γN ) be a 0 ··· coordinate system of X such that ω = dγ1 dγN . There are two global sections D(z) and 0 ··· ch E(z) of ΩX , which can be constructed from ω0. Locally, D(z) and E(z) can be represented by D(z) =: b1(z)b2(z) bN (z):, E(z) =: c1(z)c2(z) cN (z): . ··· ··· 6 Let B(z) = Q(z)(0)D(z), C(z) = G(z)(0)E(z). These eight sections Q, J, L, G, E, D, B, C generate a vertex algebra . If N =3, it is Odake’s algebra[22]. V0 Let

Q¯ = p−1(Q), L¯ = p0(L), J¯ = p0(J), G¯ = p1(G),

D¯ = p0(D), E¯ = p0(E), B¯ = p−1(B), C¯ = p1(C).

ch These eight elements are holomorphic sections of gr(ΩX ). They generate a vertex algebra which is isomorphic to through the isomorphism from W to Ω+. V0 γ γ −1 If X is a hyperK¨ahler manifold with a holomorphic symplectic form ω1, let ω1 be the i j −1 ij ∂ ∂ inverse bivector of ω . Locally, they are given by ω = ω dγ dγ and ω = ω i j . 1 1 ij ∧ 1 ∂γ ∂γ Let

i j ij i j E1(z)= ωijc (z)c (z),D1(z)= ij ω b (z)b (z); Xij P

B1(z)= Q(0)D1(z), C1 = G(z)(0)E1(z).

Q, J, L, G, E ,D , B ,C are global sections of Ωch and they generate a copy of the = 4 1 1 1 1 X N vertex algebra of central charge c = 3 dim X [15]. is a sub algebra of . V1 V0 V1 Let

D¯ 1 = p0(D1), E¯1 = p0(E1), B¯1 = p−1(B1), C¯1 = p1(C1).

¯ ¯ ¯ ¯ ¯ ¯ ¯ ¯ ch Q, J, L, G, E1, D1, B1, C1 are holomorphic sections of gr(ΩX ). They generate a copy of the = 4 vertex algebra which is isomorphic to through the isomorphism from W to N V1 γ + Ωγ .

3. UNITARY REPRESENTATION

Let h = ( , ) be the Ricci flat Kähler metric on a compact Calabi-Yau maniflod X − − X ∂ ∂ with Hij =( ∂γi , ∂γj )X .

Lemma 3.1. There is a unique Hermitian metric ( , ) on the vector bundle V , such that for − − q,y any a, b gr(Ωch)(U), ∈ X (1, 1) = 1;

(3.1) (Bi a, b)= H (a, Aj b), for any n Z, n =0, ; (n) ij (−n) ∈ 6 (bi a, b)= H (a, cj b), for any n Z. (n) ij (−n−1) ∈ 7 1 N ∂ Proof. For any holomorphic coordinate system (U, γ , γ ) of X, let F j be a smooth ··· j ij ∂γ P¯ jk orthonormal frame of the tangent bundle on U, we have i,j FkiHijFlj = δkl. Let F be jk P the inverse matrix of Fij, that is j FijF = δik. Let P

k i k i k jk j k jk j B˜ = FkiB , b˜ = Fkib , A˜ = F A , c˜ = F c .

The equations of (3.1) are equivariant to

(1, 1) = 1;

(3.2) (B˜ i a, b)= δ (a, A˜ j b), for any n Z, n =0, ; (n) ij (−n) ∈ 6 (b˜i a, b)= δ (a, ˜cj b), for any n Z. (n) ij (−n−1) ∈

Let

1 1 1 k1 kl B˜ i A˜ i b˜i ci = X1 Xl 1 X1, ,Xl are distinct elements of (n), (n), (n), ˜(n),n< 0 . S {rk1!k2! kl! · | ··· √ n √ n } ··· − −

Then is a smooth frame of the vector bundle V on U. Let ( , ) be the Hermitian S q,y − − metric for V on U, such that the is an orthonormal frame on U, then this Hermitian q,y S metric satisﬁes equation (3.2), so as equation (3.1). Since the ﬁbre of V at x U is q,y ∈ generated by Bi, Ai, bi, ci, by equation (3.1), if the desired Hermitian metric exist, it must be unique. Equations (3.1) are compatible under coordinate change, so the Hermitian metric we choose does not dependent on the coordinate system we choose. Thus we get the unique Hermitian metric ( , ) on the vector bundle V with the desired property. − − q,y

Since B(0) =0 by (2.4), through a direct calculation, we have

8 Lemma 3.2. If ( , ) is the Hermitian metric on V given by Lemma 3.1, then for any a, b − − q,y ∈ ch gr(ΩX )(U),

(Q¯(n)a, b)=(a, G¯(−n+1)b), (J¯(n)a, b)=(a, J¯(−n)b),

(L¯ a, b)=(a, (L¯ − (n 1)J¯ − b), (n) ( n+2) − − ( n+1) if X has a nonvanishing N form,

N(N−1) (N−1)(N−2) (3.3) (D¯ a, b)=(a, ( 1) 2 E¯ − − b), (B¯ a, b)=(a, ( 1) 2 C¯ − − b), (n) − (N 2 n) (n) − (N 1 n) if X is a hyperK¨ahler manifold, ¯ ¯ ¯ ¯ (D1(n)a, b)=(a, E1(−n)b), (B1(n)a, b)=(a, C1(1−n)b).

Let ( , ) be the Hermitian metric on V T¯∗X induced by the K¨ahler metric on X − − V q,y ⊗ ∧ and the Hermitian metric on Vq,y in Lemma 3.1. So we have an Hermitian metric on the ch cohomology of gr(ΩX ) given by

(a, b)= (a, b)V Φ,. ZX

Here Φ is the volume form of X and a, b H∗(X,gr(Ωch)) are represented by harmonic ∈ X forms with values in Vq,y.

∗ ch ∗ For a linear operator O on H (X,gr(ΩX )), let O be its conjugate operator, the operator satisﬁes

(Oa, b)=(a, O∗b), a, b H∗(X,gr(Ωch)). ∈ X

i ch Lemma 3.3. If X is a compact Calabi-Yau manifold, the cohomology H (X,gr(ΩX )) of the sheaf ch gr(ΩX ) is a unitary representation of the N =2 surper conformal vertex algebra with

¯∗ ¯ ¯∗ ¯ (3.4) Q(n) = G(−n+1), J(n) = J(−n),

∗ L¯ = L¯ − (n 1)J¯− . (n) ( n+2) − − ( n+1)

i ch If X has a nonvanishing holomorphic volume form, H (X,gr(ΩX )) is a unitary representation of with equation (3.4) and V0

− − − ∗ N(N 1) ∗ (N 1)(N 2) (3.5) D¯ =( 1) 2 E¯ − − , B¯ =( 1) 2 C¯ − − . (n) − (N 2 n) (n) − (N 1 n) 9 If X is a hyperK¨ahler manifold, Hi(X,gr(Ωch)) is a unitary representation of with equation X V1 (3.4) and

¯ ∗ ¯ ¯ ∗ ¯ (3.6) D1(n) = E1(−n), B1(n) = C1(1−n).

i ch Proof. If X is a HyperK¨ahler manifold, to show H (X,gr(ΩX )) is a unitary representation of , we only need to show equation (3.4) and (3.6) since is generated by V1 V1 Q,¯ J,¯ L,¯ G,¯ E¯1, D¯ 1, B¯1, C¯1. It is easy to see that the n-th production of these eight elements

with any harmonic form with value in Vq,y is still harmonic. Equations (3.3) are still satis- ∗ ch ﬁed for the Hermitian metric on H (X,gr(ΩX )) since they are satisﬁed for the Hermitian

metric on Vq,y. So we have equation (3.4) and (3.6).

The proof for other cases is similar.

A ﬁltration of chiral Hodge cohomology. Let

τ : Ωch Ωch k X,k → X be the imbedding, which induces the morphism of their cohomology

i ch i ch τ ∗ : H (X, Ω ) H (X, Ω ). k X,k → X i i i ch i ch Let H (X) be the image of τ ∗. H (X) is a filtration of H (X, Ω ). Let (X, Ω ) = k k { k } X H X i i k Hk(X)/Hk+1(X) be its associated graded object. L Theorem 3.4. If X is a compact Calabi-Yau manifold, Hi(X, Ωch) has a filtration Hi (X) , X { k } such that i(X, Ωch) is a unitary representation of the N = 2 vertex algebra with central charge H X 3 dim X; if X has a nonvanishing holomorphic volume form, i(X, Ωch) is a unitary representa- H X tion of ; if X is a hyperKähler manifold, i(X, Ωch) is a unitary representation of the = 4 V0 H X N vertex algebra with central charge c = 3 dim X. V1 Proof. Assume X is a hyperKähler manifold. Ωch has a module structure given by k X,k V1 L Q a, B a Ωch (U); (n) 1(n) ∈ X,k−1 L a, J a, D a, E a Ωch (U); for any a Ωch (U) (n) (n) 1(n) 1(n) ∈ X,k ∈ X,k G a, C a Ωch (U). (n) 1(n) ∈ X,k+1 The exact sequences of sheaves

ι 0 Ωch k Ωch Ωch /Ωch 0 → X,k+1 −→ X,k → X,k X,k+1 → 10 gives an exact sequence of modules V1

0 Ωch Ωch gr(Ωch) 0, → X,k+1 → X,k → X → Mk Mk which induces a long exact sequence of modules V1

(3.7) Hi(X, Ωch ) Hi(X, Ωch ) Hi(X,gr(Ωch)) . ···→ X,k+1 → X,k → X →··· Mk Mk We have an imbedding of modules V1

i ch i ch i ch H (X, Ω )/ι ∗H (X, Ω ) H (X,gr(Ω )). X,k k X,k+1 → X Mk

i ch i ch In particular, k H (X, ΩX,k)/ιk∗H (X, ΩX,k+1) is a unitary representation of the vertex algebra , sinceL by Lemma 3.3, Hi(X,gr(Ωch)) is a unitary representation of . V1 X V1 Ωch has a module structure, which is similar to the module structure of Ωch . k X V1 V1 k X,k UnderL these module structure, L V1

Ωch Ωch X,k → X Mk Mk is a morphism of modules. So V1

Hi(X, Ωch ) Hi (X) X,k → k Mk Mk is a morphism of module. We get a morphism of module V1 V1

i ch i ch i i τ∗ : H (X, Ω )/ι ∗H (X, Ω ) H (X)/H (X). X,k k X,k+1 → k k+1 Mk Mk

i i ch i ch By the deﬁnition of Hk(X), τ∗ is surjective. k H (X, ΩX,k)/ιk∗H (X, ΩX,k) is unitary representation of , so Hi (X)/Hi (X) isL a unitary representation of . V1 k k k+1 V1 L The proofs for the other two cases are similar.

ch Since the filtration ΩX,k is compatible with the grading of conformal weights and fermionic i numbers, the filtration Hk(X) is also compatible with the grading of conformal weights and fermionic numbers. In particular,the filtration on the piece of weight zero is trivial, we have

i(X, Ωch[0,p]) = Hi(X, Ωch[0,p]). H X X 11 For the rest of the paper, we assume X is a hyperK¨ahler manilfold. By Theorem 3.4, i(X, Ωch) is a direct sum of irreducible representation of the = 4 vertex algebra with H X N central charge c = 3 dim X.

Unitary representation of . For an irreducible unitary representation M of the = V1 k,h,l N 4 vertex algebra with central charge c = 6k, the highest weight vector v of M is V1 k,h,l labeled by conformal weight h and the isospin l. k L v =(h )v, J v = (2l + k)v. (1) − 4 (0)

There exist two types of representations in the N = 4 vertex algebra[10][11], massless (BPS) (h = k , l =0, 1 , 1, , k ) and massive (non-BPS) (h> k , l = 1 , 1, , k ) representa- 4 2 ··· 2 4 2 ··· 2 tions. The character of a representation V of the =4 vertex algebra for Ramond sectors N is deﬁned by

R −k J(0) L(1) chV (z; τ)= y TraceV y q , and ˜ 1 chR(z; τ)= chR(z + ; τ)=( y)−k Trace ( y)J(0) qL(1) , V V 2 − V − 2πiτ 2πiz R˜ where q = e ,y = e . Let chk,h,l(z; τ) be the character of the representation Mk,h,l. Let i (X) be the subspace of i(X, Ωch), which consist primitive vectors v with Ah,l H X

L¯(1)v = hv; L¯(n)v =0,n> 1;

J¯(0)v = lv; J¯(n)v =0,n> 0;

Q¯ v =0, n 0; G¯ v =0,n> 1; (n) ≥ (n) E¯ v =0, n 1; D¯ v =0,n> 1; 1(n) ≥ − 1(n) B¯ v =0,n> 1; C¯ v =0, n 0. 1(n) 1(n) ≥ By Theorem 3.4,

k ∞ k i ch i i (3.8) (X, ΩX )=( Mk, k , l 0,k+l(X)) ( Mk,n+ k , l n,k+l(X)). H 4 2 ⊗A 4 2 ⊗A Ml=0 M Mn=1 Ml=1 Let Ai = Ai (X) = dim i (X). n,l n,l An,l k ∞ k R˜ i R˜ i R˜ chHi(X,Ωch)(z; τ)= A0,l+kch k l (z; τ)+ An,l+kch k l (z; τ). X k, 4 , 2 k,n+ 4 , 2 Xl=0 Xn=1 Xl=1

12 The complex elliptic genus. For a holomorphic vector bundle E on X, its Euler charac- teristic is χ(X, E)= N ( 1)iHi(X, E). The complex elliptic genus of X is i=0 − P − dim X EllX (z; τ)= y 2 χ(X,V−y,q).

By [3] or by the long exact sequence (3.7), it is equal to the graded dimension of the cohomology of the chiral de Rham algebra of X, i,e

n dim X − i J(0) L(1) EllX (z; τ)= y 2 ( 1) Trace i ch ( y) q . − H (X,ΩX ) − Xi=0 If g is an automorphism of the holomorphic vector bundle E, let

N i χ(g; X, E)= ( 1) Trace i g. − H (X,E) Xi=0 For an automorphism g of X, by the long exact sequence (3.7), the equivariant elliptic genus of X is

− dim X EllX,g(z; τ)= y 2 χ(g; X,V−y,q).

It is equal to

N dim X − i J(0) L(1) (3.9) EllX,g(z; τ)= y 2 ( 1) Trace i ch g( y) q . − H (X,ΩX ) − Xi=0 A complex automorphism g of the hyperK¨ahler manifold X is called symplectic if it pre- ∗ serve the holomorphic symplectic 2-form ω1, i.e. g ω1 = ω1. If g is symplectic automorphism, from the deﬁnition of the eight generators of , the elements of are g invariant. V1 V1 So g acts on i (X). We have An,l+k

Theorem 3.5. If X is a hyperK¨ahler manifold, g is a symplectic automorphism of X,

N k k i R˜ i (3.10) EllX,g(z; τ)=( 1) ( 1) ( chk, k , l (z; τ) TraceA (X) g − − 4 2 0,l+k Xi=0 Xl=0 ∞ k R˜ + ch k l (z; τ) TraceAi (X) g). k,n+ 4 , 2 n,l+k Xn=1 Xl=1 In particular

N k ∞ k k i i R˜ i R˜ EllX (z; τ)=( 1) ( 1) ( A0,l+kchk, k , l (z; τ)+ An,l+kchk,n+ k , l (z; τ)). − − 4 2 4 2 Xi=0 Xl=0 Xn=1 Xl=1

13 i i ch Proof. Hk is a ﬁltration of H (X, ΩX ) and it is compatible with the grading of the conformal weight and fermionic number, so

¯ ¯ J(0) L(1) J(0) L(1) TraceHi ch g( y) q = Trace i ch g( y) q . (X,ΩX ) − H (X,ΩX ) − By equation (3.9), n dim X ¯ ¯ − i J(0) L(1) EllX,g(z; τ)= y 2 ( 1) TraceHi ch g( y) q . − (X,ΩX ) − Xi=0 Thus by equation (3.8) and the fact that elements of is g invariant, we get equation V1 (3.10).

4. RELATION TO MATHIEU MOONSHINE

In this section we explain the relation between the Mathieu Moonshine and chiral Hodge cohomologe of the K3 surfaces.

K3 surface. Let X be a K3 surface, the dimensions of its Dolbeault cohomology groups are dim H2,2(X)=1, dim H2,1(X)=0 and dim H1,1(X)=20.

In [23][24], we showed that H0(X, Ωch) is the simple = 4 vertex algebra with X N V1 0 ch 0 ch central charge c = 6. So H (X, ΩX ) and (X, ΩX ) are isomorphic to M1, 1 , 1 . By chiral H 4 2 Poincar´eduality[20],

H0(X, Ωch[k,p]) = H2(X, Ωch[k, 2 p]). X ∼ X − So H0(X, Ωch[k,p]) = H2(X, Ωch[k, 2 p]). X ∼ X − Mp Mp Since H2(X, Ωch) is a module of =4 vertex algebra with central charge c =6, H2(X, Ωch) X N X 2 ch and (X, ΩX ) are isomorphic to M1, 1 , 1 . H 4 2 Obviously

A1 (X)= 1(X, Ωch[0, 2]) = H1(X, Ωch[0, 2]) = H2,1(X)=0, 0,2 H X X 1 (X)= 1(X, Ωch[0, 1]) = H1(X, Ωch[0, 1]) = H1,1(X). A0,1 H X X By (3.8), 1 ch 1,1 1 (X, ΩX )= M1, 1 ,0 H (X) ( M1,n+ 1 , 1 n,2(X)). H 4 ⊗ 4 2 ⊗A M Mn≥1

14 By Theorem 3.5, we get equation (1.1), the decomposition of the elliptic genus of K3 surface, ∞ R˜ R˜ R˜ 2φ0,1(z; τ)= EllX (z; τ)= 2ch1, 1 , 1 (z; τ)+20ch1, 1 ,0(z; τ)+2 Anch1,n+ 1 , 1 (z; τ). − 4 2 4 4 2 Xn=1 1 1 Here An = 2 An,2(X). Let ∞ 1 n− 1 (q)= (X)q 8 . AX An,2 Xn=1 − 1 (q) has graded dimension Σ(q)+2q 8 . AX 2 ch 2 ch Since (X, ΩX ) is isomorphic to M1, 1 , 1 , the space of the primitive vectors of (X, ΩX ) H 4 2 H 2 ch 2,2 is H (X, ΩX [0, 2]) = H (X). If g is a symplectic automorphism of X, the primitive vectors of 2(X, Ωch) are g invariant. So H X (4.1) ∞ R˜ R˜ R˜ Ell (z; τ)= 2ch 1 1 (z; τ)+ ch 1 (z; τ) Trace 1,1 g + Trace 1 g ch 1 l (z; τ). X,g 1, , 1, ,0 H (X) An, (X) 1,n+ , − 4 2 4 2 4 2 Xn=1

Proof of Theorem 1.1. The McKay-Thompson series for g in M24 are ∞ − 1 n e(g) fg (4.2) Σ (q)= q 8 q Trace g = Σ (q) , g Kn 24 e − η(q)3 Xn=0

where Σe(q) = Σ(q), e(g) is the character of the 24-dimensional permutation representa-

tion of M24, the series fg is a certain explicit modular form of weight 2 for some subgroup 0 Γ (Ng) of SL(2, Z) and η is the Dedekind eta function.

There is a deep relation between the K3 surfaces and the Mathieu group M24. Mukai has classiﬁed the ﬁnite symplectic automorphism groups of K3 surfaces in [16][18], which

are all isomorphic to subgroups of the Mathieu group M23 of a particular type. M23 is

isomorphic to a one-point stabilizer for the permutation action of M24 on 24 elements. If

g is a symplectic automorphism of a K3 surface, we can regard g as an element of M24. Thomas Creutzig and Gerald Höhn in [6] showed that for a non-trivial finite symplectic automorphism g acting on a K3 surface X, the equivariant elliptic genus and the twining character determined by the McKay-Thompson series of Mathieu moonshine agree, i.e. one has e(g) (4.3) Ell (z; τ)= φ + f φ− . X,g 12 0,1 g 2,1 15 If g is a finite symplectic automorphism acting on a K3 surface X, by equation equation (4.1), equation (4.2) and (4.3), we immediately get Theorem 1.1.

By Gannon’s theorem , (q) is a graded M module. One may ask whether it is AX 24 possible to construct a concrete action of the Mathieu group M on (q)? 24 AX

REFERENCES

[1] R. E. Borcherds, Monstrous Moonshine and Monstrous Lie Superalgebras, Invent. Math. 109, no.2 (1992), 405-444. [2] L. Borisov, Vertex algebras and mirror symmetry, Comm. Math. Phys. 215, no.3 (2001) 517-557. [3] L. Borisov and A. Libgober, Elliptic genera of singular varieties, orbifold elliptic genus and chiral de Rham complex, Mirror symmetry, IV (Montreal, QC, 2000), 325-42, AMS/IP Stud. Adv. Math., 33, Amer. Math. Soc., Providence, RI, 2002.

[4] M. C. N. Cheng, K3 Surfaces, N =4 Dyons and the Mathieu Group M24, Commun. Number Theory Phys. 4, no.4 (2010) 623-657. [5] M. C. N. Cheng and J. F. R. Duncan, On Rademacher Sums, the Largest Mathieu Group and the Holographic Modularity of Moonshine, Commun. Number Theory Phys. 6, no.3 (2012) 697-758. [6] T. Creutzig and G. H¨ohn, Mathieu Moonshine and the Geometry of K3 Surfaces, Commun. Number Theory Phys. 8, no.2, (2014) 295-328. [7] J. H. Conway and S. P. Norton, Monstrous moonshine, Bull. London Math. Soc. 11, no.3 (1979) 308-339. [8] T. Eguchi and K. Hikami, Note on twisted elliptic genus of K3 surface, Phys. Lett. B 694, no.4-5(2011) 446-455.

[9] T. Eguchi, H. Ooguri and Y. Tachikawa, Notes on the K3 Surface and the Mathieu group M24, Exp. Math.20, no.1 (2011) 91-96. [10] T. Eguchi and A. Taormina, Unitary representations of the N =4 superconformal algebra, Phys. Lett. B 196, no.1 (1987) 75-81. [11] T. Eguchi and A. Taormina, Character formulas for the N = 4 superconformal algebra, Phys. Lett. B 200, no.3 (1988) 315-322 . [12] T. Gannon, Much ado about Mathieu, Adv. Math. 301 (2016)322-358. [13] M. R. Gaberdiel, S. Hohenegger and R. Volpato, Mathieu twining characters for K3, J. High Energy Phys. 2010, no.9,(2010)058, pp.20. [14] M. R. Gaberdiel, S. Hohenegger and R. Volpato, Mathieu Moonshine in the elliptic genus of K3, J. High Energy Phys. 2010, no.10,(2010)062, pp.24. [15] R. Heluani, Recent advances and open questions on the susy structure of the chiral de Rham Complex, J.Phys.A 50, no.42(2017). [16] S. Kondo, Niemeier Lattices, Mathieu Groups and Finite Groups of Symplectic Automorphisms of K3 surfaces, Duke Math. J. 92, no.3 (1998)593-603.(with an appendix by S. Mukai).

16 [17] A. Kapustin, Chiral de Rham complex and the half-twisted sigma-model. arXiv:hep-th/0504074. [18] S. Mukai, Finite groups of automorphisms of K3 surfaces and the Mathieu group, Invent. Math. 94, no.1 (1988) 183-221. [19] F. Malikov, V. Schectman, Chiral de Rham complex. II, Differential topology, infinite-dimensional Lie algebras, and applications, 149-188, Amer. Math. Soc. Transl. Ser. 2, 194, Amer. Math. Soc., Providence, RI, 1999. [20] F. Malikov, V. Schectman, Chiral Poincaréduality, Math. Res. Lett. 6, (1999) 533-546. [21] F. Malikov, V. Schectman, and A. Vaintrob, Chiral de Rham complex, Comm. Math. Phys. 204, no.2 (1999) 439-473. [22] S. Odake, Extension of N = 2 superconformal algebra and Calabi-Yau compactification, Modern. Phys. Lett. A 4, no. 6 (1989) 557-568. [23] B. Song, The global sections of the chiral de Rham complex on a Kummer surfaces, Int. Math. Res. Not. IMRN2016, no.14 (2016) 4271-4296. [24] B. Song. Vector bundles induced from jet schemes. arXiv:1609.03688 [math.DG]. [25] J. G. Thompson, Some Numerology between the Fischer-Griess Monster and the Elliptic Modular Function, Bull. London Math. Soc. 11, no.3 (1979) 352-353. [26] K. Wendland, Hodge-elliptic genera and how they govern K3 theories, arXiv:hep-th/1705.09904.

KEY LABORATORY OF WU WEN-TSUN MATHEMATICS, CHINESE ACADEMY OF SCIENCES,SCHOOL

OF MATHEMATICAL SCIENCES,UNIVERSITY OF SCIENCE AND TECHNOLOGY OF CHINA, HEFEI,ANHUI

230026, P.R. CHINA

E-mail address: [email protected]