arXiv subjects

David Prieto

Publications and source records attributed to David Prieto.

12 recordsLinked to original sources

arXiv2026

Tame Complexity of Effective Field Theories in the Quantum Gravity Landscape

Effective field theories consistent with quantum gravity obey surprising finiteness constraints, appearing in several distinct but interconnected forms. In this work we develop a framework that unifies these observations by proposing that the defining data of such theories, as well as the landscape of effective field theories that are valid at least up to a fixed cutoff, admit descriptions with a uniform bound on complexity. To make this precise, we use tame geometry and work in sharply o-minimal structures, in which tame sets and functions come with two integer parameters that quantify their information content; we call this pair their tame complexity. Our Finite Complexity Conjectures are supported by controlled examples in which an infinite Wilsonian expansion nevertheless admits an equivalent finite-complexity description, typically through hidden rigidity conditions such as differential or recursion relations. We further assemble evidence from string compactifications, highlighting the constraining role of moduli space geometry and the importance of dualities. This perspective also yields mathematically well-defined notions of counting and volume measures on the space of effective theories, formulated in terms of effective field theory domains and coverings, whose finiteness is naturally enforced by the conjectures.

hep-th↗

arXiv2025

On the Complexity of Effective Theories -- Seiberg-Witten theory

Motivated by the idea that consistent quantum field theories should admit a finite description, we investigate the complexity of effective field theories using the framework of effective o-minimality. Our focus is on quantifying the geometric and logical information required to describe moduli spaces and quantum-corrected couplings. As a concrete setting, we study pure $\mathcal{N}=2$ super-Yang-Mills theory along its quantum moduli space using Seiberg-Witten elliptic curves. We argue that the complexity computation should be organized in terms of local cells that cover the near-boundary regions where additional states become light, each associated with an appropriate duality frame. These duality frames are crucial for keeping the global complexity finite: insisting on a single frame extending across all such limits would yield a divergent complexity measure. This case study illustrates how tame geometry uses dualities to yield finite-complexity descriptions of effective theories and points towards a general framework for quantifying the complexity of the space of effective field theories.

hep-th↗

arXiv2025

Tame Embeddings, Volume Growth, and Complexity of Moduli Spaces

Quantum gravity is expected to impose constraints on the moduli spaces of massless fields that can arise in effective quantum field theories. A recent proposal asserts that the asymptotic volume growth of these spaces is severely restricted, and related to the existence of duality symmetries. In this work we link this proposal to a tameness criterion, by suggesting that any consistent moduli space should admit a tame isometric embedding into Euclidean space. This allows us to promote the volume growth constraint to a local condition, and give the growth coefficient a geometric interpretation in terms of complexity. We study the implications of this proposal for the emergence of dualities, as well as for the curvature and infinite distance limits of moduli spaces.

hep-th↗

arXiv2024

On the limitations of non-geometric fluxes to realize dS vacua

In this paper, we perform a systematic and analytical exploration of de Sitter conditions in type IIA compactifications with (non-)geometric fluxes along with the standard NS-NS and RR $p$-form fluxes. Exploiting the fact that the F-term scalar potential can be written as a bilinear form, we start by studying the most generic case. We find four conditions that the scalar fields and fluxes must satisfy to achieve de Sitter vacua. Particularizing to different configurations, we recover and extend previous results in the literature. We then impose an Ansatz in which the F-terms are proportional to the respective K\"ahler derivatives. In this set-up we are able to derive additional constraints and to classify the possible dS no-go scenarios in terms of eight axionic fluxes. Individually considering that any of these fluxes can be vanishing or non-vanishing leads to a total of 256 flux configurations. We find that 227 of these 256 possibilities result in a dS no-go scenario. The remaining 29 flux configurations, a priori, do not lead to dS no-go cases and would deserve further investigation.

hep-th↗

arXiv2024

Moduli Stabilization and Stability in Type II/F-theory flux compactifications

