-
Taming non-analyticities of QFT observables
Authors:
Thomas W. Grimm,
Giovanni Ravazzini,
Mick van Vliet
Abstract:
Many observables in quantum field theories are involved non-analytic functions of the parameters of the theory. However, it is expected that they are not arbitrarily wild, but rather have only a finite amount of geometric complexity. This expectation has been recently formalized by a tameness principle: physical observables should be definable in o-minimal structures and their sharp refinements. I…
▽ More
Many observables in quantum field theories are involved non-analytic functions of the parameters of the theory. However, it is expected that they are not arbitrarily wild, but rather have only a finite amount of geometric complexity. This expectation has been recently formalized by a tameness principle: physical observables should be definable in o-minimal structures and their sharp refinements. In this work, we show that a broad class of non-analytic partition and correlation functions are tame functions in the o-minimal structure known as $\mathbb{R}_{\mathscr{G}}$ - the structure defining Gevrey functions. Using a perturbative approach, we expand the observables in asymptotic series in powers of a small coupling constant. Although these series are often divergent, they can be Borel-resummed in the absence of Stokes phenomena to yield the full partition and correlation functions. We show that this makes them definable in $\mathbb{R}_{\mathscr{G}}$ and provide a number of motivating examples. These include certain 0-dimensional quantum field theories and a set of higher-dimensional quantum field theories that can be analyzed using constructive field theory. Finally, we discuss how the eigenvalues of certain Hamiltonians in quantum mechanics are also definable in $\mathbb{R}_{\mathscr{G}}$.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Exact Flux Vacua, Symmetries, and the Structure of the Landscape
Authors:
Thomas W. Grimm,
Damian van de Heisteeg
Abstract:
Identifying flux vacua in string theory with stabilized complex structure moduli presents a significant challenge, necessitating the minimization of a scalar potential complicated by infinitely many exponential corrections. In order to obtain exact results we connect three central topics: transcendentality or algebraicity of coupling functions, emergent symmetries, and the distribution of vacua. B…
▽ More
Identifying flux vacua in string theory with stabilized complex structure moduli presents a significant challenge, necessitating the minimization of a scalar potential complicated by infinitely many exponential corrections. In order to obtain exact results we connect three central topics: transcendentality or algebraicity of coupling functions, emergent symmetries, and the distribution of vacua. Beginning with explicit examples, we determine the first exact landscape of flux vacua with a vanishing superpotential within F-theory compactifications on a genuine Calabi-Yau fourfold. We find that along certain symmetry loci in moduli space the generically transcendental vacuum conditions become algebraic and can be described using the periods of a K3 surface. On such loci the vacua become dense when we do not bound the flux tadpole, while imposing the tadpole bound yields a small finite landscape of distinct vacua. Away from these symmetry loci, the transcendentality of the fourfold periods ensures that there are only a finite number of vacua with a vanishing superpotential, even when the tadpole constraint is removed. These observations exemplify the general patterns emerging in the bulk of moduli space that we expose in this work. They are deeply tied to the arithmetic structure underlying flux vacua and generalize the finiteness claims about rational CFTs and rank-two attractors. From a mathematical perspective, our study is linked with the recent landmark results by Baldi, Klingler, and Ullmo about the Hodge locus that arose from connecting tame geometry and Hodge theory.
△ Less
Submitted 17 June, 2024; v1 submitted 18 April, 2024;
originally announced April 2024.
-
Structure and Complexity of Cosmological Correlators
Authors:
Thomas W. Grimm,
Arno Hoefnagels,
Mick van Vliet
Abstract:
Cosmological correlators capture the spatial fluctuations imprinted during the earliest episodes of the universe. While they are generally very non-trivial functions of the kinematic variables, they are known to arise as solutions to special sets of differential equations. In this work we use this fact to uncover the underlying tame structure for such correlators and argue that they admit a well-d…
▽ More
Cosmological correlators capture the spatial fluctuations imprinted during the earliest episodes of the universe. While they are generally very non-trivial functions of the kinematic variables, they are known to arise as solutions to special sets of differential equations. In this work we use this fact to uncover the underlying tame structure for such correlators and argue that they admit a well-defined notion of complexity. In particular, building upon the recently proposed kinematic flow algorithm, we show that tree-level cosmological correlators of a generic scalar field theory in an FLRW spacetime belong to the class of Pfaffian functions. Since Pfaffian functions admit a notion of complexity, we can give explicit bounds on the topological and computational complexity of cosmological correlators. We conclude with some speculative comments on the general tame structures capturing all cosmological correlators and the connection between complexity and the emergence of time.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
Finiteness Theorems and Counting Conjectures for the Flux Landscape
Authors:
Thomas W. Grimm,
Jeroen Monnee
Abstract:
In this paper, we explore the string theory landscape obtained from type IIB and F-theory flux compactifications. We first give a comprehensive introduction to a number of mathematical finiteness theorems, indicate how they have been obtained, and clarify their implications for the structure of the locus of flux vacua. Subsequently, in order to address finer details of the locus of flux vacua, we…
▽ More
In this paper, we explore the string theory landscape obtained from type IIB and F-theory flux compactifications. We first give a comprehensive introduction to a number of mathematical finiteness theorems, indicate how they have been obtained, and clarify their implications for the structure of the locus of flux vacua. Subsequently, in order to address finer details of the locus of flux vacua, we propose three mathematically precise conjectures on the expected number of connected components, geometric complexity, and dimensionality of the vacuum locus. With the recent breakthroughs on the tameness of Hodge theory, we believe that they are attainable to rigorous mathematical tools and can be successfully addressed in the near future. The remainder of the paper is concerned with more technical aspects of the finiteness theorems. In particular, we investigate their local implications and explain how infinite tails of disconnected vacua approaching the boundaries of the moduli space are forbidden. To make this precise, we present new results on asymptotic expansions of Hodge inner products near arbitrary boundaries of the complex structure moduli space.
△ Less
Submitted 8 April, 2024; v1 submitted 15 November, 2023;
originally announced November 2023.
-
Complexity in Tame Quantum Theories
Authors:
Thomas W. Grimm,
Lorenz Schlechter,
Mick van Vliet
Abstract:
Inspired by the notion that physical systems can contain only a finite amount of information or complexity, we introduce a framework that allows for quantifying the amount of logical information needed to specify a function or set. We then apply this methodology to a variety of physical systems and derive the complexity of parameter-dependent physical observables and coupling functions appearing i…
▽ More
Inspired by the notion that physical systems can contain only a finite amount of information or complexity, we introduce a framework that allows for quantifying the amount of logical information needed to specify a function or set. We then apply this methodology to a variety of physical systems and derive the complexity of parameter-dependent physical observables and coupling functions appearing in effective Lagrangians. In order to implement these ideas, it is essential to consider physical theories that can be defined in an o-minimal structure. O-minimality, a concept from mathematical logic, encapsulates a tameness principle. It was recently argued that this property is inherent to many known quantum field theories and is linked to the UV completion of the theory. To assign a complexity to each statement in these theories one has to further constrain the allowed o-minimal structures. To exemplify this, we show that many physical systems can be formulated using Pfaffian o-minimal structures, which have a well-established notion of complexity. More generally, we propose adopting sharply o-minimal structures, recently introduced by Binyamini and Novikov, as an overarching framework to measure complexity in quantum theories.
△ Less
Submitted 3 May, 2024; v1 submitted 2 October, 2023;
originally announced October 2023.
-
The Tameness of Quantum Field Theory, Part II -- Structures and CFTs
Authors:
Michael R. Douglas,
Thomas W. Grimm,
Lorenz Schlechter
Abstract:
Tame geometry originated in mathematical logic and implements strong finiteness properties by defining the notion of tame sets and functions. In part I we argued that observables in a wide class of quantum field theories are tame functions and that the tameness of a theory relies on its UV definition. The aims of this work are (1) to formalize the connection between quantum field theories and logi…
▽ More
Tame geometry originated in mathematical logic and implements strong finiteness properties by defining the notion of tame sets and functions. In part I we argued that observables in a wide class of quantum field theories are tame functions and that the tameness of a theory relies on its UV definition. The aims of this work are (1) to formalize the connection between quantum field theories and logical structures, and (2) to investigate the tameness of conformal field theories. To address the first aim, we start from a set of quantum field theories and explain how they define a logical structure that is subsequently extended to a second structure by adding physical observables. Tameness, or o-minimality, of the two structures is then a well-defined property, and sharp statements can be made by identifying these with known examples in mathematics. For the second aim we quantify our expectations on the tameness of the set of conformal field theories and effective theories that can be coupled to quantum gravity. We formulate tameness conjectures about conformal field theory observables and propose universal constraints that render spaces of conformal field theories to be tame sets. We test these conjectures in several examples and highlight first implications.
△ Less
Submitted 7 June, 2023; v1 submitted 8 February, 2023;
originally announced February 2023.
-
Bi-Yang-Baxter Models and Sl(2)-orbits
Authors:
Thomas W. Grimm,
Jeroen Monnee
Abstract:
We study integrable deformations of two-dimensional non-linear sigma-models and present a new class of classical solutions to critical bi-Yang-Baxter models for general groups. For the simplest example, namely the SL(2,R) bi-Yang-Baxter model, we show that our solutions can be mapped to the known complex uniton solutions of the SU(2) bi-Yang-Baxter model. In general, our solutions are constructed…
▽ More
We study integrable deformations of two-dimensional non-linear sigma-models and present a new class of classical solutions to critical bi-Yang-Baxter models for general groups. For the simplest example, namely the SL(2,R) bi-Yang-Baxter model, we show that our solutions can be mapped to the known complex uniton solutions of the SU(2) bi-Yang-Baxter model. In general, our solutions are constructed from so-called Sl(2)-orbits that play a central role in the study of asymptotic Hodge theory. This provides further evidence for a close relation between integrable non-linear sigma-models and the mathematical principles underlying Hodge theory. We have also included a basic introduction to the relevant aspects of asymptotic Hodge theory and have provided some simple examples.
△ Less
Submitted 7 December, 2022;
originally announced December 2022.
-
Global symmetry-breaking and generalized theta-terms in Type IIB EFTs
Authors:
Thomas W. Grimm,
Stefano Lanza,
Thomas van Vuren
Abstract:
A longstanding conjecture states that global symmetries should be absent in quantum gravity. By investigating large classes of Type IIB four-dimensional $\mathcal{N}=2$ effective field theories, we enlist the potential generalized global symmetries that could be present and explore how they are avoided. Crucial ingredients that arise in such effective field theories are generalized $θ$-terms. Thes…
▽ More
A longstanding conjecture states that global symmetries should be absent in quantum gravity. By investigating large classes of Type IIB four-dimensional $\mathcal{N}=2$ effective field theories, we enlist the potential generalized global symmetries that could be present and explore how they are avoided. Crucial ingredients that arise in such effective field theories are generalized $θ$-terms. These introduce non-linear couplings between axion fields and topological terms quadratic in the gauge field strengths which break a large subset of the global symmetries. Additional residual global symmetries may further be broken by assuming the existence of some charged states. However, we illustrate that the presence of generalized $θ$-terms leads to a generalized Witten effect, which implies that the spectrum of charged states is constituted by an infinitely populated lattice. We further show that such a lattice is generated by the action of the monodromy transformation that characterizes the moduli space boundary near which the effective theory is defined.
△ Less
Submitted 27 November, 2023; v1 submitted 21 November, 2022;
originally announced November 2022.
-
The Tameness of Quantum Field Theory, Part I -- Amplitudes
Authors:
Michael R. Douglas,
Thomas W. Grimm,
Lorenz Schlechter
Abstract:
We propose a generalized finiteness principle for physical theories, in terms of the concept of tameness in mathematical logic. A tame function or space can only have a finite amount of structure, in a precise sense which we explain. Tameness generalizes the notion of an analytic function to include certain non-analytic limits, and we show that this includes many limits which are known to arise in…
▽ More
We propose a generalized finiteness principle for physical theories, in terms of the concept of tameness in mathematical logic. A tame function or space can only have a finite amount of structure, in a precise sense which we explain. Tameness generalizes the notion of an analytic function to include certain non-analytic limits, and we show that this includes many limits which are known to arise in physics. For renormalizable quantum field theories, we give a general proof that amplitudes at each order in the loop expansion are tame functions of the external momenta and the couplings. We then consider a variety of exact non-perturbative results and show that they are tame but only given constraints on the UV definition of the theory. This provides further evidence for the recent conjecture of the second author that all effective theories that can be coupled to quantum gravity are tame. We also discuss whether renormalization group flow is tame, and comment on the applicability of our results to effective theories.
△ Less
Submitted 11 July, 2024; v1 submitted 18 October, 2022;
originally announced October 2022.
-
Tameness, Strings, and the Distance Conjecture
Authors:
Thomas W. Grimm,
Stefano Lanza,
Chongchuo Li
Abstract:
The Distance Conjecture states that an infinite tower of modes becomes exponentially light when approaching an infinite distance point in field space. We argue that the inherent path-dependence of this statement can be addressed when combining the Distance Conjecture with the recent Tameness Conjecture. The latter asserts that effective theories are described by tame geometry and implements strong…
▽ More
The Distance Conjecture states that an infinite tower of modes becomes exponentially light when approaching an infinite distance point in field space. We argue that the inherent path-dependence of this statement can be addressed when combining the Distance Conjecture with the recent Tameness Conjecture. The latter asserts that effective theories are described by tame geometry and implements strong finiteness constraints on coupling functions and field spaces. By exploiting these tameness constraints we argue that the region near the infinite distance point admits a decomposition into finitely many sectors in which path-independent statements for the associated towers of states can be established. We then introduce a more constrained class of tame functions with at most polynomial asymptotic growth and argue that they suffice to describe the known string theory effective actions. Remarkably, the multi-field dependence of such functions can be reconstructed by one-dimensional linear test paths in each sector near the boundary. In four-dimensional effective theories, these test paths are traced out as a discrete set of cosmic string solutions. This indicates that such cosmic string solutions can serve as powerful tool to study the near-boundary field space region of any four-dimensional effective field theory. To illustrate these general observations we discuss the central role of tameness and cosmic string solutions in Calabi-Yau compactifications of Type IIB string theory.
△ Less
Submitted 1 June, 2022;
originally announced June 2022.
-
The Tadpole Conjecture in Asymptotic Limits
Authors:
Mariana Graña,
Thomas W. Grimm,
Damian van de Heisteeg,
Alvaro Herraez,
Erik Plauschinn
Abstract:
The tadpole conjecture suggests that the complete stabilization of complex structure deformations in Type IIB and F-theory flux compactifications is severely obstructed by the tadpole bound on the fluxes. More precisely, it states that the stabilization of a large number of moduli requires a flux background with a tadpole that scales linearly in the number of stabilized fields. Restricting to the…
▽ More
The tadpole conjecture suggests that the complete stabilization of complex structure deformations in Type IIB and F-theory flux compactifications is severely obstructed by the tadpole bound on the fluxes. More precisely, it states that the stabilization of a large number of moduli requires a flux background with a tadpole that scales linearly in the number of stabilized fields. Restricting to the asymptotic regions of the complex structure moduli space, we give the first conceptual argument that explains this linear scaling setting and clarifies why it sets in only for a large number of stabilized moduli. Our approach relies on the use of asymptotic Hodge theory. In particular, we use the fact that in each asymptotic regime an orthogonal sl(2)-block structure emerges that allows us to group fluxes into sl(2)-representations and decouple complex structure directions. We show that the number of stabilized moduli scales with the number of sl(2)-representations supported by fluxes, and that each representation fixes a single modulus. Furthermore, we find that for Calabi-Yau four-folds all but one representation can be identified with representations occurring on two-folds. This allows us to discuss moduli stabilization explicitly and establish the relevant scaling constraints for the tadpole.
△ Less
Submitted 23 August, 2022; v1 submitted 11 April, 2022;
originally announced April 2022.
-
Taming the Landscape of Effective Theories
Authors:
Thomas W. Grimm
Abstract:
We introduce a generalized notion of finiteness that provides a structural principle for the set of effective theories that can be consistently coupled to quantum gravity. More concretely, we propose a Tameness Conjecture that states that all valid effective theories are labelled by a definable parameter space and must have scalar field spaces and coupling functions that are definable using the ta…
▽ More
We introduce a generalized notion of finiteness that provides a structural principle for the set of effective theories that can be consistently coupled to quantum gravity. More concretely, we propose a Tameness Conjecture that states that all valid effective theories are labelled by a definable parameter space and must have scalar field spaces and coupling functions that are definable using the tame geometry built from an o-minimal structure. We give a brief introduction to tame geometry and describe how it restricts sets, manifolds, and functions. We then collect evidence for the Tameness Conjecture by studying various effective theories arising from string theory compactifications by using some recent advances in tame geometry. In particular, we will exploit the fact that coset spaces and period mappings are definable in an o-minimal structure and argue for non-trivial tameness results in higher-supersymmetric theories and in Calabi-Yau compactifications. As strongest evidence for the Tameness Conjecture over a discrete parameter space, we then discuss a recent theorem stating that the locus of self-dual flux vacua of F-theory admits a tame geometry even if one allows for any flux choice satisfying the tadpole constraint. This result implies the finiteness of self-dual flux vacua in F-theory.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
Finiteness for self-dual classes in integral variations of Hodge structure
Authors:
Benjamin Bakker,
Thomas W. Grimm,
Christian Schnell,
Jacob Tsimerman
Abstract:
We generalize the finiteness theorem for the locus of Hodge classes with fixed self-intersection number, due to Cattani, Deligne, and Kaplan, from Hodge classes to self-dual classes. The proof uses the definability of period mappings in the o-minimal structure $\mathbb{R}_{\mathrm{an},\exp}$.
We generalize the finiteness theorem for the locus of Hodge classes with fixed self-intersection number, due to Cattani, Deligne, and Kaplan, from Hodge classes to self-dual classes. The proof uses the definability of period mappings in the o-minimal structure $\mathbb{R}_{\mathrm{an},\exp}$.
△ Less
Submitted 29 May, 2023; v1 submitted 13 December, 2021;
originally announced December 2021.
-
Deformed WZW Models and Hodge Theory -- Part I
Authors:
Thomas W. Grimm,
Jeroen Monnee
Abstract:
We investigate a relationship between a particular class of two-dimensional integrable non-linear $σ$-models and variations of Hodge structures. Concretely, our aim is to study the classical dynamics of the $λ$-deformed $G/G$ model and show that a special class of solutions to its equations of motion precisely describes a one-parameter variation of Hodge structures. We find that this special class…
▽ More
We investigate a relationship between a particular class of two-dimensional integrable non-linear $σ$-models and variations of Hodge structures. Concretely, our aim is to study the classical dynamics of the $λ$-deformed $G/G$ model and show that a special class of solutions to its equations of motion precisely describes a one-parameter variation of Hodge structures. We find that this special class is obtained by identifying the group-valued field of the $σ$-model with the Weil operator of the Hodge structure. In this way, the study of strings on classifying spaces of Hodge structures suggests an interesting connection between the broad field of integrable models and the mathematical study of period mappings.
△ Less
Submitted 30 November, 2021;
originally announced December 2021.
-
Moduli Stabilization in Asymptotic Flux Compactifications
Authors:
Thomas W. Grimm,
Erik Plauschinn,
Damian van de Heisteeg
Abstract:
We present a novel strategy to systematically study complex-structure moduli stabilization in Type IIB and F-theory flux compactifications. In particular, we determine vacua in any asymptotic regime of the complex-structure moduli space by exploiting powerful tools of asymptotic Hodge theory. In a leading approximation the moduli dependence of the vacuum conditions are shown to be polynomial with…
▽ More
We present a novel strategy to systematically study complex-structure moduli stabilization in Type IIB and F-theory flux compactifications. In particular, we determine vacua in any asymptotic regime of the complex-structure moduli space by exploiting powerful tools of asymptotic Hodge theory. In a leading approximation the moduli dependence of the vacuum conditions are shown to be polynomial with a dependence given by sl(2)-weights of the fluxes. This simple algebraic dependence can be extracted in any asymptotic regime, even though in nearly all asymptotic regimes essential exponential corrections have to be present for consistency. We give a pedagogical introduction to the sl(2)-approximation as well as a detailed step-by-step procedure for constructing the corresponding Hodge star operator. To exemplify the construction, we present a detailed analysis of several Calabi-Yau three- and fourfold examples. For these examples we illustrate that the vacua in the sl(2)-approximation match the vacua obtained with all polynomial and essential exponential corrections rather well, and we determine the behaviour of the tadpole contribution of the fluxes. Finally, we discuss the structure of vacuum loci and their relations to several swampland conjectures. In particular, we comment on the realization of the so-called linear scenario in view of the tadpole conjecture.
△ Less
Submitted 2 December, 2021; v1 submitted 11 October, 2021;
originally announced October 2021.
-
Engineering Small Flux Superpotentials and Mass Hierarchies
Authors:
Brice Bastian,
Thomas W. Grimm,
Damian van de Heisteeg
Abstract:
We study the stabilization of complex structure moduli in Type IIB flux compactifications by using recent general results about the form of the superpotential and Kähler potential near the boundaries of the moduli space. In this process we show how vacua with an exponentially small vacuum superpotential can be realized systematically and understood conceptually within asymptotic Hodge theory. We d…
▽ More
We study the stabilization of complex structure moduli in Type IIB flux compactifications by using recent general results about the form of the superpotential and Kähler potential near the boundaries of the moduli space. In this process we show how vacua with an exponentially small vacuum superpotential can be realized systematically and understood conceptually within asymptotic Hodge theory. We distinguish two types of vacua realizing such superpotentials that differ by the mass scales of the stabilized moduli. Masses polynomially depending on the moduli arise if the superpotential contains exponential corrections whose existence is required to ensure the non-degeneracy of the moduli space metric. We use the fact that such essential corrections are controlled by asymptotic Hodge theory and have recently been constructed for all one- and two-moduli asymptotic regimes. These insights allow us to obtain new vacua near boundaries in complex structure moduli space that include Seiberg-Witten points. In these examples we find that the scale of the vacuum superpotential can be bounded from below through the exponential of the negative D3-brane tadpole.
△ Less
Submitted 26 August, 2021;
originally announced August 2021.
-
Modeling General Asymptotic Calabi-Yau Periods
Authors:
Brice Bastian,
Thomas W. Grimm,
Damian van de Heisteeg
Abstract:
In the quests to uncovering the fundamental structures that underlie some of the asymptotic Swampland conjectures we initiate the general study of asymptotic period vectors of Calabi- Yau manifolds. Our strategy is to exploit the constraints imposed by completeness, symmetry, and positivity, which are formalized in asymptotic Hodge theory. We use these general principles to study the periods near…
▽ More
In the quests to uncovering the fundamental structures that underlie some of the asymptotic Swampland conjectures we initiate the general study of asymptotic period vectors of Calabi- Yau manifolds. Our strategy is to exploit the constraints imposed by completeness, symmetry, and positivity, which are formalized in asymptotic Hodge theory. We use these general principles to study the periods near any boundary in complex structure moduli space and explain that near most boundaries leading exponentially suppressed corrections must be present for consistency. The only exception are period vectors near the well-studied large complex structure point. Together with the classification of possible boundaries, our procedure makes it possible to construct general models for these asymptotic periods. The starting point for this construction is the sl(2)-data classifying the boundary, which we use to construct the asymptotic Hodge decomposition known as the nilpotent orbit. We then use the latter to determine the asymptotic period vector. We explicitly carry out this program for all possible one- and two-moduli boundaries in Calabi-Yau threefolds and write down general models for their asymptotic periods.
△ Less
Submitted 3 September, 2021; v1 submitted 5 May, 2021;
originally announced May 2021.
-
Bulk Reconstruction in Moduli Space Holography
Authors:
Thomas W. Grimm,
Jeroen Monnee,
Damian van de Heisteeg
Abstract:
It was recently suggested that certain UV-completable supersymmetric actions can be characterized by the solutions to an auxiliary non-linear sigma-model with special asymptotic boundary conditions. The space-time of this sigma-model is the scalar field space of these effective theories while the target space is a coset space. We study this sigma-model without any reference to a potentially underl…
▽ More
It was recently suggested that certain UV-completable supersymmetric actions can be characterized by the solutions to an auxiliary non-linear sigma-model with special asymptotic boundary conditions. The space-time of this sigma-model is the scalar field space of these effective theories while the target space is a coset space. We study this sigma-model without any reference to a potentially underlying geometric description. Using a holographic approach reminiscent of the bulk reconstruction in the AdS/CFT correspondence, we then derive its near-boundary solutions for a two-dimensional space-time. Specifying a set of $ Sl(2,\mathbb{R})$ boundary data we show that the near-boundary solutions are uniquely fixed after imposing a single bulk-boundary matching condition. The reconstruction exploits an elaborate set of recursion relations introduced by Cattani, Kaplan, and Schmid in the proof of the $Sl(2)$-orbit theorem. We explicitly solve these recursion relations for three sets of simple boundary data and show that they model asymptotic periods of a Calabi--Yau threefold near the conifold point, the large complex structure point, and the Tyurin degeneration.
△ Less
Submitted 23 March, 2021;
originally announced March 2021.
-
Universal Axion Backreaction in Flux Compactifications
Authors:
Thomas W. Grimm,
Chongchuo Li
Abstract:
We study the backreaction effect of a large axion field excursion on the saxion partner residing in the same $\mathcal{N}=1$ multiplet. Such configurations are relevant in attempts to realize axion monodromy inflation in string compactifications. We work in the complex structure moduli sector of Calabi-Yau fourfold compactifications of F-theory with four-form fluxes, which covers many of the known…
▽ More
We study the backreaction effect of a large axion field excursion on the saxion partner residing in the same $\mathcal{N}=1$ multiplet. Such configurations are relevant in attempts to realize axion monodromy inflation in string compactifications. We work in the complex structure moduli sector of Calabi-Yau fourfold compactifications of F-theory with four-form fluxes, which covers many of the known Type II orientifold flux compactifications. Noting that axions can only arise near the boundary of the moduli space, the powerful results of asymptotic Hodge theory provide an ideal set of tools to draw general conclusions without the need to focus on specific geometric examples. We find that the boundary structure engraves a remarkable pattern in all possible scalar potentials generated by background fluxes. By studying the Newton polygons of the extremization conditions of all allowed scalar potentials and realizing the backreaction effects as Puiseux expansions, we find that this pattern forces a universal backreaction behavior of the large axion field on its saxion partner.
△ Less
Submitted 14 June, 2021; v1 submitted 15 December, 2020;
originally announced December 2020.
-
Weak Gravity Bounds in Asymptotic String Compactifications
Authors:
Brice Bastian,
Thomas W. Grimm,
Damian van de Heisteeg
Abstract:
We study the charge-to-mass ratios of BPS states in four-dimensional $\mathcal{N}=2$ supergravities arising from Calabi-Yau threefold compactifications of Type IIB string theory. We present a formula for the asymptotic charge-to-mass ratio valid for all limits in complex structure moduli space. This is achieved by using the sl(2)-structure that emerges in any such limit as described by asymptotic…
▽ More
We study the charge-to-mass ratios of BPS states in four-dimensional $\mathcal{N}=2$ supergravities arising from Calabi-Yau threefold compactifications of Type IIB string theory. We present a formula for the asymptotic charge-to-mass ratio valid for all limits in complex structure moduli space. This is achieved by using the sl(2)-structure that emerges in any such limit as described by asymptotic Hodge theory. The asymptotic charge-to-mass formula applies for sl(2)-elementary states that couple to the graviphoton asymptotically. Using this formula, we determine the radii of the ellipsoid that forms the extremality region of electric BPS black holes, which provides us with a general asymptotic bound on the charge-to-mass ratio for these theories. Finally, we comment on how these bounds for the Weak Gravity Conjecture relate to their counterparts in the asymptotic de Sitter Conjecture and Swampland Distance Conjecture.
△ Less
Submitted 17 November, 2020;
originally announced November 2020.
-
Moduli Space Holography and the Finiteness of Flux Vacua
Authors:
Thomas W. Grimm
Abstract:
A holographic perspective to study and characterize field spaces that arise in string compactifications is suggested. A concrete correspondence is developed by studying two-dimensional moduli spaces in supersymmetric string compactifications. It is proposed that there exist theories on the boundaries of each moduli space, whose crucial data are given by a Hilbert space, an Sl(2,C)-algebra, and two…
▽ More
A holographic perspective to study and characterize field spaces that arise in string compactifications is suggested. A concrete correspondence is developed by studying two-dimensional moduli spaces in supersymmetric string compactifications. It is proposed that there exist theories on the boundaries of each moduli space, whose crucial data are given by a Hilbert space, an Sl(2,C)-algebra, and two special operators. This boundary data is motivated by asymptotic Hodge theory and the fact that the physical metric on the moduli space of Calabi-Yau manifolds asymptotes near any infinite distance boundary to a Poincare metric with Sl(2,R) isometry. The crucial part of the bulk theory on the moduli space is a sigma model for group-valued matter fields. It is discussed how this might be coupled to a two-dimensional gravity theory. The classical bulk-boundary matching is then given by the proof of the famous Sl(2) orbit theorem of Hodge theory, which is reformulated in a more physical language. Applying this correspondence to the flux landscape in Calabi-Yau fourfold compactifications it is shown that there are no infinite tails of self-dual flux vacua near any co-dimension one boundary. This finiteness result is a consequence of the constraints on the near boundary expansion of the bulk solutions that match to the boundary data. It is also pointed out that there is a striking connection of the finiteness result for supersymmetric flux vacua and the Hodge conjecture.
△ Less
Submitted 24 March, 2021; v1 submitted 29 October, 2020;
originally announced October 2020.
-
Asymptotic Flux Compactifications and the Swampland
Authors:
Thomas W. Grimm,
Chongchuo Li,
Irene Valenzuela
Abstract:
We initiate the systematic study of flux scalar potentials and their vacua by using asymptotic Hodge theory. To begin with, we consider F-theory compactifications on Calabi-Yau fourfolds with four-form flux. We argue that a classifications of all scalar potentials can be performed when focusing on regions in the field space in which one or several fields are large and close to a boundary. To exemp…
▽ More
We initiate the systematic study of flux scalar potentials and their vacua by using asymptotic Hodge theory. To begin with, we consider F-theory compactifications on Calabi-Yau fourfolds with four-form flux. We argue that a classifications of all scalar potentials can be performed when focusing on regions in the field space in which one or several fields are large and close to a boundary. To exemplify the constraints on such asymptotic flux compactifications, we explicitly determine this classification for situations in which two complex structure moduli are taken to be large. Our classification captures, for example, the weak string coupling limit and the large complex structure limit. We then show that none of these scalar potentials admits de Sitter vacua at parametric control, formulating a new no-go theorem valid beyond weak string coupling. We also check that the recently proposed asymptotic de Sitter conjecture is satisfied near any infinite distance boundary. Extending this strategy further, we generally identify the type of fluxes that induce an infinite series of Anti-de Sitter vacua, thereby generalizing the well-known Type IIA settings. Finally, we argue that also the large field dynamics of any axion in complex structure moduli space is universally constrained. Displacing such an axion by large field values will generally lead to severe backreaction effects destabilizing other directions.
△ Less
Submitted 15 December, 2020; v1 submitted 21 October, 2019;
originally announced October 2019.
-
Classifying Calabi-Yau threefolds using infinite distance limits
Authors:
Thomas W. Grimm,
Fabian Ruehle,
Damian van de Heisteeg
Abstract:
We present a novel way to classify Calabi-Yau threefolds by systematically studying their infinite volume limits. Each such limit is at infinite distance in Kahler moduli space and can be classified by an associated limiting mixed Hodge structure. We then argue that the such structures are labeled by a finite number of degeneration types that combine into a characteristic degeneration pattern asso…
▽ More
We present a novel way to classify Calabi-Yau threefolds by systematically studying their infinite volume limits. Each such limit is at infinite distance in Kahler moduli space and can be classified by an associated limiting mixed Hodge structure. We then argue that the such structures are labeled by a finite number of degeneration types that combine into a characteristic degeneration pattern associated to the underlying Calabi-Yau threefold. These patterns provide a new invariant way to present crucial information encoded in the intersection numbers of Calabi-Yau threefolds. For each pattern, we also introduce a Hasse diagram with vertices representing each, possibly multi-parameter, decompactification limit and explain how to read off properties of the Calabi-Yau manifold from this graphical representation. In particular, we show how it can be used to count elliptic, K3, and nested fibrations and determine relations of elliptic fibrations under birational equivalence. We exemplify this for hypersurfaces in toric ambient spaces as well as for complete intersections in products of projective spaces.
△ Less
Submitted 7 October, 2019;
originally announced October 2019.
-
Infinite Distances and the Axion Weak Gravity Conjecture
Authors:
Thomas W. Grimm,
Damian van de Heisteeg
Abstract:
The axion Weak Gravity Conjecture implies that when parametrically increasing the axion decay constants, instanton corrections become increasingly important. We provide strong evidence for the validity of this conjecture by studying the couplings of R-R axions arising in Calabi-Yau compactifications of Type IIA string theory. Specifically, we consider all possible infinite distance limits in compl…
▽ More
The axion Weak Gravity Conjecture implies that when parametrically increasing the axion decay constants, instanton corrections become increasingly important. We provide strong evidence for the validity of this conjecture by studying the couplings of R-R axions arising in Calabi-Yau compactifications of Type IIA string theory. Specifically, we consider all possible infinite distance limits in complex structure moduli space and identify the axion decay constants that grow parametrically in a certain path-independent way. We then argue that for each of these limits a tower of D2-brane instantons with decreasing actions can be identified. These instantons ensure that the convex hull condition relevant for the multi-axion Weak Gravity Conjecture cannot be violated parametrically. To argue for the existence of such instantons we employ and generalize recent insights about the Swampland Distance Conjecture. Our results are general and not restricted to specific examples, since we use general results about the growth of the Hodge metric and the sl(2)-splittings of the three-form cohomology associated to each limit.
△ Less
Submitted 2 May, 2019;
originally announced May 2019.
-
The Swampland Distance Conjecture for Kahler moduli
Authors:
Pierre Corvilain,
Thomas W. Grimm,
Irene Valenzuela
Abstract:
The Swampland Distance Conjecture suggests that an infinite tower of modes becomes exponentially light when approaching a point that is at infinite proper distance in field space. In this paper we investigate this conjecture in the Kähler moduli spaces of Calabi-Yau threefold compactifications and further elucidate the proposal that the infinite tower of states is generated by the discrete symmetr…
▽ More
The Swampland Distance Conjecture suggests that an infinite tower of modes becomes exponentially light when approaching a point that is at infinite proper distance in field space. In this paper we investigate this conjecture in the Kähler moduli spaces of Calabi-Yau threefold compactifications and further elucidate the proposal that the infinite tower of states is generated by the discrete symmetries associated to infinite distance points. In the large volume regime the infinite tower of states is generated by the action of the local monodromy matrices and encoded by an orbit of D-brane charges. We express these monodromy matrices in terms of the triple intersection numbers to classify the infinite distance points and construct the associated infinite charge orbits that become massless. We then turn to a detailed study of charge orbits in elliptically fibered Calabi-Yau threefolds. We argue that for these geometries the modular symmetry in the moduli space can be used to transfer the large volume orbits to the small elliptic fiber regime. The resulting orbits can be used in compactifications of M-theory that are dual to F-theory compactifications including an additional circle. In particular, we show that there are always charge orbits satisfying the distance conjecture that correspond to Kaluza-Klein towers along that circle. Integrating out the KK towers yields an infinite distance in the moduli space thereby supporting the idea of emergence in that context.
△ Less
Submitted 20 May, 2019; v1 submitted 18 December, 2018;
originally announced December 2018.
-
Infinite Distance Networks in Field Space and Charge Orbits
Authors:
Thomas W. Grimm,
Chongchuo Li,
Eran Palti
Abstract:
The Swampland Distance Conjecture proposes that approaching infinite distances in field space an infinite tower of states becomes exponentially light. We study this conjecture for the complex structure moduli space of Calabi-Yau manifolds. In this context, we uncover significant structure within the proposal by showing that there is a rich spectrum of different infinite distance loci that can be c…
▽ More
The Swampland Distance Conjecture proposes that approaching infinite distances in field space an infinite tower of states becomes exponentially light. We study this conjecture for the complex structure moduli space of Calabi-Yau manifolds. In this context, we uncover significant structure within the proposal by showing that there is a rich spectrum of different infinite distance loci that can be classified by certain topological data derived from an associated discrete symmetry. We show how this data also determines the rules for how the different infinite distance loci can intersect and form an infinite distance network. We study the properties of the intersections in detail and, in particular, propose an identification of the infinite tower of states near such intersections in terms of what we term charge orbits. These orbits have the property that they are not completely local, but depend on data within a finite patch around the intersection, thereby forming an initial step towards understanding global aspects of the distance conjecture in field spaces. Our results follow from a deep mathematical structure captured by the so-called orbit theorems, which gives a handle on singularities in the moduli space through mixed Hodge structures, and is related to a local notion of mirror symmetry thereby allowing us to apply it also to the large volume setting. These theorems are general and apply far beyond Calabi-Yau moduli spaces, leading us to propose that similarly the infinite distance structures we uncover are also more general.
△ Less
Submitted 6 March, 2019; v1 submitted 6 November, 2018;
originally announced November 2018.
-
Four-dimensional black hole entropy from F-theory
Authors:
Thomas W. Grimm,
Huibert het Lam,
Kilian Mayer,
Stefan Vandoren
Abstract:
We study the central charges and levels of a two-dimensional $N=(0,4)$ superconformal field theory describing four-dimensional BPS black holes in F-theory. These arise from D3-branes wrapping a curve in the base of an elliptically fibered Calabi-Yau threefold times a circle, and probe a transverse Taub-NUT space. The near horizon geometry of these D3-branes is AdS…
▽ More
We study the central charges and levels of a two-dimensional $N=(0,4)$ superconformal field theory describing four-dimensional BPS black holes in F-theory. These arise from D3-branes wrapping a curve in the base of an elliptically fibered Calabi-Yau threefold times a circle, and probe a transverse Taub-NUT space. The near horizon geometry of these D3-branes is AdS$_3 \times \text{S}^3/\mathbb{Z}_m$, where $m$ is the NUT charge. Starting from a six-dimensional supergravity effective action we compute three-dimensional Chern-Simons terms to deduce the central charges and levels. We find that it is crucial to integrate out an infinite tower of massive Kaluza-Klein states on S$^3/\mathbb{Z}_m$ to match the expected microscopic results. The induced corrections turn out to contribute at leading order to the central charges and levels, which in turn determine the black hole entropy.
△ Less
Submitted 29 March, 2019; v1 submitted 15 August, 2018;
originally announced August 2018.
-
Infinite Distances in Field Space and Massless Towers of States
Authors:
Thomas W. Grimm,
Eran Palti,
Irene Valenzuela
Abstract:
It has been conjectured that in theories consistent with quantum gravity infinite distances in field space coincide with an infinite tower of states becoming massless exponentially fast in the proper field distance. The complex-structure moduli space of Calabi-Yau manifolds is a good testing ground for this conjecture since it is known to encode quantum gravity physics. We study infinite distances…
▽ More
It has been conjectured that in theories consistent with quantum gravity infinite distances in field space coincide with an infinite tower of states becoming massless exponentially fast in the proper field distance. The complex-structure moduli space of Calabi-Yau manifolds is a good testing ground for this conjecture since it is known to encode quantum gravity physics. We study infinite distances in this setting and present new evidence for the above conjecture. Points in moduli space which are at infinite proper distance along any path are characterised by an infinite order monodromy matrix. We utilise the nilpotent orbit theorem to show that for a large class of such points the monodromy matrix generates an infinite orbit within the spectrum of BPS states. We identify an infinite tower of states with this orbit. Further, the theorem gives the local metric on the moduli space which can be used to show that the mass of the states decreases exponentially fast upon approaching the point. We also propose a reason for why infinite distances are related to infinite towers of states. Specifically, we present evidence that the infinite distance itself is an emergent quantum phenomenon induced by integrating out at one-loop the states that become massless. Concretely, we show that the behaviour of the field space metric upon approaching infinite distance can be recovered from integrating out the BPS states. Similarly, at infinite distance the gauge couplings of closed-string Abelian gauge symmetries vanish in a way which can be matched onto integrating out the infinite tower of charged BPS states. This presents evidence towards the idea that also the gauge theory weak-coupling limit can be thought of as emergent.
△ Less
Submitted 23 March, 2018; v1 submitted 22 February, 2018;
originally announced February 2018.
-
One-modulus Calabi-Yau fourfold reductions with higher-derivative terms
Authors:
Thomas W. Grimm,
Kilian Mayer,
Matthias Weissenbacher
Abstract:
In this note we consider M-theory compactified on a warped Calabi-Yau fourfold including the eight-derivative terms in the eleven-dimensional action known in the literature. We dimensionally reduce this theory on geometries with one Kahler modulus and determine the resulting three-dimensional Kahler potential and complex coordinate. The logarithmic form of the corrections suggests that they might…
▽ More
In this note we consider M-theory compactified on a warped Calabi-Yau fourfold including the eight-derivative terms in the eleven-dimensional action known in the literature. We dimensionally reduce this theory on geometries with one Kahler modulus and determine the resulting three-dimensional Kahler potential and complex coordinate. The logarithmic form of the corrections suggests that they might admit a physical interpretation in terms of one-loop corrections to the effective action. Including only the known terms the no-scale condition in three dimensions is broken, but we discuss caveats to this conclusion. In particular, we consider additional new eight-derivative terms in eleven dimensions and show that they are strongly constrained by compatibility with the Calabi-Yau threefold reduction. We examine their impact on the Calabi-Yau fourfold reduction and the restoration of the no-scale property.
△ Less
Submitted 19 December, 2017;
originally announced December 2017.
-
Chiral anomalies on a circle and their cancellation in F-theory
Authors:
Pierre Corvilain,
Thomas W. Grimm,
Diego Regalado
Abstract:
We study in detail how four-dimensional local anomalies manifest themselves when the theory is compactified on a circle. By integrating out the Kaluza-Klein modes in a way that preserves the four-dimensional symmetries in the UV, we show that the three-dimensional theory contains field-dependent Chern-Simons terms that appear at one-loop. These vanish if and only if the four-dimensional anomaly is…
▽ More
We study in detail how four-dimensional local anomalies manifest themselves when the theory is compactified on a circle. By integrating out the Kaluza-Klein modes in a way that preserves the four-dimensional symmetries in the UV, we show that the three-dimensional theory contains field-dependent Chern-Simons terms that appear at one-loop. These vanish if and only if the four-dimensional anomaly is canceled, so the anomaly is not lost upon compactification. We extend this analysis to situations where anomalies are canceled through a Green-Schwarz mechanism. We then use these results to show automatic cancellation of local anomalies in F-theory compactifications that can be obtained as a limit of M-theory on a smooth Calabi-Yau fourfold with background flux.
△ Less
Submitted 28 March, 2018; v1 submitted 20 October, 2017;
originally announced October 2017.
-
Higher derivatives in Type II and M-theory on Calabi-Yau threefolds
Authors:
Thomas W. Grimm,
Kilian Mayer,
Matthias Weissenbacher
Abstract:
The four- and five-dimensional effective actions of Calabi-Yau threefold compactifications are derived with a focus on terms involving up to four space-time derivatives. The starting points for these reductions are the ten- and eleven-dimensional supergravity actions supplemented with the known eight-derivative corrections that have been inferred from Type II string amplitudes. The corrected backg…
▽ More
The four- and five-dimensional effective actions of Calabi-Yau threefold compactifications are derived with a focus on terms involving up to four space-time derivatives. The starting points for these reductions are the ten- and eleven-dimensional supergravity actions supplemented with the known eight-derivative corrections that have been inferred from Type II string amplitudes. The corrected background solutions are determined and the fluctuations of the Kahler structure of the compact space and the form-field background are discussed. It is concluded that the two-derivative effective actions for these fluctuations only takes the expected supergravity form if certain additional ten- and eleven-dimensional higher-derivative terms for the form-fields are included. The main results on the four-derivative terms include a detailed treatment of higher-derivative gravity coupled to Kahler structure deformations. This is supplemented by a derivation of the vector sector in reductions to five dimensions. While the general result is only given as an expansion in the fluctuations, a complete treatment of the one-Kahler modulus case is presented for both Type II theories and M-theory.
△ Less
Submitted 27 February, 2017;
originally announced February 2017.
-
Three-form periods on Calabi-Yau fourfolds: Toric hypersurfaces and F-theory applications
Authors:
Sebastian Greiner,
Thomas W. Grimm
Abstract:
The study of the geometry of Calabi-Yau fourfolds is relevant for compactifications of string theory, M-theory, and F-theory to various dimensions. This work introduces the mathematical machinery to derive the complete moduli dependence of the periods of non-trivial three-forms for fourfolds realized as hypersurfaces in toric ambient spaces. It sets the stage to determine Picard-Fuchs-type differe…
▽ More
The study of the geometry of Calabi-Yau fourfolds is relevant for compactifications of string theory, M-theory, and F-theory to various dimensions. This work introduces the mathematical machinery to derive the complete moduli dependence of the periods of non-trivial three-forms for fourfolds realized as hypersurfaces in toric ambient spaces. It sets the stage to determine Picard-Fuchs-type differential equations and integral expressions for these forms. The key tool is the observation that non-trivial three-forms on hypersurfaces in toric ambient spaces always stem from divisors that are build out of toric resolution trees fibered over Riemann surfaces. The three-form periods are then non-trivially related to the one-form periods of these surfaces. In general, the three-form periods are known to vary holomorphically over the complex structure moduli space and play an important role in the effective actions arising in fourfold compactifications. We discuss two explicit example fourfolds for F-theory compactifications in which the three-form periods determine axion decay constants.
△ Less
Submitted 31 October, 2017; v1 submitted 10 February, 2017;
originally announced February 2017.
-
Shift-symmetries and gauge coupling functions in orientifolds and F-theory
Authors:
Pierre Corvilain,
Thomas W. Grimm,
Diego Regalado
Abstract:
We investigate the field dependence of the gauge coupling functions of four-dimensional Type IIB orientifold and F-theory compactifications with space-time filling seven-branes. In particular, we analyze the constraints imposed by holomorphicity and covariance under shift-symmetries of the bulk and brane axions. This requires introducing quantum corrections that necessarily contain Riemann theta f…
▽ More
We investigate the field dependence of the gauge coupling functions of four-dimensional Type IIB orientifold and F-theory compactifications with space-time filling seven-branes. In particular, we analyze the constraints imposed by holomorphicity and covariance under shift-symmetries of the bulk and brane axions. This requires introducing quantum corrections that necessarily contain Riemann theta functions on the complex torus spanned by the D7-brane Wilson line moduli. Our findings hint towards a new underlying geometric structure for gauge coupling functions in string compactifications. We generalize this discussion to a genuine F-theory compactification on an elliptically fibered Calabi-Yau fourfold. We perform the first general dimensional reduction of eleven-dimensional supergravity and dualization to the F-theory frame. The resulting effective action is compared with the circle reduction of a four-dimensional N=1 supergravity theory. The F-theory geometry elegantly unifies bulk and brane degrees of freedom and allows us to infer non-trivial results about holomorphicity and shift-symmetries. For instance, we gain new insight into kinetic mixing of bulk and brane gauge fields.
△ Less
Submitted 22 May, 2017; v1 submitted 13 July, 2016;
originally announced July 2016.
-
On Mirror Symmetry for Calabi-Yau Fourfolds with Three-Form Cohomology
Authors:
Sebastian Greiner,
Thomas W. Grimm
Abstract:
We study the action of mirror symmetry on two-dimensional N=(2,2) effective theories obtained by compactifying Type IIA string theory on Calabi-Yau fourfolds. Our focus is on fourfold geometries with non-trivial three-form cohomology. The couplings of the massless zero-modes arising by expanding in these forms depend both on the complex structure deformations and the Kahler structure deformations…
▽ More
We study the action of mirror symmetry on two-dimensional N=(2,2) effective theories obtained by compactifying Type IIA string theory on Calabi-Yau fourfolds. Our focus is on fourfold geometries with non-trivial three-form cohomology. The couplings of the massless zero-modes arising by expanding in these forms depend both on the complex structure deformations and the Kahler structure deformations of the Calabi-Yau fourfold. We argue that two holomorphic functions of the deformation moduli capture this information. These are exchanged under mirror symmetry, which allows us to derive them at the large complex structure and large volume point. We discuss the application of the resulting explicit expression to F-theory compactifications and their weak string coupling limit. In the latter orientifold settings we demonstrate compatibility with mirror symmetry of Calabi-Yau threefolds at large complex structure. As a byproduct we find an interesting relation of no-scale like conditions on Kahler potentials to the existence of chiral and twisted-chiral descriptions in two dimensions.
△ Less
Submitted 15 December, 2015;
originally announced December 2015.
-
The Arithmetic of Elliptic Fibrations in Gauge Theories on a Circle
Authors:
Thomas W. Grimm,
Andreas Kapfer,
Denis Klevers
Abstract:
The geometry of elliptic fibrations translates to the physics of gauge theories in F-theory. We systematically develop the dictionary between arithmetic structures on elliptic curves as well as desingularized elliptic fibrations and symmetries of gauge theories on a circle. We show that the Mordell-Weil group law matches integral large gauge transformations around the circle in Abelian gauge theor…
▽ More
The geometry of elliptic fibrations translates to the physics of gauge theories in F-theory. We systematically develop the dictionary between arithmetic structures on elliptic curves as well as desingularized elliptic fibrations and symmetries of gauge theories on a circle. We show that the Mordell-Weil group law matches integral large gauge transformations around the circle in Abelian gauge theories and explain the significance of Mordell-Weil torsion in this context. We also use Higgs transitions and circle large gauge transformations to introduce a group law for genus-one fibrations with multi-sections. Finally, we introduce a novel arithmetic structure on elliptic fibrations with non-Abelian gauge groups in F-theory. It is defined on the set of exceptional divisors resolving the singularities and divisor classes of sections of the fibration. This group structure can be matched with certain integral non-Abelian large gauge transformations around the circle when studying the theory on the lower-dimensional Coulomb branch. Its existence is required by consistency with Higgs transitions from the non-Abelian theory to its Abelian phases in which it becomes the Mordell-Weil group. This hints towards the existence of a new underlying geometric symmetry.
△ Less
Submitted 14 October, 2015;
originally announced October 2015.
-
On dualities for non-Abelian gauge theories with continuous center
Authors:
Thomas W. Grimm,
Diego Regalado
Abstract:
Formulating gauge theories for gauge groups admitting a continuous center can require to include charged scalars to define a gauge-coupling function. We show that the gauge-fields in the center can be dualized into form-fields of dimension-dependent degree. The resulting theory admits a smaller gauge group that factorizes out the center, but contains a Chern-Simons type term coupling the scalars t…
▽ More
Formulating gauge theories for gauge groups admitting a continuous center can require to include charged scalars to define a gauge-coupling function. We show that the gauge-fields in the center can be dualized into form-fields of dimension-dependent degree. The resulting theory admits a smaller gauge group that factorizes out the center, but contains a Chern-Simons type term coupling the scalars to the form-fields. As an explicit example we consider the gauge group being the Heisenberg group and show that the dual action only admits an Abelian gauge symmetry. We comment on the vacuum symmetries in these settings, their supersymmetrization, and point out their importance in string theory.
△ Less
Submitted 14 September, 2015;
originally announced September 2015.
-
The effective action of warped M-theory reductions with higher-derivative terms - Part II
Authors:
Thomas W. Grimm,
Tom G. Pugh,
Matthias Weissenbacher
Abstract:
We study the three-dimensional effective action obtained by reducing eleven-dimensional supergravity with higher-derivative terms on a background solution including a warp-factor, an eight-dimensional compact manifold, and fluxes. The dynamical fields are Kähler deformations and vectors from the M-theory three-form. We show that the potential is only induced by fluxes and the naive contributions o…
▽ More
We study the three-dimensional effective action obtained by reducing eleven-dimensional supergravity with higher-derivative terms on a background solution including a warp-factor, an eight-dimensional compact manifold, and fluxes. The dynamical fields are Kähler deformations and vectors from the M-theory three-form. We show that the potential is only induced by fluxes and the naive contributions obtained from higher-curvature terms on a Calabi-Yau background vanish once the back-reaction to the full solution is taken into account. For the resulting three-dimensional action we analyse the Kähler potential and complex coordinates and show compatibility with N=2 supersymmetry. We argue that the higher-order result is also compatible with a no-scale condition. We find that the complex coordinates should be formulated as divisor integrals for which a non-trivial interplay between the warp-factor terms and the higher-curvature terms allow a derivation of the moduli space metric. This leads us to discuss higher-derivative corrections to the M5-brane action.
△ Less
Submitted 1 July, 2015;
originally announced July 2015.
-
Non-Abelian discrete gauge symmetries in F-theory
Authors:
Thomas W. Grimm,
Tom G. Pugh,
Diego Regalado
Abstract:
The presence of non-Abelian discrete gauge symmetries in four-dimensional F-theory compactifications is investigated. Such symmetries are shown to arise from seven-brane configurations in genuine F-theory settings without a weak string coupling description. Gauge fields on mutually non-local seven-branes are argued to gauge both R-R and NS-NS two-form bulk axions. The gauging is completed into a g…
▽ More
The presence of non-Abelian discrete gauge symmetries in four-dimensional F-theory compactifications is investigated. Such symmetries are shown to arise from seven-brane configurations in genuine F-theory settings without a weak string coupling description. Gauge fields on mutually non-local seven-branes are argued to gauge both R-R and NS-NS two-form bulk axions. The gauging is completed into a generalisation of the Heisenberg group with either additional seven-brane gauge fields or R-R bulk gauge fields. The former case relies on having seven-brane fluxes, while the latter case requires torsion cohomology and is analysed in detail through the M-theory dual. Remarkably, the M-theory reduction yields an Abelian theory that becomes non-Abelian when translated into the correct duality frame to perform the F-theory limit. The reduction shows that the gauge coupling function depends on the gauged scalars and transforms non-trivially as required for the groups encountered. This field dependence agrees with the expectations for the kinetic mixing of seven-branes and is unchanged if the gaugings are absent.
△ Less
Submitted 23 April, 2015;
originally announced April 2015.
-
Anomaly Cancelation in Field Theory and F-theory on a Circle
Authors:
Thomas W. Grimm,
Andreas Kapfer
Abstract:
We study the manifestation of local gauge anomalies of four- and six-dimensional field theories in the lower-dimensional Kaluza-Klein theory obtained after circle compactification. We identify a convenient set of transformations acting on the whole tower of massless and massive states and investigate their action on the low-energy effective theories in the Coulomb branch. The maps employ higher-di…
▽ More
We study the manifestation of local gauge anomalies of four- and six-dimensional field theories in the lower-dimensional Kaluza-Klein theory obtained after circle compactification. We identify a convenient set of transformations acting on the whole tower of massless and massive states and investigate their action on the low-energy effective theories in the Coulomb branch. The maps employ higher-dimensional large gauge transformations and precisely yield the anomaly cancelation conditions when acting on the one-loop induced Chern-Simons terms in the three- and five-dimensional effective theory. The arising symmetries are argued to play a key role in the study of the M-theory to F-theory limit on Calabi-Yau manifolds. For example, using the fact that all fully resolved F-theory geometries inducing multiple Abelian gauge groups or non-Abelian groups admit a certain set of symmetries, we are able to generally show the cancelation of pure Abelian or pure non-Abelian anomalies in these models.
△ Less
Submitted 18 July, 2016; v1 submitted 18 February, 2015;
originally announced February 2015.
-
Special Points of Inflation in Flux Compactifications
Authors:
Iñaki García-Etxebarria,
Thomas W. Grimm,
Irene Valenzuela
Abstract:
We study the realisation of axion inflation models in the complex structure moduli spaces of Calabi-Yau threefolds and fourfolds. The axions arise close to special points of these moduli spaces that admit discrete monodromy symmetries of infinite order. Examples include the large complex structure point and conifold point, but can be of more general nature. In Type IIB and F-theory compactificatio…
▽ More
We study the realisation of axion inflation models in the complex structure moduli spaces of Calabi-Yau threefolds and fourfolds. The axions arise close to special points of these moduli spaces that admit discrete monodromy symmetries of infinite order. Examples include the large complex structure point and conifold point, but can be of more general nature. In Type IIB and F-theory compactifications the geometric axions receive a scalar potential from a flux-induced superpotential. We find toy variants of various inflationary potentials including the ones for natural inflation of one or multiple axions, or axion monodromy inflation with polynomial potential. Interesting examples are also given by mirror geometries of torus fibrations with Mordell-Weil group of rank $N-1$ or an $N$-section, which admit an axion if $N>3$.
△ Less
Submitted 17 December, 2014;
originally announced December 2014.
-
The effective action of warped M-theory reductions with higher derivative terms - Part I
Authors:
Thomas W. Grimm,
Tom G. Pugh,
Matthias Weissenbacher
Abstract:
M-theory accessed via eleven-dimensional supergravity admits globally consistent warped solutions with eight-dimensional compact spaces if background fluxes and higher derivative terms are considered. The internal background is conformally Kähler with vanishing first Chern class. We perturb these solutions including a finite number of Kähler deformations of the metric and vector deformations of th…
▽ More
M-theory accessed via eleven-dimensional supergravity admits globally consistent warped solutions with eight-dimensional compact spaces if background fluxes and higher derivative terms are considered. The internal background is conformally Kähler with vanishing first Chern class. We perturb these solutions including a finite number of Kähler deformations of the metric and vector deformations of the M-theory three-form. Special emphasis is given to the field-dependence of the warp-factor and the higher-derivative terms. We show that the three-dimensional two-derivative effective action takes a surprisingly simple form in terms of a single higher-curvature building block due to numerous non-trivial cancellations. Both the ansatz and the effective action admit a moduli dependent scaling symmetry of the internal metric. Furthermore, we find that the required departure from Ricci-flatness and harmonicity of the zero-mode eigenforms does not alter the effective theory.
△ Less
Submitted 16 December, 2014;
originally announced December 2014.
-
Complete Intersection Fibers in F-Theory
Authors:
Volker Braun,
Thomas W. Grimm,
Jan Keitel
Abstract:
Global F-theory compactifications whose fibers are realized as complete intersections form a richer set of models than just hypersurfaces. The detailed study of the physics associated with such geometries depends crucially on being able to put the elliptic fiber into Weierstrass form. While such a transformation is always guaranteed to exist, its explicit form is only known in a few special cases.…
▽ More
Global F-theory compactifications whose fibers are realized as complete intersections form a richer set of models than just hypersurfaces. The detailed study of the physics associated with such geometries depends crucially on being able to put the elliptic fiber into Weierstrass form. While such a transformation is always guaranteed to exist, its explicit form is only known in a few special cases. We present a general algorithm for computing the Weierstrass form of elliptic curves defined as complete intersections of different codimensions and use it to solve all cases of complete intersections of two equations in an ambient toric variety. Using this result, we determine the toric Mordell-Weil groups of all 3134 nef partitions obtained from the 4319 three-dimensional reflexive polytopes and find new groups that do not exist for toric hypersurfaces. As an application, we construct several models that cannot be realized as toric hypersurfaces, such as the first toric SU(5) GUT model in the literature with distinctly charged 10 representations and an F-theory model with discrete gauge group Z_4 whose dual fiber has a Mordell-Weil group with Z_4 torsion.
△ Less
Submitted 28 January, 2015; v1 submitted 10 November, 2014;
originally announced November 2014.
-
Partial Supergravity Breaking and the Effective Action of Consistent Truncations
Authors:
Thomas W. Grimm,
Andreas Kapfer,
Severin Lust
Abstract:
We study vacua of N = 4 half-maximal gauged supergravity in five dimensions and determine crucial properties of the effective theory around the vacuum. The main focus is on configurations with exactly two broken supersymmetries, since they frequently appear in consistent truncations of string theory and supergravity. Evaluating one-loop corrections to the Chern-Simons terms we find necessary condi…
▽ More
We study vacua of N = 4 half-maximal gauged supergravity in five dimensions and determine crucial properties of the effective theory around the vacuum. The main focus is on configurations with exactly two broken supersymmetries, since they frequently appear in consistent truncations of string theory and supergravity. Evaluating one-loop corrections to the Chern-Simons terms we find necessary conditions to ensure that a consistent truncation also gives rise to a proper effective action of an underlying more fundamental theory. To obtain concrete examples, we determine the N=4 action of M-theory on six-dimensional SU(2)-structure manifolds with background fluxes. Calabi-Yau threefolds with vanishing Euler number are examples of SU(2)-structure manifolds that yield N=2 Minkowski vacua. We find that that one-loop corrections to the Chern-Simons terms vanish trivially and thus do not impose constraints on identifying effective theories. This result is traced back to the absence of isometries on these geometries. Examples with isometries arise from type IIB supergravity on squashed Sasaki-Einstein manifolds. In this case the one-loop gauge Chern-Simons terms vanish due to non-trivial cancellations, while the one-loop gravitational Chern-Simons terms are non-zero.
△ Less
Submitted 18 September, 2014; v1 submitted 2 September, 2014;
originally announced September 2014.
-
Yukawas and discrete symmetries in F-theory compactifications without section
Authors:
Iñaki García-Etxebarria,
Thomas W. Grimm,
Jan Keitel
Abstract:
In the case of F-theory compactifications on genus-one fibrations without section there are naturally appearing discrete symmetries, which we argue to be associated to geometrically massive U(1) gauge symmetries. These discrete symmetries are shown to induce non-trivial selection rules for the allowed Yukawa couplings in SU(N) gauge theories. The general discussion is exemplified using a concrete…
▽ More
In the case of F-theory compactifications on genus-one fibrations without section there are naturally appearing discrete symmetries, which we argue to be associated to geometrically massive U(1) gauge symmetries. These discrete symmetries are shown to induce non-trivial selection rules for the allowed Yukawa couplings in SU(N) gauge theories. The general discussion is exemplified using a concrete Calabi-Yau fourfold realizing an SU(5) GUT model. We observe that M2 instanton effects appear to play a key role in the generation of new superpotential terms and in the dynamics close to phase transition loci.
△ Less
Submitted 30 September, 2014; v1 submitted 27 August, 2014;
originally announced August 2014.
-
On M-theory fourfold vacua with higher curvature terms
Authors:
Thomas W. Grimm,
Tom G. Pugh,
Matthias Weissenbacher
Abstract:
We study solutions to the eleven-dimensional supergravity action, including terms quartic and cubic in the Riemann curvature, that admit an eight-dimensional compact space. The internal background is found to be a conformally Kahler manifold with vanishing first Chern class. The metric solution, however, is non-Ricci-flat even when allowing for a conformal rescaling including the warp factor. This…
▽ More
We study solutions to the eleven-dimensional supergravity action, including terms quartic and cubic in the Riemann curvature, that admit an eight-dimensional compact space. The internal background is found to be a conformally Kahler manifold with vanishing first Chern class. The metric solution, however, is non-Ricci-flat even when allowing for a conformal rescaling including the warp factor. This deviation is due to the possible non-harmonicity of the third Chern-form in the leading order Ricci-flat metric. We present a systematic derivation of the background solution by solving the Killing spinor conditions including higher curvature terms. These are translated into first-order differential equations for a globally defined real two-form and complex four-form on the fourfold. We comment on the supersymmetry properties of the described solutions.
△ Less
Submitted 21 August, 2014;
originally announced August 2014.
-
Physics of F-theory compactifications without section
Authors:
Lara B. Anderson,
Iñaki García-Etxebarria,
Thomas W. Grimm,
Jan Keitel
Abstract:
We study the physics of F-theory compactifications on genus-one fibrations without section by using an M-theory dual description. The five-dimensional action obtained by considering M-theory on a Calabi-Yau threefold is compared with a six-dimensional F-theory effective action reduced on an additional circle. We propose that the six-dimensional effective action of these setups admits geometrically…
▽ More
We study the physics of F-theory compactifications on genus-one fibrations without section by using an M-theory dual description. The five-dimensional action obtained by considering M-theory on a Calabi-Yau threefold is compared with a six-dimensional F-theory effective action reduced on an additional circle. We propose that the six-dimensional effective action of these setups admits geometrically massive U(1) vectors with a charged hypermultiplet spectrum. The absence of a section induces NS-NS and R-R three-form fluxes in F-theory that are non-trivially supported along the circle and induce a shift-gauging of certain axions with respect to the Kaluza-Klein vector. In the five-dimensional effective theory the Kaluza-Klein vector and the massive U(1)s combine into a linear combination that is massless. This U(1) is identified with the massless U(1) corresponding to the multi-section of the Calabi-Yau threefold in M-theory. We confirm this interpretation by computing the one-loop Chern-Simons terms for the massless vectors of the five-dimensional setup by integrating out all massive states. A closed formula is found that accounts for the hypermultiplets charged under the massive U(1)s.
△ Less
Submitted 30 September, 2014; v1 submitted 19 June, 2014;
originally announced June 2014.
-
Axion Inflation in F-theory
Authors:
Thomas W. Grimm
Abstract:
We study the dynamics of axion-like fields in F-theory and suggest that they can serve as inflatons in models of natural inflation. The axions arise from harmonic three-forms on the F-theory compactification space and parameterize a complex torus that varies over the geometric moduli space. In particular, this implies that the axion decay constants depend on the complex structure moduli that can b…
▽ More
We study the dynamics of axion-like fields in F-theory and suggest that they can serve as inflatons in models of natural inflation. The axions arise from harmonic three-forms on the F-theory compactification space and parameterize a complex torus that varies over the geometric moduli space. In particular, this implies that the axion decay constants depend on the complex structure moduli that can be fixed by background fluxes. This might allow tuning them to be super-Planckian in a controlled way and allow for interesting single field inflationary models. We argue that this requires a localization of the three-forms near regions of strong string coupling, analogously to the reasoning that GUT physics requires the use of F-theory. These models can admit a tensor to scalar ratio r>0.1.
△ Less
Submitted 5 May, 2014; v1 submitted 16 April, 2014;
originally announced April 2014.
-
Self-Dual Tensors and Partial Supersymmetry Breaking in Five Dimensions
Authors:
Thomas W. Grimm,
Andreas Kapfer
Abstract:
We study spontaneous supersymmetry breaking of five-dimensional supergravity theories from sixteen to eight supercharges in Minkowski vacua. This N=4 to N=2 breaking is induced by Abelian gaugings that require the introduction of self-dual tensor fields accompanying the vectors in the gravity multiplet and vector multiplets. These tensor fields have first-order kinetic terms and can become massive…
▽ More
We study spontaneous supersymmetry breaking of five-dimensional supergravity theories from sixteen to eight supercharges in Minkowski vacua. This N=4 to N=2 breaking is induced by Abelian gaugings that require the introduction of self-dual tensor fields accompanying the vectors in the gravity multiplet and vector multiplets. These tensor fields have first-order kinetic terms and can become massive by a Stueckelberg-like mechanism. We identify the general class of N=2 vacua and show how the N=4 spectrum splits into massless and massive N=2 multiplets. In particular, we find a massive gravitino multiplet, containing two complex massive tensors, and a number of massive tensor multiplets and hypermultiplets. We determine the resulting N=2 effective action for the massless multiplets obtained by integrating out massive fields. We show that the metric and Chern-Simons terms of the vectors are corrected at one-loop by massive tensors as well as spin-1/2 and spin-3/2 fermions. These contributions are independent of the supersymmetry-breaking scale and thus have to be included at arbitrarily low energies.
△ Less
Submitted 14 February, 2014;
originally announced February 2014.
-
From M-theory higher curvature terms to α' corrections in F-theory
Authors:
Thomas W. Grimm,
Jan Keitel,
Raffaele Savelli,
Matthias Weissenbacher
Abstract:
We perform a Kaluza-Klein reduction of eleven-dimensional supergravity on a Calabi-Yau fourfold including terms quartic and cubic in the Riemann curvature and determine the induced corrections to the three-dimensional N=2 effective action. We focus on the effective Einstein-Hilbert term and the kinetic terms for vectors. Dualizing the vectors into scalars, we derive the resulting Kahler potential…
▽ More
We perform a Kaluza-Klein reduction of eleven-dimensional supergravity on a Calabi-Yau fourfold including terms quartic and cubic in the Riemann curvature and determine the induced corrections to the three-dimensional N=2 effective action. We focus on the effective Einstein-Hilbert term and the kinetic terms for vectors. Dualizing the vectors into scalars, we derive the resulting Kahler potential and complex coordinates. The classical expressions for the Kahler coordinates are non-trivially modified, while the functional form of the Kahler potential is shown to be uncorrected. For elliptically fibered Calabi-Yau fourfolds the corrections can be uplifted to a four-dimensional F-theory compactification. We argue that also the four-dimensional N=1 Kahler coordinates receive non-trivial corrections. We find a simple expression for the induced corrections for different Abelian and non-Abelian seven-brane configurations by scanning over many Calabi-Yau fourfolds with resolved singularities. The interpretation of this expression leads us to conjecture that the higher-curvature corrections correspond to α'^2 corrections that arise from open strings at the self-intersection of seven-branes.
△ Less
Submitted 4 December, 2013;
originally announced December 2013.
-
F-Theory on Spin(7) Manifolds: Weak-Coupling Limit
Authors:
Federico Bonetti,
Thomas W. Grimm,
Eran Palti,
Tom G. Pugh
Abstract:
F-theory on appropriately fibered Spin(7) holonomy manifolds is defined to arise as the dual of M-theory on the same space in the limit of a shrinking fiber. A class of Spin(7) orbifolds can be constructed as quotients of elliptically fibered Calabi-Yau fourfolds by an anti-holomorphic involution. The F-theory dual then exhibits one macroscopic dimension that has the topology of an interval. In th…
▽ More
F-theory on appropriately fibered Spin(7) holonomy manifolds is defined to arise as the dual of M-theory on the same space in the limit of a shrinking fiber. A class of Spin(7) orbifolds can be constructed as quotients of elliptically fibered Calabi-Yau fourfolds by an anti-holomorphic involution. The F-theory dual then exhibits one macroscopic dimension that has the topology of an interval. In this work we study the weak-coupling limit of a subclass of such constructions and identify the objects that arise in this limit. On the Type IIB side we find space-time filling O7-planes as well as O5-planes and orbifold five-planes with a (-1)^{F_L} factor localised on the interval boundaries. These orbifold planes are referred to as X5-planes and are S-dual to a D5-O5 system. For other involutions exotic O3-planes and X3-planes on top of a six-dimensional orbifold singularity can appear. We show that the objects present preserve a mutual supersymmetry of four supercharges in the bulk of the interval and two supercharges on the boundary. It follows that in the infinite-interval and weak-coupling limit full four-dimensional N=1 supersymmetry is restored, which on the Type IIA side corresponds to an enhancement of supersymmetry by winding modes in the vanishing interval limit.
△ Less
Submitted 9 September, 2013;
originally announced September 2013.