[论文解读] Periods and mixed motives

A. B. Goncharov|ArXiv.org|Feb 17, 2002

Advanced Mathematical Identities参考文献 15被引用 53

一句话总结

本文为源自迭代积分与多重 polylogarithm 的周期构造了框架化混合动机，并通过特化定理证明了动机双 shuffle 关系。它建立了多重 polylogarithm 的动机化反演公式，将其与伽罗瓦作用和模几何联系起来。

ABSTRACT

We define motivic multiple polylogarithms and prove the double shuffle relations for them. We use this to study the motivic fundamental group of the multiplicative group - {N-th roots of unity} and relate it to geometry of modular varieties. In particular we get new information about the actionof the Galois group on the pro-l completion of the above fundamental group. This paper is the second part of "Multiple polylogarithms and mixed Tate motives" math.AG/0103059

研究动机与目标

• 定义动机化多重 polylogarithm，并在混合动机的背景下证明其双 shuffle 关系。
• 通过迭代积分和相对循环，为收敛周期构造框架化混合动机。
• 建立一个特化定理，确保在积分数据变形下框架化动机的一致性。
• 利用框架化混合 Tate 动机，证明多重 polylogarithm 的动机化反演公式。
• 将 $\mathbb{G}_m - \mu_N$ 的动机基本群与模簇及多重 polylogarithm 值上的伽罗瓦作用联系起来。

提出的方法

• 从复流形 $X$、除子 $A$、$B$ 和对数形式 $\omega_A$ 构造一个框架化混合动机 $m(X;[ ho_A];[ riangle_B])$，使得其周期为积分 $\int_{\triangle_B} \omega_A$。
• 应用特化定理：若 $\omega_{A(\varepsilon)}$ 和 $\triangle_{B(\varepsilon)}$ 是原始数据的扰动，则在 $\varepsilon=0$ 处的特化给出原始框架化动机。
• 通过 $\log \varepsilon$ 的常数项进行正则化，以处理发散积分，确保与 $\mathrm{I}$- 和 $\mathrm{Li}$-shuffle 关系的兼容性。
• 通过在单值 Hodge-Tate 结构的无根变化上应用 $\mathrm{Sp}_{\partial/\partial\varepsilon}$ 算子，定义动机化多重 polylogarithm $\mathrm{Li}^\mathcal{M}_{n_1,\dots,n_m}(x_1,\dots,x_m)$。
• 利用受限 coproduct $\Delta'$ 和动机 Bernoulli 元素的性质，证明动机反演公式 $\mathrm{Li}^\mathcal{M}(x|t) - \mathrm{Li}^\mathcal{M}(x^{-1}|-t) = -B^\mathcal{M}(x|t)$。
• 通过特化定理证明，框架化动机的等价类由周期唯一确定，从而统一了不同构造。

实验结果

研究问题

• RQ1 如何系统地为由相对循环上的收敛积分定义的周期构造框架化混合动机？
• RQ2 特化定理在确保积分数据变形下框架化动机的一致性方面起什么作用？
• RQ3 动机双 shuffle 关系如何从模簇的几何与拓扑数据中涌现？
• RQ4 经典的 polylogarithm 反演公式能否在框架化混合 Tate 动机的框架下提升为动机恒等式？
• RQ5 动机基本群 $\pi_1^\mathcal{M}(\mathbb{G}_m - \mu_N)$ 的结构是什么？它如何与多重 polylogarithm 值上的伽罗瓦作用相关联？

主要发现

• 在对 $A$ 和 $B$ 的技术条件成立下，构造了一个框架化混合动机，其周期为收敛积分 $\int_{\triangle_B} \omega_A$。
• 特化定理确保了与扰动数据族相关的框架化动机在 $\varepsilon = 0$ 处特化为原始框架化动机，从而保持等价类不变。
• 通过特化定理证明了动机双 shuffle 关系，该定理将不同构造统一为单一等价类的框架对象。
• 建立了动机化反演公式：$\mathrm{Li}^\mathcal{M}(x|t) - \mathrm{Li}^\mathcal{M}(x^{-1}|-t) = -B^\mathcal{M}(x|t)$，其中 $B^\mathcal{M}(x|t)$ 是动机 Bernoulli 级数。
• 动机 Bernoulli 元素 $B^\mathcal{M}_n$ 被定义为框架化混合 Tate 动机，满足 $B^\mathcal{M}_1 = \log^\mathcal{M}(-1)$ 且 $B^\mathcal{M}_{2n} = -2(2n)! \zeta^\mathcal{M}(2n)$，且满足 $\Delta'(B^\mathcal{M}_n) = 0$。
• 动机基本群 $\pi_1^\mathcal{M}(\mathbb{G}_m - \mu_N)$ 与模簇 $Y_1(m;N)$ 的几何相关，其 $\ell$-进实现上的伽罗瓦作用通过这些构造得以研究。