2025-11-19T09:19:13.798776

Fixed subgroups of generalised Baumslag-Solitar groups

Jones, Logan
We investigate fixed subgroups of automorphisms of generalised Baumslag-Solitar (GBS) groups. Our main results are for automorphisms leaving a Bass-Serre tree invariant, under the assumption that all edge stabilisers are strictly contained in the corresponding vertex stabilisers. We completely characterise which GBS groups admit such an automorphism with a fixed subgroup which is not finitely-generated. In doing so, we provide an infinite family of examples of non-finitely generated fixed subgroups in GBS groups. Dropping the above assumptions, we show that all finite order automorphisms of GBS groups have finitely generated fixed subgroups. Furthermore, we show that when the GBS graph is a tree, all automorphisms have finitely generated fixed subgroups.
academic

Fixierte Untergruppen verallgemeinerter Baumslag-Solitar-Gruppen

Grundinformationen

  • Papier-ID: 2510.12716
  • Titel: Fixed subgroups of generalised Baumslag-Solitar groups
  • Autoren: Oli Jones, Alan Logan
  • Klassifizierung: math.GR (Gruppentheorie)
  • Veröffentlichungsdatum: 14. Oktober 2024
  • Papierlink: https://arxiv.org/abs/2510.12716

Zusammenfassung

Diese Arbeit untersucht die fixierten Untergruppen von Automorphismen verallgemeinerter Baumslag-Solitar (GBS) Gruppen. Die Hauptergebnisse konzentrieren sich auf Automorphismen, die den Bass-Serre-Baum invariant lassen, unter der Annahme, dass alle Kantenstabilisatoren strikt in den entsprechenden Knotenstabilisatoren enthalten sind. Die Autoren charakterisieren vollständig, welche GBS-Gruppen Automorphismen mit nicht-endlich erzeugten fixierten Untergruppen zulassen, und geben unendliche Familien von Beispielen nicht-endlich erzeugter fixierter Untergruppen in GBS-Gruppen an. Unter Abschwächung der obigen Annahmen wird bewiesen, dass alle endlichen Automorphismen von GBS-Gruppen endlich erzeugte fixierte Untergruppen besitzen, und dass alle Automorphismen endlich erzeugte fixierte Untergruppen besitzen, wenn der GBS-Graph ein Baum ist.

Forschungshintergrund und Motivation

Bedeutung des Problems

Die Untersuchung fixierter Untergruppen ist ein Kernproblem der Gruppentheorie, insbesondere bezüglich der Endlichkeit und Beschränktheit ihres Rangs. Für einen Automorphismus φ einer Gruppe G spiegelt die Struktur und Eigenschaften der fixierten Untergruppe Fix(φ) = {g ∈ G | φ(g) = g} die geometrischen und algebraischen Merkmale des Automorphismus wider.

Historischer Hintergrund

  1. Scott-Vermutung: Ursprüngliche Untersuchung fixierter Untergruppen von Automorphismen freier Gruppen; Gersten bewies, dass fixierte Untergruppen von Automorphismen freier Gruppen immer endlichen Rang haben
  2. Bekannte Ergebnisse: Ähnliche Ergebnisse wurden in mehreren Gruppenklassen nachgewiesen, darunter Flächengruppen, hyperbolische Gruppen, relativ hyperbolische Gruppen und 3-Mannigfaltigkeitsgruppen
  3. Negativ gekrümmte Einstellung: In negativ gekrümmten Umgebungen verhalten sich fixierte Untergruppen typischerweise gut (endlich erzeugt und mit beschränktem Rang)

Forschungsmotivation

GBS-Gruppen als wichtige geometrische Gruppenklasse bieten reichhaltige Beispiele außerhalb der negativen Krümmung. Im Gegensatz zur negativ gekrümmten Einstellung entdeckt diese Arbeit eine große Anzahl von Beispielen fixierter Untergruppen mit unendlichem Rang in GBS-Gruppen. Der Forschungsschwerpunkt verlagert sich daher auf die Charakterisierung, welche GBS-Gruppen die guten Eigenschaften endlich erzeugter oder beschränkt erzeugter fixierter Untergruppen besitzen.

Kernbeiträge

  1. Vollständige Charakterisierungssatz: Für 1-freie nicht-elementare GBS-Systeme wird vollständig charakterisiert, wann alle baumerhaltenden Automorphismen endlich erzeugte fixierte Untergruppen besitzen
  2. Klassifizierungsergebnisse: Vollständige Klassifizierung für klassische Baumslag-Solitar-Gruppen BS(p,q)
  3. Konstruktion unendlicher Familien: Konstruktion unendlicher Familien von GBS-Gruppen mit nicht-endlich erzeugten fixierten Untergruppen
  4. Endliche Automorphismen: Beweis, dass alle endlichen Automorphismen von GBS-Gruppen endlich erzeugte fixierte Untergruppen besitzen
  5. Baumfall: Beweis, dass alle Automorphismen endlich erzeugte fixierte Untergruppen besitzen, wenn der GBS-Graph ein Baum ist

Methodische Erläuterung

Aufgabendefinition

