FTheoryTools: Advancing Computational Capabilities for F-Theory Research
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914042053918720 |
|---|---|
| author | Bies, Martin Miķelsons, Miķelis E. Turner, Andrew P. |
| author_facet | Bies, Martin Miķelsons, Miķelis E. Turner, Andrew P. |
| 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_13849 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | FTheoryTools: Advancing Computational Capabilities for F-Theory Research Bies, Martin Miķelsons, Miķelis E. Turner, Andrew P. High Energy Physics - Theory Algebraic Geometry 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. |
| title | FTheoryTools: Advancing Computational Capabilities for F-Theory Research |
| topic | High Energy Physics - Theory Algebraic Geometry |
| url | https://arxiv.org/abs/2506.13849 |