Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $K$ be a number field and let $\pi:X\to \mathbf{P}^1_K$ be a finite morphism, where $X$ is a smooth projective geometrically connected curve.

Is $\pi$ a Galois cover if and only if the base change $\pi_{\overline K} : X_{\overline K} \to \mathbf{P}^1_{\overline K}$ is a Galois cover?

share|improve this question

3 Answers 3

up vote 16 down vote accepted

If $\pi$ is Galois, then so is $\pi_{\overline{K}}$. This is more or less obvious.

But the converse is false. Consider the cover $X:=\mathbb P^1_{K} \to \mathbb P^1_{K}$, $x\mapsto x^3$. On the level of function fields, it corresponds to the extension $K(t)\subset K(s)$, $s^3=t$. This extension is not Galois if $K=\mathbb Q$, but becomes cyclic over $\overline{\mathbb Q}$.

share|improve this answer

QiL has given what has to be the simplest example of a geometrically Galois but not Galois extension of function fields. I want to give different -- so, necessarily, less simple -- example, but one that shows how important this distinction is in arithmetic geometry.

Let $K$ be a field -- say of characteristic zero -- let $E_{/K}$ be an elliptic curve, and let $\varphi: E \rightarrow E'$ be an isogeny of degree $n$. Then $C = \operatorname{ker} \varphi$ is a cyclic subgroup of order $n$, and we may view $E' = E/C$. From this one can see that $\varphi$ is an unramified covering map and that the deck transformations are precisely $\tau_P: x \mapsto x + P$ with $P \in C(\overline{K})$.

This means the cover is geometrically Galois: $\# C(\overline{K}) = \operatorname{deg} \varphi$. Moreover, it is Galois iff the Galois action on $C(\overline{K})$ is trivial: i.e., rather than being stabilized by the Galois group of $\overline{K}/K$ (which is necessary for the isogeny $\varphi$ to be defined), in order for $K(E)/K(E')$ to be Galois we need the action of $\operatorname{Gal}(\overline{K}/K)$ to be trivial. In the case of cyclic $C$, this is the distinction between a rationally defined subgroup and a rational torsion point.

The second condition is definitely more stringent than the first. For instance, suppose $K = \mathbb{Q}$ and $C$ is a cyclic subgroup of prime order $p$. Then by work of Mazur, the largest prime $p$ such that there exists an elliptic curve $E$ and a rationally defined subgroup $C$ is $p = 163$, whereas the largest prime such that there exists a rational torsion point of order $p$ is $p = 7$.

Similarly, taking $E$ to be a generic elliptic curve over $K = \mathbb{Q}(t)$, the distinction between geometrically Galois and Galois can be viewed as responsible for the difference between the modular curves $X_1(N)$ and $X_0(N)$.

share|improve this answer
    
Thank you for explaining the importance to me carefully. –  Hoedan Feb 24 '12 at 16:54

Here is another example of a more arithmetic nature. Let $K$ be a field and $L/K$ finite extension that is not Galois. Let $X=\mathbb{P}^1_L = \mathbb{P}^1_K\times_K L$ and $\pi\colon X\to \mathbb{P}^1_K$ the projection map. Then $\pi$ is not Galois. On the other hand, since $X_{\bar{K}}=\mathbb{P}^1_{\bar{K}}$, so $\pi_{\bar{K}}$ is the trivial map, hence Galois.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.