[论文解读] Grothendieck-Teichmueller group, operads and graph complexes: a survey

Sergei Merkulov|arXiv (Cornell University)|Apr 30, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 50被引用 5

一句话总结

本文利用代数与拓扑方法，研究特征为零的域上的格罗滕迪克-特希穆勒群、辫群及其拟单位根完备化。研究结果表明，纯辫群 $\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ 的拟单位根完备化同构于 $\widehat{F}_2(\mathbb{K}) \times \mathbb{K}$，而 $\widehat{\mathbb{B}}_3(\mathbb{K}) \simeq \mathbb{K}$，揭示了辫群表示及其在特征零情形下形变的深层代数结构。

ABSTRACT

This paper attempts to provide a more or less self-contained introduction into theory of the Grothendieck-Teichmueller group and Drinfeld associators using the theory of operads and graph complexes.

研究动机与目标

• 阐明特征为零的域上纯辫群及其拟单位根完备化的代数与拓扑结构。
• 建立 $\mathbb{P}\mathbb{B}_3$ 的拟单位根完备化与自由李代数完备化及一维向量空间之积之间的同构关系。
• 证明中心元素 $(b_1b_2)^3$ 生成 $\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ 中的阿贝尔因子。
• 证明 $\widehat{\mathbb{B}}_3(\mathbb{K})$ 同构于 $\mathbb{K}$，凸显该情形下辫群完备化的简化性质。
• 通过辫群表示与图复形，为理解格罗滕迪克-特希穆勒群提供几何与代数基础。

提出的方法

• 通过 Artin 生成元 $b_i$ 及其辫关系定义 $\mathbb{B}_n$ 与 $\mathbb{P}\mathbb{B}_n$ 的代数定义。
• 对 $\mathbb{B}_n$ 与 $\mathbb{P}\mathbb{B}_n$ 应用拟单位根完备化函子，证明 $\widehat{\mathbb{B}}_2(\mathbb{K}) \simeq \widehat{F}_1(\mathbb{K}) \simeq \mathbb{K}$。
• 利用配置空间 $C_n(\mathbb{C})$ 的同伦正合序列，推导出半直积结构 $\mathbb{P}\mathbb{B}_{n+1} \simeq F_n \rtimes \mathbb{P}\mathbb{B}_n$。
• 通过纤维丛 $C_{n+1}(\mathbb{C}) \to C_n(\mathbb{C})$ 的截面实现分裂，确立迭代半直积分解。
• 应用辫关系 $b_1b_2b_1 = b_2b_1b_2$ 及 $(b_1b_2)^3$ 的中心性，推导 $\mathbb{P}\mathbb{B}_3$ 的结构。
• 利用 $\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ 由 $[b_1^2]^\lambda$、$[b_2^2]^\lambda$ 与 $[(b_1b_2)^3]^\lambda$（$\lambda \in \mathbb{K}$）生成，且前两者间无关系的事实。

实验结果

研究问题

• RQ1 对于特征为零的域 $\mathbb{K}$，拟单位根完备化 $\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ 的结构是什么？
• RQ2 中心元素 $(b_1b_2)^3$ 如何影响 $\mathbb{P}\mathbb{B}_3$ 及其完备化后的群结构？
• RQ3 为何 $\widehat{\mathbb{B}}_3(\mathbb{K})$ 同构于 $\mathbb{K}$，而 $\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ 同构于 $\widehat{F}_2(\mathbb{K}) \times \mathbb{K}$？
• RQ4 纤维丛 $C_{n+1}(\mathbb{C}) \to C_n(\mathbb{C})$ 如何导致 $\mathbb{P}\mathbb{B}_{n+1}$ 的半直积分解？
• RQ5 辫关系 $b_1b_2b_1 = b_2b_1b_2$ 在决定 $\mathbb{B}_3$ 及其完备化的代数结构中起什么作用？

主要发现

• 拟单位根完备化 $\widehat{\mathbb{B}}_2(\mathbb{K})$ 同构于 $\mathbb{K}$，因为 $\mathbb{B}_2$ 是由单个生成元 $b_1$ 生成的自由群。
• 纯辫群 $\mathbb{P}\mathbb{B}_2$ 同构于由 $b_1^2$ 生成的自由群，其拟单位根完备化 $\widehat{\mathbb{P}\mathbb{B}}_2(\mathbb{K})$ 同样同构于 $\mathbb{K}$。
• 拟单位根完备化 $\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ 同构于 $\widehat{F}_2(\mathbb{K}) \times \mathbb{K}$，其中 $\widehat{F}_2(\mathbb{K})$ 是两个生成元自由群的完备化。
• 元素 $(b_1b_2)^3$ 在 $\mathbb{B}_3$ 与 $\mathbb{P}\mathbb{B}_3$ 中均为中心元，且在 $\widehat{\mathbb{P}\mathbb{B}}_3(\mathbb{K})$ 中生成 $\mathbb{K}$-因子。
• 辫群 $\mathbb{B}_3$ 的拟单位根完备化 $\widehat{\mathbb{B}}_3(\mathbb{K})$ 同构于 $\mathbb{K}$，这是由于 $(b_1b_2)^3$ 的中心性以及无额外关系所致。
• 纤维丛 $C_{n+1}(\mathbb{C}) \to C_n(\mathbb{C})$ 导出分裂正合列 $1 \to F_n \to \mathbb{P}\mathbb{B}_{n+1} \to \mathbb{P}\mathbb{B}_n \to 1$，进而导致迭代半直积结构 $\mathbb{P}\mathbb{B}_{n+1} \simeq F_n \rtimes \cdots \rtimes F_1$。