
In their recent manuscript "An Uplifting Discussion of TDuality",
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 MackCrane 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
45dimensional vector spaces of states that account for the first order term in
the massive sector of the elliptic genus of K3 in every Z2orbifold CFT on K3.
These generic states are uniquely characterized by the fact that the action of
every geometric symmetry group of a Z2orbifold CFT yields a welldefined
faithful representation on them. Moreover, each such representation is obtained
by restriction of the 45dimensional 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 45dimensional irreducible representation of M24 exhibits a twist, which
we prove can be undone in the case of Z2orbifold 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 symmetrysurfing 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 M24compatible
fashion. We thus argue that a geometric approach from K3 to Mathieu Moonshine
may bear fruit.

The K3 sigma model based on the Z_2orbifold of the D_4torus 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 coarsegrained approximation of icosahedral viral capsids which
incorporates areas of variable flexibility. This highlights a remarkable
structure of the lowfrequency spectrum in this approximation, namely the
existence of a plateau of 24 near zeromodes 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 generalike
functions by decompactifying K3. The construction is tested against expressions
obtained in the context of strings propagating in background ALE spaces of type
A(n1), 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 topdown approach to analyse the dynamics of
icosahedral virus capsids and complement the information obtained from
bottomup 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 lowfrequency
modes shared by a large class of CasparKlug 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 noncompact or singular CalabiYau
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 topdown 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 coarsegraining, 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 noncompact or singular CalabiYau 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 Dbranes
and their open descendants. We highlight the crucial role played by group
theory and twodimensional 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 spacetime 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 Dbranes. 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 Dbranes 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 tendimensional fermionic closed string
theories from subspaces of the Hilbert space of the 26dimensional bosonic
closed string theory compactified on an $E_8\times SO(16)$ lattice. They arise
from a consistent truncation procedure which generates spacetime fermions out
of bosons. This procedure is extended to open string sectors. We prove, from
bosonic considerations alone, that truncation of the unique tadpolefree
$SO(2^{13})$ bosonic string theory compactified on the above lattice determines
the anomaly free ChanPaton group of the Type I theory. It also yields the
ChanPaton groups making Type O theories tadpolefree. These results establish
a link between all Mtheory strings and the bosonic string within the framework
of conformal field theory. Its significance is discussed.

We review the emergence of the tendimensional fermionic closed string
theories from subspaces of the Hilbert space of the 26dimensional bosonic
closed string theory compactified on an $E_8\times SO(16)$ lattice. They arise
from a consistent truncation procedure which generates spacetime fermions out
of bosons. This procedure is extended to open string sectors. We prove that
truncation of the unique tadpolefree $SO(2^{13})$ bosonic string theory
compactified on the above lattice determines the anomaly free ChanPaton group
of the Type I theory and the consistent ChanPaton groups of Type O theories.
It also predicts the tension of spacefilling Dbranes in these fermionic
theories. The derivation of these fermionic string properties from bosonic
considerations alone points towards a dynamical origin of the truncation
process. Spacetime 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: hepth/0106235

We construct new configurations of oppositely charged, static black hole
pairs (diholes) in four dimensions which are solutions of low energy
string/Mtheory. 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 fourcharge solutions to higher dimensions in order to
describe intersecting braneantibrane systems in string and Mtheory. 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.