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.

Stable Invariants and Their Role in Word Measures on Groups

Word Measures On Wreath Products I

Word Measures on Wreath Products II

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

A note on words having same image on finite groups

Words and polynomial invariants of finite groups in non-commutative variables

Characters of solvable groups, Hilbert-Schmidt stability and dense periodic measures

The stable conjugation-invariant word norm is rational in free groups

Fourier and small ball estimates for word maps on unitary groups

On the Fourier coefficients of word maps on unitary groups

Invariant measures for -free systems revisited

Positive positive-definite functions and measures on locally compact abelian groups

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

Stability properties for subgroups generated by return words

A Systematic Study of Isomorphism Invariants of Finite Groups via the Weisfeiler-Leman Dimension

Monomial identities in the Weyl algebra

Automorphic word maps and the Amit–Ashurst conjecture

Varieties of groups and the problem on conciseness of words

On profinite groups admitting a word with only few values

Tame filling invariants for groups

Combinatorial invariants for certain classes of non-abelian groups