Noether's problem and unramified brauer groups

Akinari Hoshi, Ming Chang Kang, Boris E. Kunyavskii

Research output: Contribution to journalArticlepeer-review

23 Scopus citations

Abstract

Let k be any field, G be a finite group acting on the rational function field k(xg : g ε G) by h · xg = xhg for any h, g ε G. Define k(G) = k(xg : g ε G)G. Noether's problem asks whether k(G) is rational (= purely transcendental) over k. It is known that, if ℂ(G) is rational over ℂ, then B0(G) = 0 where B0(G) is the unramified Brauer group of ℂ(G) over ℂ. Bogomolov showed that, if G is a p-group of order p5, then B0(G) = 0. This result was disproved by Moravec for p = 3, 5, 7 by computer calculations. We will prove the following theorem. Theorem. Let p be any odd prime number, G be a group of order p5. Then B0(G) ≠ 0 if and only if G belongs to the isoclinism family π10 in R. James's classification of groups of order p5.

Original languageEnglish
Pages (from-to)689-714
Number of pages26
JournalAsian Journal of Mathematics
Volume17
Issue number4
DOIs
StatePublished - 2013

Keywords

  • Bogomolov multipliers
  • Noether's problem
  • Rationality
  • Rationality problem
  • Retract rationality
  • Unramified Brauer groups

Fingerprint

Dive into the research topics of 'Noether's problem and unramified brauer groups'. Together they form a unique fingerprint.

Cite this