Homotopy Exact Sequence for the Pro-Étale Fundamental Group II

Abstract

The pro-étale fundamental group of a scheme, introduced by Bhatt and Scholze, generalizes the usual étale fundamental group $π_1^{\mathrm{et}}$ defined in SGA1 and leads to an interesting class of "geometric coverings" of schemes, generalizing finite étale covers. We prove exactness of the general homotopy sequence for the pro-étale fundamental group, i.e. that for a geometric point $\bar{s}$ on $S$ and a flat proper morphism $X \rightarrow S$ of finite presentation whose geometric fibres are connected and reduced, the sequence $$ π_1^{\mathrm{proet}}(X_{\bar{s}}) \rightarrow π_1^{\mathrm{proet}}(X) \rightarrow π_1^{\mathrm{proet}}(S) \rightarrow 1 $$ is "nearly exact". This generalizes a theorem of Grothendieck from finite étale covers to geometric coverings. We achieve the proof by constructing an infinite (i.e. non-quasi-compact) analogue of the Stein factorization in this setting.