Lemma 58.16.4. Let $f : X \to S$ be a proper morphism with geometrically connected fibres. Let $s' \leadsto s$ be a specialization of points of $S$ and let $sp : \pi _1(X_{\overline{s}'}) \to \pi _1(X_{\overline{s}})$ be a specialization map. If $S$ is Noetherian, then there exists a strictly henselian discrete valuation ring $R$ over $S$ such that $sp$ is isomorphic to $sp_ R$ defined above.
Proof. Let $\mathcal{O}_{S, s} \to A$ be the strict henselization constructed using $\kappa (s) \to \kappa (\overline{s})$. Let $A \to \kappa (\overline{s}')$ be the map used to construct $sp$. Let $R \subset \kappa (\overline{s}')$ be a discrete valuation ring dominating the image of $A$, see Algebra, Lemma 10.119.13. Choose a diagram of fields
with $k$ algebraically closed. Let $R^{sh}$ be the strict henselization of $R$ constructed using $R \to k$. Then $R^{sh}$ is a discrete valuation ring by More on Algebra, Lemma 15.45.11. Denote $\eta , o$ the generic and closed point of $\mathop{\mathrm{Spec}}(R^{sh})$. Since the diagram of schemes
commutes, we obtain a commutative diagram
of specialization maps by the construction of these maps. Since the vertical arrows are isomorphisms (Lemma 58.9.3), this proves the lemma. $\square$
Comments (1)
Comment #9789 by Haohao Liu on