The converse conjecture for simplicity and trivial centralizers of Shamsuddin derivations

About 8 years old · traced to

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,bi∈K[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.

References

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.