[论文解读] On the arithmetic fundamental groups

Feng-Wen An|ArXiv.org|Oct 4, 2009

Algebraic Geometry and Number Theory参考文献 14被引用 9

一句话总结

本文通过拟伽罗瓦闭覆盖引入算术概形的拟伽罗瓦（qc）基本群，推广了平展基本群。证明了平展基本群是qc基本群的正规子群，从而为平展基本群提供了先验估计，并通过商群揭示了拓扑不变量。

ABSTRACT

In this paper we will define a qc fundamental group for an arithmetic scheme by quasi-galois closed covers. Then we will give a computation for such a group and will prove that the etale fundamental group of an arithmetic scheme is a normal subgroup in our qc fundamental group, which make up the main theorem of the paper. Hence, our group gives us a prior estimate of the etale fundamental group. The quotient group reflects the topological properties of the scheme.

研究动机与目标

• 通过算术概形的拟伽罗瓦闭覆盖定义算术概形的新基本群。
• 为难以直接计算的平展基本群提供先验估计。
• 通过qc基本群与平展基本群的商群揭示算术概形的拓扑性质。
• 通过普遍覆盖将伽罗瓦扩张的几何模型推广至算术概形。

提出的方法

• 通过算术概形的拟伽罗瓦闭覆盖的逆向极限定义qc基本群。
• 分别使用几何模型 $X_\Omega$ 和 $X_{\Omega_{\text{et}}}$ 作为qc基本群和平展基本群的普遍覆盖。
• 建立函数域的伽罗瓦群与覆盖自同构群之间的同构关系。
• 在整概形范畴中利用直接极限与逆向极限构造普遍覆盖。
• 通过域包含 $k(X_{\Omega_{\text{et}}}}) \subset k(X_\Omega)$ 证明平展基本群嵌入为qc基本群的正规子群。
• 利用覆盖范畴中偏序集的共终性与等价性，关联两个群的逆向极限。

实验结果

研究问题

• RQ1 如何定义算术概形的基本群，使其推广平展基本群并捕捉拓扑信息？
• RQ2 平展基本群与由拟伽罗瓦闭覆盖构造的新qc基本群之间存在何种关系？
• RQ3 qc基本群与平展基本群的商群在何种意义上反映了概形的拓扑结构？
• RQ4 在何种条件下商群为平凡群，这又对有限分支覆盖意味着什么？
• RQ5 qc基本群能否作为平展基本群的先验估计？

主要发现

• 平展基本群 $\pi_1^{\text{et}}(X;s)$ 是qc基本群 $\pi_1^{\text{qc}}(X;\Omega)$ 的正规子群。
• 商群 $\pi_1^{\text{qc}}(X;\Omega)/\pi_1^{\text{et}}(X;s)$ 反映了算术概形 $X$ 的拓扑性质。
• 当且仅当算术概形无有限分支覆盖时，商群为平凡群。
• qc基本群同构于伽罗瓦群 $\text{Gal}(\Omega/k(X))$，其中 $\Omega$ 是函数域的代数闭包。
• 平展基本群同构于 $\text{Gal}(\Omega_{\text{et}}/k(X))$，其中 $\Omega_{\text{et}}$ 是 $k(X)$ 的最大无分支扩张。
• 通过直接极限构造普遍覆盖 $X_\Omega$ 和 $X_{\Omega_{\text{et}}}$ 确保其与自同构群逆向极限的相容性。