Sobre la Categoría Coarse Lusternik-Schnirelmann de Grupos

Información Básica

• ID del Artículo: 2510.10367
• Título: On the Coarse Lusternik-Schnirelmann Category of Groups
• Autor: Aditya De Saha
• Clasificación: math.GT math.AT math.GR math.MG
• Fecha de Publicación: 14 de octubre de 2025 (preimpresión arXiv)
• Enlace del Artículo: https://arxiv.org/abs/2510.10367

Resumen

Este artículo introduce un análogo coarse de la categoría clásica de Lusternik-Schnirelmann, denotada c-cat, definida en espacios métricos dentro de la categoría de homotopía coarse. Esto proporciona nuevas herramientas para estudiar propiedades topológicas a gran escala de grupos y espacios. El artículo establece que c-cat es un invariante de homotopía coarse y demuestra cotas inferiores p-cat(Γ) ≤ c-cat(Γ) para grupos geométricamente finitos Γ, donde p-cat es la categoría LS apropiada introducida por Ayala et al. en 1992. Simultáneamente, demuestra cotas superiores c-cat(Γ) ≤ asdim(Γ) para grupos de 1-extremo doblemente peinables que son semicontraíbles en el infinito.

Antecedentes de Investigación y Motivación

Contexto del Problema

1. Limitaciones de la categoría LS clásica: La categoría clásica de Lusternik-Schnirelmann es un invariante numérico importante en topología, pero carece de aplicación directa en geometría coarse e investigación a gran escala en teoría de grupos geométricos.
2. Necesidades de desarrollo en geometría coarse: Aunque existen invariantes importantes en geometría coarse como la dimensión asintótica, faltan más herramientas numéricas para caracterizar propiedades topológicas a gran escala de grupos y espacios.
3. Analogía en teoría de dimensiones: Gromov tradujo la definición de dimensión de cobertura de Lebesgue al lenguaje de geometría coarse para obtener la dimensión asintótica. Este artículo intenta realizar una traducción similar para la categoría LS.

Importancia de la Investigación

• Proporciona nuevas herramientas de invariantes numéricos para teoría de grupos geométricos
• Establece la relación entre la categoría LS coarse y la dimensión asintótica, análoga a cat(X) ≤ dim(X) en topología clásica
• Ofrece nuevas perspectivas analíticas para estudiar problemas difíciles como Out(Fₙ) y grupos de Helly

Limitaciones de Métodos Existentes

• La categoría LS clásica no puede aplicarse directamente a la geometría a gran escala de grupos infinitos
• Aunque la categoría LS apropiada (p-cat) es aplicable a espacios no compactos, no es invariante bajo equivalencia coarse
• Falta un puente que conecte propiedades geométricas en diferentes escalas

Contribuciones Principales

1. Introducción de la categoría LS coarse: Primera definición del concepto de categoría LS en la categoría de homotopía coarse para espacios métricos, denotada c-cat
2. Establecimiento de invariancia: Demuestra que c-cat es un invariante de homotopía coarse
3. Teoremas de comparación: Demuestra la relación de cota inferior p-cat(Γ) ≤ c-cat(Γ) para grupos geométricamente finitos
4. Resultados de cotas superiores: Demuestra la cota superior c-cat(Γ) ≤ asdim(Γ) para grupos de 1-extremo doblemente peinables semicontraíbles
5. Herramientas técnicas: Desarrolla múltiples técnicas en teoría de homotopía coarse, incluyendo caracterizaciones de conjuntos de categoría coarse

Explicación Detallada de Métodos

Definiciones de Conceptos Básicos

Aplicaciones Coarse

Para espacios métricos X e Y, una función f: X → Y se denomina:

• Controlada: si para todo r > 0 existe S > 0 tal que d(x,x') < r ⟹ d(f(x),f(x')) < S
• Propia: si para todo conjunto acotado B ⊂ Y, la preimagen f⁻¹(B) es acotada en X
• Coarse: si es tanto controlada como propia

Homotopía Coarse

