0d3aa42740b7765a.tex
1: \begin{abstract}
2: Let $C$ be a curve defined over a number field $K$ and write $g$ for the
3: genus of $C$ and $J$ for the Jacobian of $C$.
4: Let $n \ge 2$. We say that an algebraic point $P \in C(\overline{K})$
5: has degree $n$ if the extension $K(P)/K$ has degree $n$.
6: By the Galois group of $P$ we mean the Galois group of
7: the Galois closure of $K(P)/K$ which
8: we identify as a transitive subgroup of $S_n$. We say that $P$
9: is primitive if its Galois group is primitive as a subgroup of $S_n$.
10: We prove the following \lq single source\rq\ theorem
11: for primitive points. Suppose $g>(n-1)^2$ if $n \ge 3$
12: and $g \ge 3$ if $n=2$.
13: Suppose that either $J$ is simple,
14: or that $J(K)$ is finite. Suppose $C$ has infinitely
15: many primitive degree $n$ points. Then
16: there is a degree $n$ morphism $\varphi : C \rightarrow \PP^1$
17: such that all but finitely many primitive degree $n$
18: points correspond to fibres $\varphi^{-1}(\alpha)$
19: with $\alpha \in \PP^1(K)$.
20: 
21: We prove moreover, under the same hypotheses, that if $C$ has infinitely many
22: degree $n$ points with Galois group $S_n$
23: or $A_n$, then $C$ has only finitely many degree $n$ points
24: of any other primitive Galois group. The proof makes
25: essential use of recent results of Burness and Guralnick
26: on fixed point ratios of faithful, primitive group actions.
27: \end{abstract}
28: