Finite group schemes as fundamental group schemes of smooth projective varieties

Abstract

In this paper we study the problem of realizing finite group schemes as fundamental group schemes of smooth projective varieties. We establish Bertini-type results and prove the triviality of fundamental group schemes of mildly singular complete intersections in projective space. With this in hand, we are able to go through a Godeaux--Serre construction and prove that, over an infinite perfect field $k$, any finite group scheme $G/k$ can be realized as the $S$-, extended Nori and Nori fundamental group schemes of a connected smooth projective variety of any dimension at least $\dim \text{Lie}(G)+2$.