• 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • Group theoretical arguments combined with normal mode analysis techniques are applied to a coarse-grained approximation of icosahedral viral capsids which incorporates areas of variable flexibility. This highlights a remarkable structure of the low-frequency spectrum in this approximation, namely the existence of a plateau of 24 near zero-modes with universal group theory content.
  • The structure and modular properties of N=4 superconformal characters are reviewed and exploited, in an attempt to construct elliptic genera-like functions by decompactifying K3. The construction is tested against expressions obtained in the context of strings propagating in background ALE spaces of type A(n-1), using the underlying superconformal theory, i.e the tensor product of N=2 minimal with N=2 Liouville theory.
  • We explore the use of a top-down approach to analyse the dynamics of icosahedral virus capsids and complement the information obtained from bottom-up studies of viral vibrations available in the literature. A normal mode analysis based on protein association energies is used to study the frequency spectrum, in which we reveal a universal plateau of low-frequency modes shared by a large class of Caspar-Klug capsids. These modes break icosahedral symmetry and are potentially relevant to the genome release mechanism. We comment on the role of viral tiling theory in such dynamical considerations.
  • Blueprints of polyhedral cages with icosahedral symmetry made of circular DNA molecules are provided. The basic rule is that every edge of the cage is met twice in opposite directions by the DNA strand, and vertex junctions are realised by a set of admissible junction types. As nanocontainers for cargo storage and delivery, the icosidodecahedral cages are of special interest as they have the largest volume per surface ratio of all cages discussed here.
  • When we describe string propagation on non-compact or singular Calabi-Yau manifolds by CFT, continuous as well as discrete representations appear in the theory. These representations mix in an intricate way under the modular transformations. In this article, we propose a method of combining discrete and continuous representations so that the resulting combinations have a simpler modular behavior and can be used as conformal blocks of the theory. We compute elliptic genera of ALE spaces and obtain results which agree with those suggested from the decompactification of K3 surface. Consistency of our approach is assured by some remarkable identity of theta functions. We include in the appendix some new materials on the representation theory of ${\cal N}=4$ superconformal algebra.
  • We present a top-down approach to the study of the dynamics of icosahedral virus capsids, in which each protein is approximated by a point mass. Although this represents a rather crude coarse-graining, we argue that it highlights several generic features of vibrational spectra which have been overlooked so far. We furthermore discuss the consequences of approximate inversion symmetry as well as the role played by Viral Tiling Theory in the study of virus capsid vibrations.
  • When we describe non-compact or singular Calabi-Yau manifolds by CFT, continuous as well as discrete representations appear in the theory. These representations mix in an intricate way under the modular transformations. In this article, we propose a method of combining discrete and continuous representations so that the resulting combinations have a simpler modular behavior and can be used as conformal blocks of the theory. We compute elliptic genera of ALE spaces and obtain results which agree with those suggested from the decompactification of K3 surface. Consistency of our approach is assured by some remarkable identity of theta functions whose proof, by D. Zagier, is included in an appendix.
  • A universal symmetric truncation of the bosonic string Hilbert space yields all known closed fermionic string theories in ten dimensions, their D-branes and their open descendants. We highlight the crucial role played by group theory and two-dimensional conformal field theory in the construction and emphasize the predictive power of the truncation. Such circumstantial evidence points towards the existence of a mechanism which generates space-time fermions out of bosons dynamically within the framework of bosonic string theory.
  • We extend the search for fermionic subspaces of the bosonic string compactified on E8 X SO(16) lattices to include all fermionic D-branes. This extension constraints the truncation procedure previously proposed and relates the fermionic strings, supersymmetric or not, to the global structure of the SO(16) group. The specific properties of all the fermionic D-branes are found to be encoded in its universal covering, whose maximal toroid defines the configuration space torus of their mother bosonic theory.
  • We review the emergence of the ten-dimensional fermionic closed string theories from subspaces of the Hilbert space of the 26-dimensional bosonic closed string theory compactified on an $E_8\times SO(16)$ lattice. They arise from a consistent truncation procedure which generates space-time fermions out of bosons. This procedure is extended to open string sectors. We prove, from bosonic considerations alone, that truncation of the unique tadpole-free $SO(2^{13})$ bosonic string theory compactified on the above lattice determines the anomaly free Chan-Paton group of the Type I theory. It also yields the Chan-Paton groups making Type O theories tadpole-free. These results establish a link between all M-theory strings and the bosonic string within the framework of conformal field theory. Its significance is discussed.
  • We review the emergence of the ten-dimensional fermionic closed string theories from subspaces of the Hilbert space of the 26-dimensional bosonic closed string theory compactified on an $E_8\times SO(16)$ lattice. They arise from a consistent truncation procedure which generates space-time fermions out of bosons. This procedure is extended to open string sectors. We prove that truncation of the unique tadpole-free $SO(2^{13})$ bosonic string theory compactified on the above lattice determines the anomaly free Chan-Paton group of the Type I theory and the consistent Chan-Paton groups of Type O theories. It also predicts the tension of space-filling D-branes in these fermionic theories. The derivation of these fermionic string properties from bosonic considerations alone points towards a dynamical origin of the truncation process. Space-time fermions and supersymmetries would then arise from bosonic degrees of freedom and no fermionic degrees of freedom would be needed in a fundamental theory of quantum gravity.
  • The results conjectured here are based on tachyon condensation in compactified bosonic strings. They can in fact be proven from compactification alone, but this step was not treated consistently here. The proof is given in a new version of the paper: hep-th/0106235
  • We construct new configurations of oppositely charged, static black hole pairs (diholes) in four dimensions which are solutions of low energy string/M-theory. The black holes are extremal and have four different charges. We also consider diholes in other theories with an arbitrary number of abelian gauge fields and scalars, where the black holes can be regarded as composite objects. We uplift the four-charge solutions to higher dimensions in order to describe intersecting brane-antibrane systems in string and M-theory. The properties of the strings and membranes stretched inbetween these branes and antibranes are studied. Several other generic features of these solutions are discussed.
  • Two sets of identities between unitary minimal Virasoro characters at levels $m=3,4,5$ are presented and proven. The first identity suggests a connection between the Ising and tricritical Ising models since the $m=3$ Virasoro characters are obtained as bilinears of $m=4$ Virasoro characters. The second identity gives the tricritical Ising model characters as bilinears in the Ising model characters and the six combinations of $m=5$ Virasoro characters which do not appear in the spectrum of the three state Potts model. The implication of these identities on the study of the branching rules of $N=4$ superconformal characters into $\widehat{SU(2)} \times \widehat{SU(2)}$ characters is discussed.