Groups of order \(p^5\) and their unramified Brauer groups (Q2376704)

The main object of the paper under review is the Bogomolov multiplier \(B_ 0(G)\) of a finite group \(G\). It is defined as a subgroup of the Schur multiplier of \(G\) consisting of the cohomology classes whose restriction to all abelian subgroups of \(G\) is trivial. This group is a birational invariant of the quotient space \(V/G\) where \(V\) is a vector \(k\)-space with a faithful, generically free action of \(G\) (\(k\) is an algebraically closed field of characteristic 0). \textit{F.~A.~Bogomolov} has shown in [Izv. Akad. Nauk SSSR, Ser. Mat. 51, No. 3, 485--516 (1987; Zbl 0641.14005)] that it coincides with the unramified Brauer group of \(V/G\), which was introduced by D.~J.~Saltman [Invent. Math. 77, 71--84 (1984; Zbl. 0546.14014)] for constructing a counter-example to Noether's problem. Both Saltman's and Bogomolov's examples of groups with nonzero \(B_ 0(G)\) were given for \(p\)-groups \(G\) (of orders \(p^9\) and \(p^6\), respectively). In an earlier paper [Am. J. Math. 134, No. 6, 1679--1704 (2012; Zbl 1346.20072)], the author gave similar examples of order \(p^5\), thus disproving a claim made in Bogomolov's paper cited above. Note that these examples are smallest possible because of the rationality results for the groups of order \(p^4\) \textit{H. Chu} and \textit{M.- Kang} [J. Algebra 237, No. 2, 673--690 (2001; Zbl 1023.13007)]. The main result of the paper under review states that for all groups of order \(p^5\) (\(p>3\)), except for the groups belonging to one isoclinism family \(\Phi_{10}\), in the notation of \textit{R. James} [Math. Comput. 34, 613--637 (1980; Zbl 0428.20013)], the Bogomolov multiplier is zero. Note that a full classification of groups of order \(p^5\), along with some rationality results, was obtained in a paper of \textit{A. Hoshi} et al. [Asian J. Math. 17, No. 4, 689--714 (2013; Zbl 1291.13012)]. It is also worth noting that \(B_ 0(G)\) is an isoclinism invariant of \(G\), as shown in a subsequent paper of the author [Ars Math. Contemp. 7, 337--340 (2014)]; moreover, if \(G_ 1\) and \(G_ 2\) are isoclinic, then the quotients \(V/G_ i\) are stably equivalent \textit{F. Bogomolov} and \textit{C. Böhning} [in: Birational geometry, rational curves, and arithmetic. Based on the symposium ``Geometry over closed fields'', St. John, UK, February 2012. Bogomolov, Fedor (ed.) et al., New York, NY: Springer. Simons Symposia, 57--76 (2013; Zbl 1284.20060)]. This simplifies the proofs based on case-by-case considerations.