arXiv subjects

Katrin Wendland

Publications and source records attributed to Katrin Wendland.

At least 19 recordsLinked to original sources

arXiv2025

Tracking the symmetries of $\mathbb Z_3$-orbifold K3s within the Mathieu groups

For $\mathbb Z_3$-orbifold limits of K3, we provide a counterpart to the extensive studies by Nikulin and others of the geometry and symmetries of classical Kummer surfaces. In particular, we determine the group of holomorphic symplectic automorphisms of $\mathbb Z_3$-orbifold limits of K3. We moreover track this group within two of the Mathieu groups, which involves a variation of Kondo's lattice techniques that Taormina and Wendland introduced earlier in their study of the symmetries of Kummer surfaces and the genesis of their symmetry surfing programme. Specifically, we realise the finite group of symplectic automorphisms of this class of K3 surfaces as a subgroup of the sporadic groups Mathieu 12 and Mathieu 24 in terms of permutations of 12, resp. 24 elements. As a proof of concept, we construct an embedding that yields the largest Mathieu group when the symmetry group of $\mathbb Z_3$-orbifold K3s is combined with all symmetries of Kummer surfaces.

math.AG↗

arXiv2020

SU(2) channels the cancellation of K3 BPS states

The conformal field theoretic elliptic genus, an invariant for N=(2,2) superconformal field theories, counts the BPS states in any such theory with signs, according to their bosonic or fermionic nature. For K3 theories, this invariant is the source of the Mathieu Moonshine phenomenon. There, the net number of quarter BPS states is positive for any conformal dimension above the massless threshold, but it may arise after cancellation of the contributions of an equal number of bosonic and fermionic BPS states present in non-generic theories, as is the case for the class of Z2-orbifolds of toroidal SCFTs. Nevertheless, the space H-roof of all BPS states that are generic to such orbifold theories provides a convenient framework to construct a particular generic space of states of K3 theories. We find a natural action of the group SU(2) on a subspace of H-roof which is compatible with the cancellations of contributions from the corresponding non-generic states. In fact, we propose that this action channels those cancellations. As a by-product, we find a new subspace of the generic space of states in H-roof.

hep-th↗

arXiv2020

Folding of Hitchin systems and crepant resolutions

Folding of ADE-Dynkin diagrams according to graph automorphisms yields irreducible Dynkin diagrams of ABCDEFG-types. This folding procedure allows to trace back the properties of the corresponding simple Lie algebras or groups to those of ADE-type. In this article, we implement the techniques of folding by graph automorphisms for Hitchin integrable systems. We show that the fixed point loci of these automorphisms are isomorphic as algebraic integrable systems to the Hitchin systems of the folded groups away from singular fibers. The latter Hitchin systems are isomorphic to the intermediate Jacobian fibrations of Calabi--Yau orbifold stacks constructed by the first author. We construct simultaneous crepant resolutions of the associated singular quasi-projective Calabi--Yau threefolds and compare the resulting intermediate Jacobian fibrations to the corresponding Hitchin systems.

math.AG↗

arXiv2019

Hodge-elliptic genera and how they govern K3 theories

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

hep-th↗

arXiv2018

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.

hep-th↗

arXiv2018

The Conway Moonshine Module is a Reflected K3 Theory

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.

hep-th↗

arXiv2017

Snapshots of Conformal Field Theory

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

hep-th↗

arXiv2015

K3 en route From Geometry to Conformal Field Theory

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

math.DG↗

arXiv2015

A twist in the M24 moonshine story

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.

hep-th↗

arXiv2015

Symmetry-surfing the moduli space of Kummer K3s

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.

hep-th↗

arXiv2013

A K3 sigma model with Z_2^8:M_{20} symmetry

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.

hep-th↗

arXiv2013

The overarching finite symmetry group of Kummer surfaces in the Mathieu group M_24

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.

hep-th↗

arXiv2011

The symmetries of the tetrahedral Kummer surface in the Mathieu group M_24

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.

hep-th↗

arXiv2008

On orbifolds and free fermion constructions

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

hep-th↗

arXiv2008

Decoding the geometry of conformal field theories

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 hep-th/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.

hep-th↗

arXiv2006

A family of SCFTs hosting all "very attractive" relatives of the (2)^4 Gepner model

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 non-classical 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.

hep-th↗

arXiv2005

On Superconformal Field Theories Associated to Very Attractive Quartics

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

hep-th↗

arXiv2004

Limits and Degenerations of Unitary Conformal Field Theories

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

hep-th↗