Not Doomed to Fail

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.


Introduction
Symmetries are a driving force in many areas of mathematics and theoretical physics. They are, in particular, central in the investigation of the recent phenomenon of Mathieu Moonshine and its relations to K3 theories [EOT11, Che10, GHV10b, GHV10a, EH11, TW13, Gan16, TW15b, TW15a, Son17, Wen17]. The Torelli theorems for complex tori [LP81] and K3 surfaces [Kul77, Loo81, Nam83, Siu81, Tod80] allow a description of the symmetries of these complex surfaces in terms of automorphisms of the respective lattices of integral cohomology. Inspired by these theorems, the use of lattice automorphisms has been extended to the investigation and classification of symmetries of superconformal field theories whose targets are complex surfaces [GHV12, Vol14].
At the basis of this approach lies, roughly speaking, the description of the moduli spaces of K3 theories [Sei88,Cec91,AM94,NW01], on the one hand, and of toroidal conformal field theories [CENT85,Nar86], on the other, as Grassmannians that are modelled on the even or odd part of the total cohomology of the complex two-dimensional target manifold. This may be viewed as an extension of the description of the moduli spaces of hyperkähler structures for the respective complex surfaces in terms of Grassmannians, which are modelled on the second cohomology. It is thus natural to expect the properties of automorphisms of the underlying lattices of integral cohomology to allow for a generalization to the conformal field theory setting. Though well rooted in mathematics, the very description of general symmetries both of toroidal and of K3 theories in terms of such lattice automorphisms is not immediate. The more important are the recent results [HM17] by J. Harvey and G. Moore, which show that the symmetries of toroidal conformal field theories cannot, in general, be fully described in terms of their action on the underlying charge lattice. Applied to toroidal N = (4, 4) superconformal field theories at central charges c = c = 6, where the charge lattice may be directly related to the lattice of odd integral cohomology of the target [Dij99,NW01], this raises some interesting questions about the traditional discussions of symmetries for these models.
More precisely, this discussion concerns symmetries of a toroidal conformal field theory which induce an action on the underlying charge lattice fixing the respective parameter point in the Grassmannian description of the moduli space. In [HM17], it is shown that vice versa, for certain toroidal conformal field theories, there exist automorphisms of the charge lattice which preserve the parameter point in the moduli space, but which lift to symmetries of double the order for the corresponding conformal field theory. In other words, the charge lattice of such a theory does not fully capture the symmetry group of the conformal field theory. There are also cases where a lift of the same order exists, which however acts non-trivially on some winding-momentum fields associated to invariant charge vectors 1 . Whether or not either of these phenomena occurs for a given lattice automorphism is encoded by equation (2.17) of the manuscript [HM17], simply dubbed the "doomed to fail" condition. This condition had previously been stated with different interpretation by K.S. Narain, M.H. Sarmadi and C. Vafa [NSV87,NSV91], and in a slightly different context by J. Lepowsky [Lep85,BHL07]. Hai Siong Tan used a similar approach in [Tan15] to determine consistent asymmetric orbifold group actions. The condition can be traced back to the properties of involutions on the charge lattice which fix the parameter point: whenever there exists a charge vector which has an odd scalar product with its image under such an involution, the lift is "doomed to fail", i.e. either only a lift of order four exists, or there are invariant charge vectors whose associated momentum-winding fields are multiplied by (−1). While the latter phenomenon is compatible with the description of symmetries of toroidal sigma models [Vol14], the former has not been discussed in this form before. The criterion is very elegant, as it makes it a simple matter of linear algebra to check whether or not a given lattice automorphism is doomed.
These findings could well be of direct relevance for the discussion of Mathieu Moonshine, independently of the general doubts that they may cast on the use of lattice techniques in describing symmetries of conformal field theories. Indeed, by a Z 2 -orbifolding, any toroidal N = (4, 4) superconformal field theory at central charges c = c = 6 gives rise to a K3 theory. The Z 2 -orbifolding procedure thereby induces a map between the respective moduli spaces which was determined in [NW01]. This map is described in terms of the underlying lattices of integral cohomology, and it requires a transition between the odd and the even integral cohomology of complex two-tori by means of triality [NW01]. 2 The symmetries of the underlying toroidal conformal field theories thus induce symmetries of the resulting K3 theories. A failure of a lattice automorphism to fully capture a symmetry of a toroidal theory may descend to the corresponding K3 theory.
We are not able to predict the full scope of consequences for Mathieu Moonshine that may follow from [HM17]. However, in this note we come back to a remark made by J. Harvey and G. Moore in the first version of their recent paper, addressing symmetry surfing. The latter is a technique that we have proposed first in [TW10] and that allows to combine geometric symmetry groups from distinct points in the moduli space of K3 theories [TW13]. In [TW15a], we have shown that the maximal subgroup Z 4 2 : A 8 of M 24 is the group which, by means of symmetry surfing, combines all geometric symmetries induced by the symmetries of complex tori in the corresponding Z 2orbifold conformal field theories. By constructing the leading order massive representation which contributes to Mathieu Moonshine, for this maximal subgroup, our work [TW15b] provides the first piece of evidence that the relevant representations of Mathieu Moonshine might arise intrinsically from conformal field theory. Our arguments have, in the meantime, been vastly generalized by M. Gaberdiel, Ch. Keller and H. Paul [GKP16], yielding additional evidence in favour of the proposal of symmetry surfing.
Whether or not the symmetries that are relevant for the works [TW13, TW15a, TW15b, GKP16] are doomed to fail is an important question for our programme. In this note we show that thanks to the very elegant "doomed to fail" condition, this question may be answered in the negative by means of elementary linear algebra: symmetry surfing is not doomed to fail by the uplifting properties of lattice automorphisms. It is important to appreciate that this statement is closely tied to the fact that symmetry surfing only proposes to combine geometric symmetries of K3 theories. In fact, we show more generally that geometric symmetries of toroidal conformal field theories are never doomed to fail. The very definition of geometric symmetries needs to be treated with great care. It refers to symplectic automorphisms of finite order that also leave invariant the B-field, viewed as a real-valued two-form. In particular, this notion excludes the identification of a B-field with its shifts by integral cohomology classes, thus excluding some symmetries that are certainly in the realm of geometry 3 . The adjective geometric thus solely means that such symmetries leave invariant a geometric interpretation. In the context of symmetry surfing, our notion of geometric symmetries is inseparably connected with the idea that there is a space of states that generically exist in all K3 theories, which bears all the structure that is relevant to Mathieu Moonshine. As already predicted in [TW15a, Wen15], the cohomology of the chiral de Rham complex of [MSV99, Bor01, BL00, GM04, LL07, BHS08] is expected to model this "space of generic states". In identifying the cohomology of the chiral de Rham complex with the large volume limit of a topological half-twist of K3 theories [Kap05], we need to require compatibility of the symmetries in question with a large volume limit. We do so by requiring that they leave invariant a geometric interpretation of the model. Recently, the idea of explaining Mathieu Moonshine by means of such a space of generic states has been further substantiated by the observation that the cohomology of the chiral de Rham complex for K3 surfaces indeed decomposes into irreducible representations of the "small" N = 4 superconformal algebra at central charge c = 6 with proper multiplicity spaces of every massive representation, i.e. without the occurrence of virtual representations [Son17,Wen17].
We emphasize that symmetry surfing has not been proved to explain Mathieu Moonshine, so far, and that this proposal may still ultimately fail, as is extensively discussed in [Wen17, §4.5]. However, in this note we use plain scientific arguments to prove that the symmetry surfing programme is not jeopardized by misidentification of geometric symmetries at the level of toroidal conformal field theories. Nevertheless, we expect that the findings of [HM17] have important implications on the discussion of symmetries of K3 theories, and thus on the broader programme.
The remainder of this note is divided into two sections. Section 1 is devoted to a more detailed discussion of our notion of geometric symmetries. We describe the properties of the symmetries that enter the symmetry surfing proposal of [TW10, TW13, TW15a] and that are thus relevant for [TW15b,GKP16]. In particular, the properties of the underlying symmetries of toroidal conformal field theories and their induced actions on the respective charge lattices are discussed. Section 2 is devoted to the proof of our claim that geometric symmetries of toroidal conformal field theories, in particular those that enter symmetry surfing, are not doomed to fail. We remark that an alternative, just as immediate proof follows from the discussion around equation (4.54) of [Tan15].