Sea p: X → R₊ una aplicación coarse. Se define el cilindro p: $I_pX = \{(x,t) ∈ X × R₊ | t ≤ p(x)\}$

Una homotopía coarse es una aplicación coarse H: I_pX → Y. Dos aplicaciones coarse f,g: X → Y son coarse homotópicas si y solo si existe una homotopía coarse H tal que H∘i₀ = f y H∘i₁ = g.

Definición de la Categoría LS Coarse

Conjuntos de Categoría Coarse

Un subconjunto A ⊆ X de un espacio métrico X se denomina de categoría coarse si existe una aplicación coarse α: R₊ → X y j: A → R₊ tales que el siguiente diagrama conmuta en el sentido de homotopía coarse:

A ----→ X
|       
|       
↓       
R₊ ----→ 
   α

Categoría LS Coarse

La categoría LS coarse c-cat(X) de un espacio métrico X es el número mínimo k tal que existe una cobertura {Uᵢ}₀≤ᵢ≤k de X, donde cada Uᵢ es de categoría coarse.

Resultados Técnicos Clave

Teorema de Invariancia

Lemas 2.15-2.16: c-cat es un invariante de homotopía coarse. La demostración se basa en que la equivalencia de homotopía coarse preserva la propiedad de categoría coarse.

Teoría de Espacios Peinables

Para un espacio peínable (X,p), una aplicación peinadora C: X × N → X satisface:

1. C(x,0) = p = C(p,n)
2. Para todo conjunto acotado K ⊂ X existe N tal que para n ≥ N se tiene C(x,n) = x
3. C es una aplicación controlada

Proposición 4.7: Para espacios peinables, aplicaciones coarse continuas apropiadamente homotópicas son coarse homotópicas.

Teoremas Principales y Esquemas de Demostración

Teorema de Comparación (Teorema 3.4)

Teorema: Para un grupo geométricamente finito Γ, se tiene p-cat(Γ) ≤ c-cat(Γ).

Esquema de demostración:

1. Utiliza el Lema 3.1 para "mejorar" aplicaciones coarse a aplicaciones continuas propias
2. La cobertura universal de un grupo geométricamente finito es un complejo simplicial finito-dimensional uniformemente contraíble
3. Las coberturas de categoría coarse se transforman en coberturas de categoría propia

Teorema de Cota Superior (Teoremas 5.11-5.12)

Teorema Principal: Para un espacio métrico X doblemente peínable, propio, geodésico y semicontraíble en el infinito, se tiene c-cat(X) ≤ asdim(X).

Núcleo de la demostración:

1. Teoría de conjuntos dispersos: Define conjuntos dispersos y familias dispersas, demostrando que son de categoría coarse
2. Descomposición de dimensión asintótica: Utiliza la propiedad de cobertura de la dimensión asintótica para construir coberturas por familias dispersas
3. Lema técnico 5.6: Para puntos en conjuntos dispersos alejados del punto base, construye caminos que evitan bolas pequeñas conectando a rayos base

Lema clave 5.5: Para espacios coarse conexos por caminos doblemente peinables, los conjuntos dispersos son de categoría coarse.

Ejemplos Importantes y Aplicaciones

Ejemplos Fundamentales

1. c-cat(Rⁿ) = 1: Puede cubrirse con dos semiespacios, cada uno deformable coarse a un rayo
2. c-cat(T₂) = ∞: En el árbol binario infinito, diferentes rayos geodésicos no son coarse homotópicos
3. Espacios hiperbólicos: Las variedades riemannianas completas simplemente conexas de curvatura no positiva son coarse equivalentes a Rⁿ, por lo que c-cat = 1

Aplicaciones a Clases de Grupos

• Grupos geométricamente finitos: Incluyen grupos hiperbólicos, grupos aritméticos, etc.
• Grupos peinables: Incluyen grupos nilpotentes, solubles, grupos de clases de mapeo, etc.
• Grupos de 1-extremo semicontraíbles: Equivalentes a conexión coarse por caminos (Proposición 2.12)

