[Paper Review] Feynman Graph Integrals and Almost Modular Forms

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

Advanced Algebra and Geometry5 references3 citations

TL;DR

This paper introduces a class of Feynman graph integrals defined on elliptic curves using the heat kernel, proving they transform as almost modular forms under the modular group $SL(2,\mathbb{Z})$ with weight $2|E(\Gamma)|$. The integrals exhibit polynomial dependence on $1/\operatorname{Im}\tau$, confirming their structure as almost modular forms and providing a rigorous framework for topological string amplitudes on elliptic Calabi-Yau manifolds.

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.

Motivation & Objective

• To establish a rigorous mathematical framework for Feynman graph integrals arising from the heat kernel on elliptic curves.
• To prove that such graph integrals transform as almost modular forms under $SL(2,\mathbb{Z})$ with explicit weight $2|E(\Gamma)|$.
• To demonstrate the polynomial dependence of the integrals on $1/\operatorname{Im}\tau$, a key feature of almost modular forms.
• To connect these integrals to topological string theory amplitudes $F_g$ on elliptic Calabi-Yau manifolds via combinatorial sums.
• To provide a geometric and analytic foundation for the modular properties of correlation functions in quantum field theories with elliptic symmetry.

Proposed method

• Construct the BCOV propagator $P^{E_\tau}_{\epsilon,L}$ as an integral of the heat kernel's second derivative with respect to holomorphic coordinates.
• Define graph integrals $W_\Gamma$ by associating propagators to edges and integrating over vertex variables on the elliptic curve $E_\tau$.
• Use the modular transformation properties of the heat kernel and the Weierstrass elliptic function $\wp(z;\tau)$ to derive the modular behavior of $W_\Gamma$.
• Apply estimates on the inverse matrix $M_\Gamma^{-1}(t)$ and the determinant $\det M_\Gamma(t)$ to control divergences in the $\epsilon \to 0$, $L \to \infty$ limit.
• Establish polynomial dependence on $1/\operatorname{Im}\tau$ by analyzing the asymptotic behavior of the integrand and applying the dominated convergence theorem.
• Use the structure of the graph's cut and tree decompositions to bound the integrand uniformly and ensure convergence of the time integrals.

Experimental results

Research questions

• RQ1 How do Feynman graph integrals defined via the heat kernel on elliptic curves transform under the modular group $SL(2,\mathbb{Z})$?
• RQ2 What is the nature of the anti-holomorphic dependence of such graph integrals on the complex structure modulus $\tau$?
• RQ3 Can the graph integrals be shown to satisfy the definition of almost modular forms with explicit weight and polynomial dependence?
• RQ4 How do these integrals relate to the topological string amplitudes $F_g$ on elliptic Calabi-Yau manifolds?
• RQ5 What technical estimates ensure the convergence of the integrals in the $\epsilon \to 0$, $L \to \infty$ limit?

Key findings

• The graph integral $W_\Gamma$ is proven to be an almost modular form of weight $2|E(\Gamma)|$ under $SL(2,\mathbb{Z})$.
• The anti-holomorphic dependence of $W_\Gamma$ is shown to be polynomial in $1/\operatorname{Im}\tau$, specifically of degree $N$ for some non-negative integer $N$.
• The leading holomorphic term $f_0(\tau)$ in the expansion of $W_\Gamma$ is a quasi-modular form, consistent with the BCOV holomorphic anomaly equation.
• The integrals are well-defined in the limit $\epsilon \to 0$, $L \to \infty$, with convergence established via estimates on the graph's inverse matrix and determinant.
• The result extends to decorated graphs with holomorphic derivatives on propagators, which yield almost modular forms of modified weight.
• The framework provides a rigorous realization of $F_g$ on elliptic curves as a combinatorial sum of such graph integrals, confirming expectations from topological string theory.