[论文解读] Hierarchy of Modular Graph Identities

Eric D’Hoker, Justin Kaidi|arXiv (Cornell University)|Aug 15, 2016

Advanced Mathematical Identities参考文献 35被引用 7

一句话总结

本文在自伴形式下建立了类型II超弦振幅在亏格一时权重六的模图恒等式与权重七的二面体恒等式的全面层次结构。通过筛法算法与全纯子图约化，证明了所有此类恒等式均源于尖点处洛朗多项式为零，并将框架扩展至包含导数耦合与世界面费米子，表明这些新族满足非齐次拉普拉斯特征值方程，特征值为 $ s(s-1) $（$ s \leq w $），揭示了谱中丰富的表示论模式。

ABSTRACT

The low energy expansion of Type II superstring amplitudes at genus one is organized in terms of modular graph functions associated with Feynman graphs of a conformal scalar field on the torus. In earlier work, surprising identities between two-loop graphs at all weights, and between higher-loop graphs of weights four and five were constructed. In the present paper, these results are generalized in two complementary directions. First, all identities at weight six and all dihedral identities at weight seven are obtained and proven. Whenever the Laurent polynomial at the cusp is available, the form of these identities confirms the pattern by which the vanishing of the Laurent polynomial governs the full modular identity. Second, the family of modular graph functions is extended to include all graphs with derivative couplings and worldsheet fermions. These extended families of modular graph functions are shown to obey a hierarchy of inhomogeneous Laplace eigenvalue equations. The eigenvalues for the extended family of dihedral modular graph functions are calculated analytically for the simplest infinite sub-families and obtained by Maple for successively more complicated sub-families. The spectrum is shown to consist solely of eigenvalues $s(s-1)$ for positive integers $s$ bounded by the weight, with multiplicities which exhibit rich representation-theoretic patterns.

研究动机与目标

• 系统识别并证明所有权重六的模图函数之间的代数恒等式，以及权重七的二面体图恒等式。
• 研究洛朗多项式在尖点处为零是否意味着完整的模恒等式成立，从而确认一个猜想的模式。
• 将模图函数族扩展至包含导数耦合与世界面费米子。
• 推导并分析扩展的模图函数族所满足的非齐次拉普拉斯特征值方程。
• 计算二面体模图函数的特征值谱，并揭示其表示论结构。

提出的方法

• 采用筛法算法与全纯子图约化，系统搜索权重六与七的模图函数之间的恒等式。
• 利用尖点处的洛朗多项式展开来引导并验证猜想的恒等式，特别是针对具有不可约多重ζ值的图。
• 应用四点全纯子图约化方法，通过将其约化为更简单的组成部分来计算复杂的模图函数。
• 推导扩展的模图函数族（包括导数耦合与费米子）的非齐次拉普拉斯特征值方程。
• 对无限子族进行解析计算特征值，对更复杂情形通过Maple进行数值计算，确认谱仅由 $ s(s-1) $ 构成，且 $ s \leq w $。

实验结果

研究问题

• RQ1 所有权重六的模图函数恒等式与权重七的二面体图恒等式是否均源于其尖点处洛朗多项式为零？
• RQ2 模图函数框架能否一致地扩展至包含导数耦合与世界面费米子？
• RQ3 扩展的模图函数族所满足的非齐次拉普拉斯特征值方程具有何种结构？
• RQ4 扩展的二面体模图函数族的完整特征值谱为何？其表示论模式如何？
• RQ5 洛朗多项式在尖点处为零是否足以保证模恒等式在整个上半平面成立？

主要发现

• 通过筛法算法与全纯子图约化，系统证明了所有权重六的模图函数之间的代数恒等式。
• 所有权重七的二面体模图恒等式均被推导并确认，其洛朗多项式在尖点处为零，支持了‘尖点处为零即蕴含完整模恒等式’的猜想。
• 包含导数耦合与世界面费米子的扩展模图函数族满足非齐次拉普拉斯特征值方程，特征值为 $ s(s-1) $（$ s \leq w $）。
• 扩展的二面体族的特征值谱被证明仅由 $ s(s-1) $ 项构成，其重数展现出丰富的表示论模式。
• 解析与数值计算均表明，特征值精确为 $ s(s-1) $（$ s $ 为正整数且 $ s \leq w $），无其他特征值存在。