Birational classification of fields of invariants for groups of order $128$
Abstract
Let be a finite group acting on the rational function field by -automorphisms for any . Noether's problem asks whether the invariant field is rational (i.e. purely transcendental) over . Saltman and Bogomolov, respectively, showed that for any prime there exist groups of order and of order such that is not rational over by showing the non-vanishing of the unramified Brauer group: . For , Chu, Hu, Kang and Prokhorov proved that if is a 2-group of order , then is rational over . Chu, Hu, Kang and Kunyavskii showed that if is of order 64, then is rational over except for the groups belonging to the two isoclinism families and . Bogomolov and B\"ohning's theorem claims that if and belong to the same isoclinism family, then and are stably -isomorphic. We investigate the birational classification of for groups of order 128 with . Moravec showed that there exist exactly 220 groups of order 128 with forming 11 isoclinism families . We show that if and belong to or (resp. or ), then and are stably -isomorphic with . Explicit structures of non-rational fields are given for each cases including also the case with .
Keywords
Cite
@article{arxiv.1404.0308,
title = {Birational classification of fields of invariants for groups of order $128$},
author = {Akinari Hoshi},
journal= {arXiv preprint arXiv:1404.0308},
year = {2014}
}
Comments
31 pages