[论文解读] On Galois action on stack inertia of moduli spaces of curves

Benjamin Collas, Sylvain Maugeais|arXiv (Cornell University)|Dec 15, 2014

Algebraic Geometry and Number Theory参考文献 19被引用 4

一句话总结

该论文证明了绝对伽罗瓦群 $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$ 通过叶状共轭作用于曲线模空间的堆栈扭结子群，推广了此前在无 étale 分解情形下的结果至包含 étale 分解的一般情形。通过切向基点与 $G$-曲线的形变理论，证明了伽罗瓦作用在循环扭结子群上的表达式为 $\rho_{\vec{s}}(\sigma)\cdot\gamma = \delta_\sigma \gamma^{\chi(\sigma)} \delta_\sigma^{-1}$，其中 $\chi$ 为叶状特征标。

ABSTRACT

We establish that the geometric action of the absolute Galois group on the étale fundamental group of moduli spaces of curves induces a Galois action on its stack inertia subgroups, and that this action is given by cyclotomy conjugacy. This result extends the special case of inertia without étale factorisation previously established by the authors. It is here obtained in the general case by comparing deformations of Galois actions. Since the stack inertia corresponds to the first level of the stack stratification of the space, this results, by analogy with the arithmetic of the Deligne-Mumford stratification, opens the way to a systematic Galois study of the stack inertia through the corresponding stratification of the moduli stack

研究动机与目标

• 描述 $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$ 在曲线模空间堆栈扭结子群上的几何伽罗瓦作用。
• 将此前在无 étale 分解情形下关于叶状共轭的结果推广至包含 étale 分解的一般情形。
• 通过 Deligne-Mumford 与 Grothendieck-Teichmüller 理论的启发，建立堆栈扭结子群的系统性伽罗瓦理论研究，基于分层结构。
• 利用 $\mathbb{Q}$-切向基点与形变技术，定义并分析循环堆栈扭结子群上的全局伽罗瓦作用。

提出的方法

• 利用 Deligne-Mumford 紧化空间 $\bar{\cal M}_{g,[m]}$ 中 $\mathbb{Q}$-点的正式邻域导出的 $\mathbb{Q}$-切向基点。
• 应用堆栈版本的 Grothendieck-Murre 形式化理论以定义 tame 基本群的伽罗瓦表示 $\rho_{\vec{s}}$。
• 利用 $G$-曲线的形变理论，关联不同亏格与标记点数下的伽罗瓦作用。
• 使用 Knudsen 拼接态射与 $\beta$-相容性，比较不同拓扑类型的层上伽罗瓦作用。
• 利用特殊闭链 $\mathcal{M}_{g,[m]}(G)$ 的不可约分支的 $\mathbb{Q}$-有理性，确保伽罗瓦不变性。
• 利用堆栈扭结子群在特化下的单射性，将问题约化至一般纤维，从而推广简单情形下的结果。

实验结果

研究问题

• RQ1 绝对伽罗瓦群 $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$ 如何作用于 $\mathcal{M}_{g,[m]}$ 的堆栈扭结子群？
• RQ2 在无 étale 分解的情形下，循环堆栈扭结子群上的叶状共轭作用是否可推广至包含 étale 分解的一般情形？
• RQ3 切向基点在定义堆栈扭结子群上一致伽罗瓦作用中起何作用？
• RQ4 堆栈扭结子群分层中不同层上的伽罗瓦作用之间有何关联？
• RQ5 伽罗瓦作用中的共轭因子 $\delta_\sigma$ 是否能以几何数据的组合方式描述？

主要发现

• 任意循环堆栈扭结子群 $I = \langle \gamma \rangle$ 上的伽罗瓦作用由 $\chi$-共轭给出：$\rho_{\vec{s}}(\sigma)\cdot\gamma = \delta_\sigma \gamma^{\chi(\sigma)} \delta_\sigma^{-1}$，其中 $\chi$ 为叶状特征标。
• 该结果推广了先前工作，将叶状共轭作用扩展至包含 étale 分解的完整情形。
• $\mathbb{Q}$-切向基点 $\vec{s}$ 导出的伽罗瓦表示 $\rho_{\vec{s}}$ 与 $\pi_1^{\mathrm{et}}(\mathcal{M}_{g,[m]} \otimes \bar{\mathbb{Q}})$ 上的堆栈扭结子群作用相容。
• 特殊闭链 $\mathcal{M}_{g,[m]}(G)$ 的不可约分支定义在 $\mathbb{Q}$ 上，确保了分层的伽罗瓦不变性。
• 堆栈扭结子群在特化下的单射性使得可将作用约化至一般纤维，同时保持 $\chi$-共轭结构。
• 该方法建立了一个框架，通过拼接与 $\beta$-相容性研究不同层之间惯性极限伽罗瓦作用。