Word maps, conjugacy classes, and a noncommutative Waring-type theorem

Abstract

Let w = w(x\,..., Xd) 1 be a nontrivial group word. We show that if G is a sufficiently large finite simple group, then every element g e G can be expressed as a product of three values of w in G. This improves many known results for powers, commutators, as well as a theorem on general words obtained in [19]. The proof relies on probabilistic ideas, algebraic geometry, and character theory. Our methods, which apply the 'zeta function' $g(s) = X^eirrG XO)~s> giye rise to various additional results of independent interest, including applications to conjectures of Ore and Thompson.