Kahler 模稳定与可判定性的传播
高能物理 - 理论
2020-02-19 v1
摘要
丢番图方程一般是不可判定的，却轻易出现在弦论中。我们证明弦论中出现的众多类丢番图方程是可判定的，并提出可判定性可能因理论中附加的结构而通过弦真空网络传播。在与超势的 D3-瞬子修正相关的指标计算中出现的丢番图方程展现了可判定性的传播，新的与已有的解通过由拓扑跃迁相关联的几何网络传播。在我们考虑的几何中，大多数除子类出现在至少一个解中，显著改善了在大型弦紧致化系综中实现 Kahler 模稳定的前景。
引用
@article{arxiv.1911.07835,
title = {Kahler Moduli Stabilization and the Propagation of Decidability},
author = {James Halverson and Michael Plesser and Fabian Ruehle and Jiahua Tian},
journal= {arXiv preprint arXiv:1911.07835},
year = {2020}
}
备注
12 pages, one figure