Untersuchung der Endlichkeit der Erzeugung und Beschränktheit des Rangs der fixierten Untergruppe Fix(φ) eines Automorphismus φ einer GBS-Gruppe G. Besonderer Fokus auf:

  • Eingabe: GBS-System (G,T) und Automorphismus φ ∈ AutT(G)
  • Ausgabe: Erzeugungseigenschaften und Rangschranken von Fix(φ)
  • Beschränkungen: Schwerpunkt auf Automorphismen, die den Bass-Serre-Baum invariant lassen

Zentraler technischer Rahmen

1. GBS-Systeme und kompatible Wirkungen

  • GBS-Systeme: (G,T) bezeichnet die Wirkung einer endlich erzeugten Gruppe G auf einem Baum T, wobei alle Kanten- und Knotenstabilisatoren unendlich zyklisch sind
  • Kompatible Automorphismen: AutT(G) ist die maximale Untergruppe von Automorphismen, die den Baum T invariant lassen
  • Symbolische Definition: Für φ ∈ AutT(G) wird das Vorzeichen sgn(φ) definiert, um die Wirkung von φ auf Stabilisatoren zu charakterisieren

2. Klassifizierungsmethode

Fallweise Klassifizierung nach den Eigenschaften des Automorphismus:

Fall 1: φ fixiert keinen Punkt in T

  • Nutzung der Achseneigenschaften, Beweis, dass Fix(φ) in die Klein-Flaschchen-Gruppe Z ⋊ Z eingebettet ist
  • Ergebnis: rank(Fix(φ)) ≤ 2

Fall 2: sgn(φ) = -1

  • Beweis, dass Fix(φ) ≅ π₁(T^φ/Fix(φ)), d.h. eine freie Gruppe
  • Etablierung der Endlichkeit: |V(T^φ/Fix(φ))| ≤ 2|V(T/G)|
  • Ergebnis: rank(Fix(φ)) ≤ 2|E(T/G)|

Fall 3: sgn(φ) = 1

  • Komplexester Fall, nicht-endlich erzeugte fixierte Untergruppen möglich
  • Schlüsselwerkzeuge: Modulo-Homomorphismus ∆: G → Q* und Betti-Zahl β(G)

3. Schlüsselinvarianten

Betti-Zahl β(G): Die erste Betti-Zahl des Quotientengraphen T/G, β(G) = 1 - |V(T/G)| + |E(T/G)|

Modulo-Homomorphismus ∆(G): Für nicht-elementare GBS-Gruppen G wird ∆: G → Q* definiert; für g ∈ G und elliptisches Element x, falls gx^p g^(-1) = x^q, dann ∆(g) = p/q

Beweisstrategien der Hauptsätze

Beweis von Theorem B

Für ein 1-freies nicht-elementares GBS-System (G,T) ist Fix(φ) für alle φ ∈ AutT(G) endlich erzeugt genau dann, wenn:

  1. β(G) = 0, oder
  2. β(G) = 1 und ∆(G) = {1,-1} oder ∆(G) wird nicht von ganzen Zahlen erzeugt

Suffizienzbeweis:

  • Anwendung von Theorem 3.8 wenn β(G) = 0
  • Anwendung von Proposition 3.10 wenn β(G) = 1, unter Nutzung der Eigenschaften des Modulo-Homomorphismus

Notwendigkeitsbeweis:

  • Konstruktion von Gegenbeispielen: Lemma 3.16 und Lemma 3.17 liefern konkrete nicht-endlich erzeugte fixierte Untergruppen

Experimentelle Einrichtung

Theoretische Verifikation

Diese Arbeit ist eine rein theoretische Arbeit, die Ergebnisse durch strenge mathematische Beweise verifiziert:

  1. Konkrete Beispiele: Klassische Baumslag-Solitar-Gruppen BS(p,q) = ⟨x,t | x^p = tx^q t^(-1)⟩
  2. Klassifizierungsverifikation:
    • p = -q: rank(Fix(φ)) ≤ 3
    • p ∤ q: rank(Fix(φ)) endlich aber unbeschränkt
    • Andere Fälle: Existenz von Automorphismen mit unendlichem Rang der fixierten Untergruppe

Konstruktive Beweise

Explizite Konstruktion nicht-endlich erzeugter fixierter Untergruppen durch Twist-Automorphismen (twist automorphisms).

Experimentelle Ergebnisse

Hauptergebnisse

Theorem A (Corollary 3.20)

Für BS(p,q)-Gruppen mit |q| ≥ |p|, |p| ≠ 1:

  1. p = -q: Alle Automorphismen φ erfüllen rank(Fix(φ)) ≤ 3
  2. p ∤ q: Alle Automorphismen φ haben endlich erzeugte Fix(φ), aber der Rang ist unbeschränkt
  3. Andere Fälle: Es existiert ein Automorphismus φ mit rank(Fix(φ)) unendlich

Theorem C (Endlicher Ordnungsfall)

Alle endlichen Automorphismen von GBS-Gruppen besitzen endlich erzeugte fixierte Untergruppen.

Theorem E (Baumfall)

