Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose the rational curve $C$ is a finite cover for the rational curve $D$ and the field of rational functions of $C$ is the purely transcendental extension $k(x)$ and that of $D$ is the subfield $k(t)$ where $t$ is a rational function in $x$. Assume the field extension is Galois so that there is a finite group $G$ acting on $k(x)$ with the subfield of invariants being $k(t)$.

I want to explicitly describe the group $G$. I also want to show that $G$ permutes the points on $C$ above a given point of $D$ and show that the ramification index of all the points above a given point of $D$ must be the same. Finally, I want to find all possible combinations of the ramification indices and find a group of the right order that realizes the ramification and acts on $\mathbb{P}^1$.

What I know and can do so far: it's a consequence of Luroth's Thoerem that the generators of $k(x)$ are the linear fractional transforms of $x$, ie. are all of the form $\frac{ax+b}{cx+d}$ where $ad-bc \neq 0$ and that $G$ will send $x$ to another generator of $k(x)$ (since the extension is Galois). So is the group in question simply $PGL_2(k)$ since this is the group acts as linear fractional transforms in projective space? I can also see how this group permutes $\mathbb{P}^1$...but after that, I am lost...

share|cite|improve this question
$G$ is a finite subgroup of $\text{PGL}_2(k)$. What group it is depends on the covering map... I'm not sure exactly what you want to know. – Qiaochu Yuan Apr 25 '12 at 1:31

Your Answer


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

Browse other questions tagged or ask your own question.