Noether's problem for y Ŝ4 and y Ŝ5

Mingchang Kang,Jian Zhou
DOI: https://doi.org/10.2140/pjm.2012.258.349
2012-01-01
Pacific Journal of Mathematics
Abstract:Let k be a field, let G be a finite group and let k (x(g) : g is an element of G) be the rational function field over k, on which G acts by the k-automorphisms defined by h . x(g) = x(hg) for any g, h is an element of G. Noether's problem asks whether the fixed subfield k(G) :=k(x(g) : g is an element of G)(G) is k-rational, that is, purely transcendental over k. If (S) over cap (n) is the double cover of the symmetric group S-n, in which the liftings of transpositions and products of disjoint transpositions are of order 4, Serre shows that Q((S) over cap (4)) and Q((S) over cap (5)) are not Q-rational. We will prove that if k is a field such that char k not equal 2, 3, and k (zeta(8)) is a cyclic extension of k, then k((S) over cap (4)) is k-rational. If it is assumed furthermore that char k = 0, then k((S) over cap (5)) is also k-rational.
What problem does this paper attempt to address?