-
Flux Modularity, F-Theory, and Rational Models
Authors:
Shamit Kachru,
Richard Nally,
Wenzhe Yang
Abstract:
In recent work, we conjectured that Calabi-Yau threefolds defined over $\mathbb{Q}$ and admitting a supersymmetric flux compactification are modular, and associated to (the Tate twists of) weight-two cuspidal Hecke eigenforms. In this work, we will address two natural follow-up questions, of both a physical and mathematical nature, that are surprisingly closely related. First, in passing from a co…
▽ More
In recent work, we conjectured that Calabi-Yau threefolds defined over $\mathbb{Q}$ and admitting a supersymmetric flux compactification are modular, and associated to (the Tate twists of) weight-two cuspidal Hecke eigenforms. In this work, we will address two natural follow-up questions, of both a physical and mathematical nature, that are surprisingly closely related. First, in passing from a complex manifold to a rational variety, as we must do to study modularity, we are implicitly choosing a "rational model" for the threefold; how do different choices of rational model affect our results? Second, the same modular forms are associated to elliptic curves over $\mathbb{Q}$; are these elliptic curves found anywhere in the physical setup? By studying the F-theory uplift of the supersymmetric flux vacua found in the compactification of IIB string theory on (the mirror of) the Calabi-Yau hypersurface $X$ in $\mathbb{P}(1,1,2,2,2)$, we find a one-parameter family of elliptic curves whose associated eigenforms exactly match those associated to $X$. Actually, we find two such families, corresponding to two different choices of rational models for the same family of Calabi-Yaus.
△ Less
Submitted 18 October, 2020; v1 submitted 14 October, 2020;
originally announced October 2020.
-
K3 metrics
Authors:
Shamit Kachru,
Arnav Tripathy,
Max Zimet
Abstract:
We provide an explicit construction of Ricci-flat K3 metrics. It employs the technology of D-geometry, which in the case of interest is equivalent to a hyper-Kähler quotient. We relate it to the construction of arXiv:1810.10540, and in particular show that it contains the solution to the BPS state counting problem (that of computing the BPS index of a heterotic little string theory compactified on…
▽ More
We provide an explicit construction of Ricci-flat K3 metrics. It employs the technology of D-geometry, which in the case of interest is equivalent to a hyper-Kähler quotient. We relate it to the construction of arXiv:1810.10540, and in particular show that it contains the solution to the BPS state counting problem (that of computing the BPS index of a heterotic little string theory compactified on $T^2$) discussed therein, which is the data needed for this second construction of K3 metrics.
△ Less
Submitted 5 October, 2020; v1 submitted 3 June, 2020;
originally announced June 2020.
-
Supersymmetric Flux Compactifications and Calabi-Yau Modularity
Authors:
Shamit Kachru,
Richard Nally,
Wenzhe Yang
Abstract:
Flux compactification of IIB string theory associates special points in Calabi-Yau moduli space to choices of (pairs of) integral three-form fluxes. In this paper, we propose that supersymmetric flux vacua are modular. That is, to a supersymmetric flux vacuum arising in a variety defined over $\mathbb{Q}$, we associate a two-dimensional Galois representation that we conjecture to be modular. We pr…
▽ More
Flux compactification of IIB string theory associates special points in Calabi-Yau moduli space to choices of (pairs of) integral three-form fluxes. In this paper, we propose that supersymmetric flux vacua are modular. That is, to a supersymmetric flux vacuum arising in a variety defined over $\mathbb{Q}$, we associate a two-dimensional Galois representation that we conjecture to be modular. We provide numerical evidence for our conjecture by examining flux vacua arising on the octic hypersurface in $\mathbb{P}^{4}(1,1,2,2,2)$.
△ Less
Submitted 29 March, 2020; v1 submitted 16 January, 2020;
originally announced January 2020.
-
Semiclassical Entropy of BPS States in 4d $\mathcal{N}=2$ Theories and Counts of Geodesics
Authors:
Shamit Kachru,
Richard Nally,
Arnav Tripathy,
Max Zimet
Abstract:
We relate a number of results in the theory of flat surfaces to BPS spectra of a class of 4d $\mathcal{N}=2$ supersymmetric quantum field theories arising from M5 branes wrapped on Riemann surfaces -- $A_1$ class S theories. In particular, we apply classic results of Eskin and Masur, which determine the asymptotic growth of geodesic counts at large length on flat surfaces, as well as more recent p…
▽ More
We relate a number of results in the theory of flat surfaces to BPS spectra of a class of 4d $\mathcal{N}=2$ supersymmetric quantum field theories arising from M5 branes wrapped on Riemann surfaces -- $A_1$ class S theories. In particular, we apply classic results of Eskin and Masur, which determine the asymptotic growth of geodesic counts at large length on flat surfaces, as well as more recent progress in the mathematics literature, to determine the large mass asymptotics of the BPS spectra of a wide class of such theories at generic points in the Coulomb branch.
△ Less
Submitted 24 December, 2019; v1 submitted 27 June, 2019;
originally announced June 2019.
-
K3 metrics from little string theory
Authors:
Shamit Kachru,
Arnav Tripathy,
Max Zimet
Abstract:
Certain six-dimensional (1,0) supersymmetric little string theories, when compactified on $T^3$, have moduli spaces of vacua given by smooth K3 surfaces. Using ideas of Gaiotto-Moore-Neitzke, we show that this provides a systematic procedure for determining the Ricci-flat metric on a smooth K3 surface in terms of BPS degeneracies of (compactified) little string theories.
Certain six-dimensional (1,0) supersymmetric little string theories, when compactified on $T^3$, have moduli spaces of vacua given by smooth K3 surfaces. Using ideas of Gaiotto-Moore-Neitzke, we show that this provides a systematic procedure for determining the Ricci-flat metric on a smooth K3 surface in terms of BPS degeneracies of (compactified) little string theories.
△ Less
Submitted 10 October, 2020; v1 submitted 24 October, 2018;
originally announced October 2018.
-
Black holes and class groups
Authors:
Nathan Benjamin,
Shamit Kachru,
Ken Ono,
Larry Rolen
Abstract:
The theory of quadratic forms and class numbers has connections to many classical problems in number theory. Recently, class numbers have appeared in the study of black holes in string theory. We describe this connection and raise questions in the hope of inspiring new collaborations between number theorists and physicists.
The theory of quadratic forms and class numbers has connections to many classical problems in number theory. Recently, class numbers have appeared in the study of black holes in string theory. We describe this connection and raise questions in the hope of inspiring new collaborations between number theorists and physicists.
△ Less
Submitted 29 September, 2018; v1 submitted 2 July, 2018;
originally announced July 2018.
-
Attractive Strings and Five-Branes, Skew-Holomorphic Jacobi Forms and Moonshine
Authors:
Miranda C. N. Cheng,
John F. R. Duncan,
Sarah M. Harrison,
Jeffrey A. Harvey,
Shamit Kachru,
Brandon C. Rayhaun
Abstract:
We show that certain BPS counting functions for both fundamental strings and strings arising from fivebranes wrapping divisors in Calabi--Yau threefolds naturally give rise to skew-holomorphic Jacobi forms at rational and attractor points in the moduli space of string compactifications. For M5-branes wrapping divisors these are forms of weight negative one, and in the case of multiple M5-branes sk…
▽ More
We show that certain BPS counting functions for both fundamental strings and strings arising from fivebranes wrapping divisors in Calabi--Yau threefolds naturally give rise to skew-holomorphic Jacobi forms at rational and attractor points in the moduli space of string compactifications. For M5-branes wrapping divisors these are forms of weight negative one, and in the case of multiple M5-branes skew-holomorphic mock Jacobi forms arise. We further find that in simple examples these forms are related to skew-holomorphic (mock) Jacobi forms of weight two that play starring roles in moonshine. We discuss examples involving M5-branes on the complex projective plane, del Pezzo surfaces of degree one, and half-K3 surfaces. For del Pezzo surfaces of degree one and certain half-K3 surfaces we find a corresponding graded (virtual) module for the degree twelve Mathieu group. This suggests a more extensive relationship between Mathieu groups and complex surfaces, and a broader role for M5-branes in the theory of Jacobi forms and moonshine.
△ Less
Submitted 23 July, 2018; v1 submitted 24 August, 2017;
originally announced August 2017.
-
BPS jumping loci are automorphic
Authors:
Shamit Kachru,
Arnav Tripathy
Abstract:
We show that BPS jumping loci -- loci in the moduli space of string compactifications where the number of BPS states jumps in an upper semi-continuous manner -- naturally appear as Fourier coefficients of (vector space-valued) automorphic forms. For the case of $T^2$ compactification, the jumping loci are governed by a modular form studied by Hirzebruch and Zagier, while the jumping loci in K3 com…
▽ More
We show that BPS jumping loci -- loci in the moduli space of string compactifications where the number of BPS states jumps in an upper semi-continuous manner -- naturally appear as Fourier coefficients of (vector space-valued) automorphic forms. For the case of $T^2$ compactification, the jumping loci are governed by a modular form studied by Hirzebruch and Zagier, while the jumping loci in K3 compactification appear in a story developed by Oda and Kudla-Millson in arithmetic geometry. We also comment on some curious related automorphy in the physics of black hole attractors and flux vacua.
△ Less
Submitted 23 July, 2017; v1 submitted 8 June, 2017;
originally announced June 2017.
-
Counting spinning dyons in maximal supergravity: The Hodge-elliptic genus for tori
Authors:
Nathan Benjamin,
Shamit Kachru,
Arnav Tripathy
Abstract:
We consider $M$-theory compactified on $T^4 \times T^2$ and describe the count of spinning $1/8$-BPS states. This refines the classic count of Maldacena-Moore-Strominger in the physics literature and the recent mathematical work of Bryan-Oberdieck-Pandharipande-Yin, which studied reduced Donaldson-Thomas invariants of abelian surfaces and threefolds. As in previous work on $K3 \times T^2$ compacti…
▽ More
We consider $M$-theory compactified on $T^4 \times T^2$ and describe the count of spinning $1/8$-BPS states. This refines the classic count of Maldacena-Moore-Strominger in the physics literature and the recent mathematical work of Bryan-Oberdieck-Pandharipande-Yin, which studied reduced Donaldson-Thomas invariants of abelian surfaces and threefolds. As in previous work on $K3 \times T^2$ compactification, we track angular momenta under both the $SU(2)_L$ and $SU(2)_R$ factors in the 5d little group, providing predictions for the relevant motivic curve counts.
△ Less
Submitted 18 April, 2017;
originally announced April 2017.
-
BPS jumping loci and special cycles
Authors:
Shamit Kachru,
Arnav Tripathy
Abstract:
We study BPS jumping loci, or the subloci in moduli spaces of supersymmetric string vacua where BPS states come into existence discontinuously. This phenomenon is distinct from wall-crossing. We argue that these loci should be thought of as special cycles in the sense of Noether-Lefschetz loci or special Shimura subvarieties, which are indeed examples of BPS jumping loci for certain string compact…
▽ More
We study BPS jumping loci, or the subloci in moduli spaces of supersymmetric string vacua where BPS states come into existence discontinuously. This phenomenon is distinct from wall-crossing. We argue that these loci should be thought of as special cycles in the sense of Noether-Lefschetz loci or special Shimura subvarieties, which are indeed examples of BPS jumping loci for certain string compactifications. We use the Hodge-elliptic genus as an informative tool, suggesting that our work can be extended to understand the jumping behavior of motivic Donaldson-Thomas invariants.
△ Less
Submitted 30 June, 2017; v1 submitted 1 March, 2017;
originally announced March 2017.
-
The hidden symmetry of the heterotic string
Authors:
Shamit Kachru,
Arnav Tripathy
Abstract:
We propose that Borcherds' Fake Monster Lie algebra is a broken symmetry of heterotic string theory compactified on $T^7 \times T^2$. As evidence, we study the fully flavored counting function for BPS instantons contributing to a certain loop amplitude. The result is controlled by $Φ_{12}$, an automorphic form for $O(2, 26, \mathbb{Z})$. The degeneracies it encodes in its Fourier coefficients are…
▽ More
We propose that Borcherds' Fake Monster Lie algebra is a broken symmetry of heterotic string theory compactified on $T^7 \times T^2$. As evidence, we study the fully flavored counting function for BPS instantons contributing to a certain loop amplitude. The result is controlled by $Φ_{12}$, an automorphic form for $O(2, 26, \mathbb{Z})$. The degeneracies it encodes in its Fourier coefficients are graded dimensions of a second-quantized Fock space for this large symmetry algebra. This construction provides a concrete realization of Harvey and Moore's proposed relationship between Generalized Kac-Moody symmetries and supersymmetric string vacua.
△ Less
Submitted 8 February, 2017;
originally announced February 2017.
-
The Hodge-elliptic genus, spinning BPS states, and black holes
Authors:
Shamit Kachru,
Arnav Tripathy
Abstract:
We perform a refined count of BPS states in the compactification of M-theory on $K3 \times T^2$, keeping track of the information provided by both the $SU(2)_L$ and $SU(2)_R$ angular momenta in the $SO(4)$ little group. Mathematically, this four variable counting function may be expressed via the motivic Donaldson-Thomas counts of $K3 \times T^2$, simultaneously refining Katz, Klemm, and Pandharip…
▽ More
We perform a refined count of BPS states in the compactification of M-theory on $K3 \times T^2$, keeping track of the information provided by both the $SU(2)_L$ and $SU(2)_R$ angular momenta in the $SO(4)$ little group. Mathematically, this four variable counting function may be expressed via the motivic Donaldson-Thomas counts of $K3 \times T^2$, simultaneously refining Katz, Klemm, and Pandharipande's motivic Donaldson-Thomas counts on $K3$ and Oberdieck-Pandharipande's Gromov-Witten counts on $K3 \times T^2$. This provides the first full answer for motivic curve counts of a compact Calabi-Yau threefold. Along the way, we develop a Hodge-elliptic genus for Calabi-Yau manifolds -- a new counting function for BPS states that interpolates between the Hodge polynomial and the elliptic genus of a Calabi-Yau.
△ Less
Submitted 9 December, 2016; v1 submitted 7 September, 2016;
originally announced September 2016.
-
Equivariant K3 Invariants
Authors:
Miranda C. N. Cheng,
John F. R. Duncan,
Sarah M. Harrison,
Shamit Kachru
Abstract:
In this note, we describe a connection between the enumerative geometry of curves in K3 surfaces and the chiral ring of an auxiliary superconformal field theory. We consider the invariants calculated by Yau--Zaslow (capturing the Euler characters of the moduli spaces of D2-branes on curves of given genus), together with their refinements to carry additional quantum numbers by Katz--Klemm--Vafa (KK…
▽ More
In this note, we describe a connection between the enumerative geometry of curves in K3 surfaces and the chiral ring of an auxiliary superconformal field theory. We consider the invariants calculated by Yau--Zaslow (capturing the Euler characters of the moduli spaces of D2-branes on curves of given genus), together with their refinements to carry additional quantum numbers by Katz--Klemm--Vafa (KKV), and Katz--Klemm--Pandharipande (KKP). We show that these invariants can be reproduced by studying the Ramond ground states of an auxiliary chiral superconformal field theory which has recently been observed to give rise to mock modular moonshine for a variety of sporadic simple groups that are subgroups of Conway's group. We also study equivariant versions of these invariants. A K3 sigma model is specified by a choice of 4-plane in the K3 D-brane charge lattice. Symmetries of K3 sigma models are naturally identified with 4-plane preserving subgroups of the Conway group, according to the work of Gaberdiel--Hohenegger--Volpato, and one may consider corresponding equivariant refined K3 Gopakumar--Vafa invariants. The same symmetries naturally arise in the auxiliary CFT state space, affording a suggestive alternative view of the same computation. We comment on a lift of this story to the generating function of elliptic genera of symmetric products of K3 surfaces.
△ Less
Submitted 9 August, 2015;
originally announced August 2015.
-
Mock Modular Mathieu Moonshine Modules
Authors:
Miranda C. N. Cheng,
Xi Dong,
John F. R. Duncan,
Sarah Harrison,
Shamit Kachru,
Timm Wrase
Abstract:
We construct super vertex operator algebras which lead to modules for moonshine relations connecting the four smaller sporadic simple Mathieu groups with distinguished mock modular forms. Starting with an orbifold of a free fermion theory, any subgroup of Co_0 that fixes a 3-dimensional subspace of its unique non-trivial 24-dimensional representation commutes with a certain N=4 superconformal alge…
▽ More
We construct super vertex operator algebras which lead to modules for moonshine relations connecting the four smaller sporadic simple Mathieu groups with distinguished mock modular forms. Starting with an orbifold of a free fermion theory, any subgroup of Co_0 that fixes a 3-dimensional subspace of its unique non-trivial 24-dimensional representation commutes with a certain N=4 superconformal algebra. Similarly, any subgroup of Co_0 that fixes a 2-dimensional subspace of the 24-dimensional representation commutes with a certain N=2 superconformal algebra. Through the decomposition of the corresponding twined partition functions into characters of the N=4 (resp. N=2) superconformal algebra, we arrive at mock modular forms which coincide with the graded characters of an infinite-dimensional Z-graded module for the corresponding group. The Mathieu groups are singled out amongst various other possibilities by the moonshine property: requiring the corresponding weak Jacobi forms to have certain asymptotic behaviour near cusps. Our constructions constitute the first examples of explicitly realized modules underlying moonshine phenomena relating mock modular forms to sporadic simple groups. Modules for other groups, including the sporadic groups of McLaughlin and Higman--Sims, are also discussed.
△ Less
Submitted 10 August, 2015; v1 submitted 20 June, 2014;
originally announced June 2014.
-
Mathieu Moonshine and N=2 String Compactifications
Authors:
Miranda C. N. Cheng,
Xi Dong,
John F. R. Duncan,
Jeffrey A. Harvey,
Shamit Kachru,
Timm Wrase
Abstract:
There is a `Mathieu moonshine' relating the elliptic genus of K3 to the sporadic group M_{24}. Here, we give evidence that this moonshine extends to part of the web of dualities connecting heterotic strings compactified on K3 \times T^2 to type IIA strings compactified on Calabi-Yau threefolds. We demonstrate that dimensions of M_{24} representations govern the new supersymmetric index of the hete…
▽ More
There is a `Mathieu moonshine' relating the elliptic genus of K3 to the sporadic group M_{24}. Here, we give evidence that this moonshine extends to part of the web of dualities connecting heterotic strings compactified on K3 \times T^2 to type IIA strings compactified on Calabi-Yau threefolds. We demonstrate that dimensions of M_{24} representations govern the new supersymmetric index of the heterotic compactifications, and appear in the Gromov--Witten invariants of the dual Calabi-Yau threefolds, which are elliptic fibrations over the Hirzebruch surfaces F_n.
△ Less
Submitted 11 September, 2013; v1 submitted 20 June, 2013;
originally announced June 2013.
-
Mirror symmetry for open strings
Authors:
Shamit Kachru,
Sheldon Katz,
Albion Lawrence,
John McGreevy
Abstract:
We discuss the generation of superpotentials in four-dimensional, N = 1 supersymmetric field theories arising from type IIA D6-branes wrapped on supersymmetric three-cycles of a Calabi-Yau threefold. In general, nontrivial superpotentials arise from sums over disc instantons. We find several examples of special Lagrangian three-cycles with nontrivial topology which are mirror to obstructed ratio…
▽ More
We discuss the generation of superpotentials in four-dimensional, N = 1 supersymmetric field theories arising from type IIA D6-branes wrapped on supersymmetric three-cycles of a Calabi-Yau threefold. In general, nontrivial superpotentials arise from sums over disc instantons. We find several examples of special Lagrangian three-cycles with nontrivial topology which are mirror to obstructed rational curves, conclusively demonstrating the existence of such instanton effects. In addition, we present explicit examples of disc instantons ending on the relevant three-cycles. Finally, we give a preliminary construction of a mirror map for the open string moduli, in a large-radius limit of the type IIA compactification.
△ Less
Submitted 20 August, 2001; v1 submitted 6 June, 2000;
originally announced June 2000.
