2025/06/16 by Martin Bies, Bies, Martin, Miķelis E. Miķelsons +3
Computer Science · #Algebraic Geometry (math.AG) #Data Mining Algorithms and Applications #FOS: Mathematics #FOS: Physical sciences #High Energy Physics - Theory (hep-th)
paper · pdf · doi:10.48550/arxiv.2506.13849
openalex publication_date 2025/06/16 · openalex created_date 2025/10/18 · openalex updated_date 2026/07/28
A primary goal of string phenomenology is to identify realistic four-dimensional physics within the landscape of string theory solutions. In F-theory, such solutions are encoded in the geometry of singular elliptic fibrations, whose study often requires particularly challenging and cumbersome computations. In this work, we introduce FTheoryTools, a novel software module integrated into the OSCAR computer algebra system, designed to automate the complex and tedious tasks involved in F-theory model building. Key features of FTheoryTools include the enumeration of G4-fluxes, the capability to perform blowups on arbitrary (including non-toric) loci, and a literature database of existing F-theory constructions employing a MaRDI-based data format for enhanced collaboration and reproducibility. As a demonstration of its power, we present a stress test by applying FTheoryTools to the challenging F-theory geometry with most flux vacua (arXiv:1511.03209). Our results illustrate the potential of FTheoryTools to streamline F-theory research and pave the way for future developments in the computational study of string phenomenology.