LEAPS MPS: Surface subgroups of outer automorphism group of the free group and dynamics on the boundary

University Of Toledo, Toledo OH

Investigators

Abstract

This award is funded in whole or in part under the American Rescue Plan Act of 2021 (Public Law 117-2). This project aims to achieve a better understanding of the geometry of surfaces, graphs, and groups via their interactions with each other. The geometry of a surface is similar to the topographical map of a region. In this setting, many practical problems, such as the optimal transport of goods, require an understanding of how the roads in the region are connected. Mathematically, a road corresponds to a curve on the surface and the list of all of the roads and their intersections corresponds to a graph. The project involves understanding surfaces (regions) through their curves (roads) by recording how one curve is connected to another (building a graph or a simplicial complex). Some of the questions that arise include: is it enough to study only the outskirts of the region (boundaries of simplicial complexes) and can one get to the boundary from downtown (by iterating a point under a group element)? In this approach, a combinatorial object such as a simplicial complex relates curves with each other, and an algebraic tool, a group moves them around the surface. This approach can resolve many of the problems related to surfaces. In this project, the investigator will include undergraduate and graduate students and will collaborate with faculty from other departments. Moreover, some visual aspects of the work will be integrated into the investigator’s outreach project which will involve middle school students from under-represented groups in the mathematical sciences. The simplest groups are the free groups and the surface groups (the fundamental groups of surfaces). For many decades, these types of subgroups have been used to understand the structure of larger groups. This project includes two research directions. The first focuses on understanding the subgroup structure of the outer automorphism group of the free group via dynamics on the boundaries of some simplicial complexes. To this end, techniques from the study of Kleinian groups and mapping class groups will be used; for example, the existence and construction of certain Cannon–Thurston maps are proposed. The second project involves the explicit construction of surface subgroups of the outer automorphism group of the free group which include certain type of automorphisms, called iwips, which are of dynamical importance. The novelty of investigator’s research is the introduction of the topology of a certain 3--manifold to understand the free group and its group of outer automorphisms. This approach aims at translating between dynamical and topological tools to resolve some of the long standing problems in geometric topology and geometric group theory such as Gromov’s “ hyperbolization” conjecture. The project also includes training of students and the establishment of a 6 week summer program in mathematics for middle school students drawn from underrepresented communities. This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.