The converse conjecture for simplicity and trivial centralizers of Shamsuddin derivations

From papers

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

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],

be a Shamsuddin derivation. 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 converse conjecture. The derivation DD is simple if and only if

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

The source presents this as a further conjecture after noting results establishing the trivial-centralizer direction for simple Shamsuddin derivations. Its general status is not resolved in the supplied text.

Progress summary

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

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).

Solutions 0

No solutions have been posted yet.