Uniform twisted homological stability

Resumo Técnico: Estabilidade Homológica Torcida Uniforme

Enunciado do Problema
O artigo aborda o problema da estabilidade homológica para famílias de grupos discretos (como grupos de classes de mapeamento, grupos de automorfismos de grupos livres e grupos de tranças) com coeficientes em sequências de representações algébricas irredutíveis de grupos aritméticos. Embora a estabilidade homológica para esses grupos com coeficientes constantes ou polinomiais esteja bem estabelecida, a "faixa estável" (o grau $d$ até o qual a estabilidade ocorre) tipicamente depende do grau de polinomialidade do sistema de coeficientes. Especificamente, para um sistema de coeficientes de grau polinomial $r$, a faixa estável é frequentemente da forma $d < A \cdot n - B \cdot r$. Consequentemente, se o grau da representação crescer com $n$, a faixa estável pode desaparecer inteiramente.

Os autores visam provar um teorema de estabilidade "uniforme" onde a faixa estável depende do índice do grupo $n$, mas é independente do grau da polinomialidade do sistema de coeficientes, desde que os coeficientes sejam representações algébricas irredutíveis específicas.

Metodologia
O artigo desenvolve um arcabouço geral para propagar a estabilidade homológica de uma família de grupos aritméticos $\{Q_n\}$ para uma família de grupos discretos $\{\Gamma_n\}$ que mapeiam para eles.

1. Teorema de Propagação Geral (Seção 2): Os autores formulam o Teorema 2.2, que estabelece condições sob as quais a estabilidade para $\{Q_n\}$ implica a estabilidade para $\{\Gamma_n\}$. O teorema baseia-se em três axiomas:

   • Axioma (I): Uma condição de conectividade nos "complexos de desestabilização" (ou complexos de divisão) associados às famílias $\{\Gamma_n\}$ e $\{Q_n\}$. Isso envolve os indecomponíveis derivados dos $E_2$-álgebras associados.
   • Axioma (II): Uma condição de estabilidade para o sistema de coeficientes $V$ sobre os grupos aritméticos $\{Q_n\}$, especificamente em relação ao desaparecimento da homologia relativa $H_*(Q_n, Q_{n-1}; \Sigma^a V)$.
   • O Mecanismo de Propagação: Usando a linguagem de grupoides monoidais trançados e $E_2$-álgebras (seguindo o trabalho de Randal-Williams e Wahl), os autores constroem uma sequência espectral que relaciona a homologia de $\Gamma_n$ com a de $Q_n$ e os núcleos dos mapas $\Gamma_n \to Q_n$.

2. Verificação de Axiomas para Casos Específicos (Seção 4):

   • Axioma (I): Os autores verificam a alta conectividade dos complexos de desestabilização relevantes. Para grupos de classes de mapeamento e automorfismos de grupos livres, eles dependem de resultados existentes (por exemplo, de Hatcher, Wahl e outros). Para os grupos de tranças (Teorema 1.4), eles provam novos resultados de alta conectividade para os complexos associados à imagem da representação de Burau integral em grupos simpléticos pares e ímpares (Seção 3).
   • Axioma (II): Isso requer analisar o comportamento das representações irredutíveis sob o operador de deslocamento $\Sigma$ (restrição ao longo de $Q_{n-1} \to Q_n$). Os autores utilizam complexos de Littlewood (Sam–Snowden–Weyman) para decompor representações deslocadas em extensões iteradas de outras representações irredutíveis. Isso permite reduzir a estabilidade de coeficientes deslocados para a estabilidade dos coeficientes base, aproveitando resultados conhecidos sobre a cohomologia estável de grupos aritméticos (o trabalho de Borel).

3. Complexos de Desestabilização para a Representação de Burau (Seção 3): Uma contribuição técnica significativa é a construção e análise dos complexos de desestabilização para a imagem da representação de Burau integral nos "grupos simpléticos ímpares" (Gelfand–Zelevinsky). Os autores provam que esses complexos são altamente conectados (especificamente, $(n-19)/8$-conectados), o que é necessário para estabelecer a inclinação da estabilidade para os grupos de tranças.

