Fixed subgroups of generalised Baumslag-Solitar groups

Basic Information

• Paper ID: 2510.12716
• Title: Fixed subgroups of generalised Baumslag-Solitar groups
• Authors: Oli Jones, Alan Logan
• Classification: math.GR (Group Theory)
• Publication Date: October 14, 2024
• Paper Link: https://arxiv.org/abs/2510.12716

Abstract

This paper investigates fixed subgroups of automorphisms of generalised Baumslag-Solitar (GBS) groups. The main results focus on automorphisms that preserve the Bass-Serre tree, under the assumption that all edge stabilisers are strictly contained in the corresponding vertex stabilisers. The authors completely characterise which GBS groups admit automorphisms with non-finitely-generated fixed subgroups, and provide infinite families of examples of GBS groups with non-finitely-generated fixed subgroups. Under relaxed assumptions, they prove that all finite-order GBS group automorphisms have finitely-generated fixed subgroups, and that when the GBS graph is a tree, all automorphisms have finitely-generated fixed subgroups.

Research Background and Motivation

Significance of the Problem

The study of fixed subgroups is a central problem in group theory, particularly concerning the finiteness and boundedness of their rank. For an automorphism φ of a group G, the structure and properties of the fixed subgroup Fix(φ) = {g ∈ G | φ(g) = g} reflect the geometric and algebraic characteristics of the automorphism.

Historical Context

1. Scott Conjecture: Originally studied fixed subgroups of automorphisms of free groups; Gersten proved that fixed subgroups of free group automorphisms always have finite rank
2. Existing Results: Similar results have been established for surface groups, hyperbolic groups, relatively hyperbolic groups, 3-manifold groups, and other group classes
3. Negative Curvature Setting: In negatively curved environments, fixed subgroups typically behave well (finitely generated with bounded rank)

Research Motivation

GBS groups, as an important class of geometric groups, provide rich examples beyond the negative curvature setting. Unlike the negative curvature context, this paper discovers abundant examples of infinite-rank fixed subgroups in GBS groups. Therefore, the research focus shifts to characterising which GBS groups possess the desirable property of having finitely-generated or boundedly-generated fixed subgroups.

Core Contributions

1. Complete Characterisation Theorem: For 1-free non-elementary GBS systems, completely characterises when all tree-preserving automorphisms have finitely-generated fixed subgroups
2. Classification Results: Provides a complete classification for classical Baumslag-Solitar groups BS(p,q)
3. Infinite Family Construction: Constructs infinite families of GBS groups with non-finitely-generated fixed subgroups
4. Finite-Order Automorphisms: Proves that all finite-order GBS group automorphisms have finitely-generated fixed subgroups
5. Tree Case: Proves that when the GBS graph is a tree, all automorphisms have finitely-generated fixed subgroups

Methodology Details

Task Definition

Study the finite generation and rank boundedness of fixed subgroups Fix(φ) of automorphisms φ of GBS groups G. Particular focus on:

• Input: GBS system (G,T) and automorphism φ ∈ AutT(G)
• Output: Generation properties and rank bounds of Fix(φ)
• Constraints: Emphasis on automorphisms preserving the Bass-Serre tree

Core Technical Framework

1. GBS Systems and Compatible Actions

• GBS System: (G,T) denotes the action of a finitely generated group G on a tree T, where all edge and vertex stabilisers are infinite cyclic groups
• Compatible Automorphisms: AutT(G) is the maximal subgroup of automorphisms preserving the tree T
• Sign Definition: For φ ∈ AutT(G), the sign sgn(φ) characterises the action of φ on stabilisers

2. Classification Method

Classification by properties of automorphisms:

Case 1: φ fixes no points in T

• Utilises properties of axes to prove Fix(φ) embeds in the Klein bottle group Z ⋊ Z
• Obtains rank(Fix(φ)) ≤ 2

Case 2: sgn(φ) = -1

• Proves Fix(φ) ≅ π₁(T^φ/Fix(φ)), which is a free group
• Establishes finiteness: |V(T^φ/Fix(φ))| ≤ 2|V(T/G)|
• Obtains rank(Fix(φ)) ≤ 2|E(T/G)|

Case 3: sgn(φ) = 1

• Most complex case, where non-finitely-generated fixed subgroups may appear
• Key tool: modular homomorphism ∆: G → Q* and Betti number β(G)

3. Key Invariants

Betti Number β(G): The first Betti number of the quotient graph T/G, defined as β(G) = 1 - |V(T/G)| + |E(T/G)|

Modular Homomorphism ∆(G): For non-elementary GBS groups G, define ∆: G → Q* such that for g ∈ G and elliptic element x, if gx^p g^(-1) = x^q, then ∆(g) = p/q

Proof Strategy for Main Theorems

Proof of Theorem B

For a 1-free non-elementary GBS system (G,T), Fix(φ) is finitely generated for all φ ∈ AutT(G) if and only if:

