scholarly journals Some $K$-theoretic properties of the kernel of a locally nilpotent derivation on $k[X_1, \dots , X_4]$

2016 ◽  
Vol 369 (1) ◽  
pp. 341-363 ◽  
Author(s):  
S. M. Bhatwadekar ◽  
Neena Gupta ◽  
Swapnil A. Lokhande
Keyword(s):  
Locally Nilpotent Derivation ◽  
Locally Nilpotent ◽  
Nilpotent Derivation

scholarly journals ON SEPARABLE AND -FORMS

2018 ◽  
Vol 239 ◽  
pp. 346-354
Author(s):  
AMARTYA KUMAR DUTTA ◽  
NEENA GUPTA ◽  
ANIMESH LAHIRI
Keyword(s):  
Characteristic Zero ◽  
One Dimensional ◽  
Noetherian Domain ◽  
Locally Nilpotent Derivation ◽  
Locally Nilpotent ◽  
Nilpotent Derivation

In this paper, we will prove that any $\mathbb{A}^{3}$-form over a field $k$ of characteristic zero is trivial provided it has a locally nilpotent derivation satisfying certain properties. We will also show that the result of Kambayashi on the triviality of separable $\mathbb{A}^{2}$-forms over a field $k$ extends to $\mathbb{A}^{2}$-forms over any one-dimensional Noetherian domain containing $\mathbb{Q}$.

THE FACTORIAL CONJECTURE AND IMAGES OF LOCALLY NILPOTENT DERIVATIONS

2019 ◽  
Vol 101 (1) ◽  
pp. 71-79 ◽  
Author(s):  
DAYAN LIU ◽  
XIAOSONG SUN
Keyword(s):  
Jacobian Conjecture ◽  
Homogeneous Polynomials ◽  
Locally Nilpotent Derivation ◽  
Locally Nilpotent ◽  
Nilpotent Derivation

The factorial conjecture was proposed by van den Essen et al. [‘On the image conjecture’, J. Algebra 340(1) (2011), 211–224] to study the image conjecture, which arose from the Jacobian conjecture. We show that the factorial conjecture holds for all homogeneous polynomials in two variables. We also give a variation of the result and use it to show that the image of any linear locally nilpotent derivation of $\mathbb{C}[x,y,z]$ is a Mathieu–Zhao subspace.

SKEW POWER SERIES RINGS OF DERIVATION TYPE

2011 ◽  
Vol 10 (06) ◽  
pp. 1383-1399 ◽  
Author(s):  
JEFFREY BERGEN ◽  
PIOTR GRZESZCZUK
Keyword(s):  
Power Series ◽  
Power Series Ring ◽  
Noncommutative Algebra ◽  
Series Ring ◽  
Locally Nilpotent Derivation ◽  
Locally Nilpotent ◽  
Nilpotent Derivation ◽  
Power Series Rings

In this paper, we contrast the structure of a noncommutative algebra R with that of the skew power series ring R[[y;d]]. Several of our main results examine when the rings R, Rd, and R[[y;d]] are prime or semiprime under the assumption that d is a locally nilpotent derivation.

scholarly journals On rigidity of factorial trinomial hypersurfaces

2016 ◽  
Vol 26 (05) ◽  
pp. 1061-1070 ◽  
Author(s):  
Ivan Arzhantsev
Keyword(s):  
Algebraic Variety ◽  
Regular Functions ◽  
Locally Nilpotent Derivation ◽  
Locally Nilpotent ◽  
Nilpotent Derivation

An affine algebraic variety [Formula: see text] is rigid if the algebra of regular functions [Formula: see text] admits no nonzero locally nilpotent derivation. We prove that a factorial trinomial hypersurface is rigid if and only if every exponent in the trinomial is at least [Formula: see text].

Pascal finite polynomial automorphisms

