[论文解读] Finiteness of étale fundamental groups by reduction modulo $p$

Bhargav Bhatt, Ofer Gabber+1 more|arXiv (Cornell University)|May 20, 2017

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

一句话总结

本文提出一种扩散技巧，通过正特征下其étale基本群的有界性，推导出特征0下étale局部基本群的有限性。通过证明在与p互素的商群中，p的多项式有界性已足够，该文利用特征p方法重新证明了klt奇点的Xu有限性结果，提供了一种基于构造性与p进群判别法的新、更初等的证明。

ABSTRACT

We introduce a spreading out technique to deduce finiteness results for étale fundamental groups of complex varieties by characteristic $p$ methods, and apply this to recover a finiteness result proven recently for local fundamental groups in characteristic $0$ using birational geometry.

研究动机与目标

• 建立一种通用方法，从正特征下的有界性推导出特征0下étale基本群的有限性。
• 使用特征p技巧重新证明特征0下klt奇点的Xu有限性结果。
• 通过利用F-正则性和扩散技巧，为klt奇点的局部étale基本群有限性提供一种新的、初等的证明。
• 在无奇点限制的算术族中，建立纯粹局部基本群的构造性结果。
• 给出一个避免使用准射影性假设的全局有限性结果的伽罗瓦理论证明。

提出的方法

• 引入一种扩散技巧，将特征0上的概形提升到有限生成的Z-代数A上，从而实现模p约化。
• 利用定理1.2，若在所有大特征p下，局部étale基本群的与p互素商群被p^c有界，则特征0下π₁^loc(X,x)的有限性可被推出。
• 应用关于纯粹局部基本群的构造性结果（定理4.1），以控制算术族中纤维间基本群的行为。
• 利用p进群的抽象有限性判别法（命题5.1），将正特征下的有界性与特征0下的有限性联系起来。
• 利用特征0下klt奇点在正特征下特化为强F-正则奇点的事实，而此类奇点的有限性已知。
• 利用[PT]中的F-亏格下界，建立所需的多项式有界性#π₁^loc(X̄_y, x̄_y) ≤ p^d，其中d = dim X_C。

实验结果

研究问题

• RQ1 能否从模p约化下的有界性推导出特征0下étale局部基本群的有限性？
• RQ2 在正特征下，若局部基本群的与p互素商群在p上具有多项式有界性，是否足以推出特征0下的有限性？
• RQ3 能否仅使用正特征方法与扩散技巧，重新证明特征0下klt奇点的有限性结果？
• RQ4 在算术族中，纯粹局部基本群的行为如何？能否在无奇点假设下证明其构造性？
• RQ5 能否在不依赖准射影性或分层工具的前提下，给出全局有限性结果的伽罗瓦理论证明？

主要发现

• 定理1.2表明：若在正特征纤维中，局部étale基本群的与p互素商群被p^c有界，则特征0下的局部基本群是有限的。
• 本文仅使用特征p方法重新证明了Xu关于klt奇点在特征0下π₁^loc(X,x)有限性的结果。
• 在算术族中证明了纯粹局部基本群的构造性结果，且该结果在无奇点假设下依然成立（定理4.1）。
• 命题5.1中的有限性判别法允许从正特征下的有界性（即使为多项式增长）推出p进群的有限性。
• 在大正特征下，对强F-正则奇点建立了#π₁^loc(X̄_y, x̄_y) ≤ p^d（其中d = dim X_C）的有界性。
• 给出了全局有限性结果（定理1.5）的伽罗瓦理论证明，避免了早期工作中存在的准射影性假设。