• ### Hodge-elliptic genera and how they govern K3 theories(1705.09904)

The (complex) Hodge-elliptic genus and its conformal field theoretic counterpart were recently introduced by Kachru and Tripathy, refining the traditional complex elliptic genus. We construct a different, so-called chiral Hodge-elliptic genus, which is expected to agree with the generic conformal field theoretic Hodge-elliptic genus, in contrast to the complex Hodge-elliptic genus as originally defined. For K3 surfaces X, the chiral Hodge-elliptic genus is shown to be independent of all moduli. Moreover, employing Kapustin's results on infinite volume limits it is shown that it agrees with the generic conformal field theoretic Hodge-elliptic genus of K3 theories, while the complex Hodge-elliptic genus does not. This new invariant governs part of the field content of K3 theories, supporting the idea that all their spaces of states have a common subspace which underlies the generic conformal field theoretic Hodge-elliptic genus, and thereby the complex elliptic genus. Mathematically, this space is modelled by the sheaf cohomology of the chiral de Rham complex of X. It decomposes into irreducible representations of the N=4 superconformal algebra such that the multiplicity spaces of all massive representations have precisely the dimensions required in order to furnish the representation of the Mathieu group M24 that is predicted by Mathieu Moonshine. This is interpreted as evidence in favour of the ideas of symmetry surfing, which have been proposed by Taormina and the author, along with the claim that the sheaf cohomology of the chiral de Rham complex is a natural home for Mathieu Moonshine. These investigations also imply that the generic chiral algebra of K3 theories is precisely the N=4 superconformal algebra at central charge c=6, if the usual predictions on infinite volume limits from string theory hold true.
• ### Not Doomed to Fail(1708.01563)

Sept. 16, 2018 hep-th, math-ph, math.MP, math.RT, math.RA
In their recent manuscript "An Uplifting Discussion of T-Duality", arXiv:1707.08888, J. Harvey and G. Moore have reevaluated a mod two condition appearing in asymmetric orbifold constructions as an obstruction to the description of certain symmetries of toroidal conformal field theories by means of automorphisms of the underlying charge lattice. The relevant "doomed to fail" condition determines whether or not such a lattice automorphism g may lift to a symmetry in the corresponding toroidal conformal field theory without introducing extra phases. If doomed to fail, then in some cases, the lift of g must have double the order of g. It is an interesting question, whether or not "geometric" symmetries are affected by these findings. In the present note, we answer this question in the negative, by means of elementary linear algebra: "geometric" symmetries of toroidal conformal field theories are not doomed to fail. Consequently, and in particular, the symmetry groups involved in symmetry surfing the moduli space of K3 theories do not differ from their lifts.
• ### The Conway Moonshine Module is a Reflected K3 Theory(1704.03813)

April 25, 2018 hep-th, math-ph, math.MP, math.OA, math.RT
Recently, Duncan and Mack-Crane established an isomorphism, as Virasoro modules at central charges c=12, between the space of states of the Conway Moonshine Module and the space of states of a special K3 theory that was extensively studied some time ago by Gaberdiel, Volpato and the two authors. In the present work, we lift this result to the level of modules of the extensions of these Virasoro algebras to N=4 super Virasoro algebras. Moreover, we relate the super vertex operator algebra and module structure of the Conway Moonshine Module to the operator product expansion of this special K3 theory by a procedure we call reflection. This procedure can be applied to certain superconformal field theories, transforming all fields to holomorphic ones. It also allows to describe certain superconformal field theories within the language of super vertex operator algebras. We discuss reflection and its limitations in general, and we argue that through reflection, the Conway Moonshine Module inherits from the K3 theory a richer structure than anticipated so far. The comparison between the Conway Moonshine Module and the K3 theory is considerably facilitated by exploiting the free fermion description as well as the lattice vertex operator algebra description of both theories. We include an explicit construction of cocycles for the relevant charge lattices, which are half integral. The transition from the K3 theory to the Conway Moonshine Module via reflection promotes the latter to the role of a medium that collects the symmetries of K3 theories from distinct points of the moduli space, thus uncovering a version of symmetry surfing in this context.
• ### Snapshots of Conformal Field Theory(1404.3108)

May 27, 2017 hep-th, math-ph, math.MP, math.AG
In snapshots, this exposition introduces conformal field theory, with a focus on those perspectives that are relevant for interpreting superconformal field theory by Calabi-Yau geometry. It includes a detailed discussion of the elliptic genus as an invariant which certain superconformal field theories share with the Calabi-Yau manifolds. K3 theories are (re)viewed as prime examples of superconformal field theories where geometric interpretations are known. A final snapshot addresses the K3-related Mathieu Moonshine phenomena, where a lead role is predicted for the chiral de Rham complex.
• ### K3 en route From Geometry to Conformal Field Theory(1503.08426)

