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

Subgrupos fijos de grupos generalizados de Baumslag-Solitar

Información Básica

  • ID del Artículo: 2510.12716
  • Título: Subgrupos fijos de grupos generalizados de Baumslag-Solitar
  • Autores: Oli Jones, Alan Logan
  • Clasificación: math.GR (Teoría de Grupos)
  • Fecha de Publicación: 14 de octubre de 2024
  • Enlace del Artículo: https://arxiv.org/abs/2510.12716

Resumen

Este artículo estudia los subgrupos fijos de automorfismos de grupos generalizados de Baumslag-Solitar (GBS). Los resultados principales se centran en automorfismos que preservan el árbol de Bass-Serre bajo la hipótesis de que todos los estabilizadores de aristas están estrictamente contenidos en los correspondientes estabilizadores de vértices. Los autores caracterizan completamente qué grupos GBS admiten automorfismos de este tipo con subgrupos fijos no finitamente generados, y proporcionan familias infinitas de ejemplos de subgrupos fijos no finitamente generados en grupos GBS. Al relajar las hipótesis anteriores, se demuestra que todos los automorfismos de orden finito de grupos GBS poseen subgrupos fijos finitamente generados, y que cuando el grafo GBS es un árbol, todos los automorfismos poseen subgrupos fijos finitamente generados.

Contexto e Motivación de la Investigación

Importancia del Problema

El estudio de subgrupos fijos es un problema central en la teoría de grupos, particularmente respecto a la finitud y acotación de su rango. Para un automorfismo φ de un grupo G, el subgrupo fijo Fix(φ) = {g ∈ G | φ(g) = g} refleja características geométricas y algebraicas del automorfismo.

Antecedentes Históricos

  1. Conjetura de Scott: Inicialmente estudió subgrupos fijos de automorfismos de grupos libres; Gersten demostró que los subgrupos fijos de automorfismos de grupos libres siempre tienen rango finito
  2. Resultados Previos: Resultados similares se han establecido en grupos de superficies, grupos hiperbólicos, grupos relativamente hiperbólicos, grupos de 3-variedades, entre otros
  3. Contexto de Curvatura Negativa: En ambientes de curvatura negativa, los subgrupos fijos típicamente se comportan bien (finitamente generados y de rango acotado)

Motivación de la Investigación

Los grupos GBS, como clase importante de grupos geométricos, proporcionan ejemplos ricos más allá de la curvatura negativa. A diferencia del contexto de curvatura negativa, este artículo descubre la existencia de abundantes ejemplos de subgrupos fijos de rango infinito en grupos GBS, por lo que el enfoque de investigación se reorienta hacia la caracterización de qué grupos GBS poseen las propiedades deseables de subgrupos fijos finitamente generados o de generación acotada.

Contribuciones Principales

  1. Teorema de Caracterización Completa: Para sistemas GBS no elementales 1-libres, caracteriza completamente cuándo todos los automorfismos que preservan el árbol poseen subgrupos fijos finitamente generados
  2. Resultados de Clasificación: Proporciona una clasificación completa de los grupos clásicos de Baumslag-Solitar BS(p,q)
  3. Construcción de Familias Infinitas: Construye familias infinitas de grupos GBS con subgrupos fijos no finitamente generados
  4. Automorfismos de Orden Finito: Demuestra que todos los automorfismos de orden finito de grupos GBS poseen subgrupos fijos finitamente generados
  5. Caso de Árboles: Demuestra que cuando el grafo GBS es un árbol, todos los automorfismos poseen subgrupos fijos finitamente generados

Explicación Detallada de Métodos

Definición de la Tarea

Estudiar la generación finita y acotación del rango del subgrupo fijo Fix(φ) de un automorfismo φ de un grupo GBS G. Se enfatiza particularmente:

  • Entrada: Sistema GBS (G,T) y automorfismo φ ∈ AutT(G)
  • Salida: Propiedades de generación y cotas del rango de Fix(φ)
  • Restricciones: Énfasis en automorfismos que preservan el árbol de Bass-Serre

Marco Técnico Principal

