FTheoryTools: Advancing Computational Capabilities for F-Theory Research

TL;DR

FTheoryTools is a new software module integrated into OSCAR that automates complex computations in F-theory model building, facilitating research in string phenomenology.

Contribution

It introduces FTheoryTools, a novel computational tool that automates tasks like flux enumeration and blowups in F-theory, enhancing research efficiency.

Findings

Successfully applied to complex F-theory geometries

Automates flux and blowup computations

Demonstrates potential to accelerate 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.