The rationality problem for finite subgroups of \(\mathrm{GL}_4(\mathbb Q)\) (Q1945880): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1006.1156 / rank | |||
Normal rank |
Revision as of 23:58, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The rationality problem for finite subgroups of \(\mathrm{GL}_4(\mathbb Q)\) |
scientific article |
Statements
The rationality problem for finite subgroups of \(\mathrm{GL}_4(\mathbb Q)\) (English)
0 references
17 April 2013
0 references
Let \(G\) be a finite subgroup of \(\mathrm{GL}_4(\mathbb Q)\). The group \(G\) induces an action on \(\mathbb Q(x_1,x_2,x_3,x_4)\), the rational function field of four variables over \(\mathbb Q\). The main subject of this article is to answer whether or not the fixed subfield \(\mathbb Q(x_1,x_2,x_3,x_4)^G\) is rational (i.e., purely transcendental) over \(\mathbb Q\). Since the rationality of \(\mathbb Q(x_1,x_2,x_3,x_4)^G\) depends only on the conjugacy class of \(G\) within \(\mathrm{GL}_4(\mathbb Q)\), one must consider only the subgroups in \(\mathrm{GL}_4(\mathbb Q)\) up to conjugation. According to the book [\textit{H. Brown, R. Bülow, J. Neubüser, H. Wondratschek} and \textit{H. Zassenhaus}, Crystallographic groups of four-dimensional space. New York etc.: John Wiley \& Sons (1978; Zbl 0381.20002)] there are precisely 227 finite subgroups up to conjugation contained in \(\mathrm{GL}_4(\mathbb Q)\). The answers to the rationality problem for most of them were given by \textit{H. Kitayama} and \textit{A. Yamasaki} [J. Math. Kyoto Univ. 49, No. 2, 359--380 (2009; Zbl 1188.13004)] except for four cases. The article under review gives a positive answer to the rationality problem for these four cases. Thus the authors obtain their main result which states that the fixed subfield \(\mathbb Q(x_1,x_2,x_3,x_4)^G\) is rational over \(\mathbb Q\) for all subgroups \(G\) in \(\mathrm{GL}_4(\mathbb Q)\), except for two groups which are images of faithful representations of \(C_8\) and \(C_3\rtimes C_8\) into \(\mathrm{GL}_4(\mathbb Q)\).
0 references
rationality problem
0 references
rationality
0 references
retract rationality
0 references
conic bundles
0 references