Arxiv:1808.09134V2 [Hep-Th] 24 Sep 2018

KIAS-P18089

Algebraic surfaces, Four-folds and Moonshine

Kimyeong Lee1, ∗ and Matthieu Sarkis1, † 1School of Physics, Korea Institute for Advanced Study, Seoul 02455, Korea The aim of this note is to point out an interesting fact related to the elliptic genus of complex algebraic surfaces in the context of Mathieu moonshine. We also discuss the case of 4-folds.

INTRODUCTION terms of the holomorphic Euler characteristic of a formal series with holomorphic vector bundle coefficients. In their seminal paper [1], Eguchi, Ooguri and We give for it a simple expression in terms the self- Tachikawa made the interesting observation that the el- intersection number of the canonical class and the Euler liptic genus of K3 admits a decomposition in terms of number. One can then deduce the behaviour of the ellip- N = 4 super-Virasoro characters, whose coefficients hap- tic genus under blow ups, allowing us to state in which 2 pen to correspond to the dimension of representations sense any surface with positive K may be relevant for a geometric understanding of Mathieu moonshine. of the largest Mathieu sporadic group M24. This phenomenon was formalized in a precise conjecture related We finally discuss how the discussion for surfaces can be extended for 4-folds. to the existence of a graded module for M24 whose prop- erties would precisely mimic the experimental observation of [1]. This conjecture was then proved by Gan- Conventions: non [2]. Many authors have made important contribu- • We will omit the modular argument and denote tions towards understanding Mathieu moonshine from by θ(z) the odd Jacobi theta function θ(τ, z) when a physics perspective in terms of the BPS spectrum of unambiguous, cf. appendix. N = (4, 4) NSLM with K3 target. In parallel to that, Eguchi and Hikami [3] made the • q = exp(2iπτ) and y = exp(2iπz). Differentiation interesting observation that since K3 surfaces correspond of the odd Jacobi theta function is always with to a double cover of Enriques surfaces, the elliptic genus respect to the elliptic variable z. of the latter is given by

1 ELLIPTIC GENUS OF COMPLEX ALGEBRAIC Ell = Ell = φ , (1) Enriques 2 K3 0,1 SURFACES