Principais Contribuições e Resultados
O artigo prova quatro teoremas principais que estabelecem a estabilidade homológica torcida uniforme:

1. Grupos de Classes de Mapeamento (Teorema 1.1): Para o grupo de classes de mapeamento $\text{Mod}^1_g$ com coeficientes em uma representação irredutível $V_\lambda(2g)$ de $\text{Sp}_{2g}(\mathbb{Z})$, a homologia relativa desaparece para $d < \frac{1}{2}(g - \frac{1}{2}l(\lambda))$. Isso melhora a dependência no comprimento da partição $l(\lambda)$ em comparação com limites anteriores.
2. Grupos de Automorfismos de Grupos Livres (Teorema 1.2): Para $\text{Aut}(F_n)$ com coeficientes em representações irredutíveis $W_{\lambda\mu}(n)$ de $\text{GL}_n(\mathbb{Z})$, a estabilidade ocorre para $d < \frac{1}{2}(n - \beta)$, onde $\beta$ depende dos comprimentos e comprimentos conjugados das partições. Os autores esclarecem que isso constitui uma estabilidade uniforme de inclinação $1/4$ porque, para qualquer representação irredutível, existe uma escolha de $(\lambda, \mu)$ tal que $\beta \leq \frac{1}{2}(n+2)$.
3. Grupos de Classes de Mapeamento de Handlebody (Teorema 1.3): Uma estabilidade uniforme análoga é provada para grupos de classes de mapeamento de handlebody com coeficientes puxados de $\text{GL}_n(\mathbb{Z})$.
4. Grupos de Tranças (Teorema 1.4): Para o grupo de tranças $\beta_n$ com coeficientes em representações da imagem da representação de Burau (grupos simpléticos pares/ímpares), a estabilidade ocorre para $d < \frac{1}{17}(n - \max(2, l(\lambda)))$.

Significância e Aplicações

• Uniformidade: A principal novidade é que a faixa estável não depende do grau de polinomialidade do sistema de coeficientes. Isso permite resultados de estabilidade em regimes onde o grau da representação cresce com $n$ (por exemplo, $|\lambda| \gg n$), uma situação onde limites anteriores não forneciam nenhuma faixa estável.
• Estatística Aritmética: Os autores demonstram uma aplicação direta do Teorema 1.4 aos momentos de famílias de funções $L$ quadráticas sobre corpos de funções. Combinado com o trabalho prévio de Bergström–Diaconu–Petersen–Westland, a nova faixa de estabilidade prova as previsões de Conrey–Farmer–Keating–Rubinstein–Snaith (CFKRS) para todos os momentos dessas funções $L$ para potências de primos ímpares suficientemente grandes. Esta é a primeira família não trivial onde as assíntotas CFKRS são estabelecidas para todos os momentos.
• Grupos de Torelli: Os resultados fornecem ferramentas para estudar a homologia dos grupos de Torelli (núcleos dos mapas para grupos aritméticos). Especificamente, o Teorema 1.1 implica que a homologia do grupo de Torelli com coeficientes torcidos pode ser calculada em qualquer grau para gênero suficientemente grande, potencialmente simplificando provas relativas a apresentações quadráticas da completude de Malcev dos grupos de Torelli.
• Estabilidade de Representação: O trabalho fornece evidências para a "estabilidade de representação uniforme" da homologia de subgrupos de Torelli, estendendo a teoria da estabilidade de representação (Church–Farb) para esses contextos específicos.

Limitações e Precisão
Os autores observam que suas faixas estáveis provavelmente não são ótimas. Eles fornecem limites superiores para as possíveis inclinações de estabilidade baseados em cálculos conhecidos de homologia estável (por exemplo, de Madsen–Weiss, Galatius e Lindell). Por exemplo, eles conjecturam que a inclinação $1/4$ para grupos de classes de mapeamento e grupos de handlebody é aguda, enquanto a inclinação $1/17$ para grupos de tranças é notadamente não ótima (uma conjectura de limite de $1/3$). A dependência no comprimento da partição no caso dos grupos de tranças também é notada como potencialmente melhorável.