Showing 1–15 of 15 results for author: Sale, A

Conjugacy in a family of free-by-cyclic groups

Authors: Martin R. Bridson, Timothy R. Riley, Andrew W. Sale

Abstract: We analyse the geometry and complexity of the conjugacy problem in a family of free-by-cyclic groups $H_m=F_m\rtimes\mathbb{Z}$ where the defining free-group automorphism is positive and polynomially growing. We prove that the conjugator length function of $H_m$ is linear, and describe polynomial-time solutions to the conjugacy problem and conjugacy search problem in $H_m$. We analyse the geometry and complexity of the conjugacy problem in a family of free-by-cyclic groups $H_m=F_m\rtimes\mathbb{Z}$ where the defining free-group automorphism is positive and polynomially growing. We prove that the conjugator length function of $H_m$ is linear, and describe polynomial-time solutions to the conjugacy problem and conjugacy search problem in $H_m$. △ Less

Submitted 1 June, 2025; originally announced June 2025.

Comments: 36 pages, 4 figures

MSC Class: 20F65; 20F10

On virtual indicability and property (T) for outer automorphism groups of RAAGs

Authors: Andrew Sale

Abstract: We give a condition on the defining graph of a right-angled Artin group which implies its automorphism group is virtually indicable, that is, it has a finite-index subgroup that admits a homomorphism onto $\Z$. We use this as part of a criterion that determines precisely when the outer automorphism group of a right-angled Artin group defined on a graph with no separating intersection of links ha… ▽ More We give a condition on the defining graph of a right-angled Artin group which implies its automorphism group is virtually indicable, that is, it has a finite-index subgroup that admits a homomorphism onto $\Z$. We use this as part of a criterion that determines precisely when the outer automorphism group of a right-angled Artin group defined on a graph with no separating intersection of links has property (T). As a consequence we also obtain a similar criterion for graphs in which each equivalence class under the domination relation of Servatius generates an abelian group. △ Less

Submitted 6 November, 2020; originally announced November 2020.

Comments: 40 pages, 5 figures. Comments welcome

Calculating the virtual cohomological dimension of the automorphism group of a RAAG

Authors: Matthew B. Day, Andrew W. Sale, Richard D. Wade

Abstract: We describe an algorithm to find the virtual cohomological dimension of the automorphism group of a right-angled Artin group. The algorithm works in the relative setting; in particular it also applies to untwisted automorphism groups and basis-conjugating automorphism groups. The main new tool is the construction of free abelian subgroups of certain Fouxe-Rabinovitch groups of rank equal to their… ▽ More We describe an algorithm to find the virtual cohomological dimension of the automorphism group of a right-angled Artin group. The algorithm works in the relative setting; in particular it also applies to untwisted automorphism groups and basis-conjugating automorphism groups. The main new tool is the construction of free abelian subgroups of certain Fouxe-Rabinovitch groups of rank equal to their virtual cohomological dimension, generalizing a result of Meucci in the setting of free groups. △ Less

Submitted 7 September, 2020; v1 submitted 6 September, 2019; originally announced September 2019.

Comments: 15 pages, 2 figures. Revised background on RORGs, small changes elsewhere. Accepted to appear in Bulletin of the LMS

MSC Class: 20F65

Outer automorphism groups of graph products: subgroups and quotients

Authors: Andrew Sale, Tim Susse

Abstract: We show that the outer automorphism groups of graph products of finitely generated abelian groups satisfy the Tits alternative, are residually finite, their so-called Torelli subgroups are finitely generated, and they satisfy a dichotomy between being virtually nilpotent and containing a non-abelian free subgroup that is determined by a graphical condition on the underlying labelled graph. Graph… ▽ More We show that the outer automorphism groups of graph products of finitely generated abelian groups satisfy the Tits alternative, are residually finite, their so-called Torelli subgroups are finitely generated, and they satisfy a dichotomy between being virtually nilpotent and containing a non-abelian free subgroup that is determined by a graphical condition on the underlying labelled graph. Graph products of finitely generated abelian groups simultaneously generalize right-angled Artin groups (RAAGs) and right-angled Coxter groups (RACGs), providing a common framework for studying these groups. Our results extend a number of known results for the outer automorphism groups of RAAGs and/or RACGs by a variety of authors, including Caprace, Charney, Day, Ferov, Guirardel, Horbez, Minasyan, Vogtmann, Wade, and the current authors. △ Less