where φ0,1 is the standard weight-0 index-1 weak Jacobi In the following we denote by X a smooth compact form (32). They then noticed that the evenness of the co- complex algebraic surface. We will also formally write efficients in the N = 4 expansion of EllK3 allowed them to enlighten a connection between EllEnriques = φ0,1 and c(X) = (1 + x1) (1 + x2) (2) the Mathieu group M12. They however underlined the fact that since the Enriques surfaces are not Calabi-Yau, for the total Chern class. We define the following formal series with bundle coefficients: arXiv:1808.09134v2 [hep-th] 24 Sep 2018 they cannot define naively a genuine string background, hence making more obscure any string theoretic explana- ∞ −1 O ? ? tion of the observed N = 4 decomposition. This result, Eq,y = y Λ−yqn−1 TX ⊗ Λ−y−1qn TX ⊗ Sqn TX ⊗ Sqn TX , n=1 however, seems to indicate that from the geometric per- (3) spective the moonshine phenomena are not restricted to where we defined the total exterior and symmetric pow- complex surfaces admitting a Ricci-flat Riemannian met- ers ric. ∞ ∞ X X In this note, we consider the case of a generic smooth Λ E = tk ΛkE,S E = tk Sk E, (4) compact complex algebraic surface X. Even in absence t t k=0 k=0 of a justifiable field theoretic definition and derivation of the elliptic genus (by localization using a GLSM re- Λk and Sk being respectively the k-th exterior product alization when X is toric for instance), one can consider and the k-th symmetric product. The elliptic genus the mathematical definition of the elliptic genus given in is then given by the holomorphic Euler characteristic 2 of this holomorphic vector bundle Eq,y, which, using Expanding to top form order, we get Hirzebruch-Riemann-Roch theorem, is equal to: 2 Z Z θ(z) ∂ log θ(z) EllX (τ, z) = 0 exp − ch1(X)+ EllX (τ, z) = ch(Eq,y) td(X) . (5) θ (0) X ∂z X ∂2 log θ(z) + + E (τ) ch (X) . The total Chern character is well-behaved with respect ∂z2 2 2 to exterior and symmetric powers: (13) Y 1 ch(StTX ) = , (6a) One can easily show that the following identity holds: 1 − texa a Y ∂ log θ(z) ch (Λ T ) = (1 + texa ) . (6b) = ζ (τ, z) − E (τ)z , (14) t X ∂z w 2 a Using eq. (31), we then obtain: where ζw is the Weierstrass elliptic zeta function, satisfying ∂zζw(τ, z) = −℘(τ, z). Z xa Y θ 2iπ − z We therefore end up with the following expression for EllX (τ, z) = xa . (7) xa the elliptic genus in terms of the self-intersection number X θ a 2iπ K2 of the canonical class and the Euler number e: Moreover we can Taylor expand as follows θ(z) 2 ∞ ! EllX (τ, z) = × X un ∂n θ0(0) θ(z + u) = θ(z) exp log θ(z) (8) n! ∂zn K2 K2 n=1 × − − e ℘(τ, z) + (ζ (τ, z) − E (τ)z)2 . 2 2 w 2 We are therefore left with (15) Z x x Ell (τ, z) = θ(z)2 1 2 × X x1 x2 Using the multiplicative property of the elliptic genus, X θ θ 2iπ 2iπ one can interprete −2 (ζ (τ, z) − E (τ)z) as the elliptic ∞ ! (9) w 2 n n 1 X 1 ∂ log θ(z) X xa genus of . × exp − . P n! ∂zn 2iπ Before proceeding, let us mention as a parenthesis n=1 a that, as one could expect, since differentiation with re- One can show that spect to the elliptic variable is not covariant in the sense θ(3)(0) of Jacobi forms, EllX is generically not a Jacobi form. = −3E (τ) , (10) Drawing lessons from [4], we introduce the canonical rais- θ0(0) 2 ing operator, acting on the odd Jacobi theta function as: where E2 is the weight-2 SL2( ) Eisenstein series nor- Z 1 , 1 z − z¯ malized as Y 2 2 (θ)(τ, z) = θ0(τ, z) + 2iπ θ(τ, z) , (16) + τ − τ¯ 0 X 1 E (τ) = , (11) which is then a genuine Jacobi form, but at the cost 2 ω2 ω∈Z+τZ of holomorphicity both in the modular and elliptic ar- guments. We are therefore tempted to replace the log- the prime on the sum meaning that the origin of the arithmic derivative ∂ log θ/∂z in (15) by its covariant lattice is omitted in the sum. avatar. One can therefore canonically associate to any Using eq. (10), collecting the contribution of the non compact algebraic surface the following weight-0 index-1 exponentiated piece, truncating the Taylor series up to non-holomorphic elliptic genus: order 2, which is possible since we work under the inte- gral, and taking care of the 2iπ’s, we obtain 2 2 def θ(z) K Ellf X (τ, z) = − − e ℘(τ, z)+ 2 Z ( θ0(0) 2 2iπθ(z) ∂ log θ(z) X xa Ell (τ, z) = exp − + 2) (17) X θ0(0) ∂z 2iπ K2 z − z¯ X a + ζ (τ, z) − E (τ)z + 2iπ . 2 w 2 τ − τ¯ 2 2) 1 ∂ log θ(z) X xa + + E (τ) . 2 ∂z2 2 2iπ a Considering the elliptic genus as a building block captur- (12) ing part of the physics of branes wrapping the surface X 3 in, say, an M or F-theory framework, it would be very interesting result: interesting to understand the physical meaning of such an non-holomorphy in this compact setting1. In addition to K3 and Enriques surfaces, minimal surfaces of Kodaira dimension 1, namely proper elliptic surfaces, have an elliptic genus proportional to φ0,1. MOONSHINE PHENOMENA Moreover, one can start from any complex algebraic Behaviour of the elliptic genus of surfaces under surface with topological numbers (K2, e) such that blow-ups K2 ≥ 0, blow it up at K2 generic points to get a surface with Euler number e + K2, whose elliptic genus will also As a very nice corollary of the generic formula (15) be proportional to φ1,0, hence is also related to at least we can learn the behaviour of the elliptic genus under the Mathieu group M12. blow-ups. Indeed, denoting by X˜ the blown-up surface at an arbitrary point, π the blow-up morphism, E the As a simple remark, let us add that surfaces with Euler 0 exceptional divisor, and D,D two divisors on X, we number congruent to 0 mod 24 will further exhibit M24 have the following classical results for the intersection moonshine. pairing: Let us now illustrate this generic statement by some examples. E · E = −1 , π∗D · π∗D0 = D · D0 , (18) π∗D · E = 0 , One simple example: projective plane blown-up at nine points from which we obtain that Starting from the simplest surface and following the 2 2 KX˜ = KX − 1 . (19) principle described above, we blow-up the projective plane at nine arbitrary points. The elliptic genus of the Since the holomorphic Euler characteristic of the struc- obtained surface is ture sheaf is a birational invariant, Noether’s formula then tells us that K2 + e is also a birational invariant of Ell 2 = φ = Ell (22) Bl9(P ) 0,1 Enriques surfaces, hence eX˜ = eX + 1. We can finally deduce the behaviour of the elliptic genus under the blow-up at an arbitrary point: K2 θ(z) 2 Ell (τ, z) = Ell (τ, z) + × X˜ X θ0(0) 2 1 2 3 P × − (ζw(τ, z) − E2(τ)z) + ℘(τ, z) . 2 2 dP8 (20)

