The Stacks project

Lemma 58.10.7. Let $X$ be an irreducible, geometrically unibranch scheme. For any nonempty open $U \subset X$ the canonical map

\[ \pi _1(U, \overline{u}) \longrightarrow \pi _1(X, \overline{u}) \]

is surjective. The map ( $\pi _1(\eta , \overline{\eta }) \to \pi _1(X, \overline{\eta })$ is surjective as well.

Proof. By Lemma 58.8.3 we may replace $X$ by its reduction. Thus we may assume that $X$ is an integral scheme. By Lemma 58.4.1 the assertion of the lemma translates into the statement that the functors $\textit{FÉt}_ X \to \textit{FÉt}_ U$ and $\textit{FÉt}_ X \to \textit{FÉt}_\eta $ are fully faithful.

The result for $\textit{FÉt}_ X \to \textit{FÉt}_ U$ follows from Lemma 58.10.5 and the fact that for a local ring $A$ which is geometrically unibranch its strict henselization has an irreducible spectrum. See More on Algebra, Lemma 15.106.5.

Observe that the residue field $\kappa (\eta ) = \mathcal{O}_{X, \eta }$ is the filtered colimit of $\mathcal{O}_ X(U)$ over $U \subset X$ nonempty open affine. Hence $\textit{FÉt}_\eta $ is the colimit of the categories $\textit{FÉt}_ U$ over such $U$, see Limits, Lemmas 32.10.1, 32.8.3, and 32.8.10. A formal argument then shows that fully faithfulness for $\textit{FÉt}_ X \to \textit{FÉt}_\eta $ follows from the fully faithfulness of the functors $\textit{FÉt}_ X \to \textit{FÉt}_ U$. $\square$

Comments (0)

There are also:

  • 2 comment(s) on Section 58.10: Local connectedness

Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0BQI. Beware of the difference between the letter 'O' and the digit '0'.