Generalized Nowicki conjecture

DOI10.1090/PROC/15068MaRDI QIDQ3298143zbMATH OpenOpenAlexWikidataFDO

Authors Vesselin Drensky

Publication date 21 July 2020

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1903.01788

zbMATH Keywords

algebras of constantsNowicki conjectureGröbner baseselementary derivationspresentation of algebra

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Derivations and commutative rings (13N15) Commutative rings and modules of finite generation or presentation; number of generators (13E15)

Abstract: Let $B$ be an integral domain over a field $K$ of characteristic 0. The derivation $delta$ of $B[Y_d]=B[y_1,ldots,y_d]$ is elementary if $delta(B)=0$ and $delta(y_i)inB$, $i=1,ldots,d$. Then the elements $u_{ij}=delta(y_i)y_j-delta(y_j)y_i$, $1leqi<jleqd$, belong to the algebra $B[Y_d{]}^{delta}$ of constants of $delta$ and it is a natural question whether the $B$-algebra $B[Y_d{]}^{delta}$ is generated by all $u_{ij}$. In this paper we consider the special case of $B=K[X_d]=K[x_1,ldots,x_d]$. If $delta(y_i)=x_i$, $i=1,ldots,d$, this is the Nowicki conjecture from 1994 which was confirmed in several papers based on different methods. The case $delta(y_i)=x_i^{n_i}$, $n_i>0$, $i=1,ldots,d$, was handled by Khoury in the first proof of the Nowicki conjecture given by him in 2004. As a consequence of the proof of Kuroda in 2009 if $delta(y_i)=f_i(x_i)$, for any nonconstant polynomials $f_i(x_i)$, $i=1,ldots,d$, then $B[Y_d{]}^{delta}=K[X_d,Y_d{]}^{delta}$ is generated by $X_d$ and $U_d=u_{ij}=f_i(x_i)y_j-y_i{f}_j(x_j)mid1leqi<jleqd$. In the present paper we have found a presentation of the algebra [ K[X_d,Y_d]^{delta}=K[X_d,U_dmid R=S=0], ] [ R={r(i,j,k,l)mid 1leq i<j<k<lleq d}, S={s(i,j,k)mid 1leq i<j<kleq d}, ] and a basis of $K[X_d,Y_d{]}^{delta}$ as a vector space. As a corollary we have shown that the defining relations $RcupS$ form the reduced Gr"obner basis of the ideal which they generate with respect to a specific admissible order. This is an analogue of the result of Makar-Limanov and the author in their proof of the Nowicki conjecture in 2009.

Recommendations

• scientific article; zbMATH DE number 54802
• A generalized Kneser conjecture
• scientific article; zbMATH DE number 2174375
• scientific article; zbMATH DE number 1116683
• scientific article; zbMATH DE number 3878235
• A generalised Kummer's conjecture
• A generalization of Kneser's conjecture
• On a generalization of a conjecture of Grosswald
• Generalizations of a Theorem of Namioka
• Generalizations of Nagata’s theorem

Cites work

• scientific article; zbMATH DE number 2186946 (Why is no real title available?)
• scientific article; zbMATH DE number 638938 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• A Gröbner basis approach to solve a conjecture of Nowicki
• A simple proof of Nowicki's conjecture on the kernel of an elementary derivation
• A survey of counterexamples to Hilbert's fourteenth problem
• Polynomial derivations and their rings of constants
• THE CONJECTURE OF NOWICKI ON WEITZENBÖCK DERIVATIONS OF POLYNOMIAL ALGEBRAS
• The Nowicki conjecture for free metabelian Lie algebras
• The fourteenth problem of Hilbert for polynomial derivations

Cited in

(6)

• The Nowicki conjecture for free metabelian Lie algebras
• A note about the Nowicki conjecture on Weitzenböck derivations
• A simple proof of Nowicki's conjecture on the kernel of an elementary derivation
• Another proof of the Nowicki conjecture
• On the Nowicki conjecture for the free Lie algebra of rank 2
• On Nowicki's conjecture: a survey and a new result

This page was built for publication: Generalized Nowicki conjecture

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