The correction term can be interpreted as the elliptic genus of a surface with K2 = −1 and e = 1:

EllX˜ = EllX + Ell(K2=−1 ; e=1) , (21) corresponding to the fact that in the blow-up process dP2 dP1 on removes a point (with e(pt) = 1) to replace it by 1 the P1 of all outward directions through the point 1 2 e (with e P = 2). We therefore ﬁnd the following very 1 Moonshine line Bl9(P )

2 Figure 1. Blow-up orbit of P towards the moonshine line.

1 We thank A. Libgober for pointing out earlier work describing this non-holomorphicity in terms of the quasi-Jacobi nature of The projective plane blown-up in nine points is also the elliptic genus [5]. 1 called 2 K3 and appeared in [6] as the base of an ellipti- 4 cally fibered Calabi-Yau 3-fold geometry defining a gen- build new surfaces relevant for Mathieu moonshine. K3 uine supersymmetric string background. Configurations surfaces being double coverings of Enriques surfaces ap- with fivebranes wrapping the base inside the CY3 were pear therefore here as a particular case of more generic studied there, and a connexion was made with M12. This constructions involving coverings blown-up at various is in nice accordance with the claim of our note, which points. gives a more basic reason of why the blow-up of P2 in nine points should be related the small Mathieu group K2 2 M12. Notice that in the (K , e) plane, Enriques surfaces 2 sit on the same point as Bl ( ). 2 9 P P¯ It would be extremely interesting if the geometry of 1 the blown-up projective plane could give us insights con- e cerning the moonshine phenomenon. 1 2 0 ¯2 12 4 Bl9(P ) K3 Y (p) Bl2 P In particular, the automorphism group of the graph Bl8(Fn) of exceptional curves of the blow-up of P2 in nine points Enriques in general position is discrete and is related to the Weyl group of the affine extension E9 of the E8 Dynkin diagram. A classical result on affine Weyl groups then tells Figure 2. Examples of moonshine surfaces at e = us that the latter is given by the semi-direct product of 12, 24, 36, 48. the Weyl reflection group of the E8 Dynkin diagram and 8 translations in the co-root lattice W (E9) = W (E8)oZ . In addition, it is known that the Weyl group of the E8 4-FOLDS Dynkin diagram is given in terms of the classical Cheval- ley group Ω+(2). One may want to try and relate a 8 Let X4 be a compact algebraic 4-fold. Upon use of ’sigma-model theoretic’ extension of that automorphism (34), a longer computation gives us: group to M12. This will be the content of a future work. 1 Ell (τ, z) = −6 ℘2 − 6E ch + ℘2 ch2− X4 4 4 2 2 Other examples 1 − (ζ − E z) ℘0 ch ch − (ζ − E z)2 ℘ ch2ch + w 2 1 3 2 w 2 1 2 Let us simply mention a few other examples. In the 1 θ(z) 4 + (ζ − E z)4 ch4 . same spirit as the projective plane, one may also consider 24 w 2 1 θ0(0) starting from any of the Hirzebruch surface Fn, and blow (23) it up in 8 points. The obtained surface will then exhibit M12 moonshine. In [8], Eguchi and Hikami uncovered an N = 2 moon- For higher Euler characteristic, it was shown by Hirze- shine phenomenon for L2(11), the projective group of bruch and Van de Ven [7] that the Hilbert modular sur- special linear matrices with coefficients in a finite field faces Y 0(p) for p ∈ {53, 61, 73} are proper elliptic sur- with 11 elements, this time in relation with some specific 2 faces. These three surfaces satisfy KY 0(p) = 0 and have Calabi-Yau four-folds. Euler number eY 0(p) = 36. Their elliptic genus is there- We conclude from this: fore given by EllY 0(p) = 3 φ0,1, hence exhibit M12 moonshine. All compact complex algebraic 4-folds with the follow- Finally, let us give as a last example a surface with ing intersection numbers: Euler number equal to 48, hence connected to M24. Con- 2 4 sider a double covering of the projective plane, ramified ch1 · ch3 = ch · ch2 = ch = 0 , 1 1 (24) over a curve of degree 8 with at most simple singularities, 2 ch4 = −10 a , ch2 = −96 a , with a ∈ Q , perform the canonical resolution of the possible singular- ¯2 ities. This resolved double covering P of the projective exhibit at least the same L2(11) moonshine phenomenon. plane is a minimal surface of general type. Finally blow- up the obtained smooth surface at two arbitrary points. Indeed, for 4-folds satisfying (24), the elliptic genus is We claim that the resulting surface has EllX = 4 φ0,1, as given by wanted.

