Word Measures on Unitary Groups

TL;DR

This paper explores measures induced by free words on unitary groups, linking random matrix theory, free probability, and group theory to analyze traces and commutator lengths, revealing new algebraic and probabilistic connections.

Contribution

It establishes a quantitative relationship between expected traces of word-induced measures on unitary groups and the commutator length of words, providing new insights into their algebraic and probabilistic properties.

Findings

Expected trace $Tr_w(n)$ is $O(n^{1-2g})$ where $g$ is the commutator length.

The limit of $n^{2g-1} imes Tr_w(n)$ as $n o fty$ is an integer.

One can determine the stable commutator length of a word from its unitary measures.

Abstract

We combine concepts from random matrix theory and free probability together with ideas from the theory of commutator length in groups and maps from surfaces, and establish new connections between the two. More particularly, we study measures induced by free words on the unitary groups $U(n)$. Every word $w$ in the free group $F_r$ on $r$ generators determines a word map from $U(n)^r$ to $U(n)$, defined by substitutions. The $w$-measure on $U(n)$ is defined as the pushforward via this word map of the Haar measure on $U(n)^r$. Let $Tr_w(n)$ denote the expected trace of a random unitary matrix sampled from $U(n)$ according to the $w$-measure. It was shown by Voiculescu [Voic 91'] that for $w \ne 1$ this expected trace is $o(n)$ asymptotically in $n$. We relate the numbers $Tr_w(n)$ to the theory of commutator length of words and obtain a much stronger statement: $Tr_w(n)=O(n^{1-2g})$, where $g$ is the commutator length of $w$. Moreover, we analyze the number $\lim_{n\to\infty}n^{2g-1} \cdot Tr_w(n)$ and show it is an integer which, roughly, counts the number of (equivalence classes of) solutions to the equation $[u_1,v_1]...[u_g,v_g]=w$ with $u_i,v_i \in F_r$. Similar results are obtained for finite sets of words and their commutator length, and we deduce that one can 'hear' the stable commutator length of a word by 'listening' to its unitary measures.