TY - JOUR

T1 - Matrix group integrals, surfaces, and mapping class groups I

T2 - U(n)

AU - Magee, Michael

AU - Puder, Doron

N1 - Publisher Copyright:
© 2019, Springer-Verlag GmbH Germany, part of Springer Nature.

PY - 2019/11/1

Y1 - 2019/11/1

N2 - Since the 1970’s, physicists and mathematicians who study random matrices in the GUE or GOE models are aware of intriguing connections between integrals of such random matrices and enumeration of graphs on surfaces. We establish a new aspect of this theory: for random matrices sampled from the group U(n) of unitary matrices. More concretely, we study measures induced by free words on U(n). Let Fr be the free group on r generators. To sample a random element from U(n) according to the measure induced by w∈ Fr, one substitutes the r letters in w by r independent, Haar-random elements from U(n). The main theme of this paper is that every moment of this measure is determined by families of pairs (Σ , f) , where Σ is an orientable surface with boundary, and f is a map from Σ to the bouquet of r circles, which sends the boundary components of Σ to powers of w. A crucial role is then played by Euler characteristics of subgroups of the mapping class group of Σ. As corollaries, we obtain asymptotic bounds on the moments, we show that the measure on U(n) bears information about the number of solutions to the equation [u1, v1] ⋯ [ug, vg] = w in the free group, and deduce that one can “hear” the stable commutator length of a word through its unitary word measures.

AB - Since the 1970’s, physicists and mathematicians who study random matrices in the GUE or GOE models are aware of intriguing connections between integrals of such random matrices and enumeration of graphs on surfaces. We establish a new aspect of this theory: for random matrices sampled from the group U(n) of unitary matrices. More concretely, we study measures induced by free words on U(n). Let Fr be the free group on r generators. To sample a random element from U(n) according to the measure induced by w∈ Fr, one substitutes the r letters in w by r independent, Haar-random elements from U(n). The main theme of this paper is that every moment of this measure is determined by families of pairs (Σ , f) , where Σ is an orientable surface with boundary, and f is a map from Σ to the bouquet of r circles, which sends the boundary components of Σ to powers of w. A crucial role is then played by Euler characteristics of subgroups of the mapping class group of Σ. As corollaries, we obtain asymptotic bounds on the moments, we show that the measure on U(n) bears information about the number of solutions to the equation [u1, v1] ⋯ [ug, vg] = w in the free group, and deduce that one can “hear” the stable commutator length of a word through its unitary word measures.

UR - http://www.scopus.com/inward/record.url?scp=85066034725&partnerID=8YFLogxK

U2 - 10.1007/s00222-019-00891-4

DO - 10.1007/s00222-019-00891-4

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85066034725

SN - 0020-9910

VL - 218

SP - 341

EP - 411

JO - Inventiones Mathematicae

JF - Inventiones Mathematicae

IS - 2

ER -