The radical of the image of a triangular E-derivation

Let KK be the algebraically closed field of characteristic zero fixed in the paper, and let δ=Iϕ\delta=I-\phi be an E-derivation of K[x1,x2,x3]K[x_1,x_2,x_3], where, for i=1,2i=1,2, ϕ(xi)=λxi+xi+1\phi(x_i)=\lambda x_i+x_{i+1} and ϕ(x3)=λx3\phi(x_3)=\lambda x_3 for some λK\lambda\in K. Let r(M)={aK[x1,x2,x3]:amM for all sufficiently large m}\mathfrak{r}(M)=\{a\in K[x_1,x_2,x_3]:a^m\in M\text{ for all sufficiently large }m\} denote the radical of a Mathieu-Zhao space. Radical-image generation claim. The radical r(Imδ)\mathfrak{r}(\operatorname{Im}\delta) is the KK-vector space generated by the monomials

x1i1x2i2x3i3x_1^{i_1}x_2^{i_2}x_3^{i_3}

for all i3i1+1i_3\geq i_1+1 and i1,i2,i3Ni_1,i_2,i_3\in\mathbb{N}. The supplied excerpt presents this as a result in the paper, but gives no explicit resolution status beyond the statement itself.

Sources & referencesView supporting material

Primary source

Lintong Lv and Dan Yan, “The LFED Conjecture for some E-derivations”, arXiv:2010.10228 (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.