[论文解读] Moduli spaces of fundamental groups of curves in positive characteristic I

Yu Yang|arXiv (Cornell University)|Oct 5, 2020

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

一句话总结

本文引入了一个新的拓扑空间 $ύbar{Π}_{g,n}$，即正特征下带标记稳定曲线的可接受基本群的集合，并建立了从商模空间 $ύbar{м}_{g,n}$ 到 $ύbar{Π}_{g,n}$ 的连续映射 $π_{g,n}^{\rm adm}$。关键结果证明了当 $(g,n) = (0,4)$ 时，同胚猜想成立，表明模空间可通过其基本群实现群论重建。

ABSTRACT

In this series of papers, we investigate a new anabelian phenomenon of curves over algebraically closed fields of positive characteristic. Let $\overline M_{g, n}$ be the moduli space of curves of type $(g, n)$ over $\overline {\mathbb{F}}_p$. We introduce a topological space $\overline Π_{g, n}$ which can be determined group-theoretically from admissible fundamental groups of pointed stable curves of type $(g, n)$. By introducing a certain equivalence relation $\sim_{fe}$ on the underlying topological space $|\overline M_{g, n}|$ of $\overline M_{g, n}$, we obtain a topological space $\overline {\mathfrak{M}_{g, n}}:= |\overline {M_{g, n}}|/\sim_{fe}$. Moreover, there is a natural continuous map $π_{g,n}^{ m adm}: \overline {\mathfrak{M}}_{g, n} ightarrow \overline Π_{g, n}.$ Furthermore, we pose a conjecture (=the Homeomorphism Conjecture) which says that $π_{g,n}^{ m adm}$ is a homeomorphism. The Homeomorphism Conjecture generalizes all the conjectures in the theory of anableian geometry of curves over algebraically closed fields of characteristic $p$. One of main results of the present series of papers says that the Homeomorphism Conjecture holds when $ ext{dim}(\overline M_{g, n})=1$ (i.e., $(g, n)=(0,4)$ or $(g, n)=(1,1)$). In the present paper, we establish two fundamental tools to analyze the geometric behavior of curves from open continuous homomorphisms of admissible fundamental groups, which play central roles in the theory developed in the series of papers. Moreover, we prove that $π_{0,n}^{ m adm}([q])$ is a closed point of $\overline Π_{0,n}$ when $[q]$ is a closed point of $\overline {\mathfrak{M}}_{0, n}$. In particular, we obtain that the Homeomorphism Conjecture holds when $(g, n)=(0, 4)$.

研究动机与目标

• 开发一种基于基本群的新反丛几何框架，适用于正特征代数闭域上的曲线。
• 定义一个可接受基本群的拓扑空间 $\overline{\Pi}_{g,n}$，并将其与模空间的几何结构联系起来。
• 建立一个连续映射 $\pi_{g,n}^{\rm adm}: \overline{\mathfrak{M}}_{g,n} \to \overline{\Pi}_{g,n}$，将几何结构与群论结构联系起来。
• 证明在 $(g,n) = (0,4)$ 的情形下同胚猜想成立，表明模空间可由基本群数据实现重建。

提出的方法

• 引入模空间 $\overline{\Pi}_{g,n}$，即同构类的可接受基本群的集合，其拓扑由有限商群定义。
• 通过弗罗贝尼乌斯作用定义 $|\overline{M}_{g,n}|$ 上的等价关系 $\sim_{fe}$，得到商空间 $\overline{\mathfrak{M}}_{g,n} = |\overline{M}_{g,n}| / \sim_{fe}$，并赋予其诱导的扎里斯基拓扑。
• 构造一个自然的连续映射 $\pi_{g,n}^{\rm adm}: \overline{\mathfrak{M}}_{g,n} \to \overline{\Pi}_{g,n}$，将几何点与群论数据联系起来。
• 利用可接受覆盖理论与形变技术，分析基本群在特殊化下的行为。
• 证明当 $[q]$ 是 $\overline{\mathfrak{M}}_{0,n}$ 的闭点时，$\pi_{0,n}^{\rm adm}([q])$ 是 $\overline{\Pi}_{0,n}$ 中的闭点，从而建立关键的拓扑控制。
• 通过证明 $\overline{\Pi}_{g,n}$ 中开集的原像在 $\overline{\mathfrak{M}}_{g,n}$ 中为开集，利用构造性与通用性稳定性，证明 $\pi_{g,n}^{\rm adm}$ 的连续性。

实验结果

研究问题

• RQ1 能否从曲线模空间在正特征下的基本群群论数据中恢复其拓扑结构？
• RQ2 自然映射 $\pi_{g,n}^{\rm adm}: \overline{\mathfrak{M}}_{g,n} \to \overline{\Pi}_{g,n}$ 是否如同同胚猜想所预言的那样是同胚？
• RQ3 可接受基本群的有限商群如何决定 $\overline{\Pi}_{g,n}$ 的拓扑？
• RQ4 由弗罗贝尼乌斯作用诱导的 $|\overline{M}_{g,n}|$ 上的等价关系 $\sim_{fe}$ 具有何种几何意义？
• RQ5 在多大程度上，可以通过基本群的满射重构惯性子群与域结构？

主要发现

• 同胚猜想在 $(g,n) = (0,4)$ 时成立，即 $π_{0,4}^{\rm adm}$ 是同胚。
• 映射 $π_{g,n}^{\rm adm}$ 是连续的，通过证明对每个有限群 $G$，$U_G \subseteq \overline{M}_{g,n}$ 为开集得以证明。
• 当 $(g,n) = (0,4)$ 时，任意闭点 $[q]$ 在 $π_{0,n}^{\rm adm}$ 下的像是 $ύbar{\Pi}_{0,n}$ 中的闭点。
• 对每个闭点 $c$ 与有限群 $G$，集合 $U_G \cap M_c$ 在 $M_c$ 中为开集，支持 $π_{g,n}^{\rm adm}$ 的连续性。
• 空间 $ύbar{\Pi}_{g,n}$ 的构造使得每个拓扑性质都对应于曲线的阿贝尔性质。
• 通过有限商群构造 $ύbar{\Pi}_{g,n}$ 确保了拓扑结构编码了模空间的几何结构。