Uniform twisted homological stability

Resumen Técnico: Estabilidad Homológica Retorcida Uniforme

Planteamiento del Problema
El artículo aborda el problema de la estabilidad homológica para familias de grupos discretos (como los grupos de la clase de mapeo, los grupos de automorfismos de grupos libres y los grupos de trenzas) con coeficientes en secuencias de representaciones algebraicas irreducibles de grupos aritméticos. Si bien la estabilidad homológica para estos grupos con coeficientes constantes o polinómicos está bien establecida, el "rango estable" (el grado $d$ hasta el cual se cumple la estabilidad) depende típicamente del grado de polinomicidad del sistema de coeficientes. Específicamente, para un sistema de coeficientes de grado polinómico $r$, el rango estable suele ser de la forma $d < A \cdot n - B \cdot r$. En consecuencia, si el grado de la representación crece con $n$, el rango estable puede desaparecer por completo.

Los autores pretenden demostrar un teorema de estabilidad "uniforme" donde el rango estable dependa del índice del grupo $n$, pero sea independiente del grado de la polinomicidad del sistema de coeficientes, siempre que los coeficientes sean representaciones algebraicas irreducibles específicas.

Metodología
El artículo desarrolla un marco general para propagar la estabilidad homológica de una familia de grupos aritméticos $\{Q_n\}$ a una familia de grupos discretos $\{\Gamma_n\}$ que mapean hacia ellos.

1. Teorema de Propagación General (Sección 2): Los autores formulan el Teorema 2.2, el cual establece las condiciones bajo las cuales la estabilidad para $\{Q_n\}$ implica la estabilidad para $\{\Gamma_n\}$. El teorema se basa en tres axiomas:

   • Axioma (I): Una condición de conectividad sobre los "complejos de desestabilización" (o complejos de división) asociados a las familias $\{\Gamma_n\}$ y $\{Q_n\}$. Esto involucra los indecomposables derivados de las álgebras $E_2$ asociadas.
   • Axioma (II): Una condición de estabilidad para el sistema de coeficientes $V$ sobre los grupos aritméticos $\{Q_n\}$, específicamente respecto al desvanecimiento de la homología relativa $H_*(Q_n, Q_{n-1}; \Sigma^a V)$.
   • El Mecanismo de Propagación: Utilizando el lenguaje de grupoides monoidales trenzados y álgebras $E_2$ (siguiendo el trabajo de Randal-Williams y Wahl), los autores construyen una sucesión espectral que relaciona la homología de $\Gamma_n$ con la de $Q_n$ y los núcleos de los mapas $\Gamma_n \to Q_n$.

2. Verificación de Axiomas para Casos Específicos (Sección 4):

   • Axioma (I): Los autores verifican la alta conectividad de los complejos de desestabilización relevantes. Para los grupos de la clase de mapeo y los automorfismos de grupos libres, se apoyan en resultados existentes (por ejemplo, de Hatcher, Wahl y otros). Para los grupos de trenzas (Teorema 1.4), demuestran nuevos resultados de alta conectividad para los complejos asociados a la imagen de la representación de Burau integral en grupos simplécticos pares e impares (Sección 3).
   • Axioma (II): Esto requiere analizar el comportamiento de las representaciones irreducibles bajo el operador de desplazamiento $\Sigma$ (restricción a lo largo de $Q_{n-1} \to Q_n$). Los autores utilizan complejos de Littlewood (Sam–Snowden–Weyman) para descomponer las representaciones desplazadas en extensiones iteradas de otras representaciones irreducibles. Esto permite reducir la estabilidad de los coeficientes desplazados a la estabilidad de los coeficientes base, aprovechando los resultados conocidos sobre la cohomología estable de grupos aritméticos (el trabajo de Borel).

3. Complejos de Desestabilización para la Representación de Burau (Sección 3): Una contribución técnica significativa es la construcción y el análisis de los complejos de desestabilización para la imagen de la representación de Burau integral en los "grupos simplécticos impares" (Gelfand–Zelevinsky). Los autores demuestran que estos complejos son altamente conectados (específicamente, $(n-19)/8$-conectados), lo cual es necesario para establecer la pendiente de estabilidad para los grupos de trenzas.

