[論文レビュー] Hierarchy of Modular Graph Identities

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

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

ひとこと要約

本稿は、種数1のタイプIIスーパーストリング振幅における重み6のモジュラー・グラフ恒等式および重み7のディードラル恒等式について、包括的な階層を確立する。スィーブアルゴリズムと正則部分グラフ簡約を用いて、すべてのこのような恒等式が尖点におけるローラン多項式の消滅から生じることを証明し、導出結合子およびワールドシートフェルミオンを含む枠組みへと拡張する。これにより、重み$ w $に対して固有値$ s(s-1) $をもつ非同次ラプラス固有値方程式を満たすことが示され、スペクトルに豊かな表現論的パターンが現れる。

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.

研究の動機と目的

• 重み6のモジュラー・グラフ関数および重み7のディードラル・グラフ間の代数的恒等式を体系的に同定し、証明すること。
• 尖点におけるローラン多項式の消滅が、完全なモジュラー恒等式を示すことを確認し、予想されたパターンを裏付けること。
• 導出結合子およびワールドシートフェルミオンを含むモジュラー・グラフ関数の族を拡張すること。
• 拡張されたモジュラー・グラフ関数族が従う非同次ラプラス固有値方程式を導出し、分析すること。
• ディードラル・モジュラー・グラフ関数の固有値スペクトルを計算し、その表現論的構造を解明すること。

提案手法

• 重み6および7のモジュラー・グラフ関数間の恒等式を体系的に探索するため、スィーブアルゴリズムと正則部分グラフ簡約を用いる。
• 特に多重リーマン・ゼータ値を含むグラフに対して、尖点におけるローラン多項式展開を用いて、予想される恒等式を誘導・検証する。
• 4点正則部分グラフ簡約法を適用し、複雑なモジュラー・グラフ関数をより単純な成分に還元することで評価する。
• 導出結合子およびフェルミオンを含む拡張族のモジュラー・グラフ関数に対して、非同次ラプラス固有値方程式を導出する。
• 無限個の部分族に対して解析的に固有値を計算し、より複雑なケースについてはMapleを用いて数値計算を行い、スペクトルが$ s(s-1) $（$ s \leq w $）に限定されることを確認する。

実験結果

リサーチクエスチョン

• RQ1 重み6のすべてのモジュラー・グラフ関数恒等式および重み7のディードラル・グラフが、そのローラン多項式の尖点における消滅から生じるか？
• RQ2 モジュラー・グラフ関数の枠組みは、導出結合子およびワールドシートフェルミオンを一貫して含むように拡張可能か？
• RQ3 拡張されたモジュラー・グラフ関数族が満たす非同次ラプラス固有値方程式の構造はいかなるものか？
• RQ4 拡張されたディードラル・モジュラー・グラフ関数の完全な固有値スペクトルは何か？ また、どのような表現論的パターンが現れるか？
• RQ5 ローラン多項式の尖点における消滅は、上半平面全体にわたるモジュラー恒等式が成立する十分条件か？

主な発見

• スィーブアルゴリズムと正則部分グラフ簡約を用いて、重み6のモジュラー・グラフ関数間のすべての代数的恒等式が体系的に証明された。
• 重み7のディードラル・モジュラー・グラフ恒等式が導出・確認され、そのローラン多項式が尖点で消えることから、尖点消滅が完全なモジュラー恒等式を示すという予想が支持された。
• 導出結合子およびワールドシートフェルミオンを含む拡張族のモジュラー・グラフ関数は、重み$ w $に対して固有値$ s(s-1) $をもつ非同次ラプラス固有値方程式を満たす。
• 拡張されたディードラル族の固有値スペクトルは、$ s(s-1) $の項のみから構成され、その重複度には豊かな表現論的パターンが現れる。
• 解析的および数値的計算により、固有値が正の整数$ s $に対して正確に$ s(s-1) $であることが確認され、重みによって制限される範囲内にのみ存在し、他の固有値は存在しない。