0771fcaf30aa65d4.tex
1: \begin{abstract} 
2: 	Let $ k $ be a field with separable closure $ \kbar \supset k $, and let $ X $ be a qcqs $ k $-scheme.
3: 	We use the theory of profinite Galois categories developed by Barwick--Glasman--Haine to provide a quick conceptual proof that the sequences
4: 	\begin{equation*}
5: 		\Pietprotrun(\Xkbar) \to \Pietprotrun(X) \to \BGal(\kbar/k) \andeq \Pietprofin(\Xkbar) \to \Pietprofin(X) \to \BGal(\kbar/k)
6: 	\end{equation*}
7: 	of protruncated and profinite étale homotopy types are fiber sequences.
8: 	This gives a common conceptual reason for the following two phenomena:
9: 	first, the higher étale homotopy groups of $ X $ and the geometric fiber $ \Xkbar $ are isomorphic, and
10: 	second, if $ \Xkbar $ is connected, then the sequence of profinite étale fundamental groups \smash{$ 1 \to \pietprofin_1(\Xkbar) \to \pietprofin_1(X) \to \Gal(\kbar/k) \to 1 $} is exact.
11: 	It also proves the analogous results for the \textit{groupe fondamental élargi} of SGA3.
12: \end{abstract}
13: