Reduction in the rationality problem for multiplicative invariant fields
Let \(G\) be a finite group, \(A\) a faithful \(\mathbb{Z} G\) lattice, \(K\) a field on which \(G\) acts by field automorphisms, and \(K[A]\) a group ring of \(A\) written multiplicatively with \(K\)-basis \(\{e(a) \mid a \in A\}\). Let \(R\) be the normal subgroup of \(G\) generated by the elements of \(G\) which act trivially on \(K\) and act as reflections on \(A\). In this paper, the author proves that the rationality of the multiplicative invariant field \(K(A^G)\) over \(K(A^R)^G\) is equivalent to the rationality of \(K(A)^{\Omega_G}\) over \(K(A^R)^{\Omega_G}\), where \(\Omega_G\) is a particular subgroup of \(G\) such that \(G/R\cong \Omega_G\). This reduction result is then used to prove that \(K(A^G)\) is rational over \(K\), where \(G\) is the automorphism group of a crystallographic root system \(\Psi\), \(G\) acts trivially on \(K\) and \(A\) is any lattice on the space \(\mathbb{Q}\Psi\). The author gives an interesting brief history of the rationality problem for multiplicative invariant fields and its current status. The author gives an outline of her paper as follows:NEWLINENEWLINENEWLINEIn the second section, some standard definitions and results about reflections and crystallographic root systems are given. In Section 3, a crystallographic root system is associated to a faithful \(\mathbb{Z} G\) lattice \(A\) in order to construct the subgroup \(\Omega_G\) and to prepare for Section 4 in which Farkas' results on the rationality of multiplicative invariant fields for reflection lattices and Section 5 in which the reduction result is proved. In Section 6, the author examines the action of an automorphism group \(G\) of a crystallographic root system on a full \(\mathbb{Z} G\) lattice \(A\) of the rational vector space spanned by the root system. This provides preparation for Section 7 in which the rationality of \(K(A)^G\) over \(K\) is proved, where \(G\) acts trivially on \(K\).
- scientific article; zbMATH DE number 4077412
- Reduction theory for a rational function field
- Noether's problem and rationality problem for multiplicative invariant fields: a survey
- scientific article; zbMATH DE number 3049221
- The rationality problem for fields of invariants under linear algebraic groups (with special regards to the Brauer group)
- Reduction theory over quadratic imaginary fields
- On a rationality problem for fields of cross-ratios
- Multiplicative field invariants
- Stable rationality of certain invariant fields.
- scientific article; zbMATH DE number 1989000
- BIRATIONAL PROPERTIES OF LINEAR ALGEBRAIC GROUPS
- scientific article; zbMATH DE number 3855248 (Why is no real title available?)
- scientific article; zbMATH DE number 3737912 (Why is no real title available?)
- scientific article; zbMATH DE number 46729 (Why is no real title available?)
- scientific article; zbMATH DE number 4127437 (Why is no real title available?)
- Introduction to Lie Algebras and Representation Theory
- Invariant rational functions and a problem of Steenrod
- Invariants of finite Abelian groups
- Multiplicative field invariants
- Multiplicative field invariants and the Brauer group
- Multiplicative invariants
- Noether's problem over an algebraically closed field
- On the projective class group of finite groups
- Rationality problem for generic tori in simple groups.
- Reflection groups and multiplicative invariants
- Twisted multiplicative field invariants, Noether's problem, and Galois extensions
This page was built for publication: Reduction in the rationality problem for multiplicative invariant fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5936150)
