# Full-featured peak reduction in right-angled Artin groups

@article{Day2014FullfeaturedPR, title={Full-featured peak reduction in right-angled Artin groups}, author={Matthew B. Day}, journal={Algebraic \& Geometric Topology}, year={2014}, volume={14}, pages={1677-1743} }

We prove a new version of the classical peak reduction theorem for automorphisms of free groups in the setting of right-angled Artin groups. We use this peak reduction theorem to prove two important corollaries about the action of the automorphism group of a right-angled Artin group AA on the set of k ‐tuples of conjugacy classes from AA : orbit membership is decidable, and stabilizers are finitely presentable. Further, we explain procedures for checking orbit membership and building…

## Figures from this paper

## 14 Citations

Outer space for right-angled Artin groups I

- Mathematics
- 2012

For a general right-angled Artin group A_G we introduce an Outer space O_G; this is a contractible, finite-dimensional space with a proper action of the outer automorphism group Out(A_G). In the…

RAAG Package to Compute a Presentation for the Automorphism Groups of the Right-Angled Artin Groups

- Mathematics
- 2017

Let GΓ be a right-angled Artin group and Aut(GΓ) be an automorphism group of GΓ. We have constructed a package RAAG (Finite Presentations of Automorphism Groups of rightangled Artin groups Algorithm)…

Fixed subgroups and computation of auto-fixed closures in free-abelian times free groups

- Mathematics
- 2019

The classical result by Dyer--Scott about fixed subgroups of finite order automorphisms of $F_n$ being free factors of $F_n$ is no longer true in $Z^m\times F_n$. Within this more general context, we…

Algebraic and algorithmic aspects of Zm × Fn : fixed subgroups and quantification of inertia

- Mathematics
- 2020

This work is based on the family of groups Z^m x F_n, namely free-abelian times free groups, direct products of finitely many copies of Z and a finitely generated free group F_n. These are a special…

On endomorphisms of the direct product of two free groups

- Mathematics
- 2020

We describe the endomorphisms of the direct product of two free groups of finite rank and obtain conditions for which the subgroup of fixed points is finitely generated and we do the same for…

Extensions of free groups: algebraic, geometric, and algorithmic aspects

- Mathematics
- 2017

In this work we use geometric techniques in order to study certain natural extensions of free groups, and solve several algorithmic problems on them.
To this end, we consider the family of…

Algorithmic problems for free-abelian times free groups

- Mathematics
- 2013

We study direct products of free-abelian and free groups with special emphasis on algorithmic problems. After giving natural extensions of standard notions into that family, we find an explicit…

Outer space for untwisted automorphisms of right-angled Artin groups

- Mathematics
- 2017

Copyright and reuse: The Warwick Research Archive Portal (WRAP) makes this work by researchers of the University of Warwick available open access under the following conditions. Copyright © and all…

The automorphism groups of Artin groups of edge-separated CLTTF graphs

- Mathematics
- 2022

We provide an explicit presentation of the automorphism group of an edge-separated CLTTF Artin group.

Whitehead problems for words in Z m Fn

- Mathematics
- 2013

We solve the Whitehead problem for automorphisms, monomorphisms and endomorphisms in Z m Fn after giving an explicit description of each of these families of transformations. We generically call…

## References

SHOWING 1-10 OF 26 REFERENCES

Peak reduction and finite presentations for automorphism groups of right-angled Artin groups

- Mathematics
- 2009

We generalize the peak reduction algorithm (Whitehead’s theorem) for free groups to a theorem about a general right-angled Artin group AΓ. As an application, we find a finite presentation for the…

Outer space for right-angled Artin groups I

- Mathematics
- 2012

For a general right-angled Artin group A_G we introduce an Outer space O_G; this is a contractible, finite-dimensional space with a proper action of the outer automorphism group Out(A_G). In the…

Symplectic structures on right-angled Artin groups: Between the mapping class group and the symplectic group

- Mathematics
- 2009

We define a family of groups that include the mapping class group of a genus g surface with one boundary component and the integral symplectic group Sp(2g, Z). We then prove that these groups are…

An introduction to right-angled Artin groups

- Mathematics
- 2006

Recently, right-angled Artin groups have attracted much attention in geometric group theory. They have a rich structure of subgroups and nice algorithmic properties, and they give rise to cubical…

Some finitely presented subgroups of the automorphism group of a free group

- Mathematics
- 1975

The aim of this paper is to show that certain “natural” subgroups of the automorphism group ~2 of a finitely generated free group F have finite presentations. It follows from our results, as a…

Graph groups are biautomatic

- Mathematics
- 1994

Abstract Graph groups admit a (finite) presentation in which each relation is of the form xy = yx for generators x and y . While the two extreme cases of graph groups, free groups and free abelian…

Algorithms and Geometry for Graph Products of Groups

- Mathematics
- 1995

Recent work of Gromov, Epstein, Cannon, Thurston and many others has generated strong interest in the geometric and algorithmic structure of finitely generated infinite groups. (See [16],[17] and…

On Systems of Equations over Free Partially Commutative Groups

- Mathematics
- 2008

Using an analogue of Makanin-Razborov diagrams, the authors give an effective description of the solution set of systems of equations over a partially commutative group (right-angled Artin group) G.…

On Equivalent Sets of Elements in a Free Group

- Mathematics
- 1936

together with the 'simple automorphism' which replaces a, by its inverse. Relative to this kind of equivalence we have very little to add to a paper by J. Nielsen,2 in which he gives a mechanical…

Automorphisms of graph groups

- Mathematics
- 1989

Abstract Given a graph Γ = ( V , E ), the graph group on Γ is the group generated by the vertex set V with the defining relations being that two adjacent vertices commute. In the following, the…