The fundamental group scheme of a non-reduced scheme (Q554233): Difference between revisions

Let \(S\) be a connected Dedekind scheme, \(X\) a connected scheme and \(f:X \to S\) a faithfully flat morphism of finite type with a section. The author proves that \(X\) has a fundamental group scheme. This is defined to be the \(S\)-group scheme in the initial object for the category \(\mathcal{P}(X)\) whose objects are triples \((Y,G,y)\) where \(Y \to X\) is an fpqc-torsor over a finite and flat \(S\)-group scheme \(G\) and \(y\) is an \(S\)-valued point of \(Y\). He also proves that for an \textit{affine} scheme \(X\), the fundamental group of \(X_{\text{red}}\) is a closed subgroup of the fundamental group of \(X\). These results generalize former results of the author, and also of \textit{M. A. Garuti} [Proc. Am. Math. Soc. 137, No. 11, 3575--3583 (2009; Zbl 1181.14053)].