1. β(G) = 0, or
2. β(G) = 1 and ∆(G) = {1,-1} or ∆(G) is not generated by integers

Sufficiency Proof:

• When β(G) = 0, apply Theorem 3.8
• When β(G) = 1, apply Proposition 3.10, utilising properties of the modular homomorphism

Necessity Proof:

• Construct counterexamples: Lemma 3.16 and Lemma 3.17 provide explicit non-finitely-generated fixed subgroups

Experimental Setup

Theoretical Verification

This is a purely theoretical work, with results verified through rigorous mathematical proofs:

1. Concrete Examples: Classical Baumslag-Solitar groups BS(p,q) = ⟨x,t | x^p = tx^q t^(-1)⟩
2. Classification Verification:
   • When p = -q: rank(Fix(φ)) ≤ 3
   • When p ∤ q: rank(Fix(φ)) is finite but unbounded
   • Other cases: non-finitely-generated fixed subgroups exist

Constructive Proofs

Explicitly construct non-finitely-generated fixed subgroups through twist automorphisms.

Experimental Results

Main Results

Theorem A (Corollary 3.20)

For BS(p,q) groups with |q| ≥ |p|, |p| ≠ 1:

1. p = -q: All automorphisms φ satisfy rank(Fix(φ)) ≤ 3
2. p ∤ q: Fix(φ) is finitely generated for all automorphisms φ, but rank is unbounded
3. Other cases: There exist automorphisms φ such that rank(Fix(φ)) is infinite

Theorem C (Finite-Order Case)

All finite-order GBS group automorphisms have finitely-generated fixed subgroups.

Theorem E (Tree Case)

For non-elementary GBS groups with β(G) = 0, all automorphisms φ ∈ Aut(G) have finitely-generated Fix(φ).

Technical Innovations

1. Application of BNS Invariants

In the proof of Theorem E, innovatively employs Bieri-Neumann-Strebel invariants:

• Uses Lemma 4.2 to establish BNS inclusion relations under tree actions
• Transforms finite generation problems into BNS invariant problems via Theorem 4.1

2. Compatible Action Theory

Develops compatible action theory for tree-preserving automorphisms:

• Lemma 2.5 characterises the structure of AutT(G)
• Corollary 2.4 establishes the restricted action Fix(φ) ↷ T^φ

Related Work

Development of Fixed Subgroup Theory

1. Free Groups: Scott conjecture, work of Gersten and Bestvina-Handel
2. Hyperbolic Groups: Results of Neumann
3. Other Group Classes: Related results for surface groups, 3-manifold groups, Artin groups, etc.

Positioning of This Work

• Extended Scope: Extends from negative curvature settings to more general geometric group theory
• Counterexample Construction: Provides abundant examples of non-finitely-generated fixed subgroups
• Complete Characterisation: Gives complete classification under specific conditions

Conclusions and Discussion

Main Conclusions

1. Fixed subgroup behaviour in GBS groups is more complex than in the negative curvature case
2. Under 1-free conditions, a complete characterisation is provided
3. Good properties are preserved for finite-order automorphisms and the tree case

Limitations

1. 1-free Assumption: Main results require the 1-free condition
2. Tree-Preserving Restriction: Primarily addresses AutT(G) rather than all of Aut(G)
3. Open Problems: Question F concerning characterisation in the general case remains unresolved

Future Directions

1. Complete Characterisation: Resolve Question F to provide characterisation without tree-preserving restrictions
2. Algorithmic Problems: Study decidability of finite generation of fixed subgroups
3. Generalisation: Extend methods to other geometric group classes

In-Depth Evaluation

Strengths

1. Theoretical Depth: Provides deep theoretical analysis of fixed subgroups in GBS groups
2. Methodological Innovation: Cleverly combines Bass-Serre theory, BNS invariants, and other tools
3. Complete Results: Provides complete characterisation under specific assumptions
4. Constructive Nature: Furnishes numerous concrete examples and counterexamples

Weaknesses

1. Restrictive Assumptions: Main results require relatively strong technical assumptions
2. Generality: Complete characterisation for general GBS groups remains unresolved
3. Computational Complexity: Does not address complexity of related decision problems

Impact

1. Theoretical Contribution: Provides new perspective for fixed subgroup research in geometric group theory
2. Methodological Value: Compatible actions and modular homomorphism methods may apply to other problems
3. Problem-Oriented: Poses important open problems and indicates future research directions

Applicable Scenarios

Results in this paper apply to:

1. Structure research of GBS groups
2. Analysis of geometric properties of automorphism groups
3. Algorithmic and complexity studies of fixed subgroups
4. General graph of groups theory

References

The paper cites important literature in the field, including:

• Classical Bass-Serre theory references Ser80, Bas93
• Pioneering work on fixed subgroups Ger87, BH92
• Core GBS group theory literature Lev07, GL07
• Related BNS invariant theory BNS87, Str12