English

Bogomolov multipliers and retract rationality for semi-direct products

Algebraic Geometry 2012-07-26 v1

Abstract

Let GG be a finite group. The Bogomolov multiplier B0(G)B_0(G) is constructed as an obstruction to the rationality of C(V)G\bm{C}(V)^G where GGL(V)G\to GL(V) is a faithful representation over C\bm{C}. We prove that, for any finite groups G1G_1 and G2G_2, B0(G1×G2)B0(G1)×B0(G2)B_0(G_1\times G_2)\xrightarrow{\sim} B_0(G_1)\times B_0(G_2) under the restriction map. If G=NG0G=N\rtimes G_0 with gcd{N,G0}=1\gcd\{|N|,|G_0|\}=1, then B0(G)B0(N)G0×B0(G0)B_0(G)\xrightarrow{\sim} B_0(N)^{G_0}\times B_0(G_0) under the restriction map. For any integer nn, we show that there are non-direct-product pp-groups G1G_1 and G2G_2 such that B0(G1)B_0(G_1) and B0(G2)B_0(G_2) contain subgroups isomorphic to (Z/pZ)n(\bm{Z}/p \bm{Z})^n and Z/pnZ\bm{Z}/p^n \bm{Z} respectively. On the other hand, if kk is an infinite field and G=NG0G=N\rtimes G_0 where NN is an abelian normal subgroup of exponent ee satisfying that ζek\zeta_e\in k, we will prove that, if k(G0)k(G_0) is retract kk-rational, then k(G)k(G) is also retract kk-rational provided that certain "local" conditions are satisfied; this result generalizes two previous results of Saltman and Jambor \cite{Ja}.

Keywords

Cite

@article{arxiv.1207.5867,
  title  = {Bogomolov multipliers and retract rationality for semi-direct products},
  author = {Ming-chang Kang},
  journal= {arXiv preprint arXiv:1207.5867},
  year   = {2012}
}