[论文解读] A double integral of dlog forms which is not polylogarithmic

Francis H. Brown, Claude Duhr|arXiv (Cornell University)|Jun 16, 2020

Black Holes and Theoretical Physics被引用 6

一句话总结

本文提出一个双重对数形式的迭代积分，其结果为尖点形式的周期，证明该周期无法用多重 polylogarithms 表示。通过在 ℙ² 中构造模椭圆曲线与在挠点相交的直线的几何配置，作者表明该积分的 motivic 版本在代数上独立于所有在代数参数处取值的多重 polylogarithms，从而挑战了物理学界广为流传的观点：此类积分总是 polylogarithmic 的。

ABSTRACT

Feynman integrals are central to all calculations in perturbative Quantum Field Theory. They often give rise to iterated integrals of dlog-forms with algebraic arguments, which in many cases can be evaluated in terms of multiple polylogarithms. This has led to certain folklore beliefs in the community stating that all such integrals evaluate to polylogarithms. Here we discuss a concrete example of a double iterated integral of two dlog-forms that evaluates to a period of a cusp form. The motivic versions of these integrals are shown to be algebraically independent from all multiple polylogarithms evaluated at algebraic arguments. From a mathematical perspective, we study a mixed elliptic Hodge structure arising from a simple geometric configuration in $\mathbb{P}^2$, consisting of a modular plane elliptic curve and a set of lines which meet it at torsion points, which may provide an interesting worked example from the point of view of periods, extensions of motives, and L-functions.

研究动机与目标

• 挑战量子场论中广泛存在的信念，即所有对数形式的迭代积分均等于多重 polylogarithms。
• 构造一个双重复合对数形式积分的明确例子，该积分非 polylogarithmic。
• 证明该积分的 motivic 版本在代数上独立于所有在代数参数处取值的多重 polylogarithms。
• 研究由模椭圆曲线与在 ℙ² 中于挠点相交的直线构成的配置所引发的混合椭圆 Hodge 结构。
• 在费曼积分的背景下，提供周期、动机和 L-函数的实例分析。

提出的方法

• 在 ℙ² 中构建一个几何构型，包含一个模椭圆曲线 E_k 和 12 条在挠点处与之相交的直线。
• 在直线与曲线的补集中的路径上，定义一个对数形式的双重复合积分。
• 使用模参数化 φ: Γ(6)\ℋ → E\C 将微分形式拉回到上半平面的模形式。
• 将每个对数形式的拉回表示为权为 2 的 Eisenstein 系列与 Γ(6) 上权为 2 的尖点形式 f(τ) 的线性组合。
• 通过模形式的积分计算迭代积分，证明其结果为尖点形式 f(τ) 的周期。
• 利用 motivic Galois 理论和超越性结果，建立该积分 motivic 版本与所有多重 polylogarithms的代数独立性。

实验结果

研究问题

• RQ1 能否构造一个双重复合对数形式积分，使其无法用多重 polylogarithms 表示？
• RQ2 此类积分的 motivic 版本是否在代数上独立于所有在代数参数处取值的多重 polylogarithms？
• RQ3 一个费曼积分若产生尖点形式的周期而非 polylogarithm，其背后的几何与算术结构是什么？
• RQ4 在 ℙ² 中，椭圆曲线与在挠点相交的直线的构型如何引发混合椭圆 Hodge 结构？
• RQ5 模参数化在将对数形式转化为模形式以供积分时起到什么作用？

主要发现

• 两个对数形式的双重复合积分结果为 Γ(6) 上权为 2 的尖点形式 f(τ) 的周期。
• 该积分的 motivic 版本在代数上独立于所有在代数参数处取值的多重 polylogarithms，证明其位于 polylogarithmic 框架之外。
• 在模参数化 φ 下，每个对数形式的拉回可表示为权为 2 的 Eisenstein 系列与尖点形式 f(τ) 的线性组合，且具有显式的 q-级数系数。
• 全纯微分 −3dx/y 拉回为标准化的尖点形式 f(τ)，确认了周期的模性质。
• 对数微分拉回为包含 Eisenstein 系列与 f(τ) 的组合，其中 f(τ) 的系数包含 π²，表明其贡献具有超越性，超出 polylogarithmic 结构。
• 整个构造产生了一个非 polylogarithmic 的周期，为‘所有此类积分均为 polylogarithmic’的流行信念提供了反例。