Innovaciones Técnicas e Importancia Teórica

Innovaciones Técnicas

1. Concepto de categoría coarse: Primera traducción exitosa del concepto de categoría LS a geometría coarse
2. Método de familias dispersas: Uso innovador de familias de conjuntos dispersos para construir coberturas de categoría coarse
3. Aplicación de peinabilidad: Utilización profunda de propiedades de peinabilidad para resolver problemas de homotopía coarse

Importancia Teórica

1. Perfeccionamiento de teoría de dimensiones: Establece la relación análoga c-cat ≤ asdim
2. Jerarquía de invariantes: Proporciona un nuevo invariante intermedio entre la categoría LS apropiada y la dimensión asintótica
3. Herramienta para teoría de grupos geométricos: Ofrece nuevas perspectivas para estudiar propiedades a gran escala de grupos

Limitaciones y Direcciones Futuras

Limitaciones Actuales

1. Rango de aplicabilidad: Los resultados principales requieren que los grupos posean peinabilidad y semicontraibilidad
2. Complejidad computacional: El cálculo real de c-cat sigue siendo difícil
3. Valores exactos: Para la mayoría de grupos concretos, el valor exacto de c-cat es desconocido

Direcciones de Investigación Futura

1. Extensión de aplicabilidad: Investigar c-cat para grupos no peinables
2. Métodos computacionales: Desarrollar algoritmos efectivos para calcular c-cat
3. Exploración de aplicaciones: Aplicar c-cat al estudio de Out(Fₙ) y grupos de Helly
4. Generalización de dimensiones superiores: Considerar invariantes topológicos coarse de dimensiones superiores

Evaluación Profunda

Fortalezas

1. Innovación conceptual: Traducción exitosa de conceptos de topología clásica a geometría coarse con definiciones naturales y razonables
2. Profundidad técnica: Técnicas de demostración refinadas, particularmente en el tratamiento de conjuntos dispersos y aplicación de peinabilidad
3. Completitud teórica: Establece un marco teórico completo incluyendo invariancia, teoremas de comparación y cotas superiores
4. Intuición geométrica: Preserva la intuición geométrica de la categoría LS original, facilitando comprensión y aplicación

Insuficiencias

1. Restricción de condiciones: Los resultados principales requieren condiciones técnicas fuertes (doblemente peínable, semicontraíble, etc.)
2. Dificultad computacional: Carece de métodos efectivos para calcular c-cat en la práctica
3. Ejemplos limitados: Hay relativamente pocos ejemplos no triviales donde c-cat puede calcularse exactamente
4. Verificación de aplicaciones: Como herramienta nueva, su potencia en problemas concretos aún requiere verificación

Evaluación de Impacto

• Contribución teórica: Proporciona herramientas importantes nuevas para geometría coarse y teoría de grupos geométricos
• Inspiración investigadora: Puede inspirar más investigaciones sobre la coarsificación de conceptos de topología clásica
• Valor a largo plazo: Posee valor potencial de aplicación en investigación de problemas difíciles en teoría de grupos geométricos

Escenarios de Aplicabilidad

• Investigación de propiedades a gran escala de grupos en teoría de grupos geométricos
• Investigación preliminar sobre finitud de dimensión asintótica
• Exploración de nuevos invariantes en geometría coarse
• Investigación interdisciplinaria entre topología y geometría

Referencias

El artículo cita literatura fundamental en el campo, incluyendo:

• Trabajo pionero de Gromov sobre dimensión asintótica
• Investigación sistemática de Bell-Dranishnikov sobre dimensión asintótica
• Trabajo de Ayala et al. sobre categoría LS apropiada
• Teoría relacionada de peinabilidad y homotopía coarse

Este artículo realiza contribuciones importantes a la investigación interdisciplinaria entre geometría coarse y teoría de grupos geométricos. Aunque requiere técnicas de alto nivel, proporciona herramientas valiosas y direcciones de investigación nuevas para el campo.