The rationality problem for finite subgroups of \(\mathrm{GL}_4(\mathbb Q)\) (Q1945880)

From MaRDI portal
Revision as of 16:06, 1 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
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
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references