Homotopy Exact Sequence for the Pro-\'Etale Fundamental Group II

DOI10.1093/IMRN/RNAB101arXiv1911.01884MaRDI QIDQ6328569FDOQ6328569

Authors: Marcin Lara 

Publication date: 5 November 2019

Abstract: The pro-'etale fundamental group of a scheme, introduced by Bhatt and Scholze, generalizes the usual 'etale fundamental group $p{i}_1^{mathrmet}$ defined in SGA1 and leads to an interesting class of "geometric coverings" of schemes, generalizing finite 'etale covers. We prove exactness of the general homotopy sequence for the pro-'etale fundamental group, i.e. that for a geometric point $$ on $S$ and a flat proper morphism $XightarrowS$ of finite presentation whose geometric fibres are connected and reduced, the sequence ${\displaystyle }$ pi_1^{mathrm{proet}}(X_{�ar{s}}) ightarrow pi_1^{mathrm{proet}}(X) ightarrow pi_1^{mathrm{proet}}(S) ightarrow 1 ${\displaystyle }$ is "nearly exact". This generalizes a theorem of Grothendieck from finite 'etale 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.

Mathematics Subject Classification ID

Étale and other Grothendieck topologies and (co)homologies (14F20) Homotopy theory and fundamental groups in algebraic geometry (14F35)

This page was built for publication: Homotopy Exact Sequence for the Pro-\'Etale Fundamental Group II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6328569)