Submitted 12 February, 2019; v1 submitted 4 February, 2019; originally announced February 2019.

Comments: 39 pages. Added references

MSC Class: 20E07; 20E36; 20F28; 20F65

Journal ref: Pacific J. Math. 314 (2021) 161-208

Outer automorphism groups of right-angled Coxeter groups are either large or virtually abelian

Authors: Andrew Sale, Tim Susse

Abstract: We generalise the notion of a separating intersection of links (SIL) to give necessary and sufficient criteria on the defining graph $Γ$ of a right-angled Coxeter group $W_Γ$ so that its outer automorphism group is large: that is, it contains a finite index subgroup that admits the free group $F_2$ as a quotient. When $Out(W_Γ)$ is not large, we show it is virtually abelian. We also show that the… ▽ More We generalise the notion of a separating intersection of links (SIL) to give necessary and sufficient criteria on the defining graph $Γ$ of a right-angled Coxeter group $W_Γ$ so that its outer automorphism group is large: that is, it contains a finite index subgroup that admits the free group $F_2$ as a quotient. When $Out(W_Γ)$ is not large, we show it is virtually abelian. We also show that the same dichotomy holds for the outer automorphism groups of graph products of finite abelian groups. As a consequence, these groups have property (T) if and only if they are finite, or equivalently $Γ$ contains no SIL. △ Less

Submitted 23 June, 2017; originally announced June 2017.

Comments: 18 pages, 2 figures. Comments welcome

Vastness properties of automorphism groups of RAAGs

Authors: Vincent Guirardel, Andrew Sale

Abstract: Outer automorphism groups of RAAGs, denoted $Out(A_Γ)$, interpolate between $Out(F_n)$ and $GL_n(\mathbb{Z})$. We consider several vastness properties for which $Out(F_n)$ behaves very differently from $GL_n(\mathbb{Z})$: virtually mapping onto all finite groups, SQ-universality, virtually having an infinite dimensional space of homogeneous quasimorphisms, and not being boundedly generated. We g… ▽ More Outer automorphism groups of RAAGs, denoted $Out(A_Γ)$, interpolate between $Out(F_n)$ and $GL_n(\mathbb{Z})$. We consider several vastness properties for which $Out(F_n)$ behaves very differently from $GL_n(\mathbb{Z})$: virtually mapping onto all finite groups, SQ-universality, virtually having an infinite dimensional space of homogeneous quasimorphisms, and not being boundedly generated. We give a neccessary and sufficient condition in terms of the defining graph $Γ$ for each of these properties to hold. Notably, the condition for all four properties is the same, meaning $Out(A_Γ)$ will either satisfy all four, or none. In proving this result, we describe conditions on $Γ$ that imply $Out(A_Γ)$ is large. Techniques used in this work are then applied to the case of McCool groups, defined as subgroups of $Out(F_n)$ that preserve a given family of conjugacy classes. In particular we show that any McCool group that is not virtually abelian virtually maps onto all finite groups, is SQ-universal, is not boundedly generated, and has a finite index subgroup whose space of homogeneous quasimorphisms is infinite dimensional. △ Less

Submitted 28 August, 2017; v1 submitted 15 September, 2016; originally announced September 2016.

Comments: Some simplifications thanks to referee's suggestions. 37 pages, 4 figures

Metric Approximations of Wreath Products

Authors: Ben Hayes, Andrew Sale

Abstract: Given the large class of groups already known to be sofic, there is seemingly a shortfall in results concerning their permanence properties. We address this problem for wreath products, and in particular investigate the behaviour of more general metric approximations of groups under wreath products. Our main result is the following. Suppose that $H$ is a sofic group and $G$ is a countable, discr… ▽ More Given the large class of groups already known to be sofic, there is seemingly a shortfall in results concerning their permanence properties. We address this problem for wreath products, and in particular investigate the behaviour of more general metric approximations of groups under wreath products. Our main result is the following. Suppose that $H$ is a sofic group and $G$ is a countable, discrete group. If $G$ is sofic, hyperlinear, weakly sofic, or linear sofic, then $G\wr H$ is also sofic, hyperlinear, weakly sofic, or linear sofic respectively. In each case we construct relevant metric approximations, extending a general construction of metric approximations for $G\wr H$ that uses soficity of $H$. △ Less

Submitted 15 September, 2017; v1 submitted 8 August, 2016; originally announced August 2016.