We therefore see that considering coverings allows to EllX4 (τ, z) = a Z1(τ, z) , (25) 5

2 with Pezzo, Bl9(P ) or Hirzebruch surfaces, appear to be rele- 4 vant for physical constructions. One may therefore con- 1 2 θ(z) sider embedding elliptically-fibered Calabi-Yau 5-folds Z1(τ, z) = φ0,1(τ, z) − 360 0 E4(τ) , (26) 12 θ (0) over the 4-folds sitting on the orbit of P4 into an F- theoretic framework, and study the corresponding effec- which was precisely the weight-0 index-2 Jacobi form tive 2d (0, 2) Gauged Linear Sigma Model, in the spirit appearing in [8]. of the work initiated by [11]. This is left for later work. In a similar spirit, it was shown in [9] that the Jacobi It will also be interesting to see whether some other form finite simple groups, naturally related to L2(11) may ap- 4 1 2 θ(z) pear in the context of 4-folds, the same way both M12 Z2(τ, z) = φ0,1(τ, z) + 3600 E4(τ) , (27) 6 θ0(0) and M24 occur for surfaces. As a remark, let us finally notice that formula (15) and exhibits Mathieu moonshine for M22, M23 or M24 when (23) can be given a meaning even for algebraic surfaces expanded in a basis of N = 4, N = 2 or extended N = 1 defined over an arbitrary field k, suggesting a definition super-Virasoro characters respectively. We therefore of the elliptic genus in the framework of the algebraic conclude that: cobordism theory of Levine and Morel [12].

All compact complex algebraic 4-folds with the following intersection numbers: Acknowledgements

2 4 ch1 · ch3 = ch1 · ch2 = ch1 = 0 , KL is supported in part by the National 2 (28) ch4 = 100 a , ch2 = 1248 a , with a ∈ Q , Research Foundation of Korea Grant NRF- 2017R1D1A1B06034369. MS would like to thank exhibit Mathieu moonshine upon expanding their elliptic Fr´ed´eric Campana, Hoil Kim, Thomas Goller and genus in a super-Virasoro character basis. Shamit Kachru for useful discussions.

