[论文解读] Constructing polylogarithms on higher-genus Riemann surfaces

Eric D’Hoker, Martijn Hidding+1 more|arXiv (Cornell University)|Jun 14, 2023

Advanced Mathematical Identities被引用 4

一句话总结

本文提出了一种显式构造——在任意亏格的紧致黎曼曲面上，通过由模张量构建的平坦联络，构造同伦不变的迭代积分（高亏格多对数函数）。核函数源自阿莱克谢耶夫格林函数及其导数与全纯阿贝尔微分的卷积，推广了椭圆多对数函数，并为量子场论与弦理论中的高亏格函数提供了可计算的框架。

ABSTRACT

An explicit construction is presented of homotopy-invariant iterated integrals on a Riemann surface of arbitrary genus in terms of a flat connection valued in a freely generated Lie algebra. The integration kernels consist of modular tensors, built from convolutions of the Arakelov Green function and its derivatives with holomorphic Abelian differentials, combined into a flat connection. Our construction thereby produces explicit formulas for polylogarithms as higher-genus modular tensors. This construction generalizes the elliptic polylogarithms of Brown-Levin, and prompts future investigations into the relation with the function spaces of higher-genus polylogarithms in the work of Enriquez-Zerbini.

研究动机与目标

• 填补在亏格大于一的黎曼曲面上显式构造多对数函数的空白。
• 为保持同伦不变性的迭代积分提供系统化、可算法化的框架，这对物理振幅至关重要。
• 利用模张量结构，将布朗与莱文的积分核与平坦联络推广至任意亏格。
• 在埃内奎斯-策尔宾的抽象函数空间与物理应用中的具体可计算表达式之间建立桥梁。
• 确保所得多对数函数在模变换下协变变换，并继承积分下的封闭性。

提出的方法

• 利用源自阿莱克谢耶夫格林函数与全纯阿贝尔微分的模张量，构建取值于自由生成李代数中的平坦联络。
• 将积分核定义为阿莱克谢耶夫格林函数及其导数与全纯一形式的卷积，形成模张量取值的微分形式。
• 通过平坦联络的路径有序指数构造迭代积分，利用平坦性确保同伦不变性。
• 使用生成函数及通过矩阵 $Y^{IJ}$ 提升指标，从基本构建块构造高权多对数函数。
• 分析格林函数及其导数在分离退化极限（如亏格二退化为两个环面）下的行为，确认与亏格一极限的一致性。
• 验证所得多对数函数表现出类似于低亏格情形的对数奇点与模变换性质。

实验结果

研究问题

• RQ1 如何利用模张量结构显式构造高亏格黎曼曲面上的同伦不变迭代积分？
• RQ2 椭圆多对数函数的积分核如何推广至任意亏格？其平坦性与模性如何保持？
• RQ3 高亏格多对数函数在分离退化极限下行为如何？是否能一致地约化为亏格一或亏格零极限？
• RQ4 高亏格多对数函数的空间能否通过由阿莱克谢耶夫格林函数与阿贝尔微分构建的平坦联络具体实现？
• RQ5 该构造与数学文献中埃内奎斯-策尔宾的抽象函数空间框架之间有何关系？

主要发现

• 本文通过由阿莱克谢耶夫格林函数与全纯阿贝尔微分的模张量构建的平坦联络，显式构造了高亏格多对数函数作为迭代积分。
• 积分核表现出类似于亏格一多对数函数的对数奇点，确保其物理相关性。
• 在分离退化极限下，高亏格格林函数导数约化为亏格一表达式：$\partial_{x_1}{\cal G}^1(x_1,y_1) \to \partial_{x_1}^2 g_2(x_1 - y_1|\tau) - \frac{1}{2}\partial_{x_1}^2 g_2(x_1 - p_1|\tau)$，确认了一致性。
• 该构造保持模变换性质，所得多对数函数作为张量值模形式变换。
• 平坦联络确保了迭代积分的同伦不变性，支持算法化积分，并推广了亏格零与亏格一的情形。
• 该方法为埃内奎斯与策尔宾所提出的函数空间提供了具体实现，为高圈振幅中的物理应用开辟了道路。