A note on rigidity and triangulability of a derivation

DOI10.1216/JCA-2014-6-1-95MaRDI QIDQ2453703zbMATH OpenFDO

Authors Manoj K. Keshari, Swapnil A. Lokhande

Publication date 10 June 2014

Published in Journal of Commutative Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1212.6501, https://projecteuclid.org/euclid.jca/1401715579

zbMATH Keywords

locally nilpotent derivationsrigid derivationstriangulable derivations

Mathematics Subject Classification ID

Polynomials over commutative rings (13B25) Group actions on varieties or schemes (quotients) (14L30)

Abstract: Let A be a $mathfrakQ$-domain, K=frac(A), B=A^{[n]} and Din lnd_A(B). Assume rank D= rank D_K=r, where D_K is the extension of D to K^{[n]}. Then we show that (i) If D_K is rigid, then D is rigid. (ii) Assume n=3, r=2 and B=A[X,Y,Z] with DX=0. Then D is triangulable over A if and only if D is triangulable over A[X]. In case A is a field, this result is due to Daigle.

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.

Recommendations

• On finite generation of kernels of locally nilpotent \(R\)-derivations of \(R[X,Y,Z]\)
• Locally nilpotent derivations of rings with roots adjoined
• A necessary and sufficient condition for triangulability of derivations of \(\mathbf k [X,Y,Z]\)
• Derivations of \(R[X,Y,Z]\) with a slice
• Rigid rings and Makar-Limanov techniques
• On the kernels of some higher derivations in polynomial rings
• Locally Nilpotent Monomial Derivations
• Triangular derivations of \(\mathbf k[X,Y,Z]\)
• A note on locally nilpotent derivations
• Polynomials \(f(X,Y,Z)\) of low LND-degree

Cites work

• A counterexample to Hilbert's fourteenth problem in dimension 5
• A necessary and sufficient condition for triangulability of derivations of \(\mathbf k [X,Y,Z]\)
• Algebraic theory of locally nilpotent derivations
• On finite generation of kernels of locally nilpotent \(R\)-derivations of \(R[X,Y,Z]\)
• On residual variables and stably polynomial algebras
• On the uniqueness of the coefficient ring in a polynomial ring

Cited in

(5)

• A necessary and sufficient condition for triangulability of derivations of \(\mathbf k [X,Y,Z]\)
• On the rigidity of certain Pham-Brieskorn rings
• On rigidity of factorial trinomial hypersurfaces
• Rank and rigidity of locally nilpotent derivations of affine fibrations
• Rigidity and triangularity of an exponential map

This page was built for publication: A note on rigidity and triangulability of a derivation

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