A finitely-presented group is a right-angled Artin group (RAAG) if the only relations between the generators are that some pairs of generators commute. The P.I. will study the subgroup structure and automorphism groups of RAAGs. The main goal of this project is to develop algorithms for analyzing RAAGs; these algorithms will generalize classical algorithms including Nielsen reduction, Stallings folding, column reduction, and Whitehead's algorithm. Goal applications include an algorithm for testing membership in automorphism group orbits in RAAGs, and restricted versions of the subgroup membership problem. A second goal is to define combinatorial and topological objects on which automorphism groups of RAAGs act, and to use these actions to better understand the automorphism groups. A third goal is to prove homological finiteness results about important subgroups of automorphism groups of RAAGs; this part of the project will focus on automorphism groups of free groups specifically.

A right-angled Artin group (RAAG) is a type of algebraic structure in which all equations are consequences of equations asserting that certain pairs of elements commute (equations of the form "x*y=y*x"). The P.I. will research the structure of general RAAGs, specifically the substructures of these objects, and their symmetries (automorphisms). RAAGs and their substructures and symmetries are important objects of study in geometric group theory; these groups include special cases that have been studied since the origins of group theory. Free abelian groups (for example the lattice of integer points in coordinate n-space) are examples of RAAGs; their automorphism groups are matrix groups, and many questions about their structure and symmetry can be answered using familiar matrix techniques such as row and column reduction. A class of groups called free groups are also examples of RAAGs. Nielsen reduction and Whitehead's algorithm are combinatorial algorithms from the 1920's and 1930's for analyzing certain aspects of free groups, and Stallings folding is a related graph-theoretical technique from the 1970's. The main goal of the project is to construct common generalizations of these classical free group algorithms and matrix techniques that would simultaneously apply to all RAAGs, or to prove that no such generalizations exist.

Agency
National Science Foundation (NSF)
Institute
Division of Mathematical Sciences (DMS)
Type
Standard Grant (Standard)
Application #
1206981
Program Officer
Joanna Kania-Bartoszynsk
Project Start
Project End
Budget Start
2012-08-01
Budget End
2016-07-31
Support Year
Fiscal Year
2012
Total Cost
$121,873
Indirect Cost
Name
University of Arkansas at Fayetteville
Department
Type
DUNS #
City
Fayetteville
State
AR
Country
United States
Zip Code
72702