A note on a class of rings found as \(G_a\)-invariants for locally trivial actions on normal affine varieties
type: Item
instance of: scholarly article
title: A note on a class of rings found as \(G_a\)-invariants for locally trivial actions on normal affine varieties
zbMATH Open document ID: 1067.14043
author: Kristofer D. Jorgenson
published in: Rocky Mountain Journal of Mathematics
publication date: 2005-03-10T00:00:00Z
review text: ``Let \(k\) be an algebraically closed field and \(x_{1},\dots ,x_{n}\) algebraically independent elements over \(k\). Let \(L\) be a subfield of \( k( x_{1},\dots ,x_{n}) \) containing \(k\). Is the ring \(L\cap k [ x_{1},\dots ,x_{n}] \) finitely generated over \(k\)?'' This is Hilbert's fourteenth problem. In the paper under review, the author is interested in the case where \( L\cap k[ x_{1},\dots ,x_{n}] \) is the ring of invariants for a group action. The group of interest here is the additive group \(G_{a}.\) For \(X\) an affine variety, \(G_{a}\) actions on \(X\) are in bijective correspondence with locally nilpotent derivations \(k[ X] \to k[ X] \) of the coordinate ring of \(X\). Under this correspondence the invariant ring \(k[ X] ^{G_{a}}\) under some \(G_{a}\)-action is the kernel of its corresponding derivation. The author provides a locally trivial action on a normal affine variety of dimension 4 whose ring of invariants is not finitely generated, thereby giving an example of a \(G_{a}\)-action on an affine variety which locally can be expressed as a translation but does not admit an equivariant trivialization. This example is not explicitly given but can be constructed from the main result which says the following. Let \(A\) be an affine normal domain over \(k\), and \(L\) a field with \(k\subset L\subset K( A) ,\) where \(K\) is the quotient field of \(A.\) Then there is a normal affine variety \(X\) such that \(k[ X] \) is a proper ring extension of \( L\cap A\) and a locally trivial \(G_{a}\)-action on \(X\) such that \(L\cap A\) is the ring of invariants for this action. Taking \(k=\mathbb{C}\) and a counterexample of Rees gives the desired result.
reviewed by: Alan Koch
Mathematics Subject Classification ID: 14L30
Mathematics Subject Classification ID: 14R10
zbMATH DE Number: 2143231
zbMATH Keywords: rings of invariants
zbMATH Keywords: locally nilpotent derivations
zbMATH Keywords: translation
zbMATH Keywords: equivariant trivialization
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.1216/rmjm/1181069804
OpenAlex ID: W1997228183
cites work: Q5563439
cites work: On some properties of locally nilpotent derivations
cites work: A counterexample to Hilbert's fourteenth problem in dimension 5
cites work: Triangular derivations of \({\mathbf k}[X_1,X_2,X_3,X_4]\)
cites work: Q4534147
cites work: Q4317713
cites work: Q5585972
cites work: Q4143433
cites work: Two notes on ideal-transforms
cites work: Q5334356
cites work: On the 14-th Problem of Hilbert
cites work: Lectures on the fourteenth problem of Hilbert
cites work: On Zariski's problem concerning the 14th problem of Hilbert
cites work: On a problem of Nagata related to Zariski's problem
cites work: On a problem of Zariski
cites work: An infinitely generated symbolic blow-up in a power series ring and a new counterexample to Hilbert's fourteenth problem
cites work: On free holomorphic \({\mathbb{C}}\)-actions on \({\mathbb{C}}^ n\) and homogeneous Stein manifolds
cites work: On the Jacobian conjecture
DOI: 10.1216/RMJM/1181069804
Recommended article: Invariant rings and quasiaffine quotients
Recommended article: On Roberts' counterexample to the fourteenth problem of Hilbert
Recommended article: Note on a counterexample to Hilbert's fourteenth problem given by P. Roberts
Recommended article: A linear counterexample to the Fourteenth Problem of Hilbert in dimension eleven
Recommended article: Q3720713
description: scientific article; zbMATH DE number 2143231