Abstract:We study singularity properties of word maps on semisimple algebraic groups and Lie algebras, generalizing the work of Aizenbud-Avni in the case of the commutator map. Given a word $w$ in a free Lie algebra $\mathcal{L}_{r}$, it induces a word map $\varphi_{w}:\mathfrak{g}^{r}\rightarrow\mathfrak{g}$ for every semisimple Lie algebra $\mathfrak{g}$. Given two words $w_{1}\in\mathcal{L}_{r_{1}}$ and $w_{2}\in\mathcal{L}_{r_{2}}$, we define and study the convolution of the corresponding word maps $\varphi_{w_{1}}*\varphi_{w_{2}}:=\varphi_{w_{1}}+\varphi_{w_{2}}:\mathfrak{g}^{r_{1}+r_{2}}\rightarrow\mathfrak{g}$. We show that for any word $w\in\mathcal{L}_{r}$ of degree $d$, and any simple Lie algebra $\mathfrak{g}$ with $\varphi_{w}(\mathfrak{g}^{r})\neq0$, one obtains a flat morphism with reduced fibers of rational singularities (abbreviated an (FRS) morphism) after taking $O(d^{4})$ self-convolutions of $\varphi_{w}$. We deduce that a group word map of length $\ell$ becomes (FRS) at $(e,\ldots,e)\in G^{r}$ after $O(\ell^{4})$ self-convolutions, for any semisimple algebraic group $G$. We furthermore bound the dimensions of the jet schemes of the fibers of Lie algebra word maps, and the fibers of group word maps in the case where $G=\mathrm{SL}_{n}$. For the commutator word $\nu=[X,Y]$, we show that $\varphi_{\nu}^{*4}$ is (FRS) for any semisimple Lie algebra, obtaining applications in representation growth of compact $p$-adic and arithmetic groups. The singularity properties we consider, such as the (FRS) property, are intimately connected to the point count of fibers over finite rings of the form $\mathbb{Z}/p^{k}\mathbb{Z}$. This allows us to relate them to properties of some natural families of random walks on finite and compact $p$-adic groups. We explore these connections, and provide applications to $p$-adic probabilistic Waring type problems.

Word Measures On Wreath Products I

Word Measures on Wreath Products II

Stable Invariants and Their Role in Word Measures on Groups

Word Measures on $GL_N(q)$ and Free Group Algebras

Measurable splittings and the measured group theoretic structure of wreath products

Generating functions for monomial characters of wreath products $\mathbb Z/d \mathbb Z \wr \mathfrak S_n$

Fourier and small ball estimates for word maps on unitary groups

On the Fourier coefficients of word maps on unitary groups

Derangements in wreath products of permutation groups

The complexity of knapsack problems in wreath products

A note on words having same image on finite groups

On the Springer correspondence for wreath products

On singularity properties of word maps and applications to probabilistic Waring type problems

Exponentially distorted subgroups in wreath products

Quantifying conjugacy separability in wreath products of groups

Invariants of Wreath Products and Subgroups of S 6

Transitivity in wreath products with symmetric groups

The Poisson boundary of wreath products

Ergodic measures for periodic type $\mathbb{Z}^m$-skew-products over Interval Exchange Transformations

The degree of commutativity of wreath products with infinite cyclic top group

Monomial identities in the Weyl algebra