Algorithmic And Geometric Topics Around Free Groups And Automorphisms

This volume presents the lecture notes from the authors’ three summer courses offered during the program “Automorphisms of Free Groups: Geometry, Topology, and Dynamics,” held at the Centre de Recerca Matemàtica (CRM) in Bellaterra, Spain. The first two chapters present the basic tools needed, from formal language theory (regular and context-free languages, automata, rewriting systems, transducers, etc) and emphasize their connections to group theory, mostly relating to free and virtually-free groups. The material covered is sufficient to present full proofs of many of the existing interesting characterizations of virtually-free groups. In turn, the last chapter comprehensively describes Bonahon’s construction of Thurston’s compactification of Teichmüller space in terms of geodesic currents on surfaces. It also includes several intriguing extensions of the notion of geodesic current to various other, more general settings.

This monograph presents an approachable proof of Mirzakhani’s curve counting theorem, both for simple and non-simple curves. Designed to welcome readers to the area, the presentation builds intuition with elementary examples before progressing to rigorous proofs. This approach illuminates new and established results alike, and produces versatile tools for studying the geometry of hyperbolic surfaces, Teichmüller theory, and mapping class groups. Beginning with the preliminaries of curves and arcs on surfaces, the authors go on to present the theory of geodesic currents in detail. Highlights include a treatment of cusped surfaces and surfaces with boundary, along with a comprehensive discussion of the action of the mapping class group on the space of geodesic currents. A user-friendly account of train tracks follows, providing the foundation for radallas, an immersed variation. From here, the authors apply these tools to great effect, offering simplified proofs of existing results and a new, more general proof of Mirzakhani’s curve counting theorem. Further applications include counting square-tiled surfaces and mapping class group orbits, and investigating random geometric structures. Mirzakhani’s Curve Counting and Geodesic Currents introduces readers to powerful counting techniques for the study of surfaces. Ideal for graduate students and researchers new to the area, the pedagogical approach, conversational style, and illuminating illustrations bring this exciting field to life. Exercises offer opportunities to engage with the material throughout. Basic familiarity with 2-dimensional topology and hyperbolic geometry, measured laminations, and the mapping class group is assumed.

This volume features seventeen extended conference abstracts corresponding to selected talks given by participants at the CRM research program “Automorphisms of Free Groups: Algorithms, Geometry and Dynamics”, which took place at the Centre de Recerca Matemàtica in Barcelona in fall 2012. Most of them are short articles giving preliminary presentations of new results not yet published in regular research journals. The articles are the result from a direct collaboration among active researchers in the area after working in a dynamic and productive atmosphere. The book is intended for established researchers in the area of Group Theory, as well as for PhD and postdoc students who wish to learn more about the latest advances in this active area of research.

This volume assembles several research papers in all areas of geometric and combinatorial group theory originated in the recent conferences in Dortmund and Ottawa in 2007. It contains high quality refereed articles developing new aspects of these modern and active fields in mathematics. It is also appropriate to advanced students interested in recent results at a research level.

Geometric group theory is the study of the interplay between groups and the spaces they act on, and has its roots in the works of Henri Poincaré, Felix Klein, J.H.C. Whitehead, and Max Dehn. Office Hours with a Geometric Group Theorist brings together leading experts who provide one-on-one instruction on key topics in this exciting and relatively new field of mathematics. It's like having office hours with your most trusted math professors. An essential primer for undergraduates making the leap to graduate work, the book begins with free groups—actions of free groups on trees, algorithmic questions about free groups, the ping-pong lemma, and automorphisms of free groups. It goes on to cover several large-scale geometric invariants of groups, including quasi-isometry groups, Dehn functions, Gromov hyperbolicity, and asymptotic dimension. It also delves into important examples of groups, such as Coxeter groups, Thompson's groups, right-angled Artin groups, lamplighter groups, mapping class groups, and braid groups. The tone is conversational throughout, and the instruction is driven by examples. Accessible to students who have taken a first course in abstract algebra, Office Hours with a Geometric Group Theorist also features numerous exercises and in-depth projects designed to engage readers and provide jumping-off points for research projects.

Geometric group theory is the study of the interplay between groups and the spaces they act on, and has its roots in the works of Henri Poincaré, Felix Klein, J.H.C. Whitehead, and Max Dehn. Office Hours with a Geometric Group Theorist brings together leading experts who provide one-on-one instruction on key topics in this exciting and relatively new field of mathematics. It's like having office hours with your most trusted math professors. An essential primer for undergraduates making the leap to graduate work, the book begins with free groups—actions of free groups on trees, algorithmic questions about free groups, the ping-pong lemma, and automorphisms of free groups. It goes on to cover several large-scale geometric invariants of groups, including quasi-isometry groups, Dehn functions, Gromov hyperbolicity, and asymptotic dimension. It also delves into important examples of groups, such as Coxeter groups, Thompson's groups, right-angled Artin groups, lamplighter groups, mapping class groups, and braid groups. The tone is conversational throughout, and the instruction is driven by examples. Accessible to students who have taken a first course in abstract algebra, Office Hours with a Geometric Group Theorist also features numerous exercises and in-depth projects designed to engage readers and provide jumping-off points for research projects.

This volume contains the proceedings of the AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science held at Mount Holyoke College (South Hadley, MA). The conference was devoted to computational aspects of geometric group theory, a relatively young area of research which has grown out of an influx of ideas from topology and computer science into combinatorial group theory. The book reflects recent progress in this interesting new field. Included are articles about insights from computer experiments, applications of formal language theory, decision problems, and complexity problems. There is also a survey of open questions in combinatorial group theory. The volume will interest group theorists, topologists, and experts in automata and language theory.

This book presents state-of-the-art research and survey articles that highlight work done within the Priority Program SPP 1489 “Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory”, which was established and generously supported by the German Research Foundation (DFG) from 2010 to 2016. The goal of the program was to substantially advance algorithmic and experimental methods in the aforementioned disciplines, to combine the different methods where necessary, and to apply them to central questions in theory and practice. Of particular concern was the further development of freely available open source computer algebra systems and their interaction in order to create powerful new computational tools that transcend the boundaries of the individual disciplines involved. The book covers a broad range of topics addressing the design and theoretical foundations, implementation and the successful application of algebraic algorithms in order to solve mathematical research problems. It offers a valuable resource for all researchers, from graduate students through established experts, who are interested in the computational aspects of algebra, geometry, and/or number theory.