-
Visualizing Neural Network Imagination
Authors:
Nevan Wichers,
Victor Tao,
Riccardo Volpato,
Fazl Barez
Abstract:
In certain situations, neural networks will represent environment states in their hidden activations. Our goal is to visualize what environment states the networks are representing. We experiment with a recurrent neural network (RNN) architecture with a decoder network at the end. After training, we apply the decoder to the intermediate representations of the network to visualize what they represe…
▽ More
In certain situations, neural networks will represent environment states in their hidden activations. Our goal is to visualize what environment states the networks are representing. We experiment with a recurrent neural network (RNN) architecture with a decoder network at the end. After training, we apply the decoder to the intermediate representations of the network to visualize what they represent. We define a quantitative interpretability metric and use it to demonstrate that hidden states can be highly interpretable on a simple task. We also develop autoencoder and adversarial techniques and show that benefit interpretability.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
Topological defects in K3 sigma models
Authors:
Roberta Angius,
Stefano Giaccari,
Roberto Volpato
Abstract:
We consider the topological defect lines commuting with the spectral flow and the $\mathcal{N}=(4,4)$ superconformal symmetry in two dimensional non-linear sigma models on K3. By studying their fusion with boundary states, we derive a number of general results for the category of such defects. We argue that while for certain K3 models infinitely many simple defects, and even a continuum, can occur…
▽ More
We consider the topological defect lines commuting with the spectral flow and the $\mathcal{N}=(4,4)$ superconformal symmetry in two dimensional non-linear sigma models on K3. By studying their fusion with boundary states, we derive a number of general results for the category of such defects. We argue that while for certain K3 models infinitely many simple defects, and even a continuum, can occur, at generic points in the moduli space the category is actually trivial, i.e. it is generated by the identity defect. Furthermore, we show that if a K3 model is at the attractor point for some BPS configuration of D-branes, then all topological defects have integral quantum dimension. We also conjecture that a continuum of topological defects arises if and only if the K3 model is a (possibly generalized) orbifold of a torus model. Finally, we test our general results in a couple of examples, where we provide a partial classification of the topological defects.
△ Less
Submitted 3 July, 2024; v1 submitted 13 February, 2024;
originally announced February 2024.
-
A fresh view on string orbifolds
Authors:
Stefano Giaccari,
Roberto Volpato
Abstract:
In quantum field theory, an orbifold is a way to obtain a new theory from an old one by gauging a finite global symmetry. This definition of orbifold does not make sense for quantum gravity theories, that admit (conjecturally) no global symmetries. In string theory, the orbifold procedure involves the gauging of a global symmetry on the world-sheet theory describing the fundamental string. Alterna…
▽ More
In quantum field theory, an orbifold is a way to obtain a new theory from an old one by gauging a finite global symmetry. This definition of orbifold does not make sense for quantum gravity theories, that admit (conjecturally) no global symmetries. In string theory, the orbifold procedure involves the gauging of a global symmetry on the world-sheet theory describing the fundamental string. Alternatively, it is a way to obtain a new string background from an old one by quotienting some isometry. We propose a new formulation of string orbifolds in terms of the group of gauge symmetries of a given string model. In such a formulation, the `parent' and the `child' theories correspond to different ways of breaking or gauging all potential global symmetries of their common subsector. Through a couple of simple examples, we describe how the higher group structure of the gauge group in the parent theory plays a crucial role in determining the gauge group and the twisted sector of the orbifold theory. We also discuss the dependence of this orbifold procedure on the duality frame.
△ Less
Submitted 26 January, 2023; v1 submitted 18 October, 2022;
originally announced October 2022.
-
BPS Algebras in 2D String Theory
Authors:
Sarah M. Harrison,
Natalie M. Paquette,
Daniel Persson,
Roberto Volpato
Abstract:
We discuss a set of heterotic and type II string theory compactifications to 1+1 dimensions that are characterized by factorized internal worldsheet CFTs of the form $V_1\otimes \bar V_2$, where $V_1, V_2$ are self-dual (super) vertex operator algebras. In the cases with spacetime supersymmetry, we show that the BPS states form a module for a Borcherds-Kac-Moody (BKM) (super)algebra, and we prove…
▽ More
We discuss a set of heterotic and type II string theory compactifications to 1+1 dimensions that are characterized by factorized internal worldsheet CFTs of the form $V_1\otimes \bar V_2$, where $V_1, V_2$ are self-dual (super) vertex operator algebras. In the cases with spacetime supersymmetry, we show that the BPS states form a module for a Borcherds-Kac-Moody (BKM) (super)algebra, and we prove that for each model the BKM (super)algebra is a symmetry of genus zero BPS string amplitudes. We compute the supersymmetric indices of these models using both Hamiltonian and path integral formalisms. The path integrals are manifestly automorphic forms closely related to the Borcherds-Weyl-Kac denominator. Along the way, we comment on various subtleties inherent to these low-dimensional string compactifications.
△ Less
Submitted 7 July, 2021;
originally announced July 2021.
-
Fun with $F_{24}$
Authors:
Sarah M. Harrison,
Natalie M. Paquette,
Daniel Persson,
Roberto Volpato
Abstract:
We study some special features of $F_{24}$, the holomorphic $c=12$ superconformal field theory (SCFT) given by 24 chiral free fermions. We construct eight different Lie superalgebras of "physical" states of a chiral superstring compactified on $F_{24}$, and we prove that they all have the structure of Borcherds-Kac-Moody superalgebras. This produces a family of new examples of such superalgebras.…
▽ More
We study some special features of $F_{24}$, the holomorphic $c=12$ superconformal field theory (SCFT) given by 24 chiral free fermions. We construct eight different Lie superalgebras of "physical" states of a chiral superstring compactified on $F_{24}$, and we prove that they all have the structure of Borcherds-Kac-Moody superalgebras. This produces a family of new examples of such superalgebras. The models depend on the choice of an $\mathcal{N}=1$ supercurrent on $F_{24}$, with the admissible choices labeled by the semisimple Lie algebras of dimension 24. We also discuss how $F_{24}$, with any such choice of supercurrent, can be obtained via orbifolding from another distinguished $c=12$ holomorphic SCFT, the $\mathcal{N}=1$ supersymmetric version of the chiral CFT based on the $E_8$ lattice.
△ Less
Submitted 20 December, 2020; v1 submitted 30 September, 2020;
originally announced September 2020.
-
Vertex operator superalgebra/sigma model correspondences: The four-torus case
Authors:
Vassilis Anagiannis,
Miranda C. N. Cheng,
John Duncan,
Roberto Volpato
Abstract:
We propose a correspondence between vertex operator superalgebras and families of sigma models in which the two structures are related by symmetry properties and a certain reflection procedure. The existence of such a correspondence is motivated by previous work on N=(4,4) supersymmetric non-linear sigma models on K3 surfaces and on a vertex operator superalgebra with Conway group symmetry. Here w…
▽ More
We propose a correspondence between vertex operator superalgebras and families of sigma models in which the two structures are related by symmetry properties and a certain reflection procedure. The existence of such a correspondence is motivated by previous work on N=(4,4) supersymmetric non-linear sigma models on K3 surfaces and on a vertex operator superalgebra with Conway group symmetry. Here we present an example of the correspondence for N=(4,4) supersymmetric non-linear sigma models on four-tori, and compare it to the K3 case.
△ Less
Submitted 31 August, 2020;
originally announced September 2020.
-
Active learning to optimise time-expensive algorithm selection
Authors:
Riccardo Volpato,
Guangyan Song
Abstract:
Hard optimisation problems such as Boolean Satisfiability typically have long solving times and can usually be solved by many algorithms, although the performance can vary widely in practice. Research has shown that no single algorithm outperforms all the others; thus, it is crucial to select the best algorithm for a given problem. Supervised machine learning models can accurately predict which so…
▽ More
Hard optimisation problems such as Boolean Satisfiability typically have long solving times and can usually be solved by many algorithms, although the performance can vary widely in practice. Research has shown that no single algorithm outperforms all the others; thus, it is crucial to select the best algorithm for a given problem. Supervised machine learning models can accurately predict which solver is best for a given problem, but they require first to run every solver in the portfolio for all examples available to create labelled data. As this approach cannot scale, we developed an active learning framework that addresses this problem by constructing an optimal training set, so that the learner can achieve higher or equal performances with less training data. Our work proves that active learning is beneficial for algorithm selection techniques and provides practical guidance to incorporate into existing systems.
△ Less
Submitted 7 September, 2019;
originally announced September 2019.
-
Some comments on symmetric orbifolds of K3
Authors:
Roberto Volpato
Abstract:
We consider two dimensional $\mathcal{N}=(4,4)$ superconformal field theories in the moduli space of symmetric orbifolds of K3. We complete a classification of the discrete groups of symmetries of these models, conditional to a series of assumptions and with certain restrictions. Furthermore, we provide a partial classification of the set of twining genera, encoding the action of a discrete symmet…
▽ More
We consider two dimensional $\mathcal{N}=(4,4)$ superconformal field theories in the moduli space of symmetric orbifolds of K3. We complete a classification of the discrete groups of symmetries of these models, conditional to a series of assumptions and with certain restrictions. Furthermore, we provide a partial classification of the set of twining genera, encoding the action of a discrete symmetry $g$ on a space of supersymmetric states in these models. These results suggest the existence of a number of surprising identities between seemingly different Borcherds products, representing Siegel modular forms of degree two and level $N>1$. We also provide a critical review of various properties of the moduli space of these superconformal field theories, including the groups of dualities, the set of singular models and the locus of symmetric orbifold points, and describe some puzzles related to our (lack of) understanding of these properties.
△ Less
Submitted 21 October, 2019; v1 submitted 28 February, 2019;
originally announced February 2019.
-
A Borcherds-Kac-Moody superalgebra with Conway symmetry
Authors:
Sarah M. Harrison,
Natalie M. Paquette,
Roberto Volpato
Abstract:
We construct a Borcherds Kac-Moody (BKM) superalgebra on which the Conway group Co$_0$ acts faithfully. We show that the BKM algebra is generated by the BRST-closed 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 (twi…
▽ More
We construct a Borcherds Kac-Moody (BKM) superalgebra on which the Conway group Co$_0$ acts faithfully. We show that the BKM algebra is generated by the BRST-closed 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.
△ Less
Submitted 28 March, 2018;
originally announced March 2018.
-
Dualities in CHL-Models
Authors:
Daniel Persson,
Roberto Volpato
Abstract:
We define a very general class of CHL-models 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,δ), where g is a (possibly non-geometric) symmetry of C and δis a translation along T^d. We analyze the T-dualities of these models and show that in general they contain Atkin-Lehner type symmetries. This generalizes o…
▽ More
We define a very general class of CHL-models 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,δ), where g is a (possibly non-geometric) symmetry of C and δis a translation along T^d. We analyze the T-dualities of these models and show that in general they contain Atkin-Lehner type symmetries. This generalizes our previous work on N=4 CHL-models based on heterotic string theory on T^6 or type II on K3 x T^2, as well as the `monstrous' CHL-models based on a compactification of heterotic string theory on the Frenkel-Lepowsky-Meurman CFT V^{\natural}.
△ Less
Submitted 3 April, 2017;
originally announced April 2017.
-
No More Walls! A Tale of Modularity, Symmetry, and Wall Crossing for 1/4 BPS Dyons
Authors:
Natalie M. Paquette,
Roberto Volpato,
Max Zimet
Abstract:
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 unphys…
▽ More
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.
△ Less
Submitted 16 February, 2017;
originally announced February 2017.
-
BPS Algebras, Genus Zero, and the Heterotic Monster
Authors:
Natalie M. Paquette,
Daniel Persson,
Roberto Volpato
Abstract:
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 inte…
▽ More
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 (second-quantized) BPS-states forms a module over the Monstrous Lie algebras $\mathfrak{m}_g$---some of the first and most prominent examples of Generalized Kac-Moody algebras---constructed by Borcherds and Carnahan. In particular, we clarify the structure of the module present in the second-quantized string theory. We also sketch a proof of our methods in the language of vertex operator algebras, for the interested mathematician.
△ Less
Submitted 18 January, 2017;
originally announced January 2017.
-
K3 String Theory, Lattices and Moonshine
Authors:
Miranda C. N. Cheng,
Sarah M. Harrison,
Roberto Volpato,
Max Zimet
Abstract:
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 world-sheet CFT becomes…
▽ More
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 world-sheet 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 T-duality group $O^+(Γ^{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.
△ Less
Submitted 18 July, 2017; v1 submitted 13 December, 2016;
originally announced December 2016.
-
Heterotic sigma models on $T^8$ and the Borcherds automorphic form $Φ_{12}$
Authors:
Sarah M. Harrison,
Shamit Kachru,
Natalie M. Paquette,
Roberto Volpato,
Max Zimet
Abstract:
We consider the spectrum of BPS states of the heterotic sigma model with $(0,8)$ supersymmetry and $T^8$ target, as well as its second-quantized counterpart. We show that the counting function for such states is intimately related to Borcherds' automorphic form $Φ_{12}$, a modular form which exhibits automorphy for $O(2,26;{\mathbb Z})$. We comment on possible implications for Umbral moonshine and…
▽ More
We consider the spectrum of BPS states of the heterotic sigma model with $(0,8)$ supersymmetry and $T^8$ target, as well as its second-quantized counterpart. We show that the counting function for such states is intimately related to Borcherds' automorphic form $Φ_{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.
△ Less
Submitted 16 July, 2017; v1 submitted 3 October, 2016;
originally announced October 2016.
-
3D String Theory and Umbral Moonshine
Authors:
Shamit Kachru,
Natalie M. Paquette,
Roberto Volpato
Abstract:
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 U-duality, 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, self-dual 32-dimensional lattices with signature (8,24). At 2…
▽ More
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 U-duality, 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, self-dual 32-dimensional lattices with signature (8,24). At 24 special points in moduli space, the lattice splits as $Γ^{8,0} \oplus Γ^{0,24}$. $Γ^{0,24}$ can be the Leech lattice or any of 23 Niemeier lattices, while $Γ^{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 four-derivative terms in the effective field theory, and recover facts about the spectrum and symmetry representations of 1/2-BPS states.
△ Less
Submitted 12 June, 2016; v1 submitted 23 March, 2016;
originally announced March 2016.
-
Monstrous BPS-Algebras and the Superstring Origin of Moonshine
Authors:
Natalie M. Paquette,
Daniel Persson,
Roberto Volpato
Abstract:
We provide a physics derivation of Monstrous moonshine. We show that the McKay-Thompson series $T_g$, $g\in \mathbb{M}$, can be interpreted as supersymmetric indices counting spacetime BPS-states in certain heterotic string models. The invariance groups of these series arise naturally as spacetime T-duality groups and their genus zero property descends from the behaviour of these heterotic models…
▽ More
We provide a physics derivation of Monstrous moonshine. We show that the McKay-Thompson series $T_g$, $g\in \mathbb{M}$, can be interpreted as supersymmetric indices counting spacetime BPS-states in certain heterotic string models. The invariance groups of these series arise naturally as spacetime T-duality 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 BPS-states 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 BPS-states. This gives $\mathfrak{m}_g$ an interpretation as a kind of BPS-algebra.
△ Less
Submitted 6 June, 2016; v1 submitted 20 January, 2016;
originally announced January 2016.
-
Fricke S-duality in CHL models
Authors:
Daniel Persson,
Roberto Volpato
Abstract:
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) non-geometrically on K3. We show that most of these models (in particular, for geometric symmetries) are self-dual under a weak-strong duality acting on the heterotic axio-dilaton modulus S by a "Fricke involution" S --> -1/N…
▽ More
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) non-geometrically on K3. We show that most of these models (in particular, for geometric symmetries) are self-dual under a weak-strong duality acting on the heterotic axio-dilaton 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 self-dual models this implies that the lattice of purely electric charges is N-modular, 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 BPS-saturated couplings and verify that they are invariant under the Fricke S-duality. For CHL models that are not self-dual, the strong coupling limit is dual to type IIA compactified on T^6/Z_N, for some Z_N-symmetry preserving half of the spacetime supersymmetries.
△ Less
Submitted 21 November, 2016; v1 submitted 27 April, 2015;
originally announced April 2015.
-
On symmetries of N=(4,4) sigma models on T^4
Authors:
Roberto Volpato
Abstract:
Motivated by an analogous result for K3 models, we classify all groups of symmetries of non-linear 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…
▽ More
Motivated by an analogous result for K3 models, we classify all groups of symmetries of non-linear 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 T-duality 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.
△ Less
Submitted 8 August, 2014; v1 submitted 10 March, 2014;
originally announced March 2014.
-
Second Quantized Mathieu Moonshine
Authors:
Daniel Persson,
Roberto Volpato
Abstract:
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 CHL-models. We show that all t…
▽ More
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 CHL-models. We show that all these Siegel modular forms, independently of their possible physical interpretation, satisfy an "S-duality" transformation and a "wall-crossing formula". The latter reproduces all the eta-products 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.
△ Less
Submitted 11 November, 2014; v1 submitted 2 December, 2013;
originally announced December 2013.
-
A K3 sigma model with Z_2^8:M_{20} symmetry
Authors:
Matthias R. Gaberdiel,
Anne Taormina,
Roberto Volpato,
Katrin Wendland
Abstract:
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_…
▽ More
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.
△ Less
Submitted 16 September, 2013;
originally announced September 2013.
-
Generalised Moonshine and Holomorphic Orbifolds
Authors:
Matthias R. Gaberdiel,
Daniel Persson,
Roberto Volpato
Abstract:
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 fin…
▽ More
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.
△ Less
Submitted 21 February, 2013;
originally announced February 2013.
-
Generalised Mathieu Moonshine
Authors:
Matthias R. Gaberdiel,
Daniel Persson,
Henrik Ronellenfitsch,
Roberto Volpato
Abstract:
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 3-cocycle in H^3(M_24,U(1)), just as for the case of holomorphic orbifolds. This suggests that a holomorphic VOA…
▽ More
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 3-cocycle 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.
△ Less
Submitted 16 January, 2014; v1 submitted 29 November, 2012;
originally announced November 2012.
-
Mathieu Moonshine and Orbifold K3s
Authors:
Matthias R. Gaberdiel,
Roberto Volpato
Abstract:
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 sigma-models is still missing. In particular, it follows from the recent class…
▽ More
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 sigma-models is still missing. In particular, it follows from the recent classification of the automorphism groups of arbitrary K3 sigma-models that (i) there is no single K3 sigma-model that has M24 as an automorphism group; and (ii) there exist `exceptional' K3 sigma-models 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 sigma-models.
△ Less
Submitted 22 June, 2012;
originally announced June 2012.
-
Mathieu Moonshine and symmetries of K3 sigma models
Authors:
Roberto Volpato
Abstract:
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 non-linear sigma-model 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…
▽ More
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 non-linear sigma-model 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.
△ Less
Submitted 30 January, 2012;
originally announced January 2012.
-
The Gravity Dual of the Ising Model
Authors:
Alejandra Castro,
Matthias R. Gaberdiel,
Thomas Hartman,
Alexander Maloney,
Roberto Volpato
Abstract:
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…
▽ More
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 3-state and tricritical Potts models are dual to pure higher spin theories of gravity based on SL(3) and E_6, respectively.
△ Less
Submitted 8 November, 2011;
originally announced November 2011.
-
Symmetries of K3 sigma models
Authors:
Matthias R. Gaberdiel,
Stefan Hohenegger,
Roberto Volpato
Abstract:
It is shown that the supersymmetry-preserving automorphisms of any non-linear sigma-model 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 theref…
▽ More
It is shown that the supersymmetry-preserving automorphisms of any non-linear sigma-model 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 self-dual 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.
△ Less
Submitted 21 June, 2011;
originally announced June 2011.
-
Vector-Valued Modular Forms from the Mumford Form, Schottky-Igusa Form, Product of Thetanullwerte and the Amazing Klein Formula
Authors:
Marco Matone,
Roberto Volpato
Abstract:
Vector-valued 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 vector-valued 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 tha…
▽ More
Vector-valued 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 vector-valued 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 χ_{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 Schottky-Igusa form evaluated at the Jacobian locus, implying new theta relations involving the latter, χ_{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.
△ Less
Submitted 9 November, 2012; v1 submitted 31 January, 2011;
originally announced February 2011.
-
Mathieu Moonshine in the elliptic genus of K3
Authors:
Matthias R. Gaberdiel,
Stefan Hohenegger,
Roberto Volpato
Abstract:
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 (…
▽ More
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 M24-representations. For the first 500 coefficients we verify that the multiplicities with which these representations appear are indeed all non-negative integers. This represents very compelling evidence in favour of the conjecture.
△ Less
Submitted 8 June, 2011; v1 submitted 23 August, 2010;
originally announced August 2010.
-
Mathieu twining characters for K3
Authors:
Matthias R. Gaberdiel,
Stefan Hohenegger,
Roberto Volpato
Abstract:
The analogue of the McKay-Thompson series for the proposed Mathieu group action on the elliptic genus of K3 is analysed. The corresponding NS-sector 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.
The analogue of the McKay-Thompson series for the proposed Mathieu group action on the elliptic genus of K3 is analysed. The corresponding NS-sector 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.
△ Less
Submitted 1 June, 2010;
originally announced June 2010.
-
Getting superstring amplitudes by degenerating Riemann surfaces
Authors:
Marco Matone,
Roberto Volpato
Abstract:
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 sur…
▽ More
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 two-point function for massless Neveu-Schwarz 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 two-point function vanishes at genus two and three, as expected from space-time supersymmetry arguments, but not at genus four. This suggests that the ansatz for the superstring measure should be corrected for genus higher than four.
△ Less
Submitted 6 April, 2010; v1 submitted 17 March, 2010;
originally announced March 2010.
-
Genus two partition functions of chiral conformal field theories
Authors:
Matthias R. Gaberdiel,
Christoph A. Keller,
Roberto Volpato
Abstract:
A systematic analysis of the genus two vacuum amplitudes of chiral self-dual 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 covarianc…
▽ More
A systematic analysis of the genus two vacuum amplitudes of chiral self-dual 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 one-point 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.
△ Less
Submitted 16 October, 2014; v1 submitted 17 February, 2010;
originally announced February 2010.
-
Higher genus partition functions of meromorphic conformal field theories
Authors:
Matthias R. Gaberdiel,
Roberto Volpato
Abstract:
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 self-dual theories at c=16 and c=24; in partic…
▽ More
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 self-dual 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 non-meromorphic conformal field theories.
△ Less
Submitted 24 March, 2009;
originally announced March 2009.
-
Superstring measure and non-renormalization of the three-point amplitude
Authors:
Marco Matone,
Roberto Volpato
Abstract:
We show that a recently conjectured expression for the superstring three-point amplitude, in the framework of the Cacciatori, Dalla Piazza, van Geemen - Grushevsky ansatz for the chiral measure, fails to vanish at three-loop, in contrast with expectations from non-renormalization theorems. Based on analogous two-loop computations, we discuss the possibility of a non-trivial correction to the amp…
▽ More
We show that a recently conjectured expression for the superstring three-point amplitude, in the framework of the Cacciatori, Dalla Piazza, van Geemen - Grushevsky ansatz for the chiral measure, fails to vanish at three-loop, in contrast with expectations from non-renormalization theorems. Based on analogous two-loop computations, we discuss the possibility of a non-trivial correction to the amplitude and propose a natural candidate for such a contribution. Thanks to a new remarkable identity, it is reasonable to expect that the corrected three-point amplitude vanishes at three-loop, recovering the agreement with non-renormalization theorems.
△ Less
Submitted 29 August, 2008; v1 submitted 26 June, 2008;
originally announced June 2008.
-
The Singular Locus of the Theta Divisor and Quadrics through a Canonical Curve
Authors:
Marco Matone,
Roberto Volpato
Abstract:
A section K on a genus g canonical curve C is identified as the key tool to prove new results on the geometry of the singular locus Theta_s of the theta divisor. The K divisor is characterized by the condition of linear dependence of a set of quadrics containing C and naturally associated to a degree g effective divisor on C. K counts the number of intersections of special varieties on the Jacob…
▽ More
A section K on a genus g canonical curve C is identified as the key tool to prove new results on the geometry of the singular locus Theta_s of the theta divisor. The K divisor is characterized by the condition of linear dependence of a set of quadrics containing C and naturally associated to a degree g effective divisor on C. K counts the number of intersections of special varieties on the Jacobian torus defined in terms of Theta_s. It also identifies sections of line bundles on the moduli space of algebraic curves, closely related to the Mumford isomorphism, whose zero loci characterize special varieties in the framework of the Andreotti-Mayer approach to the Schottky problem, a result which also reproduces the only previously known case g=4. This new approach, based on the combinatorics of determinantal relations for two-fold products of holomorphic abelian differentials, sheds light on basic structures, and leads to the explicit expressions, in terms of theta functions, of the canonical basis of the abelian holomorphic differentials and of the constant defining the Mumford form. Furthermore, the metric on the moduli space of canonical curves, induced by the Siegel metric, which is shown to be equivalent to the Kodaira-Spencer map of the square of the Bergman reproducing kernel, is explicitly expressed in terms of the Riemann period matrix only, a result previously known for the trivial cases g=2 and g=3. Finally, the induced Siegel volume form is expressed in terms of the Mumford form.
△ Less
Submitted 11 October, 2007;
originally announced October 2007.
-
Compactified Strings as Quantum Statistical Partition Function on the Jacobian Torus
Authors:
Marco Matone,
Paolo Pasti,
Sergey Shadchin,
Roberto Volpato
Abstract:
We show that the solitonic contribution of compactified strings corresponds to the quantum statistical partition function of a free particle living on higher dimensional spaces. In the simplest case of a compactification in a circle, the Hamiltonian corresponds to the Laplacian on the 2g-dimensional Jacobian torus associated to the genus g Riemann surface corresponding to the string worldsheet.…
▽ More
We show that the solitonic contribution of compactified strings corresponds to the quantum statistical partition function of a free particle living on higher dimensional spaces. In the simplest case of a compactification in a circle, the Hamiltonian corresponds to the Laplacian on the 2g-dimensional Jacobian torus associated to the genus g Riemann surface corresponding to the string worldsheet. T-duality leads to a symmetry of the partition function mixing time and temperature. Such a classical/quantum correspondence and T-duality shed some light on the well-known interplay between time and temperature in QFT and classical statistical mechanics.
△ Less
Submitted 20 November, 2006; v1 submitted 20 July, 2006;
originally announced July 2006.
-
Determinantal Characterization of Canonical Curves and Combinatorial Theta Identities
Authors:
Marco Matone,
Roberto Volpato
Abstract:
We characterize genus g canonical curves by the vanishing of combinatorial products of g+1 determinants of Brill-Noether matrices. This also implies the characterization of canonical curves in terms of (g-2)(g-3)/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…
▽ More
We characterize genus g canonical curves by the vanishing of combinatorial products of g+1 determinants of Brill-Noether matrices. This also implies the characterization of canonical curves in terms of (g-2)(g-3)/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 Brill-Noether matrices in terms of theta functions, without using the problematic Klein-Fay section sigma.
△ Less
Submitted 13 January, 2012; v1 submitted 30 May, 2006;
originally announced May 2006.
-
Linear relations among holomorphic quadratic differentials and induced Siegel's metric on M_g
Authors:
Marco Matone,
Roberto Volpato
Abstract:
We derive the explicit form of the (g-2)(g-3)/2 linearly independent relations among the products of pairs in a basis of holomorphic abelian differentials in the case of canonical curves of genus g greater than 3. It turns out that Petri's relations remarkably match in determinantal conditions. We explicitly express the volume form on the moduli space M_g of canonical curves induced by the Siege…
▽ More
We derive the explicit form of the (g-2)(g-3)/2 linearly independent relations among the products of pairs in a basis of holomorphic abelian differentials in the case of canonical curves of genus g greater than 3. It turns out that Petri's relations remarkably match in determinantal conditions. We explicitly express the volume form on the moduli space M_g of canonical curves induced by the Siegel metric, in terms of the period Riemann matrix only. By the Kodaira-Spencer map, the relations lead to an expression of the induced Siegel metric on M_g, that corresponds to the square of the Bergman reproducing kernel. A key role is played by distinguished bases for holomorphic differentials whose properties also lead to an immediate derivation of Fay's trisecant identity.
△ Less
Submitted 21 February, 2007; v1 submitted 27 June, 2005;
originally announced June 2005.
-
Higher genus superstring amplitudes from the geometry of moduli spaces
Authors:
Marco Matone,
Roberto Volpato
Abstract:
We show that the higher genus 4-point superstring amplitude is strongly constrained by the geometry of moduli space of Riemann surfaces. A detailed analysis leads to a natural proposal which satisfies several conditions. The result is based on the recently derived Siegel induced metric on the moduli space of Riemann surfaces and on combinatorial products of determinants of holomorphic abelian di…
▽ More
We show that the higher genus 4-point superstring amplitude is strongly constrained by the geometry of moduli space of Riemann surfaces. A detailed analysis leads to a natural proposal which satisfies several conditions. The result is based on the recently derived Siegel induced metric on the moduli space of Riemann surfaces and on combinatorial products of determinants of holomorphic abelian differentials.
△ Less
Submitted 10 October, 2005; v1 submitted 27 June, 2005;
originally announced June 2005.
