FTheoryTools: Advancing Computational Capabilities for F-Theory Research

DOI10.48550/arXiv.2506.13849MaRDI QIDQ7181372zbMATH OpenarXivFDO

Authors Martin Bies, Miķelis E. Miķelsons, Andrew P. Turner

Publication date 16 June 2025

Published in Fortschritte der Physik (Search for Journal in Brave)

Tldr This paper introduces FTheoryTools, a new software module integrated into OSCAR that automates complex computations for building realistic F-theory string phenomenology models. The tool features automated G4-flux enumeration and blowup capabilities while streamlining research through a collaborative data format demonstrated on challenging geometries with thousands of flux vacua.

Full work available at URL https://doi.org/10.48550/arXiv.2506.13849

zbMATH Keywords

\(G_4\)-flux enumerationelliptic fibrationsF-theory model buildingsingularities and resolutionstring phenomenologysymbolic and reproducible computational algebra

Mathematics Subject Classification ID

Elliptic surfaces, elliptic or Calabi-Yau fibrations (14J27) Calabi-Yau manifolds (algebro-geometric aspects) (14J32) Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to quantum theory (81-04) Computational methods for problems pertaining to quantum theory (81-08) String and superstring theories; other extended objects (e.g., branes) in quantum field theory (81T30)

arXiv classification

hep-thmath.AG

Cites work

• D=4 chiral string compactifications from intersecting branes.
• G₄-flux, chiral matter and singularity resolution in F-theory compactifications
• \(G_{4}\)-flux and standard model vacua in F-theory
• A FAIR file format for mathematical software
• A heterotic standard model
• A new construction of Calabi-Yau manifolds: generalized CICYs
• Algorithm for determining the type of a singular fiber in an elliptic pencil.
• An \(SU(5)\) heterotic standard model
• Anomalies and the Euler characteristic of elliptic Calabi-Yau threefolds
• Branes intersecting at angles
• Chiral four-dimensional N=1 supersymmetric type IIA orientifolds from intersecting D6-branes
• Chiral matter multiplicities and resolution-independent structure in 4D F-theory models
• Chiral spectrum of the universal tuned \((\mathrm{SU}(3)\times\mathrm{SU}(2)\times\mathrm{U}(1))/\mathbb{Z}_6\) 4D F-theory model
• Classification of reflexive polyhedra in three dimensions
• Comparing elliptic and toric hypersurface Calabi-Yau threefolds at large Hodge numbers
• Conifold transitions in \(M\)-theory on Calabi-Yau fourfolds with background fluxes
• Constraining the Kähler moduli in the heterotic standard model
• Dual Polyhedra and Mirror Symmetry for Calabi-Yau Hypersurfaces in Toric Varieties
• Exploring positive monad bundles and a new heterotic standard model
• F-theory and the Mordell-Weil group of elliptically-fibered Calabi-Yau threefolds
• F-theory fluxes, chirality and Chern-Simons theories
• F-theory on all toric hypersurface fibrations and its Higgs branches
• Fluxes in F-theory compactifications on genus-one fibrations
• G-flux in F-theory and algebraic cycles
• Gauge fluxes in F-theory and type IIB orientifolds
• General \(\mathrm{U}(1)\times\mathrm{U}(1)\) F-theory compactifications and beyond: geometry of unHiggsings and novel matter structure
• General F-theory models with tuned \((\mathrm{SU}(3) \times \mathrm{SU}(2) \times \mathrm{U}(1))/\mathbb{Z}_6\) symmetry
• Generating functions for intersection products of divisors in resolved F-theory models
• Geometric singularities and enhanced gauge symmetries
• Getting just the standard model at intersecting branes
• Heterotic line bundle standard models
• Higgs bundles and UV completion in \(F\)-theory
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• Intersecting brane worlds
• Julia: a fresh approach to numerical computing
• Landau-Ginzburg vacua of string, M- and F-theory at \(c=12\).
• Matter from geometry
• Model building with \(F\)-theory
• Nemo/Hecke. Computer algebra and number theory packages for the Julia programming language
• New aspects of heterotic-F-theory duality
• On compact analytic surfaces. II
• On compact analytic surfaces. III
• On flux quantization in M-theory and the effective action
• On heterotic model constraints
• Phases of 5d SCFTs from M-/F-theory on non-flat fibrations
• polymake: a framework for analyzing convex polytopes
• Root bundles and towards exact matter spectra of F-theory MSSMs
• SINGULAR
• The computer algebra system OSCAR. Algorithms and examples (to appear)
• The F-theory geometry with most flux vacua
• The geometry of the \(\mathrm{SU}(2){\times} \mathrm{G}_2\)-model
• The Lean theorem prover (system description)
• The Magma algebra system. I: The user language
• The Standard Model from stable intersecting brane world orbifolds
• The Tate form on steroids: resolution and higher codimension fibers
• Three-family particle physics models from global F-theory compactifications
• Toric geometry and enhanced gauge symmetry of F-theory/heterotic vacua
• Toric varieties
• Tri-linear couplings in an heterotic minimal supersymmetric standard model
• Yukawas, G-flux, and spectral covers from resolved Calabi-Yau's

This page was built for publication: FTheoryTools: Advancing Computational Capabilities for F-Theory Research

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7181372)