[論文レビュー] Feynman Graph Integrals and Almost Modular Forms

Si Li|arXiv (Cornell University)|Dec 17, 2011

Advanced Algebra and Geometry参考文献 5被引用数 3

ひとこと要約

本稿では、楕円曲線上の熱核を用いて定義されるフェ Feynman 図式積分のクラスを導入し、それがモジュラー群 $SL(2,\mathbb{Z})$ の下で重み $2|E(\Gamma)|$ のほぼモジュラー形式として変換することを証明する。積分は $1/\operatorname{Im}\tau$ に対して多項式的依存を示し、それらがほぼモジュラー形式としての構造を持つことを確認し、楕円的 Calabi-Yau 多様体上のトポロジカル弦振幅の厳密な枠組みを提供する。

ABSTRACT

We introduce a type of graph integrals on elliptic curves from the heat kernel. We show that such graph integrals have modular properties under the modular group $SL(2, \Z)$, and prove the polynomial nature of the anti-holomorphic dependence.

研究の動機と目的

• 楕円曲線上の熱核から生じるフェ Feynman 図式積分の厳密な数学的枠組みを確立すること。
• このような図式積分が $SL(2,\mathbb{Z})$ の下で明示的な重み $2|E(\Gamma)|$ を持つほぼモジュラー形式として変換することを証明すること。
• $1/\operatorname{Im}\tau$ に対する積分の多項式的依存が、ほぼモジュラー形式の主要な特徴であることを示すこと。
• 組合せ的和を介して、これらの積分を楕円的 Calabi-Yau 多様体上のトポロジカル弦振幅 $F_g$ と結びつけること。
• 楕円的対称性を有する量子場理論における相関関数のモジュラー性質の幾何学的・解析的基盤を提供すること。

提案手法

• ホロモルフィック座標に関する熱核の2階微分の積分として、BCOV 伝播関数 $P^{E_\tau}_{\epsilon,L}$ を構成する。
• 辺に伝播関数を割り当て、頂点変数を楕円曲線 $E_\tau$ 上で積分することによって、図式積分 $W_\Gamma$ を定義する。
• 熱核およびワイエルシュトラス楕円関数 $\wp(z;\tau)$ のモジュラー変換性を用いて、$W_\Gamma$ のモジュラー性を導出する。
• $\epsilon \to 0$, $L \to \infty$ の極限における発散を制御するため、行列 $M_\Gamma^{-1}(t)$ と行列式 $\det M_\Gamma(t)$ の推定を適用する。
• 被積分関数の漸近的挙動を分析し、ドミネート収束定理を適用することで、$1/\operatorname{Im}\tau$ に対する多項式的依存を確立する。
• 図のカットおよび木分解の構造を用いて、被積分関数を一様に有界化し、時間積分の収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 熱核を用いて楕円曲線上に定義されたフェ Feynman 図式積分は、モジュラー群 $SL(2,\mathbb{Z})$ の下でどのように変換されるか？
• RQ2 このような図式積分の非正則的依存は、複素構造パrameter $\tau$ に対してどのように性質を示すか？
• RQ3 図式積分が明示的な重みと多項式的依存を備えたほぼモジュラー形式の定義を満たすことが示せるか？
• RQ4 これらの積分は、楕円的 Calabi-Yau 多様体上のトポロジカル弦振幅 $F_g$ とどのように関係するか？
• RQ5 $\epsilon \to 0$, $L \to \infty$ の極限における積分の収束を保証する技術的推定は何か？

主な発見

• 図式積分 $W_\Gamma$ が $SL(2,\mathbb{Z})$ の下で重み $2|E(\Gamma)|$ のほぼモジュラー形式であることが証明された。
• $W_\Gamma$ の非正則的依存は、ある非負整数 $N$ に対して $1/\operatorname{Im}\tau$ の $N$ 次多項式として示された。
• $W_\Gamma$ の展開における主要な正則項 $f_0(\tau)$ は、BCOV 正則異常方程式と整合する擬似モジュラー形式である。
• $\epsilon \to 0$, $L \to \infty$ の極限において積分が適切に定義され、図の逆行列および行列式の推定により収束が確立された。
• ホロモルフィック微分を伝播関数に施した装飾付き図に対しても結果は拡張可能であり、重みが変更されたほぼモジュラー形式が得られる。
• この枠組みにより、楕円曲線上での $F_g$ がこのような図式積分の組合せ的和として厳密に実現され、トポロジカル弦理論の予想を裏付けることになった。