Baumslag–Solitar Group

• Baumslag–Solitar groups are two-generator one-relator HNN-extensions defined by t a^m t⁻¹ = a^n, showcasing key features like amenability and non-Hopfian behavior.
• They possess rich subgroup and quotient structures with embedding criteria and residual properties tightly linked to the integer parameters m and n.
• Their algorithmic complexity is reflected in LOGSPACE-complete word and conjugacy problems, providing insights into geometric and combinatorial group phenomena.

The Baumslag–Solitar groups are a class of two-generator, one-relator groups introduced as fundamental examples in combinatorial and geometric group theory. Denoted $\mathrm{BS}(m,n)$ for nonzero integers $m$ and $n$, these groups are defined by the presentation

$$\mathrm{BS}(m,n) = \langle a, t \mid t\,a^m\,t^{-1} = a^n \rangle,$$

realizing them as HNN-extensions of the infinite cyclic group $\langle a \rangle$ mapping $a^m \mapsto a^n$. They serve as prototypical cases in the study of non-Hopfian groups, groups with exotic algorithmic, residual, and isoperimetric properties, and as building blocks for the broader class of generalized Baumslag–Solitar (GBS) groups.

1. Structural Foundations and Group Theoretic Presentation

A Baumslag–Solitar group $\mathrm{BS}(m,n)$ is characterized by the integer parameters $m$ and $n$, and their structure is determined by the underlying HNN-extension; that is, $\mathrm{BS}(m,n)$ is an amalgamation of the infinite cyclic group $m$0 along the index-$m$1 and index-$m$2 subgroups associated to $m$3 and $m$4, so that the stable letter $m$5 conjugates $m$6 to $m$7 (Kida, 2011, Weiß, 2016). Essential features arising from the values of $m$8 and $m$9 include:

• Amenability and solvability: $n$0 is amenable if and only if $n$1 or $n$2, with these cases reducing to virtually abelian groups. Specifically, $n$3 and $n$4 (Sokolov, 2024).
• Metabelian structure: For $n$5 or $n$6 (excluding $n$7), the group is metabelian; e.g., $n$8, with multiplicative automorphism $n$9 (Cornulier et al., 2010).
• Non-Hopfian property: For certain non-unit and non-equal $$\mathrm{BS}(m,n) = \langle a, t \mid t\,a^m\,t^{-1} = a^n \rangle,$$0, these groups provide canonical examples of finitely generated, non-Hopfian groups, i.e., admitting surjective but non-injective endomorphisms (Weiß, 2016, Levitt, 2013).
• Non-amenability: If $$\mathrm{BS}(m,n) = \langle a, t \mid t\,a^m\,t^{-1} = a^n \rangle,$$1, the group is non-amenable.

Generalized Baumslag–Solitar (GBS) groups are defined as fundamental groups of finite graphs of groups with all vertex and edge groups infinite cyclic, obtaining $$\mathrm{BS}(m,n) = \langle a, t \mid t\,a^m\,t^{-1} = a^n \rangle,$$2 as the one-vertex, one-loop case (Sokolov, 2024, Cohen et al., 2024, Weiß, 2016).

2. Subgroup Structure, Embeddings, and Quotients

The subgroup and quotient landscape of Baumslag–Solitar groups displays rich arithmetic and combinatorial structure, thoroughly elucidated in recent work (Levitt, 2013, Carderi et al., 2022).

