\( \newcommand{\SL}{\operatorname{SL}} \newcommand{\Pin}{\operatorname{Pin}} \newcommand{\Vol}{\operatorname{Vol}} \newcommand{\Aut}{\operatorname{Aut}} \newcommand{\Out}{\operatorname{Out}} \newcommand{\CC}{\mathbb{C}} \newcommand{\HH}{\mathbb{H}} \newcommand{\ZZ}{\mathbb{Z}} \)

Groups and Geometry in the South East

LMS and WMI

1 June, 2018

GGSE "is a series of meetings, with the aim of bringing together the geometric group theorists in the South East of England. The meetings are sponsored by mathematicians from the Universities of Cambridge, London, Oxford, Warwick, and Southampton."

Limited funds are available to UK academics for housing and travel. Please see the GGSE webpage for further information.


Friday 1 June, 13:15, room B3.03

Michael Magee (Durham)

Integrals over unitary groups, maps on surfaces, and Euler characteristics

Abstract: This is joint work with Doron Puder (Tel Aviv University). For a positive integer \(r\), fix a word \(w\) in the free group on \(r\) generators. Let \(G\) be any group. The word \(w\) gives a `word map' from \(G^r\) to \(G\): we simply replace the generators in \(w\) by the corresponding elements of \(G\). We again call this map \(w\). The push forward of Haar measure under \(w\) is called the \(w\)-measure on \(G\). We are interested in the case \(G = U(n)\), the compact Lie group of \(n\)-dimensional unitary matrices. A motivating question is: to what extent do the \(w\)-measures on \(U(n)\) determine algebraic properties of the word \(w\)?

For example, we have proved that one can detect the 'stable commutator length' of \(w\) from the \(w\)-measures on \(U(n)\). Our main tool is a formula for the Fourier coefficients of \(w\)-measures; the coefficients are rational functions of the dimension \(n\), for reasons coming from representation theory.

We can now explain all the Laurent coefficients of these rational functions in terms of Euler characteristics of certain mapping class groups. I'll explain all this in my talk, which should be broadly accessible and of general interest. Time permitting, I'll also invite the audience to consider some remaining open questions.


Friday 1 June, 14:45, room B3.03

Karen Vogtmann (Warwick)

Sphere systems at the borders of outer space

Abstract: Outer space is a contractible space on which the group \(\operatorname{Out}(F_n)\) of outer automorphisms of a free gorup acts properly but not cocompactly. Bestvina and Feighn defined a larger contractible space, called the bordification of Outer space, on which the action is both proper and cocompact. In joint work with K.-U. Bux and P. Smillie we found an equivariant deformation retract of Outer space homeomorphic to the bordification. In this talk I will interpret the boundary of this retract in terms of sphere systems in a doubled handlebody.


Friday 1 June, 17:30, room B3.03

Gareth Wilkes (Oxford)

A pro-\(p\) curve complex and residual properties of the mapping class group

Abstract: To study the finite quotient groups of the mapping class group it is natural to consider the outer automorphism groups of finite quotients of a surface group. Rather than study these individually, a better approach is to package the finite quotients together into a 'profinite group' which contains all the information of the finite groups in a potentially more tractable form. A more readily manipulated object is the 'pro-\(p\) completion', where one only considers finite groups with orders a prime power.

In this talk, I will discuss the ways in which the pro-\(p\) completion of a surface group may 'split over a cyclic subgroup' in a certain sense, and the techniques by which such a classification is proved. This in turn allows the construction of a pro-\(p\) analogue of a curve complex, on which the outer automorphisms of the pro-\(p\) group act. From this action we may deduce a non-trivial residual property of the mapping class group.


Partly supported by LMS Scheme Three, by the Warwick-SNU International Partnership Fund, and by an EPSRC Warwick Platform Grant.