March 29, 2015 hep-th, math.DG, math.AG
To pave the way for the journey from geometry to conformal field theory (CFT), these notes present the background for some basic CFT constructions from Calabi-Yau geometry. Topics include the complex and Kaehler geometry of Calabi-Yau manifolds and their classification in low dimensions. I furthermore discuss CFT constructions for the simplest known examples that are based in Calabi-Yau geometry, namely for the toroidal superconformal field theories and their Z2-orbifolds. En route from geometry to CFT, I offer a discussion of K3 surfaces as the simplest class of Calabi-Yau manifolds where non-linear sigma model constructions bear mysteries to the very day. The elliptic genus in CFT and in geometry is recalled as an instructional piece of evidence in favor of a deep connection between geometry and conformal field theory.
• ### A twist in the M24 moonshine story(1303.3221)

March 7, 2015 hep-th, math.AG, math.GR
Prompted by the Mathieu Moonshine observation, we identify a pair of 45-dimensional vector spaces of states that account for the first order term in the massive sector of the elliptic genus of K3 in every Z2-orbifold CFT on K3. These generic states are uniquely characterized by the fact that the action of every geometric symmetry group of a Z2-orbifold CFT yields a well-defined faithful representation on them. Moreover, each such representation is obtained by restriction of the 45-dimensional irreducible representation of the Mathieu group M24 constructed by Margolin. Thus we provide a piece of evidence for Mathieu Moonshine explicitly from SCFTs on K3. The 45-dimensional irreducible representation of M24 exhibits a twist, which we prove can be undone in the case of Z2-orbifold CFTs on K3 for all geometric symmetry groups. This twist however cannot be undone for the combined symmetry group Z2^4 : A8 that emerges from surfing the moduli space of Kummer K3s. We conjecture that in general, the untwisted representations are exclusively those of geometric symmetry groups in some geometric interpretation of a CFT on K3. In that light, the twist appears as a representation theoretic manifestation of the maximality constraints in Mukai's classification of geometric symmetry groups of K3.
• ### Symmetry-surfing the moduli space of Kummer K3s(1303.2931)

Jan. 23, 2015 hep-th, math.AG, math.GR
A maximal subgroup of the Mathieu group M24 arises as the combined holomorphic symplectic automorphism group of all Kummer surfaces whose Kaehler class is induced from the underlying complex torus. As a subgroup of M24, this group is the stabilizer group of an octad in the Golay code. To meaningfully combine the symmetry groups of distinct Kummer surfaces, we introduce the concepts of Niemeier markings and overarching maps between pairs of Kummer surfaces. The latter induce a prescription for symmetry-surfing the moduli space, while the former can be seen as a first step towards constructing a vertex algebra that governs the elliptic genus of K3 in an M24-compatible fashion. We thus argue that a geometric approach from K3 to Mathieu Moonshine may bear fruit.
• ### A K3 sigma model with Z_2^8:M_{20} symmetry(1309.4127)

Sept. 16, 2013 hep-th, math.RT
The K3 sigma model based on the Z_2-orbifold of the D_4-torus theory is studied. It is shown that it has an equivalent description in terms of twelve free Majorana fermions, or as a rational conformal field theory based on the affine algebra su(2)^6. By combining these different viewpoints we show that the N=(4,4) preserving symmetries of this theory are described by the discrete symmetry group Z_2^8:M_{20}. This model therefore accounts for one of the largest maximal symmetry groups of K3 sigma models. The symmetry group involves also generators that, from the orbifold point of view, map untwisted and twisted sector states into one another.
• ### The overarching finite symmetry group of Kummer surfaces in the Mathieu group M_24(1107.3834)

Sept. 1, 2013 hep-th, math.AG, math.GR
In view of a potential interpretation of the role of the Mathieu group M_24 in the context of strings compactified on K3 surfaces, we develop techniques to combine groups of symmetries from different K3 surfaces to larger 'overarching' symmetry groups. We construct a bijection between the full integral homology lattice of K3 and the Niemeier lattice of type (A_1)^24, which is simultaneously compatible with the finite symplectic automorphism groups of all Kummer surfaces lying on an appropriate path in moduli space connecting the square and the tetrahedral Kummer surfaces. The Niemeier lattice serves to express all these symplectic automorphisms as elements of the Mathieu group M_24, generating the 'overarching finite symmetry group' (Z_2)^4:A_7 of Kummer surfaces. This group has order 40320, thus surpassing the size of the largest finite symplectic automorphism group of a K3 surface by orders of magnitude. For every Kummer surface this group contains the group of symplectic automorphisms leaving the Kaehler class invariant which is induced from the underlying torus. Our results are in line with the existence proofs of Mukai and Kondo, that finite groups of symplectic automorphisms of K3 are subgroups of one of eleven subgroups of M_23, and we extend their techniques of lattice embeddings for all Kummer surfaces with Kaehler class induced from the underlying torus.
• ### The symmetries of the tetrahedral Kummer surface in the Mathieu group M_24(1008.0954)

