[论文解读] On the étale fundamental groups of arithmetic schemes, revised

Feng-Wen An|arXiv (Cornell University)|Oct 26, 2009

Algebraic Geometry and Number Theory参考文献 15被引用 7

一句话总结

本文建立了整数算术概形的étale基本群与其中最大形式非分歧扩张的伽罗瓦群之间的自然同构，证明了形式非分歧扩张在算术上也是非分歧的，并与代数数论中的标准概念一致。关键结果是算术概形的étale基本群同构于其最大算术非分歧扩张的伽罗瓦群。

ABSTRACT

In this paper we will give a computation of the étale fundamental group of an integral arithmetic scheme. For such a scheme, we will prove that the étale fundamental group is naturally isomorphic to the Galois group of the maximal formally unramified extension over the function field. It consists of the main theorem of the paper. Here, formally unramified will be proved to be arithmetically unramified which is defined in an evident manner and coincides with that in algebraic number theory. Hence, formally unramified has an arithmetic sense. At the same time, such a computation coincides with the known result for a normal noetherian scheme.

研究动机与目标

• 计算一个整数算术概形的étale基本群，即一个关于$\mathrm{Spec}(\mathbb{Z})$有限型、整的且在$\mathrm{Spec}(\mathbb{Z})$上具有满射的概形。
• 证明此类概形的函数域的最大形式非分歧扩张是算术非分歧的，从而赋予其算术解释。
• 展示算术概形的étale基本群自然同构于其最大算术非分歧扩张的伽罗瓦群。
• 调和形式非分歧扩张的概念与代数数论中的经典概念，证明在此背景下二者一致。
• 为算术概形提供一个可计算且具有算术几何意义的étale基本群描述，扩展了对诺特正则概形已知结果的结论。

提出的方法

• 将最大形式非分歧扩张$k(X;\Omega)^{\text{un}}$定义为在固定代数闭包$\Omega$下，有限étale伽罗瓦覆盖$X$的函数域的直接极限。
• 建立有限étale伽罗瓦覆盖的集合$[X;\Omega]_{\text{et}}$在序关系$X_\alpha \leq X_\beta$下构成一个有向系统，其中$X_\beta$是$X_\alpha$的伽罗瓦覆盖。
• 证明自同构群的逆极限$\varprojlim_{Y \in [X;\Omega]_{\text{et}}} \mathrm{Aut}(Y/X)$同构于étale基本群$\pi_1^{\text{et}}(X,s)$。
• 证明算术非分歧覆盖的集合$[X;\Omega]_{\text{qc}}$在$[X;\Omega]_{\text{et}}$中是共尾的，从而允许通过$[X;\Omega]_{\text{qc}}$上的逆极限计算相同的群。
• 利用任意算术非分歧扩张均包含于某个有限étale伽罗瓦扩张的事实，通过共尾子族将$[X;\Omega]_{\text{qc}}$嵌入$[X;\Omega]_{\text{et}}$。
• 最终得出结论：$\pi_1^{\text{et}}(X,s) \cong \mathrm{Gal}(k(X;\Omega)^{\text{un}}/k(X))$，通过共尾有向集上逆极限的同构关系。

实验结果

研究问题

• RQ1 一个算术概形的函数域的最大形式非分歧扩张是否具有算术意义，且是否与代数数论中经典的非分歧扩张概念一致？
• RQ2 能否将算术概形的étale基本群计算为其函数域某一特定扩张的伽罗瓦群？
• RQ3 算术概形的étale基本群是否仅依赖于函数域，且是否为双有理不变量？
• RQ4 在有限étale伽罗瓦覆盖集与算术非分歧覆盖集上，自同构群的逆极限是否同构？
• RQ5 若$\mathbb{Q}(t_1, \dots, t_n)$的最大算术非分歧扩张平凡，是否意味着$\mathrm{Spec}(\mathbb{Z}[t_1, \dots, t_n])$的étale基本群也平凡？

主要发现

• 算术概形$X$的étale基本群$\pi_1^{\text{et}}(X,s)$自然同构于其最大形式非分歧扩张$k(X;\Omega)^{\text{un}}$关于函数域$k(X)$的伽罗瓦群$\mathrm{Gal}(k(X;\Omega)^{\text{un}}/k(X))$。
• 最大形式非分歧扩张$k(X;\Omega)^{\text{un}}$等于最大算术非分歧扩张$k(X)^{\text{au}}$，从而赋予其算术解释。
• 在此背景下，形式非分歧扩张的概念与代数数论中经典的非分歧扩张概念一致，尤其在戴克林域和离散赋值环的语境下。
• $[X;\Omega]_{\text{et}}$中有限étale伽罗瓦覆盖的集合在$[X;\Omega]_{\text{qc}}$中算术非分歧覆盖的集合中是共尾的，确保了在$[X;\Omega]_{\text{et}}$上取的逆极限与在$[X;\Omega]_{\text{qc}}$上取的逆极限计算出相同的群。
• 作为推论，$\pi_1^{\text{et}}(\mathrm{Spec}(\mathbb{Z}[t_1, \dots, t_n])) \cong \{0\}$，因为$\mathbb{Q}(t_1, \dots, t_n)$具有平凡的最大算术非分歧扩张。
• 算术概形的étale基本群是双有理不变量：若两个算术概形的函数域同构，则它们的étale基本群也同构。