Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2506.13849 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- 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.