Comments: 24 Pages. Article generalizes arxiv:1601.03286. Accepted for publication in the Annales de l'Institut Fourier

MSC Class: 20E26; 20F65; 43A07

The Wreath Product of Two Sofic Groups is Sofic

Authors: Ben Hayes, Andrew Sale

Abstract: Given sofic approximations for countable, discrete groups $G,H$, we construct a sofic approximation for their wreath product $G\wr H$. Given sofic approximations for countable, discrete groups $G,H$, we construct a sofic approximation for their wreath product $G\wr H$. △ Less

Submitted 13 January, 2016; originally announced January 2016.

Comments: 8 pages. Comments welcome

MSC Class: 20F65; 20E22

Permute and conjugate: the conjugacy problem in relatively hyperbolic groups

Authors: Yago Antolín, Andrew Sale

Abstract: Modelled on efficient algorithms for solving the conjugacy problem in hyperbolic groups, we define and study the permutation conjugacy length function. This function estimates the length of a short conjugator between words $u$ and $v$, up to taking cyclic permutations. This function might be bounded by a constant, even in the case when the standard conjugacy length function is unbounded. We give a… ▽ More Modelled on efficient algorithms for solving the conjugacy problem in hyperbolic groups, we define and study the permutation conjugacy length function. This function estimates the length of a short conjugator between words $u$ and $v$, up to taking cyclic permutations. This function might be bounded by a constant, even in the case when the standard conjugacy length function is unbounded. We give applications to the complexity of the conjugacy problem, estimating conjugacy growth rates, and languages. Our main result states that for a relatively hyperbolic group, the permutation conjugacy length function is bounded by the permutation conjugacy length function of the parabolic subgroups. △ Less

Submitted 15 May, 2015; originally announced May 2015.

Comments: 18 pages, 8 figures

MSC Class: 20F65; 20F10; 20F67

The Geometry of the Conjugacy Problem in Wreath Products and Free Solvable Groups

Authors: Andrew W. Sale

Abstract: We describe an effective version of the conjugacy problem and study it for wreath products and free solvable groups. The problem involves estimating the length of short conjugators between two elements of the group, a notion which leads to the definition of the conjugacy length function. We show that for free solvable groups the conjugacy length function is at most cubic. For wreath products the b… ▽ More We describe an effective version of the conjugacy problem and study it for wreath products and free solvable groups. The problem involves estimating the length of short conjugators between two elements of the group, a notion which leads to the definition of the conjugacy length function. We show that for free solvable groups the conjugacy length function is at most cubic. For wreath products the behaviour depends on the conjugacy length function of the two groups involved, as well as subgroup distortion within the quotient group. △ Less

Submitted 25 July, 2013; originally announced July 2013.

Comments: 24 pages, 4 figures. This was formed from the splitting of arXiv:1202.5343, titled "On the Magnus Embedding and the Conjugacy Length Function of Wreath Products and Free Solvable Groups," into two papers. The contents of this paper remain largely unchanged

MSC Class: 20F65; 20F16; 20F10

Palindromic width of wreath products, metabelian groups, and max-n solvable groups

Authors: T. R. Riley, A. W. Sale

Abstract: A group has finite palindromic width if there exists $n$ such that every element can be expressed as a product of $n$ or fewer palindromic words. We show that if $G$ has finite palindromic width with respect to some generating set, then so does $G \wr \mathbb{Z}^{r}$. We also give a new, self-contained, proof that finitely generated metabelian groups have finite palindromic width. Finally, we show… ▽ More A group has finite palindromic width if there exists $n$ such that every element can be expressed as a product of $n$ or fewer palindromic words. We show that if $G$ has finite palindromic width with respect to some generating set, then so does $G \wr \mathbb{Z}^{r}$. We also give a new, self-contained, proof that finitely generated metabelian groups have finite palindromic width. Finally, we show that solvable groups satisfying the maximal condition on normal subgroups (max-n) have finite palindromic width. △ Less

Submitted 12 September, 2014; v1 submitted 18 July, 2013; originally announced July 2013.

Comments: The example in Section 2.1 has been expanded. Otherwise only minor changes have been made. 15 pages. To appear in Groups Complexity Cryptology

MSC Class: 20F65; 20F16

Bounded Conjugators For Real Hyperbolic and Unipotent Elements in Semisimple Lie Groups

Authors: Andrew W. Sale

