
We construct a Borcherds KacMoody (BKM) superalgebra on which the Conway
group Co$_0$ acts faithfully. We show that the BKM algebra is generated by the
BRSTclosed states in a chiral superstring theory. We use this construction to
produce denominator identities for the chiral partition functions of the Conway
module $V^{s\natural}$, a supersymmetric $c=12$ chiral conformal field theory
whose (twisted) partition functions enjoy moonshine properties and which has
automorphism group isomorphic to Co$_0$. In particular, these functions satisfy
a genus zero property analogous to that of monstrous moonshine. Finally, we
suggest how one may promote the denominators to spacetime BPS indices in type
II string theory, which might thus furnish a physical explanation of the genus
zero property of Conway moonshine.

In this paper we address the following two closely related questions. First,
we complete the classification of finite symmetry groups of type IIA string
theory on $K3\times \mathbb R^6$, where Niemeier lattices play an important
role. This extends earlier results by including points in the moduli space with
enhanced gauge symmetries in spacetime, or, equivalently, where the worldsheet
CFT becomes singular. After classifying the symmetries as abstract groups, we
study how they act on the BPS states of the theory. In particular, we classify
the conjugacy classes in the Tduality group $O^+(\Gamma^{4,20})$ which
represent physically distinct symmetries. Subsequently, we make two conjectures
regarding the connection between the corresponding twining genera of $K3$ CFTs
and Conway and umbral moonshine, building upon earlier work on the relation
between moonshine and the $K3$ elliptic genus.

We consider the spectrum of BPS states of the heterotic sigma model with
$(0,8)$ supersymmetry and $T^8$ target, as well as its secondquantized
counterpart. We show that the counting function for such states is intimately
related to Borcherds' automorphic form $\Phi_{12}$, a modular form which
exhibits automorphy for $O(2,26;{\mathbb Z})$. We comment on possible
implications for Umbral moonshine and theories of AdS$_3$ gravity.

