Georgia Institute of Technology College of Sciences

When do commuting homeomorphisms of S^2 have a common fixed point? Christian Bonatti gave the first sufficient condition: Commuting diffeomorphisms sufficiently close to the identity in Diff^+(S^2) always admit a common fixed point. In this talk we present a result of Michael Handel that extends Bonatti's condition to a much larger class of commuting homeomorphisms. If time permits, we survey results for higher genus surfaces due to Michael Handel and Morris Hirsch, and connections to certain compact foliated 4-manifolds.

We study quantizations of SL_n-character varieties, which appears as moduli spaces for many geometric structures. Our main goal is to establish the existence of several quantum trace maps. In the classical limit, they reduce to the Fock-Goncharov trace maps, which are coordinate charts on moduli spaces of SL_n-local systems used in higher Teichmuller theory. In the quantized theory, the algebras are replaced with non-commutative deformations.

A source of richness in Teichmüller theory is that Teichmüller spaces have descriptions both in terms of group representations and in terms of hyperbolic structures and complex structures. A program in higher-rank Teichmüller theory is to understand to what extent there are analogous geometric interpretations of Hitchin components. In this talk, we will give a natural description of the SL(3,R) Hitchin component in terms of higher complex structures as first described by Fock and Thomas.

The finite index subgroups of a finitely presented group generate a topology on the group. We will discuss using examples how this relates to the organization of a group's finite quotients, and introduce the ideas of profinite rigidity and flexibility. 

The Torelli group of a surface is a natural yet mysterious subgroup of the mapping class group.  We will discuss a few recent results about finiteness properties of the Torelli group, as well as a result about the cohomological dimension of the Johnson filtration.  

The fundamental groups of knot complements have lots of finite quotients. We give a criterion for a hyperbolic knot in the three-sphere to be distinguished (up to isotopy and mirroring) from every other knot in the three-sphere by the set of finite quotients of its fundamental group, and we use this criterion as well as recent work of Baldwin-Sivek to show that there are infinitely many hyperbolic knots distinguished (up to isotopy and mirroring) by finite quotients.