Flatmates and the bounded cohomology of algebraic groups

Sintesi Tecnica: Flatmates e la Coomologia Limitata delle Gruppi Algebrici

Enunciato del Problema
L'obiettivo primario di questo lavoro è stabilire la scomparsa della coomologia continua limitata per i gruppi algebrici su campi locali non archimedei. Nello specifico, l'articolo affronta il vuoto seguente: sebbene la coomologia continua ordinaria dei gruppi algebrici semplici su tali campi sia nota per scomparire nei gradi positivi (un risultato classico di Garland, Casselman, Wigner e Harder), il comportamento della coomologia limitata rimaneva ignoto.

Questo problema si colloca in un contesto più ampio di comprensione della coomologia limitata per i gruppi di Lie. Mentre la congettura di Dupont (secondo cui le classi di coomologia continua reale dei gruppi di Lie semplici connessi sono limitate) rimane aperta per molti gruppi, il caso non archimedeo presenta una sfida distinta. Nel contesto ordinario, la scomparsa sopra il rango è banale perché il complesso di Bruhat–Tis associato è un complesso contrattile di quella dimensione. Tuttavia, questo principio "morbido" fallisce per la coomologia limitata; ad esempio, l'albero associato a $SL_2(\mathbb{Q}_p)$ è contrattile, eppure ammette una coomologia limitata di grado due non banale. Il lavoro mira a dimostrare che, contrariamente al comportamento degli "quasi-cocicli" in altri contesti, la coomologia limitata di questi gruppi scompare interamente in tutti i gradi positivi.

Metodologia
La strategia di prova si basa su una riduzione dai gruppi algebrici alla geometria dei loro associati edifici di Bruhat–Tits, seguita da un approccio combinatorio novello alla coomologia limitata di queste strutture geometriche.

1. Riduzione agli Edifici: La scomparsa del teorema per i gruppi algebrici (Teorema A) viene ridotta a un'affermazione sugli gruppi di automorfismi degli edifici di Bruhat–Tits (Teorema B). Utilizzando la teoria della struttura, il problema viene ridotto al caso di gruppi semplici che agiscono fortemente transitivamente su edifici euclidei localmente finitamente.
2. Il Complesso Flatmate: L'innovazione tecnica centrale è l'analisi del "complesso flatmate" (anche denominato cokotcomplex). Questo complesso simpliciale consiste in tutte le tuple di vertici che giacciono all'interno di un comune appartamento (flat) dell'edificio. Gli autori avevano precedentemente proposto questo oggetto nel contesto degli alberi [BM19], ma avevano affrontato significative difficoltà combinatorie nel generalizzarlo ad edifici di rango superiore.
3. Strumenti Simpliciali e Controllo del Supporto: Per superare la complessità combinatoria di arbitrarie configurazioni di punti negli edifici, il lavoro introduce un insieme di strumenti simpliciali:
   • Controllo del Supporto: Un principio che sfrutta la norma $\ell^1$ sui cicli di omologia. Stabilisce che se ogni sottocomplesso finito con $n$ vertici è contenuto in un sottocomplesso aciclico con al massimo $\phi(n)$ vertici, il complesso è uniformemente aciclico (ammettendo una homotopia di contrazione limitata).
   • Principi di Nervo Uniforme: Gli autori sviluppano una versione uniforme del lemma del nervo. Dimostrano che se una copertura di un complesso simpliciale consiste in ipsisimplessi (e le loro intersezioni sono ipsisimplessi), il complesso è uniformemente omotopicamente equivalente al nervo della copertura, con limiti dipendenti solo dal grado di omologia.
4. Applicazione agli Edifici: Gli autori applicano questi strumenti al sistema di appartamenti di un edificio euclideo. Dimostrano che il nervo del sistema di appartamenti è uniformemente aciclico. Per il principio del nervo uniforme, ciò implica che il complesso flatmate stesso è uniformemente aciclico.

Risultati Chiave

• Teorema A (Gruppi Algebrici): Per qualsiasi gruppo algebrico $G$ su un campo locale non archimedeo $k$, la coomologia continua limitata di $G(k)$ con coefficienti reali scompare in ogni grado positivo.
• Teorema B (Edifici): Se un gruppo localmente compatto $G$ agisce propriamente e fortemente transitivamente per automorfismi su un edificio euclideo localmente finito, la sua coomologia continua limitata scompare in ogni grado positivo.
• Teorema F (Flatmates): Il complesso flatmate di qualsiasi edificio euclideo discreto e irriducibile è uniformemente aciclico. Ciò risolve la "congettura flatmate" sollevata nel lavoro precedente [BM19].
• Teoremi D & Dbis (Gruppi Aritmetici): Il lavoro deriva teoremi di scomparsa e di invarianza per i gruppi $S$-aritmetici.
  • Se $G$ è anisotropo sulle completazioni archimidee, la coomologia limitata del gruppo $S$-aritmetico $\Gamma$ scompare nei gradi $0 < n < 2 \sum_{v \in S} \text{rank}_{K_v}(G)$.
  • Se sono presenti luoghi archimedei isotropi, la coomologia limitata di $\Gamma$ è isomorfa a quella del prodotto dei corrispondenti gruppi di Lie archimedei negli stessi intervalli di gradi.

Significato e Rivendicazioni
Il lavoro sostiene che il Teorema A fornisce un rafforzamento dei classici teoremi di scomparsa per i gruppi non archimedei. Mentre la scomparsa della coomologia ordinaria è ben compresa, la scomparsa della coomologia limitata è un "rafforzamento stretto", implicando che anche gli "quasi-cocicli" (come i quasi-morfismi in grado 2) debbano essere banali.

Gli autori posizionano il loro lavoro come una soluzione all'analogo non archimedeo della congettura riguardante l'isomorfismo tra coomologia limitata e ordinaria per i gruppi di Lie semi-semplici. Poiché la coomologia ordinaria per questi gruppi scompare, il risultato implica che anche la coomologia limitata svanisca, un fatto precedentemente noto solo per i gruppi di rango uno (alberi).

Inoltre, il lavoro introduce il principio di "controllo del supporto" e il "princimento del nervo uniforme" come strumenti simpliciali generali. Gli autori suggeriscono che questi metodi siano di interesse indipendente e possano essere applicabili oltre i gruppi algebrici, in particolare in contesti che coinvolgono l'incollaggio di complessi o lo studio di grandi gruppi di trasformazione.

I risultati completano inoltre un tassello mancante nello studio della coomologia limitata per i gruppi $S$-aritmetici, permettendo la derivazione di teoremi di invarianza che collegano la coomologia dei gruppi aritmetici discreti alla coomologia continua dei loro gruppi di Lie ambientali, estendendo i risultati precedenti che erano limitati al grado due o al caso di rango uno.