Weitzenböck derivations of nilpotency 3

Abstract

We consider a Weitzenböck derivation $Δ$ acting on a polynomial ring $R=K[ξ_1,ξ_2,...,ξ_m]$ over a field $K$ of characteristic 0. The $K$-algebra $R^Δ= \{h \in R \mid Δ(h) = 0\}$ is called the algebra of constants. Nowicki considered the case where the Jordan matrix for $Δ$ acting on $R_1$, the degree 1 component of $R$, has only Jordan blocks of size 2. He conjectured (\cite{N}) that a certain set generates $R^Δ$ in that case. Recently Koury (\cite{Kh}), Drensky and Makar-Limanov (\cite{DM}) and Kuroda (\cite{K}) have given proofs of Nowicki's conjecture. Here we consider the case where the Jordan matrix for $Δ$ acting on $R_{1}$ has only Jordan blocks of size at most 3. Here we use combinatorial methods to give a minimal set of generators $\mathcal G$ for the algebra of constants $R^Δ$. Moreover, we show how our proof yields an algorithm to express any $h \in R^Δ$ as a polynomial in the elements of $\mathcal G$. In particular, our solution shows how the classical techniques of polarization and restitution may be used to augment the techniques of SAGBI bases to construct generating sets for subalgebras.