[论文解读] Motivic periods and the projective line minus three points

Francis Brown|arXiv (Cornell University)|Jul 19, 2014

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

一句话总结

本文在 ℙ¹\{0,1,∞} 的基本群的 de Rham 实现上建立了动机伽罗瓦作用，将多重 zeta 值与混合 Tate 动机的周期联系起来。通过迭代积分和基本群的拟幂零完备化，证明了动机伽罗瓦群的忠实作用，为通过动机周期和模形式理解多重 zeta 值之间的代数关系提供了框架。

ABSTRACT

This is a review of the theory of the motivic fundamental group of the projective line minus three points, and its relation to multiple zeta values.

研究动机与目标

• 在 ℙ¹\{0,1,∞} 的基本群的 de Rham 实现上建立动机伽罗瓦作用，将贝利定理推广至动机设定。
• 通过微分形式的迭代积分，将多重 zeta 值解释为拟幂零基本群丛的周期。
• 通过引入来自 Eisenstein 级数的动机多重模形式值，解决多重 zeta 值中的“深度缺陷”问题。
• 通过格罗滕迪克周期猜想，将动机伽罗瓦群与多重 zeta 值之间的代数关系联系起来。
• 证明在权 12 时，多重模形式值张成多重 zeta 值的空间，其构造比动机基本群丛更为自然。

提出的方法

• 将 X = ℙ¹\{0,1,∞} 的基本群的拟幂零完备化用作 ℤ 上混合 Tate 动机范畴中动机基本群丛的实现。
• 应用形式 ω₀ = dt/t 和 ω₁ = dt/(1−t) 的迭代积分，将多重 zeta 值表示为周期。
• 利用动机基本群的 de Rham 实现，通过 Tannakian 群 G^dR ≅ U^dR ⋊ Gₘ 定义伽罗瓦作用。
• 利用基本群相对于李群（如 SL₂(ℤ)）的相对完备化，定义霍奇-动机周期。
• 分析 Eisenstein 级数的正则化迭代积分的系数，提取张成多重 zeta 值模乘积的多重模形式值。
• 对霍奇-动机周期应用共作用，以验证其与权 12 时多重 zeta 值结构的一致性。

实验结果

研究问题

• RQ1 动机伽罗瓦群 G^dR 如何在 ℙ¹\{0,1,∞} 的动机基本群的 de Rham 实现上忠实作用？
• RQ2 多重 zeta 值与拟幂零基本群丛的周期之间的确切关系是什么？
• RQ3 来自 Eisenstein 级数的多重模形式值能否解决多重 zeta 值中的深度缺陷？
• RQ4 Eisenstein 级数的正则化迭代积分的系数与权 12 时多重 zeta 值的结构有何关系？
• RQ5 动机多重模形式值能否提供比动机基本群丛更自然的混合 Tate 动机周期构造，尤其是在分圆域上？

主要发现

• 动机伽罗瓦群 G^dR 在 ℙ¹\{0,1,∞} 的动机基本群丛的 de Rham 实现上忠实作用，将贝利定理推广至动机设定。
• 权 12 的多重 zeta 值模乘积由恰好两个元素张成：ζ(3,3,2,2,2) 和 ζ(3,2,3,2,2)，它们在猜想下代数无关。
• 权 12 的多重 zeta 值空间的维数至多为 12，但独立关系的数量极大，表明存在高度过定性。
• 权 (4,10) 和 (6,8) 的 Eisenstein 级数的正则化迭代积分的系数恰好给出模乘积下权 12 的两个独立多重 zeta 值。
• 在迭代积分系数中出现的尖点形式 L 函数的特殊值，解释了多重 zeta 值中的深度缺陷。
• 来自 SL₂(ℤ) 的同余子群的动机多重模形式值，提供了比 ℙ¹ 去掉单位根的动机基本群丛更自然且完整的混合 Tate 动机周期构造。