Remark 58.6.4. In the situation of Lemma 58.6.3 let us give a more explicit construction of the isomorphism $\text{Gal}(K^{sep}/K) \to \pi _1(X, \overline{x}) = \text{Aut}(F_{\overline{x}})$. Observe that $\text{Gal}(K^{sep}/K) = \text{Aut}(\overline{K}/K)$ as $\overline{K}$ is the perfection of $K^{sep}$. Since $F_{\overline{x}}(Y) = \mathop{\mathrm{Mor}}\nolimits _ X(\mathop{\mathrm{Spec}}(\overline{K}), Y)$ we may consider the map

This is an action because

The action is functorial in $Y \in \textit{FÉt}_ X$ and we obtain the desired map.

## Comments (0)

There are also: