English

Noether's problem and unramified Brauer groups

Algebraic Geometry 2012-03-19 v1

Abstract

Let kk be any field, GG be a finite group acing on the rational function field k(xg:gG)k(x_g:g\in G) by hxg=xhgh\cdot x_g=x_{hg} for any h,gGh,g\in G. Define k(G)=k(xg:gG)Gk(G)=k(x_g:g\in G)^G. Noether's problem asks whether k(G)k(G) is rational (= purely transcendental) over kk. It is known that, if C(G)\bm{C}(G) is rational over C\bm{C}, then B0(G)=0B_0(G)=0 where B0(G)B_0(G) is the unramified Brauer group of C(G)\bm{C}(G) over C\bm{C}. Bogomolov showed that, if GG is a pp-group of order p5p^5, then B0(G)=0B_0(G)=0. This result was disproved by Moravec for p=3,5,7p=3,5,7 by computer calculations. We will prove the following theorem. Theorem. Let pp be any odd prime number, GG be a group of order p5p^5. Then B0(G)0B_0(G)\ne 0 if and only if GG belongs to the isoclinism family Φ10\Phi_{10} in R. James's classification of groups of order p5p^5.

Keywords

Cite

@article{arxiv.1202.5812,
  title  = {Noether's problem and unramified Brauer groups},
  author = {Akinari Hoshi and Ming-chang Kang and Boris E. Kunyavskii},
  journal= {arXiv preprint arXiv:1202.5812},
  year   = {2012}
}

Comments

arXiv admin note: substantial text overlap with arXiv:1109.2966

R2 v1 2026-06-21T20:25:22.310Z