FTheoryTools: Advancing Computational Capabilities for F-Theory Research
Abstract
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.
Keywords
Cite
@article{arxiv.2506.13849,
title = {FTheoryTools: Advancing Computational Capabilities for F-Theory Research},
author = {Martin Bies and Miķelis E. Miķelsons and Andrew P. Turner},
journal= {arXiv preprint arXiv:2506.13849},
year = {2025}
}
Comments
50 pages including code snippets, which are available as juypter notebook: https://www.oscar-system.org/tutorials/FTheoryTools/. Code snippets updated to align with OSCAR version 1.5.0