English

Birational classification of fields of invariants for groups of order $128$

Algebraic Geometry 2014-04-02 v1 Number Theory

Abstract

Let GG be a finite group acting on the rational function field C(xg:gG)\mathbb{C}(x_g : g\in G) by C\mathbb{C}-automorphisms h(xg)=xhgh(x_g)=x_{hg} for any g,hGg,h\in G. Noether's problem asks whether the invariant field C(G)=k(xg:gG)G\mathbb{C}(G)=k(x_g : g\in G)^G is rational (i.e. purely transcendental) over C\mathbb{C}. Saltman and Bogomolov, respectively, showed that for any prime pp there exist groups GG of order p9p^9 and of order p6p^6 such that C(G)\mathbb{C}(G) is not rational over C\mathbb{C} by showing the non-vanishing of the unramified Brauer group: Brnr(C(G))0Br_{nr}(\mathbb{C}(G))\neq 0. For p=2p=2, Chu, Hu, Kang and Prokhorov proved that if GG is a 2-group of order 32\leq 32, then C(G)\mathbb{C}(G) is rational over C\mathbb{C}. Chu, Hu, Kang and Kunyavskii showed that if GG is of order 64, then C(G)\mathbb{C}(G) is rational over C\mathbb{C} except for the groups GG belonging to the two isoclinism families Φ13\Phi_{13} and Φ16\Phi_{16}. Bogomolov and B\"ohning's theorem claims that if G1G_1 and G2G_2 belong to the same isoclinism family, then C(G1)\mathbb{C}(G_1) and C(G2)\mathbb{C}(G_2) are stably C\mathbb{C}-isomorphic. We investigate the birational classification of C(G)\mathbb{C}(G) for groups GG of order 128 with Brnr(C(G))0Br_{nr}(\mathbb{C}(G))\neq 0. Moravec showed that there exist exactly 220 groups GG of order 128 with Brnr(C(G))0Br_{nr}(\mathbb{C}(G))\neq 0 forming 11 isoclinism families Φj\Phi_j. We show that if G1G_1 and G2G_2 belong to Φ16,Φ31,Φ37,Φ39,Φ43,Φ58,Φ60\Phi_{16}, \Phi_{31}, \Phi_{37}, \Phi_{39}, \Phi_{43}, \Phi_{58}, \Phi_{60} or Φ80\Phi_{80} (resp. Φ106\Phi_{106} or Φ114\Phi_{114}), then C(G1)\mathbb{C}(G_1) and C(G2)\mathbb{C}(G_2) are stably C\mathbb{C}-isomorphic with Brnr(C(Gi))C2Br_{nr}(\mathbb{C}(G_i))\simeq C_2. Explicit structures of non-rational fields C(G)\mathbb{C}(G) are given for each cases including also the case Φ30\Phi_{30} with Brnr(C(G))C2×C2Br_{nr}(\mathbb{C}(G))\simeq C_2\times C_2.

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