Remark 58.64.2. The equivalences of Lemma 58.64.1 are compatible with pullbacks. More precisely, suppose $f : Y \to X$ is a morphism of connected schemes. Let $\overline{y}$ be geometric point of $Y$ and set $\overline{x} = f(\overline{y})$. Then the diagram

$\xymatrix{ \text{finite locally constant sheaves of sets on }Y_{\acute{e}tale}\ar[r] & \text{finite }\pi _1(Y, \overline{y})\text{-sets} \\ \text{finite locally constant sheaves of sets on }X_{\acute{e}tale}\ar[r] \ar[u]_{f^{-1}} & \text{finite }\pi _1(X, \overline{x})\text{-sets} \ar[u] }$

is commutative, where the vertical arrow on the right comes from the continuous homomorphism $\pi _1(Y, \overline{y}) \to \pi _1(X, \overline{x})$ induced by $f$. This follows immediately from the commutative diagram in Fundamental Groups, Theorem 57.6.2.

There are also:

• 2 comment(s) on Section 58.64: Locally constant sheaves and the fundamental group

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).