[论文解读] Profinite complexes of curves, their automorphisms and anabelian properties of moduli stacks of curves

Marco Boggi, Pierre Lochak|arXiv (Cornell University)|Jun 6, 2007

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

一句话总结

该论文证明了在子-p-进域上，带标记点的稳定曲线的Deligne-Mumford模堆栈的有限连通étale覆叠在本质上是‘几乎阿贝尔的’。它证明了此类覆叠的几何自同构群与该覆叠的几何基本群的$G_k$-等变、边界保持的外自同构群之间存在自然同构，将Mochizuki的阿贝尔结果推广到了带标记点的曲线模堆栈。

ABSTRACT

Let ${\cal M}_{g,[n]}$, for $2g-2+n>0$, be the D-M moduli stack of smooth curves of genus $g$ labeled by $n$ unordered distinct points. The main result of the paper is that a finite, connected étale cover ${\cal M}^ł$ of ${\cal M}_{g,[n]}$, defined over a sub-$p$-adic field $k$, is "almost" anabelian in the sense conjectured by Grothendieck for curves and their moduli spaces. The precise result is the following. Let $π_1({\cal M}^ł_{\ol{k}})$ be the geometric algebraic fundamental group of ${\cal M}^ł$ and let ${Out}^*(π_1({\cal M}^ł_{\ol{k}}))$ be the group of its exterior automorphisms which preserve the conjugacy classes of elements corresponding to simple loops around the Deligne-Mumford boundary of ${\cal M}^ł$ (this is the "$\ast$-condition" motivating the "almost" above). Let us denote by ${Out}^*_{G_k}(π_1({\cal M}^ł_{\ol{k}}))$ the subgroup consisting of elements which commute with the natural action of the absolute Galois group $G_k$ of $k$. Let us assume, moreover, that the generic point of the D-M stack ${\cal M}^ł$ has a trivial automorphisms group. Then, there is a natural isomorphism: $${Aut}_k({\cal M}^ł)\cong{Out}^*_{G_k}(π_1({\cal M}^ł_{\ol{k}})).$$ This partially extends to moduli spaces of curves the anabelian properties proved by Mochizuki for hyperbolic curves over sub-$p$-adic fields.

研究动机与目标

• 将Mochizuki对双曲曲线的阿贝尔结果推广到带标记点的曲线模堆栈。
• 研究有限étale覆叠的几何基本群在多大程度上决定了覆叠的自同构群。
• 建立覆叠的自同构群与该覆叠的几何基本群的$G_k$-等变、边界保持的外自同构群之间的精确联系。
• 在基域和一般点满足特定条件的情况下，验证Grothendieck的阿贝尔猜想在新的几何背景——模堆栈的曲线——中的成立。

提出的方法

• 考虑定义在子-p-进域$k$上的Deligne-Mumford模堆栈$\mathcal{M}_{g,[n]}$的有限连通étale覆叠$\mathcal{M}^ł$。
• 分析其几何代数基本群$\pi_1(\mathcal{M}^ł_{\overline{k}})$及其保持简单环路共轭类（围绕Deligne-Mumford边界）的外自同构群$\mathrm{Out}^*(\pi_1(\mathcal{M}^ł_{\overline{k}}))$。
• 限制到与绝对伽罗华群$G_k$作用可交换的自同构子群$\mathrm{Out}^*_{G_k}(\pi_1(\mathcal{M}^ł_{\overline{k}}))$。
• 假设$\mathcal{M}^ł$的一般点的自同构群平凡，以确保覆叠的几何刚性。
• 通过基本群的群论重构，建立自然同构$\mathrm{Aut}_k(\mathcal{M}^ł) \cong \mathrm{Out}^*_{G_k}(\pi_1(\mathcal{M}^ł_{\overline{k}}))$。
• 使用$\ast$-条件以确保自同构尊重边界结构，从而与阿贝尔哲学中从算术数据重构几何的思想保持一致。

实验结果

研究问题

• RQ1 在多大程度上，可以由其几何基本群重构模堆栈$\mathcal{M}_{g,[n]}$的有限étale覆叠的自同构群？
• RQ2 在子-p-进域上，$G_k$-等变、边界保持的外自同构群是否能完整捕捉覆叠的自同构群？
• RQ3 一般点自同构群平凡的假设如何影响模堆栈的阿贝尔重构？
• RQ4 Mochizuki对双曲曲线的阿贝尔技术能否被适配到带标记点和边界结构的模堆栈设定中？
• RQ5 Deligne-Mumford边界在曲线模堆栈的阿贝尔重构中起什么作用？

主要发现

• 几何自同构群$\mathrm{Aut}_k(\mathcal{M}^ł)$与$G_k$-等变、边界保持的外自同构群$\mathrm{Out}^*_{G_k}(\pi_1(\mathcal{M}^ł_{\overline{k}}))$之间存在自然同构。
• $\ast$-条件确保自同构尊重Deligne-Mumford边界的拓扑结构，这对重构具有几何意义至关重要。
• 该结果证实了模堆栈$\mathcal{M}^ł$在Grothendieck意义下是‘几乎阿贝尔的’，即其几何主要由其算术基本群决定。
• 该同构在$\mathcal{M}^ł$的一般点自同构群平凡的条件下成立，这确保了无额外对称性阻碍重构。
• 该方法将Mochizuki对单个双曲曲线的阿贝尔结果推广到曲线模堆栈，扩展了阿贝尔几何的应用范围。
• 该结果在更高维模空间中提供了阿贝尔几何的新实例，其中基本群通过伽罗华等变外自同构完全编码了自同构群。