Noether's problem for p-groups of order p^{5}

TL;DR

This paper investigates Noether's problem for nonabelian p-groups of order p^5, establishing conditions under which the fixed field is rational over the base field, especially focusing on groups outside a specific classification family.

Contribution

It proves that for most nonabelian p-groups of order p^5, the fixed field is rational over the base field when certain roots of unity are present, refining previous results.

Findings

Fixed field is rational for groups outside family Φ_{10}

Rationality holds over complex numbers for these groups

Refines previous classifications of rationality in Noether's problem

Abstract

Let $k$ be any field, $p>3$ be any prime number and $G$ be a nonabelian $p$-group of order $p^{5}$. Consider the action of $G$ on the rational function field $k(x_{h}:h\in G)$ by $g\cdot x_{h}=x_{gh}$ for all $g,h\in G$. Let $e$ be the exponent of $G$. Noether's problem asks whether the fixed field $k(G)=k(x_{h}:h\in G)^{G}$ is rational (i.e., purely transcendental) over $k$. In this paper, we will prove that if $G$ does not belong to the isoclinic family $\Phi_{10}$ in James's classification \cite{Jam1980} and $k$ contains a primitive $e$th root of unity, then $k(G)$ is rational over $k$. As a corollary, if $k=\textbf{C}$ is the field of complex numbers, then $\textbf{C}(G)$ is rational over $\textbf{C}$ if and only if $G$ is not in the family $\Phi_{10}$. This refines a recent result of Hoshi, Kang and Kunyavskii (\cite{HKK2012}, Theorem 1.12).