相对概形的基本群概形与其一般纤维的基本群概形之间的比较

我们证明了自然态射 $\phi:\pi_1(X_{\eta},x_{\eta})\to \pi_1(X,x)_{\eta}$ 在连通戴德金概形上的概形 $X$ 的一般纤维 $X_{\eta}$ 的基本群概形与 $X$ 的基本群概形的一般纤维之间总是忠实平坦的。作为一个应用，我们给出了一个有限、支配的尖点 $G$-主丛在 $X_{\eta}$ 上可扩张到 $X$ 上的充要条件。最后，我们提供了 $\phi:\pi_1(X_{\eta},x_{\eta})\to \pi_1(X,x)_{\eta}$ 是同构的例子。