Some group actions on \(K(x_1,x_2,x_3)\)
type: Item
instance of: scholarly article
title: Some group actions on \(K(x_1,x_2,x_3)\)
zbMATH Open document ID: 1110.12001
DOI: 10.1007/BF02773527
published in: Israel Journal of Mathematics
publication date: 2005-06-09T00:00:00Z
review text: The main object of the paper under review is \(F=K(x_1,x_2,x_3)^{\left<\sigma\right>}\), the field of invariants of a purely transcendental extension \(K(x_1,x_2,x_3)\) of degree 3 of an arbitrary field \(K\) with respect to a fractional-linear action of a \(K\)-automorphism \(\sigma\): \(x_i \mapsto (a_ix_i+b_i)/(c_ix_i+d_i)\), where \(a_id_i-b_ic_i\neq 0\), \(i=1,2,3\). The author's goal is to provide a criterion for the extension \(F/K\) to be rational (= purely transcendental) in terms of the ``characteristic polynomials'' \(f_i(T)=T^2-(a_i+d_i)T+(a_id_i-b_ic_i)\) of the matrices \(\sigma_i=\left(\begin{smallmatrix} a_i & b_i \\ c_i & d_i \end{smallmatrix}\right)\). The main results are the following. If \(\text{char}(K)\neq 2\), then \(F/K\) is rational if and only if (i) for each \(1\leq i\leq 3\), \(f_i(T)\) is irreducible; (ii) the Galois group of \(f_1(T)f_2(T)f_3(T)\) over \(K\) is of order 8; (iii) for each \(1\leq i\leq 3\), the order of \(\sigma_i\) in \(\text{PGL}_2(K)\) is an even integer. Moreover, if \(F/K\) is not rational, it is not even retract rational. If \(\text{char}(K)=2\), then \(F/K\) is always rational except possibly the case where, for each \(1\leq i\leq 3\), \(f_i(T)\) is irreducible and is of the form \(T^2-a_i\). These results can be viewed as a generalization of [\textit{D. J. Saltman}, A nonrational field, answering a question of Hajja. Algebra and number theory. Proceedings of a conference, Fez, Morocco. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 208, 263--271 (2000; Zbl 0977.12005)]. The proof is based on reducing to the case where \(F\) can be represented in the form \(L(z_1,z_2,z_3)^G\), where \(G\), the Galois group of the splitting field \(L\) of the polynomial \(f_1(T)f_2(T)f_3(T)\) over \(K\), acts linearly on the \(z_i\)'s. In that case \(F\) is isomorphic to \(K(S)\), the field of rational functions of a certain algebraic \(K\)-torus \(S\) split over \(L\), and the author can use birational classification o…
Mathematics Subject Classification ID: 12F10
Mathematics Subject Classification ID: 12F20
Mathematics Subject Classification ID: 14E08
Mathematics Subject Classification ID: 14L30
Mathematics Subject Classification ID: 20G15
zbMATH DE Number: 2174703
zbMATH Keywords: group action
zbMATH Keywords: rationality problem
zbMATH Keywords: algebraic torus
author: Ming-Chang Kang
reviewed by: Boris Kunyavskiĭ
MaRDI profile type: Publication
cites work: Rationality of some projective linear actions
cites work: A problem on rational invariants
cites work: Three-dimensional purely monomial group actions
cites work: Some actions of symmetric groups
cites work: Rationality problem of \(GL_{4}\) group actions.
cites work: Q4818189
cites work: Noether's problem and normalization.
cites work: Q3488293
cites work: Retract rational fields and cyclic Galois extensions
cites work: Q3684205
cites work: Q4518773
cites work: K-theory of finite groups and orders. Notes by E. Graham Evans
cites work: Q3324057
cites work: On the Finite Subgroups of GL (3, Z)
cites work: ON TWO-DIMENSIONAL ALGEBRAIC TORI. II
cites work: Q4210019
full work available at URL: https://doi.org/10.1007/bf02773527
OpenAlex ID: W2027369186
Recommended article: Q3356513
Recommended article: Actions of Finite Groups on Rn+k with Fixed Set Rk
Recommended article: Q3319438
Recommended article: Q3786652
Recommended article: Cyclic p-group actions on ℝℙ3
Recommended article: Q4980292
Recommended article: Q4922521
Recommended article: ON THE SET K3(G) OF FINITE GROUPS’ ELEMENTS COMMUTING EXACTLY WITH THREE ELEMENTS
Recommended article: Q5489413
Recommended article: Group Actions,k-Derivations, and Finite Morphisms
description: scientific article; zbMATH DE number 2174703