## 58.7 Galois covers of connected schemes

Let $X$ be a connected scheme with geometric point $\overline{x}$. Since $F_{\overline{x}} : \textit{FÉt}_ X \to \textit{Sets}$ is a Galois category (Lemma 58.5.5) the material in Section 58.3 applies. In this section we explicity transfer some of the terminology and results to the setting of schemes and finite étale morphisms.

We will say a finite étale morphism $Y \to X$ is a *Galois cover* if $Y$ defines a Galois object of $\textit{FÉt}_ X$. For a finite étale morphism $Y \to X$ with $G = \text{Aut}_ X(Y)$ the following are equivalent

$Y$ is a Galois cover of $X$,

$Y$ is connected and $|G|$ is equal to the degree of $Y \to X$,

$Y$ is connected and $G$ acts transitively on $F_{\overline{x}}(Y)$, and

$Y$ is connected and $G$ acts simply transitively on $F_{\overline{x}}(Y)$.

This follows immediately from the discussion in Section 58.3.

For any finite étale morphism $f : Y \to X$ with $Y$ connected, there is a finite étale Galois cover $Y' \to X$ which dominates $Y$ (Lemma 58.3.8).

The Galois objects of $\textit{FÉt}_ X$ correspond, via the equivalence

of Theorem 58.6.2, with the finite $\pi _1(X, \overline{x})\textit{-Sets}$ of the form $G = \pi _1(X, \overline{x})/H$ where $H$ is a normal open subgroup. Equivalently, if $G$ is a finite group and $\pi _1(X, \overline{x}) \to G$ is a continuous surjection, then $G$ viewed as a $\pi _1(X, \overline{x})$-set corresponds to a Galois covering.

If $Y_ i \to X$, $i = 1, 2$ are finite étale Galois covers with Galois groups $G_ i$, then there exists a finite étale Galois cover $Y \to X$ whose Galois group is a subgroup of $G_1 \times G_2$. Namely, take the corresponding continuous homomorphisms $\pi _1(X, \overline{x}) \to G_ i$ and let $G$ be the image of the induced continuous homomorphism $\pi _1(X, \overline{x}) \to G_1 \times G_2$.

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

## Comments (2)

Comment #4185 by Nicolas Müller on

Comment #4379 by Johan on