
The (complex) Hodgeelliptic genus and its conformal field theoretic
counterpart were recently introduced by Kachru and Tripathy, refining the
traditional complex elliptic genus. We construct a different, socalled chiral
Hodgeelliptic genus, which is expected to agree with the generic conformal
field theoretic Hodgeelliptic genus, in contrast to the complex Hodgeelliptic
genus as originally defined.
For K3 surfaces X, the chiral Hodgeelliptic 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
Hodgeelliptic genus of K3 theories, while the complex Hodgeelliptic 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 Hodgeelliptic 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.

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.

In snapshots, this exposition introduces conformal field theory, with a focus
on those perspectives that are relevant for interpreting superconformal field
theory by CalabiYau geometry. It includes a detailed discussion of the
elliptic genus as an invariant which certain superconformal field theories
share with the CalabiYau manifolds. K3 theories are (re)viewed as prime
examples of superconformal field theories where geometric interpretations are
known. A final snapshot addresses the K3related Mathieu Moonshine phenomena,
where a lead role is predicted for the chiral de Rham complex.

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
CalabiYau geometry. Topics include the complex and Kaehler geometry of
CalabiYau manifolds and their classification in low dimensions.
I furthermore discuss CFT constructions for the simplest known examples that
are based in CalabiYau geometry, namely for the toroidal superconformal field
theories and their Z2orbifolds.
En route from geometry to CFT, I offer a discussion of K3 surfaces as the
simplest class of CalabiYau manifolds where nonlinear 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.

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.

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 semirealistic NAHE free fermion model is proved to
be nongeometric: its Hodge numbers are not reproduced by any orbifold X/G. In
particular cases it is shown that X/G can agree with some BorceaVoisin
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.

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 hepth/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.

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 nonclassical 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.

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
crosscheck of this result, providing a link to the "mirror moonshine
phenomenon" on K3. We clarify the role of ShiodaInose 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.

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 nonlinear sigma models, can be regarded as
commutative degenerations of the corresponding ``quantum geometries''.
As an application, the large level limit of the Aseries of unitary Virasoro
minimal models is investigated in detail. In particular, its geometric
interpretation is determined.

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 (nonstable)
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.

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.

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 Bfield values in direction of the exceptional divisors that arise from the
orbifold procedure [Asp95,Dou97,BI97], without recourse to Dgeometry. 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.

We study the moduli space C^2 of unitary twodimensional 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.

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 RaySinger 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
KaehlerEinstein metric g_{KE} and Q_L attains its absolut maximum at g_{KE}.