论基本群概形的存在性

设 $S$ 为 Dedekind 概形，$X$ 为局部有限型的连通 $S$-概形，$x\in X(S)$ 为一个截面。本文旨在建立当 $X$ 具有既约纤维或当 $X$ 为正规时，$X$ 的基本群概形的存在性。我们还证明了一个群概形的存在性，我们将其称为 $X$ 在 $x$ 处的拟有限基本群概形，它分类了所有在 $x$ 处带基点的 $X$ 上的拟有限挠子。我们定义了 Galois 挠子，它们在此背景下的作用类似于 \'etale 基本群理论中的 Galois 覆盖。