1. Sistemas GBS y Acciones Compatibles

  • Sistemas GBS: (G,T) denota la acción de un grupo finitamente generado G en un árbol T, donde todos los estabilizadores de aristas y vértices son grupos cíclicos infinitos
  • Automorfismos Compatibles: AutT(G) es el subgrupo máximo de automorfismos que preservan el árbol T
  • Definiciones de Símbolos: Para φ ∈ AutT(G), se define el símbolo sgn(φ) que caracteriza la acción de φ en los estabilizadores

2. Método de Clasificación

Se realiza una discusión por casos según las propiedades del automorfismo:

Caso 1: φ no fija ningún punto en T

  • Utilizando propiedades del eje, se demuestra que Fix(φ) se incrusta en el grupo de la botella de Klein Z ⋊ Z
  • Se obtiene rank(Fix(φ)) ≤ 2

Caso 2: sgn(φ) = -1

  • Se demuestra que Fix(φ) ≅ π₁(T^φ/Fix(φ)), es decir, un grupo libre
  • Se establece finitud: |V(T^φ/Fix(φ))| ≤ 2|V(T/G)|
  • Se obtiene rank(Fix(φ)) ≤ 2|E(T/G)|

Caso 3: sgn(φ) = 1

  • El caso más complejo, donde pueden aparecer subgrupos fijos no finitamente generados
  • Herramientas clave: Homomorfismo modular ∆: G → Q* y número de Betti β(G)

3. Invariantes Clave

Número de Betti β(G): El primer número de Betti del grafo cociente T/G, β(G) = 1 - |V(T/G)| + |E(T/G)|

Homomorfismo Modular ∆(G): Para un grupo GBS no elemental G, se define ∆: G → Q*, tal que para g ∈ G y elemento elíptico x, si gx^p g^(-1) = x^q, entonces ∆(g) = p/q

Estrategia de Prueba del Teorema Principal

Prueba del Teorema B

Para un sistema GBS no elemental 1-libre (G,T), Fix(φ) es finitamente generado para todos los φ ∈ AutT(G) si y solo si:

  1. β(G) = 0, o
  2. β(G) = 1 y ∆(G) = {1,-1} o ∆(G) no es generado por enteros

Prueba de Suficiencia:

  • Cuando β(G) = 0 se aplica el Teorema 3.8
  • Cuando β(G) = 1 se aplica la Proposición 3.10, utilizando propiedades del homomorfismo modular

Prueba de Necesidad:

  • Se construyen contraejemplos: Los Lemas 3.16 y 3.17 proporcionan subgrupos fijos no finitamente generados explícitos

Configuración Experimental

Verificación Teórica

Este es un trabajo puramente teórico, verificando resultados mediante pruebas matemáticas rigurosas:

  1. Ejemplos Concretos: Grupos clásicos de Baumslag-Solitar BS(p,q) = ⟨x,t | x^p = tx^q t^(-1)⟩
  2. Verificación de Clasificación:
    • Cuando p = -q: rank(Fix(φ)) ≤ 3
    • Cuando p ∤ q: rank(Fix(φ)) es finito pero no acotado
    • Otros casos: Existen subgrupos fijos de rango infinito

Pruebas Constructivas

Se construyen explícitamente subgrupos fijos no finitamente generados mediante automorfismos de torsión (twist automorphisms).

Resultados Experimentales

Resultados Principales

Teorema A (Corolario 3.20)

Para grupos BS(p,q) con |q| ≥ |p|, |p| ≠ 1:

  1. p = -q: Todos los automorfismos φ satisfacen rank(Fix(φ)) ≤ 3
  2. p ∤ q: Para todos los automorfismos φ, Fix(φ) es finitamente generado, pero el rango es no acotado
  3. Otros casos: Existen automorfismos φ tales que rank(Fix(φ)) es infinito

Teorema C (Caso de Orden Finito)

Todos los automorfismos de orden finito de grupos GBS poseen subgrupos fijos finitamente generados.

Teorema E (Caso de Árbol)

Para grupos GBS no elementales con β(G) = 0, todos los automorfismos φ ∈ Aut(G) tienen Fix(φ) finitamente generado.

Innovaciones Técnicas

1. Aplicación de Invariantes BNS