Geometric symmetries of K3 theories
The Mathieu Moonshine phenomenon, discovered by T. Eguchi, H. Ooguri and Y. Tachikawa [EOT11], predicts the existence of a Z 2 × Z 2 graded representation of the "small" N = 4 superconformal algebra of [ABD + 76] at central charge c = 6, whose diagonally Z 2 -graded character yields the complex elliptic genus of a K3 surface, and which simultaneously furnishes a representation of the Mathieu group M 24 . This should yield the corresponding twisted twining genera with their strongly restrictive modular properties. The existence of such an M 24 -module was proved by T. Gannon [Gan16]. However, in addition one expects a compatible structure of a super vertex operator algebra on this M 24 -module. The latter has not been constructed, so far. Neither has a satisfactory explanation been found for the existence of an M 24 -module with all this structure.
Our quest for an explanation of these phenomena has led us to propose that the M 24 -module in question should arise as a subspace of the spaces of states of K3 theories which is common to all such theories. The representations constructed in [TW15b,GKP16] arise precisely as such from the spaces of states of Z 2 -orbifold conformal field theories on K3. We suggest that the action of M 24 might then be explained by means of certain symmetry groups of K3 theories on this space of generic states, combined from distinct points of the moduli space. The latter is our proposal of symmetry surfing.
As explained in [TW15a, Wen15, Wen17], we expect such a space of generic states to arise as the large volume limit of a topological half-twist of the space of states of our K3 theories (denoted X in [TW15a, §5], for example). According to A. Kapustin, it thus may be modelled by the cohomology of the chiral de Rham complex of the underlying K3 surface [Kap05], which according to [Bor01,Prop. 3.7 and Def. 4.1] indeed carries the structure of a super vertex operator algebra, see also [Son17]. To be compatible with such a large volume limit, the symmetries that are relevant to Mathieu Moonshine must be geometric in the sense that they are induced by geometric symmetries of the underlying K3 surface, independently of the volume. More precisely, we require these symmetries to fix a geometric interpretation of our theories according to [AM94].
To characterize such symmetries more specifically, let us recall the description of the moduli space of K3 theories, following [AM94,NW01]. Indeed, a K3 theory may be specified by data that determine a hyperkähler structure on a K3 surface X, its volume V ∈ R, V > 0, and its B-field B ∈ H 2 (X, R). Here, the cohomology H * (X, R) of K3 is equipped with the scalar product ·, · of signature (4, 20) that is induced by the intersection form. A hyperkähler structure on X may then be uniquely specified by an oriented, positive definite three-dimensional subspace Σ ⊂ H 2 (X, R). Denoting by υ 0 ∈ H 0 (X, Z), υ ∈ H 4 (X, Z) a generating pair of vectors for the hyperbolic lattice H 0 (X, Z) ⊕ H 4 (X, Z) with υ 0 , υ = 1, the K3 theory in question is uniquely specified by the positive definite oriented four-dimensional subspace of H * (X, R) which is generated by As is explained, for example, in [GHV12], the symmetries in question in particular induce lattice automorphisms of H * (X, Z) which leave the above four-dimensional subspace of H * (X, R) invariant, point-wise. To be compatible with a large volume limit, this property must hold independently of the value of V . It follows that the vector υ must be invariant under our lattice automorphisms. Since our large volume limit is not only independent of the value of V but solely depends on a choice of complex structure, in all our works we have been even more restrictive on the symmetries that enter symmetry surfing. To call a symmetry geometric, we require it to fix the geometric interpretation, i.e. we require that the induced lattice automorphism fixes both υ and υ 0 . Thus B must also be fixed, see [TW15a, footnotes 18, 19], [TW15b,§4], and [GTVW14, §4.1.1].
All the symmetries that have been used in symmetry surfing, so far [TW13,TW15b,TW15a,GKP16], are induced from symmetries of Kummer surfaces that in turn descend from symmetries of the underlying complex torus. In other words, any such symmetry is given in terms of the geometric interpretation of our toroidal theory on some torus R d /Λ, d = 4, with B-field B. Here, B is given by a real, skew-symmetric d × d matrix, Λ ⊂ R d is a lattice of rank d and by Λ * ⊂ R d we denote its dual after identification of R d with (R d ) * by means of the Euclidean metric ·, that is, The corresponding charge lattice then is The geometric symmetries of the toroidal superconformal field theory that might potentially be affected by the findings of [HM17]

