A Feynman integral via higher normal functions
Spencer Bloch, Matt Kerr, Pierre Vanhove
TL;DR
The paper unifies quantum-field-theory amplitudes with deep arithmetic geometry by analyzing the three-banana Feynman integral in 2D as a regulator period of a K3-family. It develops two complementary computations: a PF-differential approach and a motivic/arithmetic-geometric method using higher Chow groups, Abel-Jacobi theory, and Eisenstein symbols, yielding an explicit expression in terms of K3 periods and elliptic trilogarithms. The authors prove a Broadhurst-type L-value relation at t=1 in line with Deligne's conjectures, and establish exact special values I(0)=7ζ(3) and I(1) up to rational factors, thereby revealing deep ties between Feynman amplitudes, regulator currents, and motives. The results illuminate how motivic normal functions and modular geometry govern amplitudes, suggesting broad connections between quantum field theory and arithmetic geometry.
Abstract
We study the Feynman integral for the three-banana graph defined as the scalar two-point self-energy at three-loop order. The Feynman integral is evaluated for all identical internal masses in two space-time dimensions. Two calculations are given for the Feynman integral; one based on an interpretation of the integral as an inhomogeneous solution of a classical Picard-Fuchs differential equation, and the other using arithmetic algebraic geometry, motivic cohomology, and Eisenstein series. Both methods use the rather special fact that the Feynman integral is a family of regulator periods associated to a family of K3 surfaces. We show that the integral is given by a sum of elliptic trilogarithms evaluated at sixth roots of unity. This elliptic trilogarithm value is related to the regulator of a class in the motivic cohomology of the K3 family. We prove a conjecture by David Broadhurst that at a special kinematical point the Feynman integral is given by a critical value of the Hasse-Weil L-function of the K3 surface. This result is shown to be a particular case of Deligne's conjectures relating values of L-functions inside the critical strip to periods.