In this thesis we study String Theory compactifications to four dimensions focusing on the moduli stabilization process and the associated vacua structure in various frameworks, from Type IIA to F-theory, interpreting the results in the context of the Swampland Program. More specifically, we generalize the bilinear formalism of the scalar potential to include the contributions of geometric fluxes, which we use to perform a systematic search of vacua. We also consider the 10d uplift of AdS4 vacua arising from the 4d massive Type IIA effective theory with only RR and NSNS fluxes. Using the language of SU(3)xSU(3) structures and performing an expansion around the smearing approximation in powers of the string coupling, we study the stability of the SUSY solution and its non-SUSY partner. We contrast the results with the Weak Gravity Conjecture and the AdS instability conjecture in toroidal orbifold examples and find that some non-SUSY cases are in tension with the predictions of those conjectures. From the F-theory perspective, we study moduli stabilization in the complex structure sector of elliptically fibered Calabi-Yau 4-folds in the Large Complex Structure limit. Using homological mirror symmetry, we replicate the analysis for the Type IIA case and give a bilinear expression for the scalar potential, allowing for a detailed study of the vacua structure. We find two distinct families of flux configurations compatible with the tadpole constraints that enable full moduli stabilization. We thoroughly examine the most generic one in the Type IIB limit, where the superpotential is also quadratic and polynomial corrections can be considered at all orders. Finally, we show that at this level of approximation supersymmetric SUSY vacua always contain flat directions. We conclude with a summary of the results and some comments about open questions and future lines of research.

hep-th↗

arXiv2023

New families of scale separated vacua

Massive type IIA flux compactifications of the form AdS$_4 \times X_6$, where $X_6$ admits a Calabi-Yau metric and O6-planes wrapping three-cycles, display families of vacua with parametric scale separation between the compactification scale and the AdS$_4$ radius, generated by an overall rescaling of internal four-form fluxes. For toroidal orbifolds one can perform two T-dualities and map this background to an orientifold of massless type IIA compactified on an SU(3)-structure manifold with fluxes. Via a 4d EFT analysis, we generalise this last construction and embed it into new branches of supersymmetric and non-supersymmetric vacua with similar features. We apply our results to propose new infinite families of vacua based on elliptic fibrations with metric fluxes. Parametric scale separation is achieved by an asymmetric flux rescaling which, however, in general is not a simple symmetry of the 4d equations of motion. At this level of approximation the vacua are stable but, unlike in the Calabi-Yau case, they display a non-universal mass spectrum of light fields.

hep-th↗

arXiv2023

Symmetric fluxes and small tadpoles

The analysis of type IIB flux vacua on warped Calabi--Yau orientifolds becomes considerably involved for a large number of complex structure fields. We however show that, for a quadratic flux superpotential, one can devise simplifying schemes which effectively reduce the large number of equations down to a few. This can be achieved by imposing the vanishing of certain flux quanta in the large complex structure regime, and then choosing the remaining quanta to respect the symmetries of the underlying prepotential. One can then implement an algorithm to find large families of flux vacua with a fixed flux tadpole, independently of the number of fields. We illustrate this approach in a Calabi--Yau manifold with 51 complex structure moduli, where several reduction schemes can be implemented in order to explicitly solve the vacuum equations for that sector. Our findings display a flux-tadpole-to-stabilized-moduli ratio that is marginally above the bound proposed by the Tadpole Conjecture, and we discuss several effects that would take us below such a bound.

hep-th↗

arXiv2022

Analytics of type IIB flux vacua and their mass spectra

We analyze the tree-level potential of type IIB flux compactifications in warped Calabi-Yau orientifolds, in regions of weak coupling and moderately large complex structure. In this regime, one may approximate the flux-induced superpotential $W$ by a polynomial on the axio-dilaton and complex structure fields, and a significant fraction of vacua corresponds to a quadratic $W$. In this quadratic case, we argue that vacua fall into three classes, for which one can push the analytic description of their features. In particular, we provide analytic expressions for the vacuum expectation values and flux-induced masses of the axio-dilaton and complex structure fields in a large subclass of vacua, independently of the Calabi-Yau and the number of moduli. We show that supersymmetric vacua always contain flat directions, at least at this level of approximation. Our findings allow to generate vast ensembles of flux vacua in specific Calabi-Yau geometries, as we illustrate in a particular example.

hep-th↗

arXiv2022

Membranes in AdS4 orientifold vacua and their Weak Gravity Conjecture