• Embedding Criteria: $$\mathrm{BS}(m,n) = \langle a, t \mid t\,a^m\,t^{-1} = a^n \rangle,$$3 embeds in $$\mathrm{BS}(m,n) = \langle a, t \mid t\,a^m\,t^{-1} = a^n \rangle,$$4 if and only if (i) $$\mathrm{BS}(m,n) = \langle a, t \mid t\,a^m\,t^{-1} = a^n \rangle,$$5 is a rational power of $$\mathrm{BS}(m,n) = \langle a, t \mid t\,a^m\,t^{-1} = a^n \rangle,$$6, (ii) all prime divisors of $$\mathrm{BS}(m,n) = \langle a, t \mid t\,a^m\,t^{-1} = a^n \rangle,$$7 divide $$\mathrm{BS}(m,n) = \langle a, t \mid t\,a^m\,t^{-1} = a^n \rangle,$$8, subject to a refined divisibility constraint at the level of exponents in the prime decompositions, and (iii) the unimodular ($$\mathrm{BS}(m,n) = \langle a, t \mid t\,a^m\,t^{-1} = a^n \rangle,$$9) exponents condition (Levitt, 2013).
• Quotients and epi-equivalence: For fixed $\langle a \rangle$0, all non-elementary two-generated GBS-quotients of $\langle a \rangle$1 are classified according to the topology and label structure of reduced labelled graphs (segment, circle, or lollipop types). $\langle a \rangle$2 is non-Hopfian if $\langle a \rangle$3 differ in their set of prime divisors, resulting in infinitely many non-isomorphic quotients $\langle a \rangle$4 so that both $\langle a \rangle$5 and $\langle a \rangle$6 (Levitt, 2013).
• Subgroup Space Topology: The Chabauty topology on the space of subgroups $\langle a \rangle$7, for $\langle a \rangle$8, yields a perfect kernel $\langle a \rangle$9 comprising all infinite index subgroups (when $a^m \mapsto a^n$0), with conjugacy dynamics that naturally partition $a^m \mapsto a^n$1 according to an arithmetically defined "phenotype" invariant. On each phenotype stratum, the conjugation action is topologically transitive (Carderi et al., 2022).

Example Table: Subgroup Phenotype Partition for $a^m \mapsto a^n$2

Phenotype $a^m \mapsto a^n$3	Openness/Closedness	Conjugacy Dynamics
$a^m \mapsto a^n$4	Open (closed if $a^m \mapsto a^n$5)	Topologically transitive
$a^m \mapsto a^n$6	Closed (not open if $a^m \mapsto a^n$7)	Transitive action

In the Hopfian case ($a^m \mapsto a^n$8), phenotype strata are both open and closed; for $a^m \mapsto a^n$9, their closures accumulate on the $\mathrm{BS}(m,n)$0 piece.

3. Residual Properties, Cohomology, and Separability

Baumslag–Solitar and GBS groups are test cases for questions of residual finiteness, conjugacy separability, and cohomological "goodness" (Sokolov, 2024, Cohen et al., 2024).

• Residual Finiteness: For $\mathrm{BS}(m,n)$1, residual finiteness holds if and only if $\mathrm{BS}(m,n)$2 or $\mathrm{BS}(m,n)$3; in non-coprime, non-equal cases, Meskin showed non-residual finiteness (Cohen et al., 2024).
• Conjugacy Separability: The Sokolov theorems establish that for non-solvable GBS groups (including non-Hopfian $\mathrm{BS}(m,n)$4), conjugacy finite-separability is equivalent to residual finiteness. For solvable cases ($\mathrm{BS}(m,n)$5), one must further require the class of finite quotients detects all prime divisors (Sokolov, 2024).
• Cohomological Separability ("goodness"): The trichotomy for $\mathrm{BS}(m,n)$6 (Cohen et al., 2024):

1. $\mathrm{BS}(m,n)$7 or $\mathrm{BS}(m,n)$8: group is residually finite, $\mathrm{BS}(m,n)$9; group is cohomologically good.
2. $m$0 isocratic but not coprime, and $m$1: not cohomologically good.
3. Not isocratic: profinite completion acquires torsion, $m$2.

For GBS groups, separable cohomology occurs only if every cycle in the labeled graph satisfies matching augmentation products.

4. Representation Theory and Zariski Closure

The finite-dimensional irreducible complex representations of coprime $m$3 are classified via metacyclic group structure and Zariski closure techniques (McLaury, 2011):

• Existence and Structure: An irreducible $m$4-dimensional complex representation exists precisely for each divisor $m$5, primitive $m$6-th root of unity $m$7, and $m$8 solving $m$9, with an additional non-divisibility ("no smaller divisor") condition.
• Matrix Form: Representations are conjugate to the form

$n$0

where $n$1.

• Classification: The image of the representation lies in a metacyclic subgroup of $n$2, with normality and semisimplicity of the diagonal subgroup arising from Zariski considerations.

