The finiteness conjecture for centralizers of simple derivations in two variables

Let KK be a field of characteristic zero and let K[x1,x2]K[x_1,x_2] be the polynomial algebra in two variables. A KK-derivation DD is simple if the only DD-stable ideals of K[x1,x2]K[x_1,x_2] are 00 and K[x1,x2]K[x_1,x_2]. Define

Aut(K[x1,x2])D={ρAut(K[x1,x2])ρD=Dρ}.\operatorname{Aut}(K[x_1,x_2])_D=\{\rho\in\operatorname{Aut}(K[x_1,x_2])\mid \rho D=D\rho\}.

The finiteness conjecture. If DD is a simple derivation of K[x1,x2]K[x_1,x_2], then

Aut(K[x1,x2])D\operatorname{Aut}(K[x_1,x_2])_D

is finite.

The conjecture was proposed by the authors cited in the source. Its status is not resolved in the supplied text.

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.