[论文解读] Actions of the Absolute Galois Group

Norbert A’Campo, Lizhen Ji+1 more|arXiv (Cornell University)|Mar 10, 2016

Algebraic Geometry and Number Theory参考文献 64被引用 3

一句话总结

本文综述了格罗滕迪克通过其在几何与拓扑对象上的作用来理解有理数绝对伽罗华群的纲领，特别是通过叶状丛塔、童子画以及格罗滕迪克-叶状丛群。文章展示了伽罗华群在曲线模空间的有限型基本群上的非线性作用如何为通过几何理解算术提供路径，核心猜想是伽罗华群在有限型叶状丛塔上的作用同构于格罗滕迪克-叶状丛群。

ABSTRACT

We review some ideas of Grothendieck and others on actions of the absolute Galois group {\\Gamma} Q of Q (the automorphism group of the tower of finite extensions of Q), related to the geometry and topology of surfaces (mapping class groups, Teichm{\\"u}ller spaces and moduli spaces of Riemann surfaces). Grothendieck's motivation came in part from his desire to understand the absolute Galois group. But he was also interested in Thurston's work on surfaces, and he expressed this in his Esquisse d'un programme, his R{\\'e}coltes et semailles and on other occasions. He introduced the notions of dessin d'enfant, Teichm{\\"u}ller tower, and other related objects, he considered the actions of {\\Gamma} Q on them or on their etale fundamental groups, and he made conjectures on some natural homomorphisms between the absolute Galois group and the automor-phism groups (or outer automorphism groups) of these objects. We mention several ramifications of these ideas, due to various authors. We also report on the works of Sullivan and others on nonlinear actions of {\\Gamma} Q , in particular in homotopy theory. The final version of this paper will appear as a chapter in Volume VI of the Handbook of Teichm{\\"u}ller theory. This volume is dedicated to the memory of Alexander Grothendieck.

研究动机与目标

• 综述格罗滕迪克关于通过其在模空间与基本群等几何对象上的非线性作用来理解绝对伽罗华群 $\Gamma_{\mathbb{Q}}$ 的愿景。
• 解释童子画与叶状丛塔如何作为理解伽罗华作用的组合与几何模型。
• 考察伽罗华群到有限型格罗滕迪克-叶状丛群的同态是否为同构的猜想。
• 阐明地图群的作用及其与叶状丛理论和曲面拓扑的关系。
• 评估关键猜想的当前状态及证明中的挑战，尤其在德利涅怀疑该语言效用的背景下，以及近期取得的进展。

提出的方法

• 分析 $\Gamma_{\mathbb{Q}} = \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ 对模空间 $\mathcal{M}_{g,n}$ 及其稳定紧化空间的平展基本群的作用。
• 探讨童子画理论作为贝利映射的组合实现，将定义在 $\overline{\mathbb{Q}}$ 上的代数曲线与黎曼曲面上的嵌入图联系起来。
• 引入叶状丛塔作为 $\mathcal{M}_{0,n}$ 的有限型基本群的系统，通过退化作用下的自然态射形成投射系统。
• 应用重构原理，表明曲面由群作用在双弧上的稳定子决定，从而将拓扑与群论数据联系起来。
• 将地图群用作叶状丛空间的组合模型，其中有限指数子群对应紧曲面。
• 研究格罗滕迪克-叶状丛群作为作用于叶状丛塔的有限型群，其核心猜想为 $\Gamma_{\mathbb{Q}}$ 同构于该群。

实验结果

研究问题

• RQ1 绝对伽罗华群 $\Gamma_{\mathbb{Q}}$ 是否能通过其在曲线模空间平展基本群上的作用被完全理解？
• RQ2 如格罗滕迪克所猜想，$\Gamma_{\mathbb{Q}}$ 到有限型格罗滕迪克-叶状丛群的同态是否为同构？
• RQ3 童子画如何编码定义在 $\overline{\mathbb{Q}}$ 上的代数曲线的算术信息？
• RQ4 地图群与叶状丛理论之间的精确关系是什么？它能否组合地实现尼尔森实现问题？
• RQ5 为何格罗滕迪克-叶状丛理论中的关键结果证明一直难以实现？尽管语言复杂，近期有何进展？

主要发现

• 根据贝利定理，绝对伽罗华群 $\Gamma_{\mathbb{Q}}$ 通过忠实作用于模空间 $\mathcal{M}_{0,n}$ 的有限型基本群，将算术与几何联系起来。
• 童子画为定义在 $\overline{\mathbb{Q}}$ 上的代数曲线提供了组合模型，伽罗华群通过置换童子画来作用于其上。
• 叶状丛塔（$\mathcal{M}_{g,n}$ 的有限型基本群的投射系统）被猜想为一个普遍对象，编码了 $\Gamma_{\mathbb{Q}}$ 的作用。
• 地图群在曲面的双弧上作用传递，且该作用的稳定子分类了曲面，从而为叶状丛空间提供了组合实现。
• 有限型格罗滕迪克-叶状丛群被猜想同构于 $\Gamma_{\mathbb{Q}}$，尽管该猜想尚未被证明，且被视为核心未解问题之一。
• 尽管德利涅曾对童子画语言的效用表示怀疑，但该领域已发展成熟，近期有综述与专著出版，表明共识逐渐形成并取得进展。