Abstract
A right-angled Artin group (RAAG) is a group given by a finite presentation in which the only relations are that some of the generators commute. Free groups and free abelian groups are the extreme examples of RAAGs. Their automorphism groups GL(n, Z) and Out(Fn) are complicated and fascinating groups which have been extensively studied. In these lectures I will explain how to use what we know about GL(n, Z) and Out(Fn) to study the structure of the (outer) automorphism group of a general RAAG. This will involve both inductive local-to-global methods and the construction of contractible spaces on which these automorphism groups act properly. For the automorphism group of a general RAAG the space we construct is a hybrid of the classical symmetric space on which GL(n, Z) acts and Outer space with its action of Out(Fn).
Introduction
In these lectures we will study the group of (outer) automorphism groups of a right-angled Artin group. Most of the material can be found in the papers [5, 7, 8, 6] which are all joint with Ruth Charney, some with additional authors. I will first go over some basic facts about right-angled Artin groups, then introduce inductive algebraic methods for studying these groups, then turn to more recent work on geometric methods. I will concentrate on describing and motivating the constructions but avoid proofs, however I will give explicit references to sources where the interested reader can find detailed proofs.
The Groups St Andrews conference was run seamlessly by Colin Campbell, Edmund Robertson, Max Neunhoeffer, Colva Roney-Dougal and Martyn Quick, and I would like to thank them all warmly for inviting me to give these lectures.
Lecture 1
Definition of a RAAG
A right-angled Artin group, or RAAG for short, is a finitely-presented group whose relators (if any) are all simple commutators of generators. The extreme examples of RAAGs are free groups (with no relators), and free abelian groups (with all possible commutators of generators as relators). A RAAG is often specified by drawing a graph Γ with one vertex for each generator and one edge between two vertices if the corresponding generators commute (see Figure 1). Note that Γ is a simplicial complex, i.e., it has no loops or multiple edges.