[论文解读] Equivalence of flat connections and Fay identities on arbitrary Riemann surfaces

Eric D'Hoker, Oliver Schlotterer|arXiv (Cornell University)|Feb 9, 2026

Algebraic structures and combinatorial models被引用 0

一句话总结

这篇论文证明了多变量 DHS 与 Riemann 曲面上的 Enriquez 连接的平坦性条件等价于各自核函数的全部互换与 Fay 恒等式，从而将核恒等式与 Maurer–Cartan 平坦性统一起来。

ABSTRACT

A flat connection on a Riemann surface with values in an infinite dimensional Lie algebra provides a systematic and effective tool for generating an infinite family of polylogarithms via iterated integrals. The recent literature offers different types of connections, in one or several variables, on compact Riemann surfaces with or without punctures, and in the meromorphic or single-valued categories. In this work, we show that the flatness conditions for the single-valued and modular DHS connection in multiple variables, which was introduced in the companion paper arXiv:2602.01461, are equivalent to the union of all the interchange and Fay identities among DHS integration kernels that were proven in arXiv:2407.11476. Based on the same combinatorial techniques, the flatness conditions on the multivariable Enriquez connection is shown to imply the union of all the interchange and Fay identities for Enriquez kernels.

研究动机与目标

• 在统一框架下阐明多变量连接的平坦性如何产生适用于任意基曲面的 DHS 与 Enriquez 构造的核恒等（互换与 Fay）。
• 将单变量平坦性条件与 Fay 恒等式的等价性推广到无 puncture 的多变量情形。
• 表明 DHS 的平坦性条件能够再现已知的 DHS 核恒等式与互换恒等式。
• 提出对 Enriquez 连接及其核的类似含义，强调未解的猜想与潜在的推广。

提出的方法

• 回顾 Lie 代数结构 ˆ{t}_{h,n} 及其生成元与关系。
• 通过 Arakelov Green 函数与 Abel 微分定义 DHS 与 Enriquez 核。
• 给出多变量 DHS 连接 cal J_{DHS} 及其平坦性（Maurer–Cartan）方程。
• 证明非平坦性分量简化为对易子关系 [J_i^{(1,0)},J_j^{(1,0)}]=0 ，并将其与互换与 Fay 恒等式联系起来。
• 总结 Fay 恒等式 mathfrak{F}^{{I|J|M}}{}_{K}(i,j;k) 与互换恒等式 mathfrak{P}^{{I}}{}_{K}(i,j) 的内容，包括它们在共点极限与迹分解中的表现。
• 与多变量 Enriquez 连接进行对比，并讨论含义与未解猜想。

实验结果

研究问题

• RQ1 多变量 DHS 连接的平坦性条件是否能够再现 DHS 核的全部互换与 Fay 恒等式？
• RQ2 多变量 Enriquez 连接的平坦性条件是否意味着 Enriquez 核的互换与 Fay 恒等式？
• RQ3 核的共点极限如何与模态张量以及 Fay 恒等式的迹/无迹分解相关？
• RQ4 平坦性与 Fay 恒等式之间的等价性是否可以推广到一般的 n 与 genera h，关于 Enriquez 核还有哪些待解的猜想？

主要发现

• 对于 n ≥ 3， cal J_{DHS} 的平坦性等价于 DHS 核的互换恒等式 mathfrak{P}=0 与 Fay 恒等式 mathfrak{F}=0 的并集。
• 平坦性条件中的对易子关系生成了此前工作中证明的完整 DHS 核恒等式，统一了核恒等式与 Maurer–Cartan 平坦性。
• 对于 Enriquez 核，cal K_{E} 的平坦性条件意味着相应的互换与 Fay 恒等式（关于完全等价性的猜想仍在进行中）。
• 分析依赖一个共同的组合框架，涉及 Abel 索引字母表中的单词、shuffle/拼接积以及 Lie 代数 ˆ{t}_{h,n} 的反演结构。