An application of cohomological invariants

Abstract

Let $G$ be a finite group, $k$ be a field and $G\to GL(V_{\mathrm{reg}})$ be the regular representation of $G$ over $k$. Then $G$ acts naturally on the rational function field $k(V_{\mathrm{reg}})$ by $k$-automorphisms. Define $k(G)$ to be the fixed field $k(V_{\mathrm{reg}}{)}^G$. Noether's problem asks whether $k(G)$ is rational (resp. stably rational) over $k$. When $k=\bQ$ and $G$ contains a normal subgroup $N$ with $G/H\simeq C_8$ (the cyclic group of order $8$), Jack Sonn proves that $\bQ(G)$ is not stably rational over $\bQ$, which is a non-abelian extension of a theorem of Endo-Miyata, Voskresenskii, Lenstra and Saltman for the abelian Noether's problem $\bQ(C_8)$. Using the method of cohomological invariants, we are able to generalize Sonn's theorem as follows. Theorem. Let $G$ be a finite group and $N$ $⊲$ $G$ such that $G/N\simeq C_{2^n}$ with $n\ge 3$. If $k$ is a field satisfying that $\mathrm{char}k=0$ and $k({\zeta }_{2^n})/k$ is not a cyclic extension where ${\zeta }_{2^n}$ is a primitive $2^n$-th root of unity, then $k(G)$ is not stably rational (resp. not retract rational) over $k$. \end{abstract}

Theorem 1.4 and its proof in Section 4 are new. Some minor corrections are added