We define a very general class of CHLmodels associated with any string
theory (bosonic or supersymmetric) compactified on an internal CFT C x T^d. We
take the orbifold by a pair (g,\delta), where g is a (possibly nongeometric)
symmetry of C and \delta is a translation along T^d. We analyze the Tdualities
of these models and show that in general they contain AtkinLehner type
symmetries. This generalizes our previous work on N=4 CHLmodels based on
heterotic string theory on T^6 or type II on K3 x T^2, as well as the
`monstrous' CHLmodels based on a compactification of heterotic string theory
on the FrenkelLepowskyMeurman CFT V^{\natural}.

We determine the generating functions of 1/4 BPS dyons in a class of 4d
$\mathcal{N}=4$ string vacua arising as CHL orbifolds of $K3 \times T^2$, a
classification of which has been recently completed. We show that all such
generating functions obey some simple physical consistency conditions that are
very often sufficient to fix them uniquely. The main constraint we impose is
the absence of unphysical walls of marginal stability: discontinuities of 1/4
BPS degeneracies can only occur when 1/4 BPS dyons decay into pairs of 1/2 BPS
states. Formally, these generating functions in spacetime can be described as
multiplicative lifts of certain supersymmetric indices (twining genera) on the
worldsheet of the corresponding nonlinear sigma model on K3. As a consequence,
our procedure also leads to an explicit derivation of almost all of these
twining genera. The worldsheet indices singled out in this way match precisely
a set of functions of interest in moonshine, as predicted by a recent
conjecture.

In this note, we expand on some technical issues raised in \cite{PPV} by the
authors, as well as providing a friendly introduction to and summary of our
previous work. We construct a set of heterotic string compactifications to 0+1
dimensions intimately related to the Monstrous moonshine module of Frenkel,
Lepowsky, and Meurman (and orbifolds thereof). Using this model, we review our
physical interpretation of the genus zero property of Monstrous moonshine.
Furthermore, we show that the space of (secondquantized) BPSstates forms a
module over the Monstrous Lie algebras $\mathfrak{m}_g$some of the first and
most prominent examples of Generalized KacMoody algebrasconstructed by
Borcherds and Carnahan. In particular, we clarify the structure of the module
present in the secondquantized string theory. We also sketch a proof of our
methods in the language of vertex operator algebras, for the interested
mathematician.

We consider four dimensional CHL models with sixteen spacetime
supersymmetries obtained from orbifolds of type IIA superstring on K3 x T^2 by
a Z_N symmetry acting (possibly) nongeometrically on K3. We show that most of
these models (in particular, for geometric symmetries) are selfdual under a
weakstrong duality acting on the heterotic axiodilaton modulus S by a "Fricke
involution" S > 1/NS. This is a novel symmetry of CHL models that lies
outside of the standard SL(2,Z)symmetry of the parent theory, heterotic
strings on T^6. For selfdual models this implies that the lattice of purely
electric charges is Nmodular, i.e. isometric to its dual up to a rescaling of
its quadratic form by N. We verify this prediction by determining the lattices
of electric and magnetic charges in all relevant examples. We also calculate
certain BPSsaturated couplings and verify that they are invariant under the
Fricke Sduality. For CHL models that are not selfdual, the strong coupling
limit is dual to type IIA compactified on T^6/Z_N, for some Z_Nsymmetry
preserving half of the spacetime supersymmetries.

The simplest string theory compactifications to 3D with 16 supercharges 
the heterotic string on $T^7$, and type II strings on $K3 \times T^3$  are
related by Uduality, and share a moduli space of vacua parametrized by
$O(8,24; \mathbb{Z}) \backslash O(8,24) / (O(8) \times O(24))$. One can think
of this as the moduli space of even, selfdual 32dimensional lattices with
signature (8,24). At 24 special points in moduli space, the lattice splits as
$\Gamma^{8,0} \oplus \Gamma^{0,24}$. $\Gamma^{0,24}$ can be the Leech lattice
or any of 23 Niemeier lattices, while $\Gamma^{8,0}$ is the $E_8$ root lattice.
We show that starting from this observation, one can find a precise connection
between the Umbral groups and type IIA string theory on $K3$. This provides a
natural physical starting point for understanding Mathieu and Umbral moonshine.
The maximal unbroken subgroups of Umbral groups in 6D (or any other limit) are
those obtained by starting at the associated Niemeier point and moving in
moduli space while preserving the largest possible subgroup of the Umbral
group. To illustrate the action of these symmetries on BPS states, we discuss
the computation of certain protected fourderivative terms in the effective
field theory, and recover facts about the spectrum and symmetry representations
of 1/2BPS states.

We provide a physics derivation of Monstrous moonshine. We show that the
McKayThompson series $T_g$, $g\in \mathbb{M}$, can be interpreted as
supersymmetric indices counting spacetime BPSstates in certain heterotic
string models. The invariance groups of these series arise naturally as
spacetime Tduality groups and their genus zero property descends from the
behaviour of these heterotic models in suitable decompactification limits. We
also show that the space of BPSstates forms a module for the Monstrous Lie
algebras $\mathfrak{m}_g$, constructed by Borcherds and Carnahan. We argue that
$\mathfrak{m}_g$ arise in the heterotic models as algebras of spontaneously
broken gauge symmetries, whose generators are in exact correspondence with
BPSstates. This gives $\mathfrak{m}_g$ an interpretation as a kind of
BPSalgebra.

We study the second quantized version of the twisted twining genera of
generalized Mathieu moonshine, and prove that they give rise to Siegel modular
forms with infinite product representations. Most of these forms are expected
to have an interpretation as twisted partition functions counting 1/4 BPS dyons
in type II superstring theory on K3\times T^2 or in heterotic CHLmodels. We
show that all these Siegel modular forms, independently of their possible
physical interpretation, satisfy an "Sduality" transformation and a
"wallcrossing formula". The latter reproduces all the etaproducts of an older
version of generalized Mathieu moonshine proposed by Mason in the '90s.
Surprisingly, some of the Siegel modular forms we find coincide with the
multiplicative (Borcherds) lifts of Jacobi forms in umbral moonshine.

A systematic analysis of the genus two vacuum amplitudes of chiral selfdual
conformal field theories is performed. It is explained that the existence of a
modular invariant genus two partition function implies infinitely many
relations among the structure constants of the theory. All of these relations
are shown to be a consequence of the associativity of the OPE, as well as the
modular covariance properties of the torus onepoint functions. Using these
techniques we prove that for the proposed extremal conformal field theories at
c=24k a consistent genus two vacuum amplitude exists for all k, but that this
does not actually check the consistency of these theories beyond what is
already testable at genus one.

Motivated by an analogous result for K3 models, we classify all groups of
symmetries of nonlinear sigma models on a torus T^4 that preserve the N=(4,4)
superconformal algebra. The resulting symmetry groups are isomorphic to certain
subgroups of the Weyl group of E8, that plays a role similar to the Conway
group for the case of K3 models. Our analysis heavily relies on the triality
automorphism of the Tduality group SO(4,4,Z). As a byproduct of our results,
we discover new explicit descriptions of K3 models as asymmetric orbifolds of
torus CFTs.

The Mathieu twisted twining genera, i.e. the analogues of Norton's
generalised Moonshine functions, are constructed for the elliptic genus of K3.
It is shown that they satisfy the expected consistency conditions, and that
their behaviour under modular transformations is controlled by a 3cocycle in
H^3(M_24,U(1)), just as for the case of holomorphic orbifolds. This suggests
that a holomorphic VOA may be underlying Mathieu Moonshine.

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.

Generalised moonshine is reviewed from the point of view of holomorphic
orbifolds, putting special emphasis on the role of the third cohomology group
H^3(G, U(1)) in characterising consistent constructions. These ideas are then
applied to the case of Mathieu moonshine, i.e. the recently discovered
connection between the largest Mathieu group M_24 and the elliptic genus of K3.
In particular, we find a complete list of twisted twining genera whose modular
properties are controlled by a class in H^3(M_24, U(1)), as expected from
general orbifold considerations.

Vectorvalued Siegel modular forms are the natural generalization of the
classical elliptic modular forms as seen by studying the cohomology of the
universal abelian variety. We show that for g>=4, a new class of vectorvalued
modular forms, defined on the Teichmuller space, naturally appears from the
Mumford forms, a question directly related to the Schottky problem. In this
framework we show that the discriminant of the quadric associated to the
complex curves of genus 4 is proportional to the square root of the products of
Thetanullwerte \chi_{68}, which is a proof of the recently rediscovered Klein
`amazing formula'. Furthermore, it turns out that the coefficients of such a
quadric are derivatives of the SchottkyIgusa form evaluated at the Jacobian
locus, implying new theta relations involving the latter, \chi_{68} and the
theta series corresponding to the even unimodular lattices E_8\oplus E_8 and
D_{16}^+. We also find, for g=4, a functional relation between the singular
component of the theta divisor and the Riemann period matrix.

