Skip to main content
added 21 characters in body
Source Link
Dan Petersen
  • 40.3k
  • 2
  • 114
  • 201

Probably you want $g > 1$.

TheEdit: as pointed out by Felipe below, what used to be here was sort of wrong-headed, but I can't delete this answer is yes since there are only finitely manyit has already been accepted. Anyway you should do what he says: the divisor of all Weierstrass points. Explicitly, if $X$ counted with weights is defined over $k$ then $\mathrm{Gal}(\overline k/k)$ acts onby the setvanishing of Weierstrass pointsthe Wronskian determinant of $X$, giving a homomorphismbasis of the space of $\mathrm{Gal}(\overline k/k) \to \mathrm{S}_n$ for some$1$-forms on $n$$X$. The kernelThis divisor is a finite index subgroup corresponding to an algebraic extensionthen manifestly defined over $K/k$ such that each$k$ and so all the Weierstrass point ispoints are defined over $K$a finite extension.

Probably you want $g > 1$.

The answer is yes since there are only finitely many Weierstrass points. Explicitly, if $X$ is defined over $k$ then $\mathrm{Gal}(\overline k/k)$ acts on the set of Weierstrass points of $X$, giving a homomorphism $\mathrm{Gal}(\overline k/k) \to \mathrm{S}_n$ for some $n$. The kernel is a finite index subgroup corresponding to an algebraic extension $K/k$ such that each Weierstrass point is defined over $K$.

Edit: as pointed out by Felipe below, what used to be here was sort of wrong-headed, but I can't delete this answer since it has already been accepted. Anyway you should do what he says: the divisor of all Weierstrass points counted with weights is defined by the vanishing of the Wronskian determinant of a basis of the space of $1$-forms on $X$. This divisor is then manifestly defined over $k$ and so all the Weierstrass points are defined over a finite extension.

Source Link
Dan Petersen
  • 40.3k
  • 2
  • 114
  • 201

Probably you want $g > 1$.

The answer is yes since there are only finitely many Weierstrass points. Explicitly, if $X$ is defined over $k$ then $\mathrm{Gal}(\overline k/k)$ acts on the set of Weierstrass points of $X$, giving a homomorphism $\mathrm{Gal}(\overline k/k) \to \mathrm{S}_n$ for some $n$. The kernel is a finite index subgroup corresponding to an algebraic extension $K/k$ such that each Weierstrass point is defined over $K$.