July 20, 2011 hep-th, math.AG, math.GR
We provide a method, based on Nikulin's lattice gluing techniques, which identifies the symplectic automorphisms of Kummer surfaces as permutation groups on 24 elements preserving the Golay code. In other words, we explicitly realise these symplectic automorphism groups as subgroups of the Mathieu group M_24. The example of the tetrahedral Kummer surface is treated in detail, confirming the existence proofs of Mukai and Kondo, that its group of symplectic automorphisms is a subgroup of one of eleven subgroups of the sporadic group known as Mathieu group M_23. Kondo's lattice construction, which uses a different gluing technique from the one advocated here to rederive Mukai's results, is reviewed, and a slight generalisation is used to check the consistency of our results. The framework presented here provides a line of attack to unravel the role of the sporadic Mathieu group Mathieu M_24, of which M_23 is a subgroup of index 24, when searching for symmetries beyond the classical symplectic automorphisms in the context of strings compactified on a K3 surface.
• ### On orbifolds and free fermion constructions(0809.0330)

Nov. 15, 2008 hep-th, math-ph, math.MP, math.AG
This work develops the correspondence between orbifolds and free fermion models. A complete classification is obtained for orbifolds X/G with X the product of three elliptic curves and G an abelian extension of a group (Z_2)^2 of twists acting on X. Each such quotient X/G is shown to give a geometric interpretation to an appropriate free fermion model, including the geometric NAHE+ model. However, the semi-realistic NAHE free fermion model is proved to be non-geometric: its Hodge numbers are not reproduced by any orbifold X/G. In particular cases it is shown that X/G can agree with some Borcea-Voisin threefolds, an orbifold limit of the Schoen threefold, and several further orbifolds thereof. This yields free fermion models with geometric interpretations on such special threefolds.
• ### Decoding the geometry of conformal field theories(0803.0657)

March 5, 2008 hep-th, math.AG
To certain geometries, string theory associates conformal field theories. We discuss techniques to perform the reverse procedure: To recover geometrical data from abstractly defined conformal field theories. This is done by introducing appropriate notions of limits of conformal field theories and their degenerations, and by applying techniques from noncommutative geometry. This note is a summary of our work hep-th/0308143 , aimed to be less technical than the original paper, along with some new calculations confirming our interpretation of the rescaled limiting zero mode of the Virasoro field.
• ### A family of SCFTs hosting all "very attractive" relatives of the (2)^4 Gepner model(hep-th/0512223)

Jan. 23, 2006 hep-th, math.AG
This work gives a manual for constructing superconformal field theories associated to a family of smooth K3 surfaces. A direct method is not known, but a combination of orbifold techniques with a non-classical duality turns out to yield such models. A four parameter family of superconformal field theories associated to certain quartic K3 surfaces in CP^3 is obtained, four of whose complex structure parameters give the parameters within superconformal field theory. Standard orbifold techniques are used to construct these models, so on the level of superconformal field theory they are already well understood. All "very attractive" K3 surfaces belong to the family of quartics underlying these theories, that is all quartic hypersurfaces in CP^3 with maximal Picard number whose defining polynomial is given by the sum of two polynomials in two variables. A particular member of the family is the (2)^4 Gepner model, such that these theories can be viewed as complex structure deformations of (2)^4 in its geometric interpretation on the Fermat quartic.
• ### On Superconformal Field Theories Associated to Very Attractive Quartics(hep-th/0307066)

Dec. 18, 2005 hep-th, math.AG
We study N=(4,4) superconformal field theories with left and right central charge c=6 which allow geometric interpretations on specific quartic hypersurfaces in CP^3. Namely, we recall the proof that the Gepner model (2)^4 admits a geometric interpretation on the Fermat quartic and give an independent cross-check of this result, providing a link to the "mirror moonshine phenomenon" on K3. We clarify the role of Shioda-Inose structures in our proof and thereby generalize it: We introduce "very attractive quartics" and show how on each of them a superconformal field theory can be constructed explicitly.
• ### Limits and Degenerations of Unitary Conformal Field Theories(hep-th/0308143)