The current status of `Mathieu Moonshine', the idea that the Mathieu group
M24 organises the elliptic genus of K3, is reviewed. While there is a
consistent decomposition of all Fourier coefficients of the elliptic genus in
terms of Mathieu M24 representations, a conceptual understanding of this
phenomenon in terms of K3 sigmamodels is still missing. In particular, it
follows from the recent classification of the automorphism groups of arbitrary
K3 sigmamodels that (i) there is no single K3 sigmamodel that has M24 as an
automorphism group; and (ii) there exist `exceptional' K3 sigmamodels whose
automorphism group is not even a subgroup of M24. Here we show that all cyclic
torus orbifolds are exceptional in this sense, and that almost all of the
exceptional cases are realised as cyclic torus orbifolds. We also provide an
explicit construction of a Z5 torus orbifold that realises one exceptional
class of K3 sigmamodels.

A recent observation by Eguchi, Ooguri and Tachikawa (EOT) suggests a
relationship between the largest Mathieu group M24 and the elliptic genus of
K3. This correspondence would be naturally explained by the existence of a
nonlinear sigmamodel on K3 with the Mathieu group as its group of symmetries.
However, all possible symmetry groups of K3 models have been recently
classified and none of them contains M24. We review the evidence in favour of
the EOT conjecture and discuss the open problems in its physical
interpretation.

We characterize genus g canonical curves by the vanishing of combinatorial
products of g+1 determinants of BrillNoether matrices. This also implies the
characterization of canonical curves in terms of (g2)(g3)/2 theta identities.
A remarkable mechanism, based on a basis of H^0(K_C) expressed in terms of
Szego kernels, reduces such identities to a simple rank condition for matrices
whose entries are logarithmic derivatives of theta functions. Such a basis,
together with the Fay trisecant identity, also leads to the solution of the
question of expressing the determinant of BrillNoether matrices in terms of
theta functions, without using the problematic KleinFay section sigma.

