Flatmates and the bounded cohomology of algebraic groups

Resumo Técnico: Flatmates e a Cohomologia Limitada de Grupos Algébricos

Enunciado do Problema
O objetivo primário deste trabalho é estabelecer o desaparecimento da cohomologia contínua limitada para grupos algébricos sobre corpos locais não arquimedianos. Especificamente, o artigo aborda a seguinte lacuna: embora a cohomologia contínua ordinária de grupos algébricos simples sobre tais corpos seja conhecida por desaparecer em graus positivos (um resultado clássico de Garland, Casselman, Wigner e Harder), o comportamento da cohomologia limitada permanecia desconhecido.

Este problema situa-se dentro de um contexto mais amplo de compreensão da cohomologia limitada para grupos de Lie. Enquanto a conjectura de Dupont (que as classes de cohomologia contínua real de grupos de Lie simples conexos são limitadas) permanece aberta para muitos grupos, o caso não arquimediano apresenta um desafio distinto. No cenário ordinário, o desaparecimento acima do posto é trivial porque o edifício de Bruhat–Tits associado é um complexo contrátil de tal dimensão. No entanto, este princípio "suave" falha para a cohomologia limitada; por exemplo, a árvore associada a $SL_2(\mathbb{Q}_p)$ é contrátil, mas admite cohomologia limitada não trivial de grau dois. O artigo visa provar que, ao contrário do comportamento de "quase-cículos" em outros contextos, a cohomologia limitada desses grupos desaparece inteiramente em todos os graus positivos.

Metodologia
A estratégia de prova baseia-se em uma redução de grupos algébricos para a geometria de seus edifícios de Bruhat–Tits associados, seguida por uma abordagem combinatória inovadora para a cohomologia limitada dessas estruturas geométricas.

1. Redução para Edifícios: O teorema de desaparecimento para grupos algébricos (Teorema A) é reduzido a uma afirmação sobre os grupos de automorfismos de edifícios de Bruhat–T–T. Usando a teoria da estrutura, o problema é reduzido ao caso de grupos simples que atuam fortemente transitivamente em edifícios euclidianos localmente finitos.
2. O Complexo Flatmate: A inovação técnica central é a análise do "complexo flatmate" (também denominado cokotcomplex). Este complexo simplicial consiste em todas as tuplas de vértices que residem em um mesmo apartamento (flat) do edifício. Os autores propuseram anteriormente este objeto no contexto de árvores [BM19], mas enfrentaram dificuldades combinatórias significativas ao generalizá-lo para edifícios de posto superior.
3. Ferramentas Simpliciais e Controle de Suporte: Para superar a complexidade combinatória de configurações arbitrárias de pontos em edifícios, o artigo introduz um conjunto de ferramentas simpliciais:
   • Controle de Suporte: Um princípio que utiliza a norma $\ell^1$ em ciclos de homologia. Estabelece que, se todo subcomplexo finito com $n$ vértices estiver contido em um subcomplexo acíclico com no máximo $\phi(n)$ vértices, o complexo é uniformemente acíclico (admitindo uma homotopia contração limitada).
   • Princípios de Nervo Uniforme: Os autores desenvolvem uma versão uniforme do lema do nervo. Eles provam que, se uma cobertura de um complexo simplicial consiste em hipersimplices (e suas interseções também são hipersimplices), o complexo é uniformemente homotopicamente equivalente ao nervo da cobertura, com limites dependendo apenas do grau de homologia.
4. Aplicação a Edifícios: Os autores aplicam estas ferramentas ao sistema de apartamentos de um edifício euclidiano. Eles demonstram que o nervo do sistema de apartamentos é uniformemente acíclico. Pelo princípio do nervo uniforme, isso implica que o complexo flatmate em si é uniformemente acíclico.

Resultados Principais

• Teorema A (Grupos Algébricos): Para qualquer grupo algébrico $G$ sobre um corpo local não arquimediano $k$, a cohomologia contínua limitada de $G(k)$ com coeficientes reais desaparece em cada grau positivo.
• Teorema B (Edifícios): Se um grupo localmente compacto $G$ atua de forma própria e fortemente transitiva por automorfismos em um edifício euclidiano localmente finito, sua cohomologia contínua limitada desaparece em cada grau positivo.
• Teorema F (Flatmates): O complexo flatmate de qualquer edifício euclidiano discreto e irredutível é uniformemente acíclico. Isso resolve a "conjectura flatmate" levantada em trabalho anterior [BM19].
• Teoremas D & Dbis (Grupos Aritméticos): O artigo deriva teoremas de desaparecimento e invariância para grupos aritméticos $S$.
  • Se $G$ é anisotrópico sobre as complementações arquimedianas, a cohomologia limitada do grupo $S$-aritmético $\Gamma$ desaparece nos graus $0 < n < 2 \sum_{v \in S} \text{rank}_{K_v}(G)$.
  • Se houver lugares arquimedianos isotrópicos, a cohomologia limitada de $\Gamma$ é isomórfica àquela do produto dos correspondentes grupos de Lie arquimedianos no mesmo intervalo de graus.

Significância e Alegações
O artigo afirma que o Teorema A fornece um fortalecimento dos teoremas clássicos de desaparecimento para grupos não arquimedianos. Enquanto o desaparecimento da cohomologia ordinária é bem compreendido, o desaparecimento da cohomologia limitada é um "fortalecimento estrito", implicando que mesmo "quase-cículos" (como os quase-morfismos em grau 2) devem ser triviais.

Os autores posicionam seu trabalho como uma solução para o análogo não arquimediano da conjectura referente ao isomorfismo entre a cohomologia limitada e a ordinária para grupos de Lie semi-simples. Uma vez que a cohomologia ordinária desaparece para esses grupos, o resultado implica que a cohomologia limitada também desaparece, um fato anteriormente conhecido apenas para grupos de posto um (árvores).

Além disso, o artigo introduz o princípio de "controle de suporte" e o "princípio do nervo uniforme" como ferramentas simpliciais gerais. Os autores sugerem que estes métodos são de interesse independente e podem ser aplicáveis além dos grupos algébricos, particularmente em contextos envolvendo a colagem de complexos ou o estudo de grandes grupos de transformação.

Os resultados também completam uma peça faltante no estudo da cohomologia limitada para grupos aritméticos $S$, permitindo a derivação de teoremas de invariância que relacionam a cohomologia de grupos aritméticos discretos à cohomologia contínua de seus grupos de Lie ambientes, estendendo resultados anteriores que eram limitados ao grau dois ou ao caso de posto um.