Jan. 11, 2004 hep-th, math-ph, math.MP
In the present paper, degeneration phenomena in conformal field theories are studied. For this purpose, a notion of convergent sequences of CFTs is introduced. Properties of the resulting limit structure are used to associate geometric degenerations to degenerating sequences of CFTs, which, as familiar from large volume limits of non-linear sigma models, can be regarded as commutative degenerations of the corresponding quantum geometries''. As an application, the large level limit of the A-series of unitary Virasoro minimal models is investigated in detail. In particular, its geometric interpretation is determined.
• ### Mirror Symmetry on Kummer Type K3 Surfaces(hep-th/0106104)

Oct. 2, 2003 hep-th, math-ph, math.MP
We investigate both geometric and conformal field theoretic aspects of mirror symmetry on N=(4,4) superconformal field theories with central charge c=6. Our approach enables us to determine the action of mirror symmetry on (non-stable) singular fibers in elliptic fibrations of Z_N orbifold limits of K3. The resulting map gives an automorphism of order 4,8, or 12, respectively, on the smooth universal cover of the moduli space. We explicitly derive the geometric counterparts of the twist fields in our orbifold conformal field theories. The classical McKay correspondence allows for a natural interpretation of our results.
• ### Orbifold Constructions of K3: A Link between Conformal Field Theory and Geometry(hep-th/0112006)

May 8, 2002 hep-th, math-ph, math.MP
We discuss geometric aspects of orbifold conformal field theories in the moduli space of N=(4,4) superconformal field theories with central charge c=6. Part of this note consists of a summary of our earlier results on the location of these theories within the moduli space [NW01,Wen] and the action of a specific version of mirror symmetry on them [NW]. We argue that these results allow for a direct translation from geometric to conformal field theoretic data. Additionally, this work contains a detailed discussion of an example which allows the application of various versions of mirror symmetry on K3. We show that all of them agree in that point of the moduli space.
• ### Consistency of Orbifold Conformal Field Theories on K3(hep-th/0010281)

Jan. 20, 2002 hep-th, math-ph, math.MP
We explicitly determine the locations of G orbifold conformal field theories, G=Z_M, M=2,3,4,6, G=\hat D_n, n=4,5, or G the binary tetrahedral group \hat T, within the moduli space M^{K3} of N=(4,4) superconformal field theories associated to K3. This is achieved purely from the known description of the moduli space [AM94] and the requirement of a consistent embedding of orbifold conformal field theories within M^{K3}. We calculate the Kummer type lattices for all these orbifold limits. Our method allows an elementary derivation of the B-field values in direction of the exceptional divisors that arise from the orbifold procedure [Asp95,Dou97,BI97], without recourse to D-geometry. We show that our consistency requirement fixes these values uniquely and determine them explicitly. The relation of our results to the classical McKay correspondence is discussed.
• ### Crystallographic Orbifolds: Towards a Classification of Unitary Conformal Field Theories with Central Charge c = 2(hep-th/0002227)

June 24, 2000 hep-th, math-ph, math.MP
We study the moduli space C^2 of unitary two-dimensional conformal field theories with central charge c=2. We construct all the 28 nonexceptional nonisolated irreducible components of C^2 that may be obtained by an orbifold procedure from toroidal theories. The parameter spaces and partition functions are calculated explicitly, and all multicritical points and lines are determined. We show that all but four of the 28 irreducible components of C^2 corresponding to nonexceptional orbifolds are directly or indirectly connected to the moduli space of toroidal theories in C^2. We relate our results to those by Dixon, Ginsparg, Harvey on the classification of c=3/2 superconformal field theories and thereby give geometric interpretations to all nonisolated orbifolds discussed there.
• ### Extremal Kaehler metrics and Ray-Singer analytic torsion(math/9904048)

May 6, 1999 math.DG, math.FA
Let (X,[\omega]) be a compact Kaehler manifold with a fixed Kaehler class [\omega]. Let K_\omega be the set of all Kaehler metrics on X whose Kaehler class equals [\omega]. In this paper we investigate the critical points of the functional Q(g)= |v|_g T_0(X,g)^{1/2} for g \in K_\omega, where v is a fixed nonzero vector of the determinant line \lambda(X) associated to H^*(X) and T_0(X,g) is the Ray-Singer analytic torsion. For a polarized algebraic manifold (X,L) we consider a twisted version Q_L(g) of this functional and assume that c_1(L)=[\omega]. Then the critical points of Q_L are exactly the metrics g\in K_\omega of constant scalar curvature. In particular, if c_1(X)=0 or if c_1(X)<0 and 1/(2\pi)[\omega] = -c_1(X), then K_\omega contains a unique Kaehler-Einstein metric g_{KE} and Q_L attains its absolut maximum at g_{KE}.