Multiplicative invariant fields of dimension $\le 6$

Akinari Hoshi Department of Mathematics, Niigata University Ming-chang Kang Department of Mathematics, National Taiwan University Aiichi Yamasaki Department of Mathematics, Kyoto University


The finite subgroups of $GL_4(\bm{Z})$ are classified up to conjugation in \cite{BBNWZ}; in particular, there exist $710$ non-conjugate finite groups in $GL_4(\bm{Z})$. Each finite group $G$ of $GL_4(\bm{Z})$ acts naturally on $\bm{Z}^{\oplus 4}$; thus we get a faithful $G$-lattice $M$ with ${\rm rank}_\bm{Z} M=4$. In this way, there are exactly $710$ such lattices. Given a $G$-lattice $M$ with ${\rm rank}_\bm{Z} M=4$, the group $G$ acts on the rational function field $\bm{C}(M):=\bm{C}(x_1,x_2,x_3,x_4)$ by multiplicative actions, i.e. purely monomial automorphisms over $\bm{C}$. We are concerned with the rationality problem of the fixed field $\bm{C}(M)^G$. A tool of our investigation is the unramified Brauer group of the field $\bm{C}(M)^G$ over $\bm{C}$. It is known that, if the unramified Brauer group, denoted by ${\rm Br}_u(\bm{C}(M)^G)$, is non-trivial, then the fixed field $\bm{C}(M)^G$ is not rational (= purely transcendental) over $\bm{C}$. A formula of the unramified Brauer group ${\rm Br}_u(\bm{C}(M)^G)$ for the multiplicative invariant field was found by Saltman in 1990. However, to calculate ${\rm Br}_u(\bm{C}(M)^G)$ for a specific multiplicatively invariant field requires additional efforts, even when the lattice $M$ is of rank equal to $4$. There is a direct decomposition ${\rm Br}_u(\bm{C}(M)^G)= B_0(G) \oplus H^2_u(G,M)$ where $H^2_u(G,M)$ is some subgroup of $H^2(G,M)$. The first summand $B_0(G)$, which is related to the faithful linear representations of $G$, has been investigated by many authors. But the second summand $H^2_u(G,M)$ doesn't receive much attention except when the rank is $\le 3$. Theorem 1. Among the $710$ finite groups $G$, let $M$ be the associated faithful $G$-lattice with ${\rm rank}_\bm{Z} M=4$, there exist precisely $5$ lattices $M$ with ${\rm Br}_u(\bm{C}(M)^G)\neq 0$. In these situations, $B_0(G)=0$ and thus ${\rm Br}_u(\bm{C}(M)^G)\subset H^2(G,M)$. The {\rm GAP IDs} of the five groups $G$ are {\rm (4,12,4,12), (4,32,1,2), (4,32,3,2), (4,33,3,1), (4,33,6,1)} in {\rm \cite{BBNWZ}} and in {\rm \cite{GAP}}. Theorem 2. There exist $6079$ finite subgroups $G$ in $GL_5(\bm{Z})$. Let $M$ be the lattice with rank $5$ associated to each group $G$. Among these lattices precisely $46$ of them satisfy the condition ${\rm Br}_u(\bm{C}(M)^G)\neq 0$. The {\rm GAP IDs} (actually the {\rm CARAT IDs}) of the corresponding groups $G$ may be determined explicitly. A similar result for lattices of rank $6$ is found also. Motivated by these results, we construct $G$-lattices $M$ of rank $2n+2, 4n, p(p-1)$ ($n$ is any positive integer and $p$ is any odd prime number) satisfying that $B_0(G)=0$ and $H^2_u(G,M)\neq 0$; and therefore $\bm{C}(M)^G$ are not rational over $\bm{C}$.
Rationality problem, Noether's problem, crystallographic groups, unramified Brauer groups, algebraic tori
[ Download ] [ 2017-02-17 15:02:43 uploaded by kang ] [ 1204 downloads ] [ 0 comments ]
  title={Multiplicative invariant fields of dimension $\le 6$},
  author={Akinari Hoshi, Ming-chang Kang, and Aiichi Yamasaki},
Akinari Hoshi, Ming-chang Kang, and Aiichi Yamasaki. Multiplicative invariant fields of dimension $\le 6$.
Please log in for comment!
Contact us: | Copyright Reserved