A note on rigidity and triangulability of a derivation
type: Item
instance of: scholarly article
title: A note on rigidity and triangulability of a derivation
zbMATH Open document ID: 1327.14211
DOI: 10.1216/JCA-2014-6-1-95
author: Manoj K. Keshari
author: Swapnil A. Lokhande
published in: Journal of Commutative Algebra
publication date: 2014-06-10T00:00:00Z
full work available at URL: https://arxiv.org/abs/1212.6501
full work available at URL: https://projecteuclid.org/euclid.jca/1401715579
review text: Let \(A\) be an integral domain containing \(\mathbb{Q}\) and \(A^{[n]}=A[X_1,\dots, X_n]=B\). An \(A\)-derivation \(D:B\to B\) is locally nilpotent if for each \(x\in B\), \(D^s(x)=0\) for some \(s>0\). For such a\(D\), its rank is defined as the smallest \(r\) such that \(A[X_1,\dots, X_{n-r}]\subset \mathrm{ker} D\) (after a change of variables). Such a derivation is triangulable if for a suitable change of variables, one has \(D(X_i)\in A[X_1,\dots, X_{i-1}]\) for \(1\leq i\leq n\). A derivation \(D\) of rank \(r\) is rigid, if for any two choices of variables \(X_i,X_i'\) with \(A_1=A[X_1,\dots, X_{n-r}]\) and \(A_2=A[X_1',\dots,X_{n-r}']\) both contained in \(\mathrm{ker} D\), then \(A_1=A_2\). \textit{D. Daigle} proved that when \(A\) is a field and \(n=3\), all locally nilpotent derivations are rigid [J. Pure Appl. Algebra 113, No. 3, 297--305 (1996; Zbl 0874.13021)]. The authors prove in the same vein for an arbitrary \(A\) as above, if \(D\) is such a derivation and \(D\) has the same rank when localized at the fraction field of \(A\) and rigid after localization, then \(D\) itself is rigid. A similar generalization of a result of Daigle on triangulability is also proved.
reviewed by: N. Mohan Kumar
Mathematics Subject Classification ID: 14L30
Mathematics Subject Classification ID: 13B25
zbMATH DE Number: 6302258
zbMATH Keywords: locally nilpotent derivations
zbMATH Keywords: rigid derivations
zbMATH Keywords: triangulable derivations
MaRDI profile type: MaRDI publication profile
cites work: On the uniqueness of the coefficient ring in a polynomial ring
cites work: On finite generation of kernels of locally nilpotent \(R\)-derivations of \(R[X,Y,Z]\)
cites work: On residual variables and stably polynomial algebras
cites work: A necessary and sufficient condition for triangulability of derivations of \(\mathbf k [X,Y,Z]\)
cites work: A counterexample to Hilbert's fourteenth problem in dimension 5
cites work: Algebraic theory of locally nilpotent derivations
Recommended article: On finite generation of kernels of locally nilpotent \(R\)-derivations of \(R[X,Y,Z]\)
Recommended article: Locally nilpotent derivations of rings with roots adjoined
Recommended article: A necessary and sufficient condition for triangulability of derivations of \(\mathbf k [X,Y,Z]\)
Recommended article: Derivations of \(R[X,Y,Z]\) with a slice
Recommended article: Rigid rings and Makar-Limanov techniques
Recommended article: On the kernels of some higher derivations in polynomial rings
Recommended article: Locally Nilpotent Monomial Derivations
Recommended article: Triangular derivations of \(\mathbf k[X,Y,Z]\)
Recommended article: A note on locally nilpotent derivations
Recommended article: Polynomials \(f(X,Y,Z)\) of low LND-degree
description: scientific article; zbMATH DE number 6302258