FTheoryTools：推进 F-理论研究的计算能力
高能物理 - 理论
2025-09-18 v2 代数几何
摘要
弦现象学的一个主要目标是在弦理论解景观中识别真实的四维物理。在 F-理论中，此类解编码在奇异椭圆纤维的几何中，其研究通常需要极具挑战性和繁琐的计算。在这项工作中，我们引入了 FTheoryTools，一个集成到 OSCAR 计算机代数系统中的新型软件模块，旨在自动化 F-理论模型构建中复杂且繁琐的任务。FTheoryTools 的关键功能包括 G4-通量的枚举、对任意（包括非环面）位形进行爆破操作的能力，以及采用 MaRDI 格式的数据库以增强协作和可复现性。作为其能力的演示，我们通过将 FTheoryTools 应用于最具通量真空的 F-理论几何（arXiv:1511.03209）进行了压力测试。我们的结果展示了 FTheoryTools 简化 F-理论研究的潜力，并为弦现象学的计算研究未来发展铺平道路。
引用
@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}
}
备注
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