[论文解读] Four groups related to associators

Hidekazu Furusho|arXiv (Cornell University)|Aug 17, 2011

Advanced Mathematical Identities参考文献 5被引用 10

一句话总结

本文建立了数学物理与数论中四个基本群之间的深刻联系：Grothendieck-Teichmüller 群 $GRT_1$、双重 shuffle 群 $DMR_0$、Kashiwara-Vergne 群 $KRV_0$ 以及 motivic Galois 群 $\mathrm{Gal}^\mathcal{M}(\mathbb{Z})_1$。论文证明了这些群之间存在嵌套关系：$\mathrm{Gal}^\mathcal{M}(\mathbb{Z})_1 \subseteq GRT_1 \subseteq DMR_0 \subseteq KRV_0$，暗示其相等性背后存在一个隐藏的统一理论，而 Drinfeld 量子关联器作为核心对象，将量子群、纽结不变量与多重 zeta 值联系在一起。

ABSTRACT

This is a report on associators which is based on my talk at the Mathematische Arbeitstagung in Bonn, June 2011. I first recall Drinfeld's definition of associators and explain my (and its related) results in arXiv:math/0702128 and arXiv:0808.0319. Then I explain recent developments on the four pro-unipotent algebraic groups related to associators; the motivic Galois group, the Grothendieck-Teichmuller group, the double shuffle group and the Kashiwara-Vergne group.

研究动机与目标

• 研究量子群、纽结理论与伽罗瓦理论中出现的四个主要群之间的结构关系。
• 阐明关联器在通过五边形与六边形方程统一这些群中的作用。
• 检验包含关系 $\mathrm{Gal}^\mathcal{M}(\mathbb{Z})_1 \subseteq GRT_1 \subseteq DMR_0 \subseteq KRV_0$ 是否实际上为等式。
• 探讨 Drinfeld 关联器及其 $p$-进版本对正则化双重 shuffle 关系与群结构的影响。

提出的方法

• 利用五边形方程推导出两个六边形方程，证明任何满足五边形方程的群形式级数解均导出一个关联器对 $(\mu, \varphi)$。
• 将 Drinfeld 关联器 $\Phi_{KZ}$ 作为规范解，其系数以多重 zeta 值（MZVs）表示。
• 引入双重 shuffle 群 $DMR_0$，定义为满足无线性或二次项的正则化双重 shuffle 关系的解集。
• 通过 Kashiwara-Vergne 猜想的退化形式定义 Kashiwara-Vergne 群 $KRV_0$，利用雅可比子链与上边缘条件。
• 通过从 $GRT_1$ 到 $DMR_0$ 的映射 $\Psi$ 建立包含关系，并利用 Alekseev-Torossian 与 Schneps 的结果将 $DMR_0$ 与 $KRV_0$ 联系起来。
• 分析 $p$-进 Drinfeld 关联器 $\Phi_{KZ}^p$ 作为 $DMR_0(\mathbb{Q}_p)$ 中的元素，与 $\Phi_{KZ}$（由于 $\zeta(2)$ 的非零二次项，不属于 $DMR_0(\mathbb{C})$）形成对比。

实验结果

研究问题

• RQ1 包含关系 $\mathrm{Gal}^\mathcal{M}(\mathbb{Z})_1 \subseteq GRT_1$ 是否实际上为等式？
• RQ2 双重 shuffle 群 $DMR_0$ 是否与 Kashiwara-Vergne 群 $KRV_0$ 一致？
• RQ3 Drinfeld 关联器 $\Phi_{KZ}$ 经过正则化后能否嵌入 $DMR_0$？
• RQ4 正则化双重 shuffle 关系是否足以捕捉多重 zeta 值之间所有代数关系？
• RQ5 是否存在一个隐藏的理论，统一 Grothendieck-Teichmüller 群、双重 shuffle 群、Kashiwara-Vergne 群与 motivic Galois 群？

主要发现

• 仅五边形方程即可推出群形式级数 $\varphi$ 的两个六边形方程，从而导出关联器对 $(\mu, \varphi)$，其中 $\mu \in \bar{k}$ 唯一（符号除外）。
• Drinfeld 关联器 $\Phi_{KZ}$ 满足五边形与六边形方程，且 $\mu = 2\pi i$，其系数明确由多重 zeta 值（MZVs）给出。
• 双重 shuffle 群 $DMR_0$ 由满足无线性或二次项的正则化双重 shuffle 关系的群形式级数组成，且 $GRT_1 \subset DMR_0$。
• $p$-进 Drinfeld 关联器 $\Phi_{KZ}^p$ 属于 $DMR_0(\mathbb{Q}_p)$，而 $\Phi_{KZ}$ 不属于 $DMR_0(\mathbb{C})$，因其包含非零的二次项（涉及 $\zeta(2)$）。
• Kashiwara-Vergne 群 $KRV_0$ 包含 $DMR_0$，且 $GRT_1 \subset KRV_0$，从而导出嵌套包含关系 $\mathrm{Gal}^\mathcal{M}(\mathbb{Z})_1 \subseteq GRT_1 \subseteq DMR_0 \subseteq KRV_0$。
• 本文猜想这四个群实际上全等，暗示关联器、MZVs 与 motivic Galois 作用背后存在深刻的统一结构。