Für nicht-elementare GBS-Gruppen mit β(G) = 0 haben alle Automorphismen φ ∈ Aut(G) endlich erzeugte Fix(φ).

Technische Innovationen

1. Anwendung von BNS-Invarianten

In dem Beweis von Theorem E wird innovativ die Bieri-Neumann-Strebel-Invariante verwendet:

  • Nutzung von Lemma 4.2 zur Etablierung von BNS-Inklusionsbeziehungen unter Baum-Wirkungen
  • Umwandlung des Endlich-Erzeugungsproblems in ein BNS-Invarianten-Problem durch Theorem 4.1

2. Kompatible Wirkungstheorie

Entwicklung einer Theorie kompatible Wirkungen baumerhaltender Automorphismen:

  • Lemma 2.5 charakterisiert die Struktur von AutT(G)
  • Corollary 2.4 etabliert die eingeschränkte Wirkung Fix(φ) ↷ T^φ

Verwandte Arbeiten

Entwicklung der Theorie fixierter Untergruppen

  1. Freie Gruppen: Scott-Vermutung, Arbeiten von Gersten und Bestvina-Handel
  2. Hyperbolische Gruppen: Ergebnisse von Neumann
  3. Andere Gruppenklassen: Verwandte Ergebnisse in Flächengruppen, 3-Mannigfaltigkeitsgruppen, Artin-Gruppen usw.

Positionierung dieser Arbeit

  • Erweiterter Umfang: Erweiterung vom negativ gekrümmten Setting auf allgemeinere geometrische Gruppentheorie
  • Konstruktion von Gegenbeispielen: Bereitstellung zahlreicher Beispiele nicht-endlich erzeugter fixierter Untergruppen
  • Vollständige Charakterisierung: Bereitstellung einer vollständigen Klassifizierung unter spezifischen Bedingungen

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Das Verhalten fixierter Untergruppen in GBS-Gruppen ist komplexer als im negativ gekrümmten Fall
  2. Unter 1-freier Bedingung wird eine vollständige Charakterisierung gegeben
  3. Endliche Automorphismen und der Baumfall bewahren gute Eigenschaften

Einschränkungen

  1. 1-freie Annahme: Hauptergebnisse erfordern 1-freie Bedingung
  2. Baum-Erhaltungs-Beschränkung: Hauptsächlich auf AutT(G) statt auf alle Aut(G) konzentriert
  3. Offene Probleme: Frage F zur Charakterisierung im allgemeinen Fall bleibt ungelöst

Zukünftige Richtungen

  1. Vollständige Charakterisierung: Lösung von Frage F, Charakterisierung ohne Baum-Erhaltungs-Beschränkung
  2. Algorithmische Probleme: Untersuchung der Entscheidbarkeit der Endlich-Erzeugung fixierter Untergruppen
  3. Verallgemeinerung und Anwendung: Verallgemeinerung der Methoden auf andere geometrische Gruppenklassen

Tiefgreifende Bewertung

Stärken

  1. Theoretische Tiefe: Tiefgreifende theoretische Analyse fixierter Untergruppen in GBS-Gruppen
  2. Methodische Innovation: Geschickte Kombination von Bass-Serre-Theorie, BNS-Invarianten und anderen Werkzeugen
  3. Vollständige Ergebnisse: Vollständige Charakterisierung unter spezifischen Annahmen
  4. Konstruktivität: Bereitstellung zahlreicher konkreter Beispiele und Gegenbeispiele

Schwächen

  1. Annahme-Beschränkungen: Hauptergebnisse erfordern relativ starke technische Annahmen
  2. Allgemeinheit: Vollständige Charakterisierung für allgemeine GBS-Gruppen bleibt ungelöst
  3. Rechenkomplexität: Komplexität verwandter Entscheidungsprobleme wird nicht diskutiert

Einflussfähigkeit

  1. Theoretischer Beitrag: Neue Perspektive auf die Untersuchung fixierter Untergruppen in der geometrischen Gruppentheorie
  2. Methodischer Wert: Methoden kompatible Wirkungen und Modulo-Homomorphismen könnten auf andere Probleme anwendbar sein
  3. Problemorientierung: Aufwerfung wichtiger offener Probleme, Aufzeigung zukünftiger Forschungsrichtungen

Anwendungsszenarien

Die Ergebnisse dieser Arbeit sind anwendbar auf:

  1. Strukturuntersuchungen von GBS-Gruppen
  2. Analyse geometrischer Eigenschaften von Automorphismusgruppen
  3. Algorithmische und Komplexitätsstudien fixierter Untergruppen
  4. Allgemeinere Theorie von Graphen von Gruppen (graphs of groups)

Literaturverzeichnis

Die Arbeit zitiert wichtige Literatur des Feldes, einschließlich:

  • Klassische Literatur zur Bass-Serre-Theorie Ser80, Bas93
  • Bahnbrechende Arbeiten zur Untersuchung fixierter Untergruppen Ger87, BH92
  • Kernliteratur zur GBS-Gruppentheorie Lev07, GL07
  • Verwandte Theorie zu BNS-Invarianten BNS87, Str12