Abstract: Let $G$ be a real semisimple Lie group with trivial centre and no compact factors. Given a conjugate pair of either real hyperbolic elements or unipotent elements $a$ and $b$ in $G$ we find a conjugating element $g \in G$ such that $d_G(1,g) \leq L(d_G(1,u)+d_G(1,v))$, where $L$ is a positive constant which will depend on some property of $a$ and $b$. For the vast majority of such elements however… ▽ More Let $G$ be a real semisimple Lie group with trivial centre and no compact factors. Given a conjugate pair of either real hyperbolic elements or unipotent elements $a$ and $b$ in $G$ we find a conjugating element $g \in G$ such that $d_G(1,g) \leq L(d_G(1,u)+d_G(1,v))$, where $L$ is a positive constant which will depend on some property of $a$ and $b$. For the vast majority of such elements however, $L$ can be assumed to be a uniform constant. △ Less

Submitted 13 November, 2012; originally announced November 2012.

Comments: 44 pages; 11 figures; 2 tables; 1 appendix

MSC Class: 20F65; 20F10; 22E46; 53C35

Journal ref: Journal of Lie Theory 24 (2014), No. 1, 259--305

Conjugacy Length in Group Extensions

Authors: Andrew W. Sale

Abstract: Determining the length of short conjugators in a group can be considered as an effective version of the conjugacy problem. The conjugacy length function provides a measure for these lengths. We study the behaviour of conjugacy length functions under group extensions, introducing the twisted and restricted conjugacy length functions. We apply these results to show that certain abelian-by-cyclic gro… ▽ More Determining the length of short conjugators in a group can be considered as an effective version of the conjugacy problem. The conjugacy length function provides a measure for these lengths. We study the behaviour of conjugacy length functions under group extensions, introducing the twisted and restricted conjugacy length functions. We apply these results to show that certain abelian-by-cyclic groups have linear conjugacy length function and certain semidirect products $\Z^d \rtimes \Z^k$ have at most exponential (if $k >1$) or linear (if $k=1$) conjugacy length functions. △ Less

Submitted 1 October, 2013; v1 submitted 13 November, 2012; originally announced November 2012.

Comments: 22 pages; 3 figures. For v2: added a section discussing the distortion functions, fixed minor errors and typos. For v1: some results of this paper also appear in "Short Conjugators in Solvable Groups" arXiv:1112.2721, however the main theme of this paper is new

MSC Class: 20F65; 20F10; 20E22; 20F16; 05C50

Metric Behaviour of the Magnus Embedding

Authors: Andrew W. Sale

Abstract: The classic Magnus embedding is a very effective tool in the study of abelian extensions of a finitely generated group $G$, allowing us to see the extension as a subgroup of a wreath product of a free abelian group with $G$. In particular, the embedding has proved to be useful when studying free solvable groups. An equivalent geometric definition of the Magnus embedding is constructed and it is us… ▽ More The classic Magnus embedding is a very effective tool in the study of abelian extensions of a finitely generated group $G$, allowing us to see the extension as a subgroup of a wreath product of a free abelian group with $G$. In particular, the embedding has proved to be useful when studying free solvable groups. An equivalent geometric definition of the Magnus embedding is constructed and it is used to show that it is 2-bi-Lipschitz, with respect to an obvious choice of generating sets. This is then applied to obtain a non-zero lower bound on $L_p$ compression exponents in free solvable groups. △ Less

Submitted 17 February, 2014; v1 submitted 23 February, 2012; originally announced February 2012.

Comments: 9 pages. To appear in Geom. Dedicata. The final publication will be available at Springer via http://dx.doi.org/10.1007/s10711-014-9969-z

MSC Class: 20F16; 20F65

The geometry of the conjugacy problem in lamplighter groups

Authors: Andrew W. Sale

Abstract: In this note we investigate the conjugacy problem in lamplighter groups with particular interest in the role of their geometry. In particular we show that the conjugacy length function is linear. In this note we investigate the conjugacy problem in lamplighter groups with particular interest in the role of their geometry. In particular we show that the conjugacy length function is linear. △ Less

Submitted 13 January, 2016; v1 submitted 12 December, 2011; originally announced December 2011.

Comments: 13 pages, 6 figure. Updated to focus only on lamplighter groups and their generalisations. The other aspects of v1 have appeared in other papers of the author

MSC Class: 20F65; 20F16; 20F10