We evaluate the partition function of three dimensional theories of gravity
in the quantum regime, where the AdS radius is Planck scale and the central
charge is of order one. The contribution from the AdS vacuum sector can  with
certain assumptions  be computed and equals the vacuum character of a minimal
model CFT. The torus partition function is given by a sum over geometries which
is finite and computable. For generic values of Newton's constant G and the AdS
radius L the result has no Hilbert space interpretation, but in certain cases
it agrees with the partition function of a known CFT. For example, the
partition function of pure Einstein gravity with G=3L equals that of the Ising
model, providing evidence that these theories are dual. We also present
somewhat weaker evidence that the 3state and tricritical Potts models are dual
to pure higher spin theories of gravity based on SL(3) and E_6, respectively.

It is shown that the supersymmetrypreserving automorphisms of any nonlinear
sigmamodel on K3 generate a subgroup of the Conway group Co_1. This is the
stringy generalisation of the classical theorem, due to Mukai and Kondo,
showing that the symplectic automorphisms of any K3 manifold form a subgroup of
the Mathieu group M_{23}. The Conway group Co_1 contains the Mathieu group
M_{24} (and therefore in particular M_{23}) as a subgroup. We confirm the
predictions of the Theorem with three explicit CFT realisations of K3: the
T^4/Z_2 orbifold at the selfdual point, and the two Gepner models (2)^4 and
(1)^6. In each case we demonstrate that their symmetries do not form a subgroup
of M_{24}, but lie inside Co_1 as predicted by our Theorem.

It has recently been conjectured that the elliptic genus of K3 can be written
in terms of dimensions of Mathieu group M24 representations. Some further
evidence for this idea was subsequently found by studying the twining genera
that are obtained from the elliptic genus upon replacing dimensions of Mathieu
group representations by their characters. In this paper we find explicit
formulae for all (remaining) twining genera by making an educated guess for
their general modular properties. This allows us to identify the decomposition
of all expansion coefficients in terms of dimensions of M24representations.
For the first 500 coefficients we verify that the multiplicities with which
these representations appear are indeed all nonnegative integers. This
represents very compelling evidence in favour of the conjecture.

The analogue of the McKayThompson series for the proposed Mathieu group
action on the elliptic genus of K3 is analysed. The corresponding NSsector
twining characters have good modular properties and satisfy remarkable
replication identities. These observations provide strong support for the
conjecture that the elliptic genus of K3 carries indeed an action of the
Mathieu group M24.

We explicitly show how the chiral superstring amplitudes can be obtained
through factorisation of the higher genus chiral measure induced by suitable
degenerations of Riemann surfaces. This powerful tool also allows to derive, at
any genera, consistency relations involving the amplitudes and the measure. A
key point concerns the choice of the local coordinate at the node on degenerate
Riemann surfaces that greatly simplifies the computations. As a first
application, starting from recent ansaetze for the chiral measure up to genus
five, we compute the chiral twopoint function for massless NeveuSchwarz
states at genus two, three and four. For genus higher than three, these
computations include some new corrections to the conjectural formulae appeared
so far in the literature. After GSO projection, the twopoint function vanishes
at genus two and three, as expected from spacetime supersymmetry arguments,
but not at genus four. This suggests that the ansatz for the superstring
measure should be corrected for genus higher than four.

It is shown that the higher genus vacuum amplitudes of a meromorphic
conformal field theory determine the affine symmetry of the theory uniquely,
and we give arguments that suggest that also the representation content with
respect to this affine symmetry is specified, up to automorphisms of the finite
Lie algebra. We illustrate our findings with the selfdual theories at c=16 and
c=24; in particular, we give an elementary argument that shows that the vacuum
amplitudes of the E_8\times E_8 theory and the Spin(32)/Z_2 theory differ at
genus g=5. The fact that the discrepancy only arises at rather high genus is a
consequence of the modular properties of higher genus amplitudes at small
central charges. In fact, we show that for c\leq 24 the genus one partition
function specifies already the partition functions up to g\leq 4 uniquely.
Finally we explain how our results generalise to nonmeromorphic conformal
field theories.