We prove that the power word problem for certain metabelian subgroups of $\mathsf{GL}(2,\mathbb{C})$ (including the solvable Baumslag-Solitar groups $\mathsf{BS}(1,q) = \langle a,t \mid t a t^{-1} = a^q \rangle$) belongs to the circuit complexity class $\mathsf{TC}^0$. In the power word problem, the input consists of group elements $g_1, \ldots, g_d$ and binary encoded integers $n_1, \ldots, n_d$ and it is asked whether $g_1^{n_1} \cdots g_d^{n_d} = 1$ holds. Moreover, we prove that the knapsack problem for $\mathsf{BS}(1,q)$ is $\mathsf{NP}$-complete. In the knapsack problem, the input consists of group elements $g_1, \ldots, g_d,h$ and it is asked whether the equation $g_1^{x_1} \cdots g_d^{x_d} = h$ has a solution in $\mathbb{N}^d$. For the more general case of a system of so-called exponent equations, where the exponent variables $x_i$ can occur multiple times, we show that solvability is undecidable for $\mathsf{BS}(1,q)$.
In this paper we classify Baumslag-Solitar groups up to commensurability. In order to prove our main result we give a solution to the isomorphism problem for a subclass of Generalised Baumslag-Solitar groups.
The arguments of Cannon, Floyd, Grayson and Thurston showing that solve geometry groups are not almost convex also show that solvable Baumslag-Solitar groups are not almost convex.
Any non-residually finite Baumslag-Solitar group has a non-residually finite image in the abstract commensuration of a nonabelian free group. This gives a new proof (avoiding Britton's Lemma) of the classification of residually finite Baumslag-Solitar groups.
We compute estimates for the word metric of Baumslag--Solitar groups in terms of the Britton's lemma normal form. As a corollary, we find lower bounds for the growth rate for the groups $BS(p,q)$, with $1<p\le q$.
We find the lower central series for residually nilpotent Baumslag-Solitar groups, and find the intersection of all terms of the lower central series. Also, we find non-abelian Bauslag-Solitar groups for which the lower central series has length 2. For some Baumslag-Solitar groups a connection is found between the intersection of all subgroups of finite index and the intersection of all terms of the lower central series.
We present an algorithm to convert a word of length $n$ in the standard generators of the solvable Baumslag-Solitar group $BS(1,p)$ into a geodesic word, which runs in linear time and $O(n\log n)$ space on a random access machine.
We give an exact formula for the number of normal subgroups of each finite index in the Baumslag-Solitar group BS(p,q) when p and q are coprime. Unlike the formula for all finite index subgroups, this one distinguishes different Baumslag-Solitar groups and is not multiplicative. This allows us to give an example of a finitely generated profinite group which is not virtually pronilpotent but whose zeta function has an Euler product.
The Baumslag-Solitar groups and their certain variations are a-T-menable. This is proved by embeding them into topological groups and studying representation theoretic properties of the latter. The paper is motivated by the questions of A. Valette.
We give a language of unique geodesic normal forms for the Baumslag-Solitar group BS(1,2) that is context-free and 1-counter. We discuss the classes of context-free, 1-counter and counter languages, and explain how they are inter-related.
We prove that for any natural n>1, the abstract commensurator group of the Baumslag - Solitar group BS(1,n) is isomorphic to the group of 2 by 2 upper triangular matrices A over rational numbers with A_{11}=1. We also prove that for any finitely generated group G with the unique root property the natural homomorphisms Aut(G)--> Comm(G)--> QI(G) are embeddings.
We prove that groups in a certain class of metabelian locally compact groups, have quadratic Dehn function. As an application, we embed the solvable Baumslag-Solitar groups into finitely presented metabelian groups with quadratic Dehn function. Also, we prove that Baumslag's finitely presented metabelian groups, in which the lamplighter groups embed, have quadratic Dehn function.
Similarly to the action of $Out(F_N)$ on Outer Space, the outer automorphism group of a Generalized Baumslag Solitar group acts on a deformation space endowed with the Lipschitz metric and the action of any fully irreducible automorphism with a train track representative is hyperbolic. Inspired by previous work by Algom-Kfir, we prove that the axis of such an automorphism is strongly contracting.
We investigate the solution sets to equations in the solvable Baumslag-Solitar groups $BS(1,k)$, $k\geq2$, and show that these sets are represented by EDT0L languages in some cases. In particular, we prove that the multiplication table of such a group forms an EDT0L language with respect to a specific natural normal form for group elements.
A group $G$ has the $R_{\infty}$--property if the number $R(φ)$ of twisted conjugacy classes is infinite for any automorphism $φ$ of $G$. For such a group $G$, the $R_{\infty}$--nilpotency index is the least integer $c$ such that $G/γ_{c+1}(G)$ still has the $R_\infty$--property. In this paper, we determine the $R_{\infty}$--nilpotency degree of all Baumslag--Solitar groups.
For a Baumslag-Solitar group $G$ we calculate the intersection $γ_w(G)$ of all terms of the lower central sequence of $G$.Using this we are able to show that $[γ_w(G),G]=γ_w(G)$ thus answering a question of Bardakov and Neschadim. Finally we show that the quotient groups $γ_c(G)/γ_{c+1}(G)$ of the lower central series of $G$ are finite.
We compute the Bieri-Neumann-Strebel invariants $Σ^1$ for the generalized solvable Baumslag-Solitar groups $Γ_n$ and their finite index subgroups. Using $Σ^1$, we show that certain finite index subgroups of $Γ_n$ cannot be isomorphic to $Γ_{k}$ for any $k$. In addition, we use the BNS-invariants to give a new proof of property $R_\infty$ for the groups $Γ_n$ and their finite index subgroups.
We define fully irreducible automorphisms of generalized Baumslag-Solitar groups in analogy with fully irreducible automorphisms of free groups. We first obtain a characterization of fully irreducible automorphisms analogous to a condition given by Kapovich. Next we discuss the existence of pseudo-periodic conjugacy classes based on the study of Nielsen paths in a train track representative. Finally we give an algorithm which finds out whether an automorphism with a train track representative is pseudo-atoroidal and fully irreducible.
In this paper we give necessary conditions on group presentations, with two generators and one relator, in order to be the group of a virtual knot diagram. Although those conditions are not enough, we use them to determine, completely, whether or not a Baumslag-Solitar group is the group of a $2$-bridge virtual knot. Moreover, we present a combinatorial proof of the fact that these groups are not $2$-bridge classical knot groups.
Our main result is that many triangles of Baumslag-Solitar groups collapse to finite groups, generalizing a famous example of Hirsch. A triangle of Baumslag-Solitar groups means a group with three generators, cyclically ordered, with each generator conjugating some power of the previous one to another power. There are six parameters, occurring in pairs, and we show that the triangle fails to be developable whenever one of the parameters divides its partner, except for a few special cases. Furthermore, under fairly general conditions, the group turns out to be finite and solvable of class<4. We…
In this paper we give asymptotics for the conjugacy growth of the soluble Baumslag-Solitar groups $BS(1,k)$, $k\geq 2$, with respect to the standard generating set, by providing a complete description of geodesic conjugacy representatives. We show that the conjugacy growth series for these groups are transcendental, and give formulas for the series. As a result of our computation we also establish that in each $BS(1,k)$ the conjugacy and standard growth rates are equal.
In analogy with the free factors of a free group we define special factors of Generalized Baumslag-Solitar (GBS) groups as non-cyclic subgroups which appear in splittings over infinite cyclic groups. We give an algorithm which, given a GBS group $G$ and an element $g \in G$, decides whether there exists a special factor $H < G$ such that $g \in H$. This algorithm is analogous to an algorithm by Whitehead for free groups. Furthermore we prove that given $g \in G$ there exists a unique minimal special factor containing $g$ and give an algorithm which finds it.
We study convergent sequences of Baumslag-Solitar groups in the space of marked groups. We prove that BS(m,n) --> F_2 for |m|,|n| --> \infty and BS(1,n) --> Z \wr Z for |n| --> \infty. For m fixed, |m|>1, we show that the sequence (BS(m,n))_n is not convergent and characterize many convergent subsequences. Moreover if X_m is the set of BS(m,n)'s for n relatively prime to m and |n|>1, then the map BS(m,n) \mapsto n extends continuously on the closure of X_m to a surjection onto invertible m-adic integers.
We study the HNN extension of $\mathbb{Z}^m$ given by the cubing endomorphism $g\mapsto g^3$, and prove that such groups have rational growth. To do so, we describe a method of computing the subgroup growth series of the horocyclic subgroup $\mathbb{Z}^m$ in this family of examples, prove that for all $m$ the group has rational growth. In the appendix, the subgroup growth series has been computed for all $m \leq 10$.
A generalized Baumslag-Solitar group is the fundamental group of a graph of groups all of whose vertex and edge groups are infinite cyclic. Levitt proves that any generalized Baumslag-Solitar group has property R-infinity, that is, any automorphism has an infinite number of twisted conjugacy classes. We show that any group quasi-isometric to a generalized Baumslag-Solitar group also has property R-infinity. This extends work of the authors proving that any group quasi-isometric to a solvable Baumslag-Solitar BS(1,n) group has property R-infinity, and relies on the classification of generalized…
To an ergodic, essentially free and measure-preserving action of a non-amenable Baumslag-Solitar group on a standard probability space, a flow is associated. The isomorphism class of the flow is shown to be an invariant of such actions of Baumslag-Solitar groups under weak orbit equivalence. Results on groups which are measure equivalent to Baumslag-Solitar groups are also provided.
We say a group $G$ has property $R_\infty$ if the number $R(φ)$ of twisted conjugacy classes is infinite for every automorphism $φ$ of $G$. For such groups, the $R_\infty$-nilpotency degree is the least integer $c$ such that $G/γ_{c+1}(G)$ has property $R_\infty$. In this work, we compute the $R_\infty$-nilpotency degree of all Generalized Solvable Baumslag-Solitar groups $Γ_n$. Moreover, we compute the lower central series of $Γ_n$, write the nilpotent quotients $Γ_{n,c}=Γ_n/γ_{c+1}(Γ_n)$ as semidirect products of finitely generated abelian groups and classify which integer invertible matrice…
This paper studies automatic structures for subsemigroups of Baumslag--Solitar semigroups (that is, semigroups presented by $\ < x,y \mid (yx^m, x^ny)\ >$, where $m$ and $n$ are natural numbers). A geometric argument (a rarity in the field of automatic semigroups) is used to show that if $m \gt n$, all of the finitely generated subsemigroups of this semigroup are [right-] automatic. If $m \lt n$, all of its finitely generated subsemigroups are left-automatic. If $m = n$, there exist finitely generated subsemigroups that are not automatic. An appendix discusses the implications of these results…
We construct an invariant deformation retract of a deformation space of G-trees. We show that this complex is finite dimensional in certain cases and provide an example that is not finite dimensional. Using this complex we compute the automorphism group of the classical non-solvable Baumslag-Solitar groups BS(p,q). The most interesting case is when p properly divides q. Collins and Levin computed a presentation for Aut(BS(p,q)) in this case using algebraic methods. Our computation uses Bass-Serre theory to derive these presentations. Additionally, we provide a geometric argument showing Out(BS…
For each Baumslag-Solitar group BS(m,n) (m,n nonzero integers), a totally disconnected, locally compact group, G_{m,n}, is constructed so that BS(m,n) is identified with a dense subgroup of G_{m,n}. The scale function on G_{m,n}, a structural invariant for the topological group, is seen to distinguish the parameters m and n to the extent that the set of scale values is {(lcm(m,n)/|m|)^ρ, (lcm(m,n)/|n|)^ρ | ρ\in N}. It is also shown that G_{m,n} has flat rank 1 when |m|\neq |n| and 0 otherwise, and that G_{m,n} has a compact, open subgroup isomorphic to the product {(Z_p,+) | p is a prime divis…
We prove that for any prime $p\geq 3$ the minimal exponential growth rate of the Baumslag-Solitar group $BS(1,p)$ and the lamplighter group $\mathcal{L}_p=(\mathbb{Z}/p\mathbb{Z})\wr \mathbb{Z}$ are equal. We also show that for $p=2$ this claim is not true and the growth rate of $BS(1,2)$ is equal to the positive root of $x^3-x^2-2$, whilst the one of the lamplighter group $\mathcal{L}_2$ is equal to the golden ratio $(1+\sqrt5)/2$. The latter value also serves to show that the lower bound of A.Mann from [Mann, Journal of Algebra 326, no. 1 (2011) 208--217] for the growth rates of non-semidire…
Generalized Baumslag-Solitar groups (GBS groups) are groups that act on trees with infinite cyclic edge and vertex stabilizers. Such an action is described by a labeled graph (essentially, the quotient graph of groups). This paper addresses the problem of determining whether two given labeled graphs define isomorphic groups; this is the isomorphism problem for GBS groups. There are two main results and some applications. First, we find necessary and sufficient conditions for a GBS group to be represented by only finitely many reduced labeled graphs. These conditions can be checked effectively …
We study qualitative properties of the group von Neumann algebra of a Baumslag-Solitar group. Namely, we prove that, in the non-amenable and {ICC} case, the associated ${\rm II}_1$ factor is prime, not solid, and does not have any Cartan subalgebra.
We study the structure of generalized Baumslag-Solitar groups from the point of view of their (usually non-unique) splittings as fundamental groups of graphs of infinite cyclic groups. We find and characterize certain decompositions of smallest complexity (`fully reduced' decompositions) and give a simplified proof of the existence of deformations. We also prove a finiteness theorem and solve the isomorphism problem for generalized Baumslag-Solitar groups with no non-trivial integral moduli.
Let $G$ be a generalized Baumslag-Solitar group and $\mathcal{C}$ be a class of groups containing at least one non-unit group and closed under taking subgroups, extensions, and Cartesian products of the form $\prod_{y \in Y}X_{y}$, where $X, Y \in \mathcal{C}$ and $X_{y}$ is an isomorphic copy of $X$ for every $y \in Y$. We give a criterion for $G$ to be residually a $\mathcal{C}$-group provided $\mathcal{C}$ consists only of periodic groups. We also prove that $G$ is residually a torsion-free $\mathcal{C}$-group if $\mathcal{C}$ contains at least one non-periodic group and is closed under tak…
We calculate the exact values of the Følner function $\mathrm{Føl}$ of the lamplighter group $\mathbb{Z}\wr\mathbb{Z}/2\mathbb{Z}$ for the standard generating set. More generally, for any finite group $D$ and $n\geq|D|$, we obtain the exact value of $\mathrm{Føl}(n)$ on the wreath product $\mathbb{Z}\wr D$, for a generating set induced by a generator on $\mathbb{Z}$ and the entire group being taken as generators for $D$. We also describe the Følner sets that give rise to it. Følner functions encode the isoperimetric properties of amenable groups and have previously been studied up to asymptoti…
In this note we characterise all finitely generated groups elementarily equivalent to a solvable Baumslag-Solitar group BS$(1,n)$. It turns out that a finitely generated group $G$ is elementarily equivalent to BS$(1,n)$ if and only if $G$ is isomorphic to BS$(1,n)$. Furthermore, we show that two Baumslag-Solitar groups are existentially (universally) equivalent if and only if they are elementarily equivalent if and only if they are isomorphic.
We classify the finite-dimensional irreducible linear representations of the Baumslag-Solitar groups BS(p,q) = < a, b | a b^p = b^q a > for relatively prime p and q. The general strategy of the argument is to consider the matrix group given by image of a representation and study its Zariski closure in GL(n, C).
We determine all generalized Baumslag-Solitar groups (finitely generated groups acting on a tree with all stabilizers infinite cyclic) which are quotients of a given Baumslag-Solitar group BS(m,n), and (when BS(m,n) is not Hopfian) which of them also admit BS(m,n) as a quotient. We determine for which values of r,s one may embed BS(r,s) into a given BS(m,n), and we characterize finitely generated groups which embed into some BS(n,n).
We consider random walks on non-amenable Baumslag-Solitar groups BS(p,q) and describe their Poisson-Furstenberg boundary. The latter is a probabilistic model for the long-time behaviour of the random walk. In our situation, we identify it in terms of the space of ends of the Bass-Serre tree and the real line using Kaimanovich's strip criterion.