Contribuciones Clave y Resultados
El artículo demuestra cuatro teoremas principales que establecen la estabilidad homológica retorcida uniforme:

1. Grupos de la Clase de Mapeo (Teorema 1.1): Para el grupo de la clase de mapeo $\text{Mod}^1_g$ con coeficientes en una representación irreducible $V_\lambda(2g)$ de $\text{Sp}_{2g}(\mathbb{Z})$, la homología relativa se desvanece para $d < \frac{1}{2}(g - \frac{1}{2}l(\lambda))$. Esto mejora la dependencia de la longitud de la partición $l(\lambda)$ en comparación con los límites previos.
2. Grupos de Automorfismos de Grupos Libres (Teorema 1.2): Para $\text{Aut}(F_n)$ con coeficientes en representaciones irreducibles $W_{\lambda\mu}(n)$ de $\text{GL}_n(\mathbb{Z})$, la estabilidad se cumple para $d < \frac{1}{2}(n - \beta)$, donde $\beta$ depende de las longitudes y las longitudes conjugadas de las particiones. Los autores aclaran que esto constituye una estabilidad uniforme de pendiente $1/4$ porque, para cualquier representación irreducible, existe una elección de $(\lambda, \mu)$ tal que $\beta \leq \frac{1}{2}(n+2)$.
3. Grupos de la Clase de Mapeo de Cuerpo de Mango (Teorema 1.3): Se demuestra una estabilidad uniforme análoga para los grupos de la clase de mapeo de cuerpo de mango con coeficientes extraídos de $\text{GL}_n(\mathbb{Z})$.
4. Grupos de Trenzas (Teorema 1.4): Para el grupo de trenzas $\beta_n$ con coeficientes en representaciones de la imagen de la representación de Burau (grupos simplécticos pares/impares), la estabilidad se cumple para $d < \frac{1}{17}(n - \max(2, l(\lambda)))$.

Significancia y Aplicaciones

• Uniformidad: La principal novedad es que el rango estable no depende del grado de la polinomicidad del sistema de coeficientes. Esto permite resultados de estabilidad en regímenes donde el grado de la representación crece con $n$ (por ejemplo, $|\lambda| \gg n$), una situación donde los límites anteriores no arrojaban un rango estable.
• Estadística Aritmética: Los autores demuestran una aplicación directa del Teorema 1.4 a los momentos de familias de funciones $L$ cuadráticas sobre cuerpos de funciones. Combinado con el trabajo previo de Bergström–Diaconu–Petersen–Westland, el nuevo rango de estabilidad demuestra las predicciones de Conrey–Farmer–Keating–Rubinstein–Snaith (CFKRS) para todos los momentos de estas funciones $L$ para potencias de primos impares suficientemente grandes. Este es el primer caso no trivial donde se establecen las asíntotas CFKRS para todos los momentos.
• Grupos de Torelli: Los resultados proporcionan herramientas para estudiar la homología de los grupos de Torelli (núcleos de los mapas hacia grupos aritméticos). Específicamente, el Teorema 1.1 implica que la homología del grupo de Torelli con coeficientes retorcidos puede calcularse en cualquier grado para una superficie de género suficientemente grande, lo que potencialmente simplifica las demostraciones relativas a las presentaciones cuadráticas de la completitud de Malcev de los grupos de Torelli.
• Estabilidad de Representación: El trabajo proporciona evidencia de una "estabilidad de representación uniforme" de la homología de los subgrupos de Torelli, extendiendo la teoría de la estabilidad de representación (Church–Farb) a estos contextos específicos.

Limitaciones y Agudeza
Los autores señalan que sus rangos estables probablemente no son óptimos. Proporcionan límites superiores sobre las posibles pendientes de estabilidad basados en cálculos de homología estable conocidos (por ejemplo, por Madsen–Weiss, Galatius y Lindell). Por ejemplo, conjeturan que la pendiente $1/4$ para los grupos de la clase de mapeo y los grupos de cuerpo de mango es aguda, mientras que la pendiente $1/17$ para los grupos de trenzas probablemente no es óptima (un límite conjeturado de $1/3$). También se señala que la dependencia de la longitud de la partición en el caso de los grupos de trenzas es potencialmente mejorable.