[论文解读] Towards multiple elliptic polylogarithms

A. Levin, Georges Racinet|ArXiv.org|Mar 8, 2007

Algebraic Geometry and Number Theory参考文献 9被引用 58

一句话总结

本文利用带 punctured 椭圆曲线和模堆栈 ${\mathscr{M}}_{1,n}$ 上的 De Rham 基本群丛与 tannakian 范畴，构建了多重椭圆 polylogarithm 的几何与代数框架。它在普遍族上构造了 $\mathbb{Q}$-代数联络，证明了其存在性与 $\mathbb{G}_m$-等变性，并通过拉回与扭变，建立了基本霍普夫代数上的典范 $\mathbb{Q}$-结构，将经典 polylogarithmic 构造推广至椭圆情形。

ABSTRACT

We investigate the elliptic analogs of multi-indexed polylogarithms that appear in the theory of the fundamental group of the projective line minus three points as sections of a universal nilpotent bundle with regular singular connection. We use an analytic uniformisation to derive the fundamental nilpotent De Rham torsor of a single elliptic curve in terms of a double Jacobi form introduced by Kronecker. We then extend this result to any smooth family, relatively to the base, i.e., to the moduli stack $M_{1,2}$ over $M_{1,1}$. Everything relies on explicit formulas that turn out to be algebraic for rational (families of) elliptic curves, and we conclude by providing the corresponding natural $\QM$ structure.

研究动机与目标

• 将经典与多重 polylogarithm 推广至椭圆情形，利用几何与动机结构。
• 通过带 punctured 椭圆曲线与模堆栈 ${\mathscr{M}}_{1,n}$ 上的 De Rham 路径基本丛，定义并构造多重椭圆 polylogarithm。
• 在与这些丛相关的基本霍普夫代数上建立典范的 $\mathbb{Q}$-代数结构。
• 证明普遍族上的解析联络可通过拉回与扭变延拓为正则代数 $\mathbb{Q}$-联络。
• 展示在基空间与全空间上构造的代数联络的 $\mathbb{G}_m$-等变性。

提出的方法

• 利用带 punctured 椭圆曲线的 De Rham 基本群丛，在上半平面与模堆栈 ${\mathscr{M}}_{1,1}$ 上定义普遍平坦联络。
• 应用 tannakian 形式化与相对 tannakian 理论，重构基本丛及其相关联络。
• 通过 Eisenstein 系数与李代数结构，在 ${\mathscr{M}}_{1,1}$ 上构造普遍联络代数，确保模形式性与 $\mathbb{G}_m$-等变性。
• 以 $u$、$\tau$ 与生成元 $\mathbf{t}_{\text{alg}}$、$\mathbf{s}_{\text{alg}}$ 表示联络的显式公式，系数属于 $g_2$、$g_3$ 与 $(2\pi i)^{-1}u^2 d\tau$。
• 利用局部统一化与拉回构造，将基空间上的代数 $\mathbb{Q}$-结构提升至 $\mathbb{Q}$-概形上的族。
• 通过 $\mathbb{Q}$-代数 1-形式对联络进行扭变，将 $\mathbb{Q}$-结构延拓至有理点处的基本霍普夫代数。

实验结果

研究问题

• RQ1 如何利用模空间 ${\mathscr{M}}_{1,n}$ 上的几何与动机结构，系统地定义多重椭圆 polylogarithm？
• RQ2 带 punctured 椭圆曲线的基本路径丛的代数几何结构为何？其如何支持普遍平坦联络？
• RQ3 能否为普遍族上的解析 De Rham 联络赋予典范的 $\mathbb{Q}$-代数结构？
• RQ4 联络的 $\mathbb{G}_m$-等变性在代数与解析设定中如何体现？
• RQ5 扭变在将 $\mathbb{Q}$-结构延拓至有理点处的基本霍普夫代数中起何作用？

主要发现

• 本文构造了基空间 ${\mathcal{B}}$ 上的 $\mathbb{Q}$-代数联络 $({\mathcal{R}}_{\text{alg}}, \nabla_{{\mathcal{R}}_{\text{alg}}})$ 与 ${\mathcal{Q}}^{\text{aff}}$ 上的 $({\mathfrak{P}}_{\text{alg}}, \nabla_{{\mathfrak{P}}_{\text{alg}}})$，在基变换至 $\mathbb{C}$ 后成为解析联络。
• 所构造的联络具有 $\mathbb{G}_m$-等变性，确保与模参数 $\tau$ 的缩放对称性相容。
• 联络系数表示为 $g_2$、$g_3$ 与代数形式 $(2\pi i)^{-1}u^2 d\tau$ 的多项式，证明其在 $\mathbb{Q}$ 上的代数性。
• 将代数 $\mathbb{Q}$-联络拉回到 $\mathbb{Q}$-概形上的族 $X/S$ 时，得到正则代数 $\mathbb{Q}$-联络，其结果与 $g_2$、$g_3$ 的选择无关，得益于 $\mathbb{G}_m$-等变性。
• 通过 $\mathbb{Q}$-代数 1-形式对联络进行扭变，保持了 $\mathbb{Q}$-结构，使得有理点处的基本霍普夫代数可继承典范的 $\mathbb{Q}$-代数结构。
• 平行移动的微分方程被证明为 $\mathbb{Q}$-代数的，其系数源自 $\wp(X) - X^{-2}$ 的泰勒展开。