On p-gonal fields of definition

Publication date: 25 February 2022

Abstract: Let

S

be a closed Riemann surface of genus

g g e q 2

and

v a r p h i

be a conformal automorphism of

S

of prime order

p

such that

S / l a n g l e v a r p h i a n g l e

has genus zero. Let

m a t h b b K l e q m a t h b b C

be a field of definition of

S

. We provide an argument for the existence of a field extension

m a t h b b F

of

m a t h b b K

, of degree at most

2 (p - 1)

, for which

S

is definable by a curve of the form

y^{p} = F (x) i n m a t h b b F [x]

, in which case

v a r p h i

corresponds to

(x, y) m a p s t o (x, e^{2 p i i / p} y)

. If, moreover,

v a r p h i

is also definable over

m a t h b b K

, then

m a t h b b F

can be chosen to be at most a quadratic extension of

m a t h b b K

. For

p = 2

, that is when

S

is hyperelliptic and

v a r p h i

is its hyperelliptic involution, this fact is due to Mestre (for even genus) and Huggins and Lercier-Ritzenthaler-Sijslingit in the case that

m A u t (S) / v a r p h i a n g l e

is non-trivial.

This page was built for publication: On $p$-gonal fields of definition