2013/08/29 by Rumen Dangovski, Vesselin Drensky, Dangovski, Rumen +3
Mathematics · #13A50 #13N15 #16R10 #16S15 #16W20 #16W25 #Advanced Differential Equations and Dynamical Systems #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Commutative Algebra (math.AC) #FOS: Mathematics #Rings and Algebras (math.RA)
paper · pdf · doi:10.48550/arxiv.1308.6596
openalex publication_date 2013/08/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
By the classical theorem of Weitzenboeck the algebra of constants (i.e., the kernel) of a nonzero locally nilpotent linear derivation of the polynomial algebra K[X] in d variables over a field K of characteristic 0 is finitely generated. As a noncommutative generalization one considers the algebra of constants of a locally nilpotent linear derivation of a d-generated relatively free algebra F(V) in a variety V of unitary associative algebras over K. It is known that the algebra of constants of F(V) is finitely generated if and only if V satisfies a polynomial identity which does not hold for the algebra of 2 x 2 upper triangular matrices. Hence the free metabelian associative algebra F(M) is a crucial object to study. We show that the vector space of the constants in the commutator ideal F'(M) is a finitely generated module of the algebra of constants of the polynomial algebra K[U,V] in 2d variables, where the derivation acts on U and V in the same way as on X. For small d, we calculate the Hilbert series of the constants in F'(M) and find the generators of the related module. This gives also an (infinite) set of generators of the algebra of constants in F(M).