2019 ◽  
Vol 18 (07) ◽  
pp. 1950124
Author(s):  
Elżbieta Adamus ◽  
Paweł Bogdan ◽  
Teresa Crespo ◽  
Zbigniew Hajto
Keyword(s):  
Characteristic Zero ◽  
Positive Characteristic ◽  
Exponential Map ◽  
Locally Finite ◽  
Arbitrary Characteristic ◽  
Polynomial Automorphisms ◽  
Locally Nilpotent Derivation ◽  
Locally Nilpotent ◽  
Nilpotent Derivation

The class of Pascal finite polynomial automorphisms is a subclass of the class of locally finite ones allowing a more effective approach. In characteristic zero, a Pascal finite automorphism is the exponential map of a locally nilpotent derivation. However, Pascal finite automorphisms are defined in any characteristic, and therefore constitute a generalization of exponential automorphisms to positive characteristic. In this paper, we prove several properties of Pascal finite automorphisms. We obtain in particular that the Pascal finite property is stable under taking powers but not under composition. This leads us to formulate a generalization of the exponential generators conjecture to arbitrary characteristic.

ON THE CONNECTION BETWEEN DIFFERENTIAL POLYNOMIAL RINGS AND POLYNOMIAL RINGS OVER NIL RINGS

2019 ◽  
Vol 101 (3) ◽  
pp. 438-441
Author(s):  
LOUISA CATALANO ◽  
MEGAN CHANG-LEE
Keyword(s):  
Polynomial Ring ◽  
Positive Characteristic ◽  
Differential Polynomial ◽  
Polynomial Rings ◽  
Locally Nilpotent Derivation ◽  
Locally Nilpotent ◽  
Nilpotent Derivation ◽  
Differential Polynomial Ring ◽  
Field Of Positive Characteristic ◽  
Algebra Over A Field

In this paper, we study some connections between the polynomial ring $R[y]$ and the differential polynomial ring $R[x;D]$. In particular, we answer a question posed by Smoktunowicz, which asks whether $R[y]$ is nil when $R[x;D]$ is nil, provided that $R$ is an algebra over a field of positive characteristic and $D$ is a locally nilpotent derivation.

scholarly journals THE CONJECTURE OF NOWICKI ON WEITZENBÖCK DERIVATIONS OF POLYNOMIAL ALGEBRAS

2009 ◽  
Vol 08 (01) ◽  
pp. 41-51 ◽  
Author(s):  
VESSELIN DRENSKY ◽  
LEONID MAKAR-LIMANOV
Keyword(s):  
Normal Form ◽  
Invariant Theory ◽  
Elementary Proof ◽  
Polynomial Algebra ◽  
Jordan Normal Form ◽  
Polynomial Algebras ◽  
Defining Relations ◽  
Locally Nilpotent Derivation ◽  
Nilpotent Derivation ◽  
Jordan Cells

The Weitzenböck theorem states that if Δ is a linear locally nilpotent derivation of the polynomial algebra K[Z] = K[z1,…,zm] over a field K of characteristic 0, then the algebra of constants of Δ is finitely generated. If m = 2n and the Jordan normal form of Δ consists of 2 × 2 Jordan cells only, we may assume that K[Z] = K[X,Y] and Δ(yi) = xi, Δ(xi) = 0, i = 1,…,n. Nowicki conjectured that the algebra of constants K[X,Y]Δ is generated by x1,…,xn and xiyj – xjyi, 1 ≤ i < j ≤ n. Recently this conjecture was confirmed in the Ph.D. thesis of Khoury with a very computational proof, and also by Derksen whose proof is based on classical results of invariant theory. In this paper we give an elementary proof of the conjecture of Nowicki which does not use any invariant theory. Then we find a very simple system of defining relations of the algebra K[X,Y]Δ which corresponds to the reduced Gröbner basis of the related ideal with respect to a suitable admissible order, and present an explicit basis of K[X,Y]Δ as a vector space.

Sign in / Sign up

Export Citation Format

Share Document