En la prueba del Teorema E, se utiliza innovadoramente el invariante de Bieri-Neumann-Strebel:

  • Se utiliza el Lema 4.2 para establecer relaciones de inclusión BNS bajo acciones en árboles
  • Se transforma el problema de generación finita en un problema de invariantes BNS mediante el Teorema 4.1

2. Teoría de Acciones Compatibles

Se desarrolla la teoría de acciones compatibles de automorfismos que preservan árboles:

  • El Lema 2.5 caracteriza la estructura de AutT(G)
  • El Corolario 2.4 establece la acción restringida Fix(φ) ↷ T^φ

Trabajo Relacionado

Desarrollo de la Teoría de Subgrupos Fijos

  1. Grupos Libres: Conjetura de Scott, trabajos de Gersten y Bestvina-Handel
  2. Grupos Hiperbólicos: Resultados de Neumann
  3. Otras Clases de Grupos: Resultados relacionados en grupos de superficies, grupos de 3-variedades, grupos de Artin, entre otros

Posicionamiento de Este Artículo

  • Extensión de Alcance: Extiende desde el contexto de curvatura negativa a la teoría de grupos geométricos más general
  • Construcción de Contraejemplos: Proporciona abundantes ejemplos de subgrupos fijos no finitamente generados
  • Caracterización Completa: Ofrece clasificación completa bajo condiciones específicas

Conclusiones y Discusión

Conclusiones Principales

  1. El comportamiento de subgrupos fijos en grupos GBS es más complejo que en el contexto de curvatura negativa
  2. Bajo la condición 1-libre se proporciona una caracterización completa
  3. Los automorfismos de orden finito y el caso de árboles mantienen propiedades deseables

Limitaciones

  1. Hipótesis 1-libre: Los resultados principales requieren la condición 1-libre
  2. Restricción de Preservación de Árbol: Se enfatiza AutT(G) en lugar de Aut(G) completo
  3. Problemas Abiertos: La Pregunta F sobre caracterización en el caso general permanece sin resolver

Direcciones Futuras

  1. Caracterización Completa: Resolver la Pregunta F, proporcionando caracterización sin restricción de preservación de árbol
  2. Problemas Algorítmicos: Investigar la decidibilidad de la generación finita de subgrupos fijos
  3. Aplicaciones Generalizadas: Extender métodos a otras clases de grupos geométricos

Evaluación Profunda

Fortalezas

  1. Profundidad Teórica: Proporciona análisis teórico profundo de subgrupos fijos en grupos GBS
  2. Innovación Metodológica: Combina ingeniosamente teoría de Bass-Serre, invariantes BNS y otras herramientas
  3. Completitud de Resultados: Proporciona caracterización completa bajo hipótesis específicas
  4. Naturaleza Constructiva: Ofrece abundantes ejemplos concretos y contraejemplos

Insuficiencias

  1. Restricciones de Hipótesis: Los resultados principales requieren hipótesis técnicas relativamente fuertes
  2. Generalidad: La caracterización completa para grupos GBS generales permanece sin resolver
  3. Complejidad Computacional: No se discute la complejidad de problemas de decisión relacionados

Impacto

  1. Contribución Teórica: Proporciona nueva perspectiva para investigación de subgrupos fijos en teoría de grupos geométricos
  2. Valor Metodológico: Los métodos de acciones compatibles y homomorfismos modulares pueden aplicarse a otros problemas
  3. Orientación de Problemas: Plantea problemas abiertos importantes que señalan direcciones futuras de investigación

Escenarios de Aplicación

Los resultados de este artículo son aplicables a:

  1. Investigación de estructura de grupos GBS
  2. Análisis de propiedades geométricas de grupos de automorfismos
  3. Investigación algorítmica y de complejidad de subgrupos fijos
  4. Teoría de grafos de grupos más general

Referencias

El artículo cita literatura importante en este campo, incluyendo:

  • Literatura clásica de teoría de Bass-Serre Ser80, Bas93
  • Trabajos pioneros en investigación de subgrupos fijos Ger87, BH92
  • Literatura central en teoría de grupos GBS Lev07, GL07
  • Teoría relacionada con invariantes BNS BNS87, Str12