DOCSLIB.ORG

Arxiv:1808.09134V2 [Hep-Th] 24 Sep 2018

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1808.09134V2 [Hep-Th] 24 Sep 2018 KIAS-P18089 Algebraic surfaces, Four-folds and Moonshine Kimyeong Lee1, ∗ and Matthieu Sarkis1, y 1School of Physics, Korea Institute for Advanced Study, Seoul 02455, Korea The aim of this note is to point out an interesting fact related to the elliptic genus of complex algebraic surfaces in the context of Mathieu moonshine. We also discuss the case of 4-folds. INTRODUCTION terms of the holomorphic Euler characteristic of a for- mal series with holomorphic vector bundle coefficients. In their seminal paper [1], Eguchi, Ooguri and We give for it a simple expression in terms the self- Tachikawa made the interesting observation that the el- intersection number of the canonical class and the Euler liptic genus of K3 admits a decomposition in terms of number. One can then deduce the behaviour of the ellip- N = 4 super-Virasoro characters, whose coefficients hap- tic genus under blow ups, allowing us to state in which 2 pen to correspond to the dimension of representations sense any surface with positive K may be relevant for a geometric understanding of Mathieu moonshine. of the largest Mathieu sporadic group M24. This phe- nomenon was formalized in a precise conjecture related We finally discuss how the discussion for surfaces can be extended for 4-folds. to the existence of a graded module for M24 whose prop- erties would precisely mimic the experimental observa- tion of [1]. This conjecture was then proved by Gan- Conventions: non [2]. Many authors have made important contribu- • We will omit the modular argument and denote tions towards understanding Mathieu moonshine from by θ(z) the odd Jacobi theta function θ(τ; z) when a physics perspective in terms of the BPS spectrum of unambiguous, cf. appendix. N = (4; 4) NSLM with K3 target. In parallel to that, Eguchi and Hikami [3] made the • q = exp(2iπτ) and y = exp(2iπz). Differentiation interesting observation that since K3 surfaces correspond of the odd Jacobi theta function is always with to a double cover of Enriques surfaces, the elliptic genus respect to the elliptic variable z. of the latter is given by 1 ELLIPTIC GENUS OF COMPLEX ALGEBRAIC Ell = Ell = φ ; (1) Enriques 2 K3 0;1 SURFACES where φ0;1 is the standard weight-0 index-1 weak Jacobi In the following we denote by X a smooth compact form (32). They then noticed that the evenness of the co- complex algebraic surface. We will also formally write efficients in the N = 4 expansion of EllK3 allowed them to enlighten a connection between EllEnriques = φ0;1 and c(X) = (1 + x1) (1 + x2) (2) the Mathieu group M12. They however underlined the fact that since the Enriques surfaces are not Calabi-Yau, for the total Chern class. We define the following formal series with bundle coefficients: arXiv:1808.09134v2 [hep-th] 24 Sep 2018 they cannot define naively a genuine string background, hence making more obscure any string theoretic explana- 1 −1 O ? ? tion of the observed N = 4 decomposition. This result, Eq;y = y Λ−yqn−1 TX ⊗ Λ−y−1qn TX ⊗ Sqn TX ⊗ Sqn TX ; n=1 however, seems to indicate that from the geometric per- (3) spective the moonshine phenomena are not restricted to where we defined the total exterior and symmetric pow- complex surfaces admitting a Ricci-flat Riemannian met- ers ric. 1 1 X X In this note, we consider the case of a generic smooth Λ E = tk ΛkE;S E = tk Sk E; (4) compact complex algebraic surface X. Even in absence t t k=0 k=0 of a justifiable field theoretic definition and derivation of the elliptic genus (by localization using a GLSM re- Λk and Sk being respectively the k-th exterior product alization when X is toric for instance), one can consider and the k-th symmetric product. The elliptic genus the mathematical definition of the elliptic genus given in is then given by the holomorphic Euler characteristic 2 of this holomorphic vector bundle Eq;y, which, using Expanding to top form order, we get Hirzebruch-Riemann-Roch theorem, is equal to: 2 Z Z θ(z) @ log θ(z) EllX (τ; z) = 0 exp − ch1(X)+ EllX (τ; z) = ch(Eq;y) td(X) : (5) θ (0) X @z X @2 log θ(z) + + E (τ) ch (X) : The total Chern character is well-behaved with respect @z2 2 2 to exterior and symmetric powers: (13) Y 1 ch(StTX ) = ; (6a) One can easily show that the following identity holds: 1 − texa a Y @ log θ(z) ch (Λ T ) = (1 + texa ) : (6b) = ζ (τ; z) − E (τ)z ; (14) t X @z w 2 a Using eq. (31), we then obtain: where ζw is the Weierstrass elliptic zeta function, satis- fying @zζw(τ; z) = −}(τ; z). Z xa Y θ 2iπ − z We therefore end up with the following expression for EllX (τ; z) = xa : (7) xa the elliptic genus in terms of the self-intersection number X θ a 2iπ K2 of the canonical class and the Euler number e: Moreover we can Taylor expand as follows θ(z) 2 1 ! EllX (τ; z) = × X un @n θ0(0) θ(z + u) = θ(z) exp log θ(z) (8) n! @zn K2 K2 n=1 × − − e }(τ; z) + (ζ (τ; z) − E (τ)z)2 : 2 2 w 2 We are therefore left with (15) Z x x Ell (τ; z) = θ(z)2 1 2 × X x1 x2 Using the multiplicative property of the elliptic genus, X θ θ 2iπ 2iπ one can interprete −2 (ζ (τ; z) − E (τ)z) as the elliptic 1 ! (9) w 2 n n 1 X 1 @ log θ(z) X xa genus of . × exp − : P n! @zn 2iπ Before proceeding, let us mention as a parenthesis n=1 a that, as one could expect, since differentiation with re- One can show that spect to the elliptic variable is not covariant in the sense θ(3)(0) of Jacobi forms, EllX is generically not a Jacobi form. = −3E (τ) ; (10) Drawing lessons from [4], we introduce the canonical rais- θ0(0) 2 ing operator, acting on the odd Jacobi theta function as: where E2 is the weight-2 SL2( ) Eisenstein series nor- Z 1 ; 1 z − z¯ malized as Y 2 2 (θ)(τ; z) = θ0(τ; z) + 2iπ θ(τ; z) ; (16) + τ − τ¯ 0 X 1 E (τ) = ; (11) which is then a genuine Jacobi form, but at the cost 2 !2 !2Z+τZ of holomorphicity both in the modular and elliptic ar- guments. We are therefore tempted to replace the log- the prime on the sum meaning that the origin of the arithmic derivative @ log θ=@z in (15) by its covariant lattice is omitted in the sum. avatar. One can therefore canonically associate to any Using eq. (10), collecting the contribution of the non compact algebraic surface the following weight-0 index-1 exponentiated piece, truncating the Taylor series up to non-holomorphic elliptic genus: order 2, which is possible since we work under the inte- gral, and taking care of the 2iπ's, we obtain 2 2 def θ(z) K Ellf X (τ; z) = − − e }(τ; z)+ 2 Z ( θ0(0) 2 2iπθ(z) @ log θ(z) X xa Ell (τ; z) = exp − + 2) (17) X θ0(0) @z 2iπ K2 z − z¯ X a + ζ (τ; z) − E (τ)z + 2iπ : 2 w 2 τ − τ¯ 2 2) 1 @ log θ(z) X xa + + E (τ) : 2 @z2 2 2iπ a Considering the elliptic genus as a building block captur- (12) ing part of the physics of branes wrapping the surface X 3 in, say, an M or F-theory framework, it would be very interesting result: interesting to understand the physical meaning of such an non-holomorphy in this compact setting1. In addition to K3 and Enriques surfaces, minimal surfaces of Kodaira dimension 1, namely proper elliptic surfaces, have an elliptic genus proportional to φ0;1. MOONSHINE PHENOMENA Moreover, one can start from any complex algebraic Behaviour of the elliptic genus of surfaces under surface with topological numbers (K2; e) such that blow-ups K2 ≥ 0, blow it up at K2 generic points to get a surface with Euler number e + K2, whose elliptic genus will also As a very nice corollary of the generic formula (15) be proportional to φ1;0, hence is also related to at least we can learn the behaviour of the elliptic genus under the Mathieu group M12. blow-ups. Indeed, denoting by X~ the blown-up surface at an arbitrary point, π the blow-up morphism, E the As a simple remark, let us add that surfaces with Euler 0 exceptional divisor, and D; D two divisors on X, we number congruent to 0 mod 24 will further exhibit M24 have the following classical results for the intersection moonshine. pairing: Let us now illustrate this generic statement by some examples. E · E = −1 ; π∗D · π∗D0 = D · D0 ; (18) π∗D · E = 0 ; One simple example: projective plane blown-up at nine points from which we obtain that Starting from the simplest surface and following the 2 2 KX~ = KX − 1 : (19) principle described above, we blow-up the projective plane at nine arbitrary points. The elliptic genus of the Since the holomorphic Euler characteristic of the struc- obtained surface is ture sheaf is a birational invariant, Noether's formula then tells us that K2 + e is also a birational invariant of Ell 2 = φ = Ell (22) Bl9(P ) 0;1 Enriques surfaces, hence eX~ = eX + 1. We can finally deduce the behaviour of the elliptic genus under the blow-up at an arbitrary point: K2 θ(z) 2 Ell (τ; z) = Ell (τ; z) + × X~ X θ0(0) 2 1 2 3 P × − (ζw(τ; z) − E2(τ)z) + }(τ; z) : 2 2 dP8 (20) The correction term can be interpreted as the elliptic genus of a surface with K2 = −1 and e = 1: EllX~ = EllX + Ell(K2=−1 ; e=1) ; (21) corresponding to the fact that in the blow-up process dP2 dP1 on removes a point (with e(pt) = 1) to replace it by 1 the P1 of all outward directions through the point 1 2 e (with e P = 2).
Load more

