Abstract: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.

Magnetized orbifolds and localized flux

Flux vacua in type IIB compactifications on orbifolds: their finiteness and minimal string coupling

Modular symmetry in magnetized $T^{2g}$ torus and orbifold models

Number of zero-modes on magnetized $T^4/Z_N$ orbifolds analyzed by modular transformation

Modular symmetry in magnetized torus and orbifold models

Non-invertible flavor symmetries in magnetized extra dimensions

Beyond the tensionless limit: integrability in the symmetric orbifold

Fluxbranes, Generalized Symmetries, and Verlinde's Metastable Monopole

The open story of the magnetic fluxes

The metamorphosis of semi-classical mechanisms of confinement: From monopoles on ${\mathbb R}^3 \times S^1$ to center-vortices on ${\mathbb R}^2 \times T^2$

Zero-modes in magnetized $T^6/\mathbb{Z}_N$ orbifold models through $Sp(6,\mathbb{Z})$ modular symmetry

Topology change and heterotic flux vacua

Symmetric fluxes and small tadpoles

Fully stabilized Minkowski vacua in the $2^6$ Landau-Ginzburg model

A 5d perspective on the compactifications of 6d SCFTs to 4d $\mathcal{N}=1$ SCFTs

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

Generalized Symmetries of Non-Supersymmetric Orbifolds

Nambu-Goldstone modes in magnetized extra dimensions