Not Doomed to Fail
Consider a toroidal conformal field theory with charge lattice Γ ⊂ R d,d , and a lattice automorphism γ of Γ which fixes the parameter point of the theory, i.e. which acts on the charge lattice by means of ∀p = (p l ; p r ) ∈ Γ : γ(p) = (g l p l ; g r p r ) with g l , g r ∈ O(d). Assume that γ has order ℓ. Then, reevaluating obstructions previously discussed in different interpretations or contexts [NSV87, NSV91, Lep85, BHL07, Tan15], J. Harvey and G. Moore find the following obstruction for γ to lift to an automorphism of order ℓ of the corresponding toroidal conformal field theory that leaves invariant winding-momentum fields associated to γ-invariant charge vectors [HM17, (2.17)]: such a lift is doomed to fail if ℓ is even and ∃p ∈ Γ : p • γ ℓ/2 (p) / ∈ 2Z. (2.1) To show that the geometric symmetries of toroidal conformal field theories are not doomed to fail, we may thus assume without loss of generality that ℓ = 2. As explained in Section 1 above, by (1.2) we furthermore assume that g l = g r = g ∈ O(d), Γ = Γ(Λ, B) as in (1.1) with B T = − B, and that gΛ = Λ, g B = Bg. We thus have g = g −1 = g T , and we find (g B) T = − Bg = −g B.
(2.2) For charge vectors with arbitrary λ, λ ′ ∈ Λ and µ, µ ′ ∈ Λ * we thus have In particular, since by assumption, gλ ∈ Λ and µ ∈ Λ * . In other words, the "doomed to fail" condition (2.1) does not hold. In particular, at d = 4 we learn that the symmetries that have been relevant for symmetry surfing, so far, are not doomed to fail.