Recommended publications
  • Quantum Symmetries and Stringy Instantons
    PUPT–1464 hep-th@xxx/9406091 Quantum Symmetries and Stringy Instantons ⋆ Jacques Distler and Shamit Kachru† Joseph Henry Laboratories Princeton University Princeton, NJ 08544 USA The quantum symmetry of many Landau-Ginzburg orbifolds appears to be broken by Yang-Mills instantons. However, isolated Yang-Mills instantons are not solutions of string theory: They must be accompanied by gauge anti-instantons, gravitational instantons, or topologically non-trivial configurations of the H field. We check that the configura- tions permitted in string theory do in fact preserve the quantum symmetry, as a result of non-trivial cancellations between symmetry breaking effects due to the various types arXiv:hep-th/9406091v1 14 Jun 1994 of instantons. These cancellations indicate new constraints on Landau-Ginzburg orbifold spectra and require that the dilaton modulus mix with the twisted moduli in some Landau- Ginzburg compactifications. We point out that one can find similar constraints at all fixed points of the modular group of the moduli space of vacua. June 1994 †Address after June 30: Department of Physics, Harvard University, Cambridge, MA 02138. ⋆ Email: [email protected], [email protected] . Research supported by NSF grant PHY90-21984, and the A. P. Sloan Foundation. 1. Introduction Landau-Ginzburg orbifolds [1,2] describe special submanifolds in the moduli spaces of Calabi-Yau models, at “very small radius.” New, stringy features of the physics are therefore often apparent in the Landau-Ginzburg theories. For example, these theories sometimes manifest enhanced gauge symmetries which do not occur in the field theory limit, where the large radius manifold description is valid.
    [Show full text]
  • Inflation in String Theory: - Towards Inflation in String Theory - on D3-Brane Potentials in Compactifications with Fluxes and Wrapped D-Branes
    1935-6 Spring School on Superstring Theory and Related Topics 27 March - 4 April, 2008 Inflation in String Theory: - Towards Inflation in String Theory - On D3-brane Potentials in Compactifications with Fluxes and Wrapped D-branes Liam McAllister Department of Physics, Stanford University, Stanford, CA 94305, USA hep-th/0308055 SLAC-PUB-9669 SU-ITP-03/18 TIFR/TH/03-06 Towards Inflation in String Theory Shamit Kachru,a,b Renata Kallosh,a Andrei Linde,a Juan Maldacena,c Liam McAllister,a and Sandip P. Trivedid a Department of Physics, Stanford University, Stanford, CA 94305, USA b SLAC, Stanford University, Stanford, CA 94309, USA c Institute for Advanced Study, Princeton, NJ 08540, USA d Tata Institute of Fundamental Research, Homi Bhabha Road, Mumbai 400 005, INDIA We investigate the embedding of brane inflation into stable compactifications of string theory. At first sight a warped compactification geometry seems to produce a naturally flat inflaton potential, evading one well-known difficulty of brane-antibrane scenarios. Care- arXiv:hep-th/0308055v2 23 Sep 2003 ful consideration of the closed string moduli reveals a further obstacle: superpotential stabilization of the compactification volume typically modifies the inflaton potential and renders it too steep for inflation. We discuss the non-generic conditions under which this problem does not arise. We conclude that brane inflation models can only work if restric- tive assumptions about the method of volume stabilization, the warping of the internal space, and the source of inflationary energy are satisfied. We argue that this may not be a real problem, given the large range of available fluxes and background geometries in string theory.
    [Show full text]
  • Some Comments on Equivariant Gromov-Witten Theory and 3D Gravity (A Talk in Two Parts) This Theory Has Appeared in Various Interesting Contexts
    Some comments on equivariant Gromov-Witten theory and 3d gravity (a talk in two parts) This theory has appeared in various interesting contexts. For instance, it is a candidate dual to (chiral?) supergravity with deep negative cosmologicalShamit constant. Kachru Witten (Stanford & SLAC) Sunday, April 12, 15 Tuesday, August 11, 15 Much of the talk will be review of things well known to various parts of the audience. To the extent anything very new appears, it is based on two recent collaborative papers: * arXiv : 1507.00004 with Benjamin, Dyer, Fitzpatrick * arXiv : 1508.02047 with Cheng, Duncan, Harrison Some slightly older work with other (also wonderful) collaborators makes brief appearances. Tuesday, August 11, 15 Today, I’d like to talk about two distinct topics. Each is related to the general subjects of this symposium, but neither has been central to any of the talks we’ve heard yet. 1. Extremal CFTs and quantum gravity ...where we see how special chiral CFTs with sparse spectrum may be important in gravity... II. Equivariant Gromov-Witten & K3 ...where we see how certain enumerative invariants of K3 may be related to subjects we’ve heard about... Tuesday, August 11, 15 I. Extremal CFTs and quantum gravity A fundamental role in our understanding of quantum gravity is played by the holographic correspondence between conformal field theories and AdS gravity. In the basic dictionary between these subjects conformal symmetry AdS isometries $ primary field of dimension ∆ bulk quantum field of mass m(∆) $ ...... Tuesday, August 11, 15
    [Show full text]
  • Non-Higgsable Clusters for 4D F-Theory Models
    Non-Higgsable clusters for 4D F-theory models The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation Morrison, David R., and Washington Taylor. “Non-Higgsable Clusters for 4D F-Theory Models.” J. High Energ. Phys. 2015, no. 5 (May 2015). As Published http://dx.doi.org/10.1007/jhep05(2015)080 Publisher Springer-Verlag Version Final published version Citable link http://hdl.handle.net/1721.1/98237 Terms of Use Creative Commons Attribution Detailed Terms http://creativecommons.org/licenses/by/4.0/ Published for SISSA by Springer Received: January 6, 2015 Accepted: April 18, 2015 Published: May 18, 2015 Non-Higgsable clusters for 4D F-theory models JHEP05(2015)080 David R. Morrisona and Washington Taylorb aDepartments of Mathematics and Physics, University of California, Santa Barbara, Santa Barbara, CA 93106, U.S.A. bCenter for Theoretical Physics, Department of Physics, Massachusetts Institute of Technology, 77 Massachusetts Avenue, Cambridge, MA 02139, U.S.A. E-mail: [email protected], [email protected] Abstract: We analyze non-Higgsable clusters of gauge groups and matter that can arise at the level of geometry in 4D F-theory models. Non-Higgsable clusters seem to be generic features of F-theory compactifications, and give rise naturally to structures that include the nonabelian part of the standard model gauge group and certain specific types of potential dark matter candidates. In particular, there are nine distinct single nonabelian gauge group factors, and only five distinct products of two nonabelian gauge group factors with matter, including SU(3) × SU(2), that can be realized through 4D non-Higgsable clusters.
    [Show full text]
  • Vacua with Small Flux Superpotential
    Vacua with Small Flux Superpotential Mehmet Demirtas,∗ Manki Kim,y Liam McAllister,z and Jakob Moritzx Department of Physics, Cornell University, Ithaca, NY 14853, USA (Dated: February 4, 2020) We describe a method for finding flux vacua of type IIB string theory in which the Gukov-Vafa- −8 Witten superpotential is exponentially small. We present an example with W0 ≈ 2 × 10 on an orientifold of a Calabi-Yau hypersurface with (h1;1; h2;1) = (2; 272), at large complex structure and weak string coupling. 1. INTRODUCTION In x2 we present a general method for constructing vacua with small W0 at large complex structure (LCS) To understand the nature of dark energy in quantum and weak string coupling, building on [9, 10]. In x3 we 1 −8 gravity, one can study de Sitter solutions of string theory. give an explicit example where W0 ≈ 2 × 10 , in an Kachru, Kallosh, Linde, and Trivedi (KKLT) have ar- orientifold of a Calabi-Yau hypersurface in CP[1;1;1;6;9]. gued that there exist de Sitter vacua in compactifications In x4 we show that our result accords well with the sta- on Calabi-Yau (CY) orientifolds of type IIB string theory tistical predictions of [4]. We show in x5 that at least one [1]. An essential component of the KKLT scenario is a complex structure modulus in our example is as light as small vacuum value of the classical Gukov-Vafa-Witten the K¨ahlermoduli. We explain why this feature occurs in [2] flux superpotential, our class of solutions, and we comment on K¨ahlermoduli stabilization in our vacuum.
    [Show full text]
  • Shamit Kachru Professor of Physics and Director, Stanford Institute for Theoretical Physics
    Shamit Kachru Professor of Physics and Director, Stanford Institute for Theoretical Physics CONTACT INFORMATION • Administrative Contact Dan Moreau Email [email protected] Bio BIO Starting fall of 2021, I am winding down a term as chair of physics and then taking an extended sabbatical/leave. My focus during this period will be on updating my background and competence in rapidly growing new areas of interest including machine learning and its application to problems involving large datasets. My recent research interests have included mathematical and computational studies of evolutionary dynamics; field theoretic condensed matter physics, including study of non-Fermi liquids and fracton phases; and mathematical aspects of string theory. I would characterize my research programs in these three areas as being in the fledgling stage, relatively recently established, and well developed, respectively. It is hard to know what the future holds, but you can get some idea of the kinds of things I work on by looking at my past. Highlights of my past research include: - The discovery of string dualities with 4d N=2 supersymmetry, and their use to find exact solutions of gauge theories (with Cumrun Vafa) - The construction of the first examples of AdS/CFT duality with reduced supersymmetry (with Eva Silverstein) - Foundational papers on string compactification in the presence of background fluxes (with Steve Giddings and Joe Polchinski) - Basic models of cosmic acceleration in string theory (with Renata Kallosh, Andrei Linde, and Sandip Trivedi)
    [Show full text]
  • String Duality and Novel Theories Without Gravity
    Lawrence Berkeley National Laboratory Lawrence Berkeley National Laboratory Title String duality and novel theories without gravity Permalink https://escholarship.org/uc/item/6ms1j5c9 Author Kachru, Shamit Publication Date 1998-01-15 Peer reviewed eScholarship.org Powered by the California Digital Library University of California hep-th/9801109 LBNL-41189, UCB-PTH-97/66 String Duality and Novel Theories without Gravity1 Shamit Kachru Department of Physics University of California, Berkeley and Lawrence Berkeley National Laboratory University of California Berkeley, CA 94720, USA Abstract: We describe some of the novel 6d quantum field theories which have been discovered in studies of string duality. The role these theories (and their 4d descendants) may play in alleviating the vacuum degeneracy problem in string theory is reviewed. The DLCQ of these field theories is presented as one concrete way of formulating them, independent of string theory. 1 Introduction arXiv:hep-th/9801109 v1 15 Jan 1998 Recent advances in string theory have led to the discovery of many new interacting theories without gravity. These theories are found by taking special limits of M- theory, in which many of the degrees of freedom decouple. In this talk we will: I. Describe some examples of these new theories. II. Review why it is important to fully understand these examples. III. Propose a definition of these theories, in the light-cone frame, which is manifestly independent of M or string theory. 2 Examples 1Based on a talk given at the “31st International Symposium Ahrenshoop on the Theory of Elementary Particles,” Buckow, Germany, September 2-6 1997 1 2.1 Theories with (2, 0) Supersymmetry The first (and simplest) examples were found by Witten [1], in studying type IIB string theory on K3.
    [Show full text]
  • Closed Strings and Weak Gravity from Higher-Spin Causality
    Closed Strings and Weak Gravity from Higher-Spin Causality Jared Kaplan and Sandipan Kundu Department of Physics and Astronomy Johns Hopkins University Baltimore, Maryland, USA [email protected], [email protected] Abstract We combine old and new quantum field theoretic arguments to show that any theory of stable or metastable higher spin particles can be coupled to gravity only when the gravity sector has a stringy structure. Metastable higher spin particles, free or interacting, cannot couple to gravity while preserving causality unless there exist higher spin states in the gravitational sector much below the Planck scale Mpl. We obtain an upper bound on the mass Λgr of the lightest higher spin particle in the gravity sector in terms of quantities in the non-gravitational sector. We invoke the CKSZ uniqueness theorem to argue that any weakly coupled UV completion of such a theory must have a gravity sector containing infinite towers of asymptoti- cally parallel, equispaced, and linear Regge trajectories. Consequently, gravitational four-point scattering amplitudes must coincide with the closed string four-point am- plitude for s; t 1, identifying Λgr as the string scale. Our bound also implies that all metastable higher spin particles in 4d with masses m Λgr must satisfy a weak arXiv:2008.05477v2 [hep-th] 18 Oct 2020 gravity condition. Contents 1 Introduction1 1.1 Theories of Metastable Higher Spin Particles . .2 1.2 A Weak Gravity Condition from Causality . .5 1.3 Closed Strings . .8 2 Scattering Amplitudes in Flat Space 10 2.1 Causality at Low Energies . 10 2.2 S-Matrix Consistency Conditions .
    [Show full text]
  • The Effective Action of Type II Calabi-Yau Orientifolds
    hep-th/0507153 ZMP-HH/05-16 The effective action of type II Calabi-Yau orientifolds 1 Thomas W. Grimm 2 II. Institut f¨ur Theoretische Physik Universit¨at Hamburg, Luruper Chaussee 149 D-22761 Hamburg, Germany and Zentrum f¨ur Mathematische Physik Universit¨at Hamburg, Bundesstrasse 55 D-20146 Hamburg, Germany [email protected] ABSTRACT This article first reviews the calculation of the N = 1 effective action for generic type IIA and type IIB Calabi-Yau orientifolds in the presence of background fluxes by using a Kaluza-Klein reduction. The K¨ahler potential, the gauge kinetic functions and the flux-induced superpotential are determined in terms of geometrical data of the Calabi- Yau orientifold and the background fluxes. As a new result, it is shown that the chiral description directly relates to Hitchin’s generalized geometry encoded by special odd and arXiv:hep-th/0507153v3 18 Apr 2007 even forms on a threefold, whereas a dual formulation with several linear multiplets makes contact to the underlying N = 2 special geometry. In type IIB setups, the flux-potentials can be expressed in terms of superpotentials, D-terms and, generically, a massive linear multiplet. The type IIA superpotential depends on all geometric moduli of the theory. It is reviewed, how type IIA orientifolds arise as a special limit of M-theory compactified on specific G2 manifolds by matching the effective actions. In a similar spirit type IIB orientifolds are shown to descend from F-theory on a specific class of Calabi-Yau fourfolds. In addition, mirror symmetry for Calabi-Yau orientifolds is briefly discussed and it is shown that the N = 1 chiral coordinates linearize the appropriate instanton actions.
    [Show full text]
  • Supersymmetric Flux Compactifications and Calabi-Yau
    Supersymmetric Flux Compactifications and Calabi-Yau Modularity Shamit Kachru, Richard Nally, and Wenzhe Yang Stanford Institute for Theoretical Physics, Stanford University, Stanford, CA, 94305 March 31, 2020 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 super- symmetric flux vacua are modular. That is, to a supersymmetric flux vacuum arising in a variety defined over 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 P4(1, 1, 2, 2, 2). arXiv:2001.06022v2 [hep-th] 30 Mar 2020 1 Contents 1 Introduction 2 2 The Modularity of Calabi-Yau Varieties 4 2.1 ModularityForEllipticCurves . ......... 5 2.2 Modularity For Calabi-Yau Threefolds . ........... 6 2.3 ζ-FunctionsandTheWeilConjectures . ...... 8 3 Supersymmetric Flux Compactifications 11 4 Modularity From Supersymmetric Flux Compactifications 15 5 An Example: The Octic in P(1, 1, 2, 2, 2) 17 6 Conclusion 19 A ζ-Functions and the Greene-Plesser Mirror 21 B Weil Cohomology Theories, Motives, and the Hodge Conjecture 22 B.1 TheAbsoluteGaloisGroup . ...... 22 B.2 Classical Weil Cohomology Theories . .......... 23 B.3 L-functions ......................................... 26 B.4 AUniversalCohomologyTheory . ....... 27 B.5 Algebraic Cycles and Adequate Equivalence Relations . ............... 28 B.6 PureMotives ..................................... 29 B.7 The Hodge Conjecture and Motivic Splits . .......... 32 C Modularity of the Octic at Rational Points 33 C.1 φ = 1/2 ........................................... 34 C.2 φ = 3/5 ..........................................
    [Show full text]
  • Flux Modularity, F-Theory, and Rational Models
    Flux Modularity, F-Theory, and Rational Models Shamit Kachru, Richard Nally, and Wenzhe Yang Stanford Institute for Theoretical Physics, Stanford University, Stanford, CA, 94305 October 20, 2020 Abstract In recent work, we conjectured that Calabi-Yau threefolds defined over 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 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 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. arXiv:2010.07285v2 [hep-th] 18 Oct 2020 1 Contents 1 Introduction 2 2 Twists and Rational Models4 2.1 Rational Models . .4 2.2 Twists . .5 2.3 A Suggestive Example . .6 2.4 Rational Models for Threefolds . .7 3 F-Theory and Elliptic Curves8 4 A Case Study: The CY3 in P(1; 1; 2; 2; 2) 10 4.1 Two Rational Models and Their Modularity .
    [Show full text]
  • Supersymmetric Defect Models and Mirror Symmetry
    SU-ITP-13/15 Supersymmetric Defect Models and Mirror Symmetry Anson Hooky, Shamit Kachru∗ and Gonzalo Torroba∗ y School of Natural Sciences Institute for Advanced Study Princeton, NJ 08540, USA ∗ Stanford Institute for Theoretical Physics, Department of Physics and Theory Group, SLAC Stanford University Stanford, CA 94305, USA [email protected], [email protected], [email protected] Abstract We study supersymmetric field theories in three space-time dimensions doped by vari- ous configurations of electric charges or magnetic fluxes. These are supersymmetric avatars of impurity models. In the presence of additional sources such configurations are shown to preserve half of the supersymmetries. Mirror symmetry relates the two sets of configu- rations. We discuss the implications for impurity models in 3d = 4 QED with a single arXiv:1308.4416v1 [hep-th] 20 Aug 2013 N charged hypermultiplet (and its mirror, the theory of a free hypermultiplet) as well as 3d = 2 QED with one flavor and its dual, a supersymmetric Wilson-Fisher fixed point. N Mirror symmetry allows us to find backreacted solutions for arbitrary arrays of defects in the IR limit of = 4 QED. Our analysis, complemented with appropriate string theory N brane constructions, sheds light on various aspects of mirror symmetry, the map between particles and vortices and the emergence of ground state entropy in QED at finite density. Contents 1 Introduction 2 2 Three dimensional theories and mirror symmetry 4 2.1 Three-dimensional supersymmetric theories . .4 2.2 Mirror symmetry for = 4 theories . .6 N 2.3 Mirror symmetry for = 2 theories . .8 N 3 SUSY defects and mirror symmetry in = 4 theories 10 N 3.1 Adding electric charges to = 4 SQED .
    [Show full text]