The word-image conjecture for the projective linear group

Let KK be an algebraically closed field of characteristic 00, let w(x1,,xm)w(x_1,\dots,x_m) be a nontrivial group word, and let PSL2(K)\operatorname{PSL}_2(K) denote the projective linear group. Word-image conjecture. The image of ww on PSL2(K)\operatorname{PSL}_2(K) is

PSL2(K).\operatorname{PSL}_2(K).

This conjecture asks whether every nontrivial word map is surjective on PSL2(K)\operatorname{PSL}_2(K). The image is known to contain all non-unipotent elements, while the question of whether the nontrivial unipotent class lies in the image remains open.

Sources & referencesView supporting material

Primary source

Alexei Kanel-Belov, Sergey Malev and Louis Rowen, “The images of Lie polynomials evaluated on matrices”, arXiv:1506.06792 (2015).

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.