On the quotient of C^4 by a finite primitive group of type. I

DOI10.4310/MRL.2014.V21.N1.A11MaRDI QIDQ743731zbMATH OpenFDO

Authors Ilya Karzhemanov

Publication date 30 September 2014

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1202.1693

zbMATH Keywords

linear group actionrationality problem

Mathematics Subject Classification ID

Rationality questions in algebraic geometry (14E08) Fano varieties (14J45) Group actions on affine varieties (14R20)

Abstract: We study rationality problem for the quotient of $mathbb{C}^4$ by a finite primitive group $G$ of Type (I). We prove that this quotient is a rational variety for any such $G$.

Review text

Let \(G\) be a finite group acting linearly on \(\mathbb{C}^n\). E.~Noether asked when the field of invariants of the induced action of \(G\) on rational functions on \(\mathbb{C}^n\) is a purely transcendental extension of \(\mathbb{C}\), i.e. when the quotient \(\mathbb{C}^n/G\) is rational. This problem for \(n=4\) was considered by \textit{Y. G. Prokhorov} in [Prog. Math. 282, 245--273 (2010; Zbl 1204.14007)]. In particular, he settled the rationality question for many primitive groups, considering different cases based on the classification of finite primitive subgroups of \(\mathrm{GL}(4,\mathbb{C})\) given by \textit{H. F. Blickfeldt} [Finite collineation groups, with an introduction to the theory of groups of operators and substitution groups. University of Chicago Press (1916; JFM 46.0188.04)]. The article under review provides an answer in one case of a group of type (I) from Blickfeldt's classification, for which Prokhorov's approach was not sufficient. The author proves the rationality of the quotient of \(U_0 \simeq \mathbb{C}^4\) by the product \(G\simeq \mathbb{O} \times \mathbb{I}\) of the binary octahedral and binary icosahedral groups. However, his method works also for all other primitive groups of type (I), where the rationality was proved by Prokhorov [loc. cit.]. The starting point of the proof is to consider the action of \(G\) on a natural compactification \(V'\) of \(U_0/(\mathbb{Z}/2\mathbb{Z})\), where \(\mathbb{Z}/2\mathbb{Z}\) acts by multiplication by \(-1\). It turns out that \(V'\) is a Fano 4-fold, a quadratic cone in~\(\mathbb{P}^5\). Then one may find a \(G\)-equivariant linear projection \(V' \dashrightarrow \mathbb{P}^2\), which leads to a description of a splitting of the threefold \(V'/G\) birationally into a product of positive-dimensional varieties. This proves the rationality of \(V'/G\), and the rationality of \(U_0/G\) follows.

Recommendations

• Finite irreducible imprimitive nonmonomial complex linear groups of degree 4.
• The rationality problem for finite subgroups of \(\mathrm{GL}_4(\mathbb Q)\)
• scientific article; zbMATH DE number 28625
• scientific article; zbMATH DE number 4152556
• scientific article; zbMATH DE number 3916683
• Fields of Invariants of Finite Linear Groups
• Rationality of the field of invariants of a faithful four-dimensional representation of the icosahedral group
• The rationality problem for four-dimensional linear actions
• scientific article; zbMATH DE number 3995879
• Configurations of linear subspaces and rational invariants

Cited in

(6)

• The rationality problem for finite subgroups of \(\mathrm{GL}_4(\mathbb Q)\)
• The Grothendieck ring of varieties and of the theory of algebraically closed fields
• scientific article; zbMATH DE number 28625 (Why is no real title available?)
• scientific article; zbMATH DE number 58103 (Why is no real title available?)
• Invariant smooth quartic surfaces by all finite primitive subgroups of \(\mathrm{PGL}_4 (\mathbb{C})\)
• Rationality of quotients by finite Heisenberg groups

This page was built for publication: On the quotient of \(\mathbb{C}^4\) by a finite primitive group of type. I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q743731)