It is an interesting question to investigate whether starting from a given compact 4-fold, say P4, one can AUTOMORPHIC FORMS find a birationally equivalent 4-fold exhibiting L2(11) or Mathieu moonshine. A novelty with respect to the case The Weierstrass zeta function is defined by: of surfaces is the appearance, in addition to blow-ups, of 0 new surgery operations, namely flips [10]. This will be 1 X 1 1 z ζ (τ, z) = + + + , (29) investigated in a future work. w z z − ω ω ω2 ω∈Z+τZ the prime meaning that the lattice origin is omitted in CONCLUSION the sum. The derivative of ζw with respect to the elliptic argument is the Weierstrass ℘ = −∂zζw function: In this short note we tried to argue that it may be 0 relevant to consider other algebraic surfaces in trying to 1 X 1 1 ℘(τ, z) = + − . (30) understand the Mathieu moonshine phenomenon from a z2 (z − ω)2 ω2 geometric perspective. ω∈Z+τZ It would be extremely interesting to embbed the other The odd Jacobi theta function has the following infinite surfaces obtained by K2 blow-ups, or Kodaira dimension product representation: 1 minimal surfaces in a string, M or F-theoretic frame- ∞ work and to study the physics of branes wrapping them. 1 Y n n −1 n θ(τ, z) = 2q 8 sin(z) (1 − q )(1 − yq )(1 − y q ) . Concerning Calabi-Yau four-folds, the discussion of n=1 our note may extend to generic compact algebraic 4- (31) folds, for which a well chosen sequence of birational The unique weight-0 index-1 weak Jacobi form (up to transformations could relate them to the relevant weight- scaling) is given in terms of the Weierstrass ℘ function 0 index-2 Jacobi form exhibiting either L2(11), Math- and the odd Jacobi theta function by: ieu or any other to be discovered moonshine. In the 2- dimensional case, the surfaces sharing the same (K2, e) θ(τ, z) 2 φ0,1(τ, z) = 12 ℘(τ, z) . (32) as those sitting on the blow-up orbit of P2, namely del θ0(τ, 0) 6

The weight-2 and weight-4 SL2(Z) Eisenstein series are [10] Lev Borisov and Anatoly Libgober, “Elliptic genera of normalized as follows: singular varieties,” (2000). [11] Sakura Schafer-Nameki and Timo Weigand, “F-theory 0 0 X 1 X 1 and 2d (0, 2) theories,” JHEP 05, 059 (2016). E (τ) = ,E (τ) = . (33) [12] Marc Levine and Fabien Morel, “Cobordisme 2 ω2 4 ω4 ω∈Z+τZ ω∈Z+τZ algébriqueI et II,” Comptes Rendus de l’Académiedes Sciences - Series I - Mathematics 332, 723 – 728, 815 – The weight-2 Eisenstein series is the prototypical exam- 820 (2001). ple of a so-called Mock modular form, whose lack of mod- ularity can be cured by the addition of non-holomorphic piece. Let us finally gather the main identities used here:

∂ log θ(τ, z) = ζ (τ, z) − E (τ)z , (34a) ∂z w 2 1 θ(3)(τ, 0) − = E (τ) , (34b) 3 θ0(τ, 0) 2 1 θ(5)(τ, 0) = E (τ)2 − 2E (τ) . (34c) 15 θ0(τ, 0) 2 4

One can also prove the following identity:

1 θ(7)(τ, 0) − = E (τ)3−6E (τ)E (τ)+8E (τ) , (35) 105 θ0(τ, 0) 2 4 2 6 which would be relevant in the case of 6-folds.

∗ [email protected] † [email protected] [1] Tohru Eguchi, Hirosi Ooguri, and Yuji Tachikawa, “Notes on the K3 Surface and the Mathieu group M24,” Exper. Math. 20, 91–96 (2011). [2] Terry Gannon, “Much ado about Mathieu,” Adv. Math. 301, 322–358 (2016). [3] Tohru Eguchi and Kazuhiro Hikami, “Enriques moonshine,” J. Phys. A46, 312001 (2013). [4] L. Rolen, “A new construction of Eisenstein’s completion of the Weierstrass zeta function,” ArXiv e-prints (2015). [5] A. Libgober, “Elliptic genera, real algebraic varieties and quasi-Jacobi forms,” ArXiv e-prints (2009). [6] Miranda C. N. Cheng, John F. R. Duncan, Sarah M. Harrison, Jeﬀrey A. Harvey, Shamit Kachru, and Brandon C. Rayhaun, “Attractive Strings and Five- Branes, Skew-Holomorphic Jacobi Forms and Moon- shine,” (2017). [7] F. Hirzebruch and A. Van de Ven, “Hilbert modular surfaces and the classiﬁcation of algebraic surfaces,” Springer-Verlag, Inventiones math. 23, 1–29 (1974). [8] Tohru Eguchi and Kazuhiro Hikami, “N=2 Moonshine,” Phys. Lett. B717, 266–273 (2012). [9] Miranda C. N. Cheng, Xi Dong, John F. R. Duncan, Sarah Harrison, Shamit Kachru, and Timm Wrase, “Mock Modular Mathieu Moonshine Modules,” (2014), 10.1186/s40687-015-0034-9, [Res. Math. Sci.2,13(2015)].