Compact groups with a set of positive Haar measure satisfying a nilpotent law

Abstract

The following question is proposed by Martino, Tointon, Valiunas and Ventura in [4, question 1·20]: Let G be a compact group, and suppose that \[\mathcal{N}_k(G) = \{(x_1,\dots,x_{k+1}) \in G^{k+1} \;|\; [x_1,\dots, x_{k+1}] = 1\}\] has positive Haar measure in $G^{k+1}$ . Does G have an open k-step nilpotent subgroup? We give a positive answer for $k = 2$ .