Showing 1–8 of 8 results for author: Sale, A W

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

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

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