[论文解读] Supersymmetric Flux Compactifications and Calabi-Yau Modularity

Shamit Kachru, Richard Nally+1 more|arXiv (Cornell University)|Jan 16, 2020

Black Holes and Theoretical Physics参考文献 47被引用 16

一句话总结

本文提出，在定义在ℚ上的卡拉比-丘三复形上的IIB弦理论中，超对称通量紧化会产生模形式伽罗瓦表示。通过分析ℙ⁴(1,1,2,2,2)中的八次超曲面，作者提供了数值证据，表明特定的有理通量真空对应于权为二的赫克特征标形式，通过匹配L-函数系数，确认了模形式性在模形空间多个点上的成立。

ABSTRACT

Flux compactification of IIB string theory associates special points in Calabi-Yau moduli space to choices of (pairs of) integral three-form fluxes. In this paper, we propose that supersymmetric flux vacua are modular. That is, to a supersymmetric flux vacuum arising in a variety defined over $\mathbb{Q}$, we associate a two-dimensional Galois representation that we conjecture to be modular. We provide numerical evidence for our conjecture by examining flux vacua arising on the octic hypersurface in $\mathbb{P}^{4}(1,1,2,2,2)$.

研究动机与目标

• 研究卡拉比-丘紧化中的超对称通量真空是否表现出模形式性，将椭圆曲线和刚性卡拉比-丘三复形的模形式性推广至非刚性情形。
• 检验一个猜想：由超对称通量紧化产生的卡拉比-丘三复形模形空间中的有理点，携带模形式伽罗瓦表示。
• 通过匹配L-函数系数，提供模形式性的数值验证，将镜像八次三复形的L-函数系数与已知的权为二的尖点形式进行比对。
• 在霍奇猜想与平展上同调的框架下，建立弦理论通量真空与数论模形式之间的桥梁。
• 证明通量紧化中的吸引子机制可能通过相关的伽罗瓦表示自然导致模形式。

提出的方法

• 作者利用霍奇猜想，将卡拉比-丘三复形在超对称通量真空处的超越上同调与二维伽罗瓦子表示相关联。
• 他们使用文献[17]中的结果，计算了ℙ⁴(1,1,2,2,2)中镜像八次三复形在有理通量参数下的zeta函数，提取出L-函数因子中的系数cₚ^ζ。
• 将这些系数cₚ^ζ与LMFDB中已知的权为二的赫克特征标形式的傅里叶系数cₚ进行比较，检验是否完全匹配。
• 该方法依赖于韦伊猜想，以及zeta函数与模形式之间的关系，特别是：为使模形式性成立，cₚ^ζ必须与某一新形式的cₚ完全匹配。
• 分析在通量参数φ的多个有理值上进行，包括φ = 1/2, 3/5, 11/8, 2, 3, 7, 和 9。
• 通过镜像对称，利用格林-普莱瑟镜像构造计算zeta函数，从而在奇点处实现数值验证。

实验结果

研究问题

• RQ1 在定义在ℚ上的卡拉比-丘三复形上，IIB弦理论的超对称通量紧化是否会在其中间上同调中产生模形式伽罗瓦表示？
• RQ2 在有理通量参数下，ℙ⁴(1,1,2,2,2)中八次三复形的镜像的zeta函数系数是否能与权为二的赫克特征标形式的傅里叶系数相匹配？
• RQ3 通量紧化中的吸引子机制与卡拉比-丘三复形的模形式性之间是否存在系统性联系？
• RQ4 霍奇猜想是否意味着此类紧化中上同调的超越部分携带模形式伽罗瓦表示？
• RQ5 在八次三复形的模形空间中是否存在特定的有理点，使得其关联的L-函数与已知的模形式L-函数完全匹配？

主要发现

• 当φ = 3/5时，镜像八次三复形的zeta函数系数与权为二的赫克特征标形式400.2.a.e的傅里叶系数完全匹配。
• 当φ = 11/8时，系数与赫克特征标形式912.2.a.b匹配，证实了该有理点处的模形式性。
• 当φ = 2时，zeta函数系数与形式192.2.a.a一致，为模形式性提供了进一步的数值证据。
• 当φ = 3时，系数与形式32.2.a.a匹配，且在所有测试素数p上均完全一致。
• 当φ = 7时，系数与赫克特征标形式24.2.a.a匹配；当φ = 9时，与40.2.a.a匹配，证实了在这些额外的有理通量真空点处的模形式性。
• 在多个有理通量参数下，cₚ^ζ与cₚ的一致匹配，为该卡拉比-丘三复形上超对称通量真空的模形式性提供了强有力的数值证据。