5. Algorithmic Complexity: Word and Conjugacy Problems

Algorithmic properties of $n$3 and GBS groups have been explicitly quantified (Weiß, 2016):

• Word Problem: For all GBS (and thus all Baumslag–Solitar) groups, the word problem is LOGSPACE-complete. The reduction constructs a colored Britton factorization and reduces to the free group word problem via uniform $n$4 circuits.
• Conjugacy Problem: Also solvable in LOGSPACE (for fixed GBS groups), via reduction to arithmetic in $n$5 and congruence systems; for the standard (non-uniform) version in $n$6 the reduction is $n$7-Turing-equivalent to the free group word problem. The uniform conjugacy problem (where the graph-of-groups structure is part of the input) is EXPSPACE-complete.
• Structural Insights: The tractable complexity follows from the Bass–Serre theoretic normal forms, combinatorics of edge-paths and cancellation, and explicit manipulation of arithmetic invariants within Britton's strategy.

6. Metric, Geometric, and Combinatorial Properties

Baumslag–Solitar groups exhibit distinctive isoperimetric, geometric, and additive-combinatorial behaviors, particularly in the metabelian cases (Cornulier et al., 2010, Singh et al., 2024).

• Dehn Functions: For solvable cases ($n$8, $n$9), the Dehn function is exponential. However, each $\mathrm{BS}(m,n)$0 embeds in an explicit finitely presented metabelian group with quadratic Dehn function $\mathrm{BS}(m,n)$1 (Cornulier et al., 2010).
• Asymptotic Cones: For $\mathrm{BS}(m,n)$2, the asymptotic cone is bilipschitz homeomorphic to a branched subset of a product of $\mathrm{BS}(m,n)$3-trees, matching the Diestel–Leader structure of geometrically similar solvable groups.
• Sumset Phenomena: Additive combinatorics in $\mathrm{BS}(m,n)$4 demonstrates sharp “small doubling” direct-inverse theorems. For $\mathrm{BS}(m,n)$5, $\mathrm{BS}(m,n)$6, with classification of extremal cases and a Freiman-type structure theorem when $\mathrm{BS}(m,n)$7 is almost minimal (Singh et al., 2024). These results generalize methods of Freiman–Herzog et al. for $\mathrm{BS}(m,n)$8, and plausible implications are that similar phenomena should extend to non-unimodular $\mathrm{BS}(m,n)$9.

7. Ergodic Theory, Measure Equivalence, and Orbit Invariants

Actions of non-amenable $m$00 display invariants rigid under weak orbit equivalence and possess strong measure equivalence rigidity (Kida, 2011):

• Orbit Equivalence Invariants: For ergodic, essentially free, probability measure-preserving actions, there is an associated $m$01-flow (arising from the modular homomorphism), which is invariant under weak orbit equivalence.
• ME-Rigidity: If $m$02 has an infinite amenable normal subgroup and non-elementary Gromov-hyperbolic quotient, it is not measure equivalent to $m$03 for $m$04. Thus, distinct Baumslag–Solitar groups with distinct moduli are ME-distinguished.
• Classification of Actions: For certain ergodic subactions, WOE-rigidity can force the pair $m$05 up to symmetries. However, there exist examples with WOE but non-conjugate actions not classified by the flow invariant.

---

References:

(Kida, 2011): Invariants of orbit equivalence relations and Baumslag-Solitar groups (McLaury, 2011): Irreducible Representations of Baumslag-Solitar Groups (Levitt, 2013): Quotients and subgroups of Baumslag-Solitar groups (Weiß, 2016): A Logspace Solution to the Word and Conjugacy problem of Generalized Baumslag-Solitar Groups (Carderi et al., 2022): On the space of subgroups of Baumslag-Solitar groups I: perfect kernel and phenotype (Singh et al., 2024): Direct and Inverse Problems in Baumslag-Solitar Group $m$06 (Sokolov, 2024): On the conjugacy separability of ordinary and generalized Baumslag-Solitar groups (Cohen et al., 2024): Cohomological Separability of Baumslag--Solitar groups and Their Generalisations (Cornulier et al., 2010): Metabelian groups with quadratic Dehn function and Baumslag-Solitar groups