The Nowicki conjecture for relatively free algebras

DOI10.1016/J.JALGEBRA.2020.01.017MaRDI QIDQ2304576zbMATH OpenOpenAlexWikidataFDO

Publication date 12 March 2020

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

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

algebras of constants free metabelian associative algebras Grassmann algebra Nowicki conjecture Weitzenbock derivations

Actions of groups on commutative rings; invariant theory (13A50) Derivations and commutative rings (13N15) (T)-ideals, identities, varieties of associative rings and algebras (16R10) Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15) Derivations, actions of Lie algebras (16W25)

Abstract: A linear locally nilpotent derivation of the polynomial algebra

K [X_{m}]

in

m

variables over a field

K

of characteristic 0 is called a Weitzenb"ock derivation. It is well known from the classical theorem of Weitzenb"ock that the algebra of constants

K [X_{m}]^{d e l t a}

of a Weitzenb"ock derivation

d e l t a

is finitely generated. Assume that

d e l t a

acts on the polynomial algebra

K [X_{2 d}]

in

2 d

variables as follows:

d e l t a (x_{2 i}) = x_{2 i - 1}

,

d e l t a (x_{2 i - 1}) = 0

,

i = 1, l d o t s, d

. The Nowicki conjecture states that the algebra

K [X_{2 d}]^{d e l t a}

is generated by

x_{1}, x_{3} . l d o t s, x_{2 d - 1}

, and

x_{2 i - 1} x_{2 j} - x_{2 i} x_{2 j - 1}

,

1 l e q i < j l e q d

. The conjecture was proved by several authors based on different techniques. We apply the same idea to two relatively free algebras of rank

2 d

. We give the infinite set of generators of the algebra of constants in the the free metabelian associative algebras

F_{2 d} (m a t h f r a k A)

, and finite set of generators in the free algebra

F_{2 d} (m a t h c a l G)

in the variety determined by the identities of the infinite dimensional Grassmann algebra.

Review text

Based on authors' abstract: A linear locally nilpotent derivation of the polynomial algebra \(K[X_m]\) of characteristic 0 is called a \textit{Weitzenböck derivation}. A classical theorem of \textit{R. Weitzenböck} [Acta Math. 58, 231--293 (1932; Zbl 0004.24301)] states that the algebra of constants \(K[X_m]^\delta\) of a Weitzenböck derivation \(\delta \) is finitely generated. Let \(\delta\) acts on the polynomial algebra \(K[X_{2d}]\) as: \(\delta (x_{2i}) = x_{2i-1}\), \(\delta(x_{2i-1}) = 0\), \(i = 1, \ldots , d\). The Nowicki conjecture states that the algebra \(K[X_{2d}]^\delta\) is generated by \(x_1, x_3, \ldots , x_{2d-1}\), and \(x_{2i-1}x_{2j} - x_{2i}x_{2j-1}\), \(1 \le i < j \le d\). The conjecture was proved by several authors based on different techniques. The authors apply the same idea to two relatively free algebras of rank \(2d\). They give an infinite set of generators of the algebra of constants in the free metabelian associative algebra \(F_{2d}(A)\), and a finite set of generators in the free algebra \(F_{2d}(G)\) in the variety determined by the identities of the infinite dimensional Grassmann algebra.

Recommendations

Cites work

Cited in

(14)

This page was built for publication: The Nowicki conjecture for relatively free algebras

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