We study type IIA orientifold compactifications with fluxes that give rise to perturbatively stable, non-supersymmetric AdS$_4$ vacua with D6-brane gauge sectors. Non-perturbative instabilities can be mediated by D8-branes wrapped on the six internal dimensions $X_6$, if they reduce to 4d membranes with a charge $Q$ larger than its tension $T$. The mismatch $Q \neq T$ arises due to i) curvature corrections and ii) the BIon backreaction of D6-branes wrapping 3-cycles of $X_6$. We give a simple expression for the second effect in toroidal orientifolds, and find that only pairs of 3-cycles at SU(2) angles contribute to it. They either contribute towards $Q>T$ or $Q<T$ depending on the 3-cycles separation, allowing to engineer 4d $\mathcal{N}=0$ vacua in tension with the Weak Gravity Conjecture for membranes.

hep-th↗

arXiv2021

BIonic membranes and AdS instabilities

We study 4d membranes in type IIA flux compactifications of the form AdS$_4 \times X_6$, where $X_6$ admits a Calabi--Yau metric. These models feature scale separation and D6-branes/O6-planes on three-cycles of $X_6$. When the latter are treated as localised sources, explicit solutions to the 10d equations of motion and Bianchi identities are known in 4d $\mathcal{N}=1$ settings, valid at first order in an expansion parameter related to the AdS$_4$ cosmological constant. We extend such solutions to a family of perturbatively stable $\mathcal{N}=0$ vacua, and analyse their non-perturbative stability by looking at 4d membranes. Up to the accuracy of the solution, we find that either D4-branes or anti-D4-branes on holomorphic curves feel no force in both $\mathcal{N} =1$ and $\mathcal{N}=0$ AdS$_4$. Differently, D8-branes wrapping $X_6$ and with D6-branes ending on them can be superextremal 4d membranes attracted towards the $\mathcal{N}=0$ AdS$_4$ boundary. The sources of imbalance are the curvature of $X_6$ and the D8/D6 BIon profile, with both comparable terms as can be checked for $X_6$ a (blown-up) toroidal orbifold. We then show that simple $\mathcal{N}=0$ vacua with space-time filling D6-branes are unstable against bubble nucleation, decaying to $\mathcal{N}=0$ vacua with less D6-branes and larger Romans mass.

hep-th↗

arXiv2021

F-theory flux vacua at large complex structure

We compute the flux-induced F-term potential in 4d F-theory compactifications at large complex structure. In this regime, each complex structure field splits as an axionic field plus its saxionic partner, and the classical F-term potential takes the form $V = Z^{AB} \rho_A\rho_B$ up to exponentially-suppressed terms, with $\rho$ depending on the fluxes and axions and $Z$ on the saxions. We provide explicit, general expressions for $Z$ and $\rho$, and from there analyse the set of flux vacua, for an arbitrary number of fields. We identify two families of vacua with all complex structure fields fixed and a flux contribution to the tadpole $N_{\rm flux}$ which is bounded. In the first and most generic one, the saxion vevs are bounded from above by a power of $N_{\rm flux}$. In the second their vevs may be unbounded and $N_{\rm flux}$ is a product of two arbitrary integers, unlike what is claimed by the Tadpole Conjecture. We specialise to type IIB orientifolds, where both families of vacua are present, and link our analysis with several results in the literature. We finally illustrate our findings with several examples.

hep-th↗

arXiv2020

Systematics of Type IIA moduli stabilisation

We analyse the flux-induced scalar potential for type IIA orientifolds in the presence of $p$-form, geometric and non-geometric fluxes. Just like in the Calabi-Yau case, the potential presents a bilinear structure, with a factorised dependence on axions and saxions. This feature allows one to perform a systematic search for vacua, which we implement for the case of geometric backgrounds. Guided by stability criteria, we consider configurations with a particular on-shell F-term pattern, for which we derive a no-go result for de Sitter extrema. We classify branches of supersymmetric and non-supersymmetric vacua, and argue that the latter are perturbatively stable for a large subset of them. Our solutions reproduce and generalise previous results in the literature, obtained either from the 4d or 10d viewpoint.

hep-th↗