The trivial-centralizer conjecture for simple Shamsuddin derivations

Let KK be a field of characteristic zero and let K[x]=K[x1,,xn]K[x]=K[x_1,\ldots,x_n]. A derivation of the form

D=x1+i=2n(aixi+bi)xi,ai,biK[x1],D=\partial_{x_1}+\sum_{i=2}^n(a_i x_i+b_i)\partial_{x_i},\qquad a_i,b_i\in K[x_1],

is called a Shamsuddin derivation. A derivation is simple if the only stable ideals of K[x]K[x] are 00 and K[x]K[x]. Define

Aut(K[x])D={ρAut(K[x])ρD=Dρ}.\operatorname{Aut}(K[x])_D=\{\rho\in\operatorname{Aut}(K[x])\mid \rho D=D\rho\}.

The trivial-centralizer conjecture. If DD is a simple Shamsuddin derivation of K[x]K[x], then

Aut(K[x])D={id}.\operatorname{Aut}(K[x])_D=\{id\}.

The source notes that the assertion is known for n=2n=2, while the general case considered there remains a conjecture.

Sources & referencesView supporting material

Primary source

Dan Yan, “On simple derivations and the group of polynomial automorphisms commuting with certain derivations”, arXiv:1808.07612 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.