Strong Mesyan-type conjecture for multilinear polynomial images

Let KK be a field, let n2n\geq 2 be an integer, and let f(x1,,xm)f(x_1,\dots,x_m) be a multilinear polynomial. Say that ff satisfies (S1)(S1) when it is a central polynomial, so its image is contained in the scalar matrices KK. Write Im(f)Im(f) for the image of ff on Mn(K)M_n(K), and let sln(K)sl_n(K) denote the trace-zero matrices. Strong Mesyan-type conjecture. If ff does not satisfy (S1)(S1), then

Im(f)sln(K).Im(f)\supseteq sl_n(K).

The source states that this conjecture is stronger than Mesyan's conjecture and weaker than the Lvov-Kaplansky conjecture; no general resolution is given.

Sources & referencesView supporting material

Primary source

Ivan Gonzales Gargate and Thiago Castilho de Mello, “A new approach to the Lvov-Kaplansky conjecture through gradings”, arXiv:2210.05653 (2022).

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.