Flatmates and the bounded cohomology of algebraic groups

Technische Samenvatting: Flatmates en de Begrensde Cohomologie van Algebraïsche Groepen

Probleemstelling
Het primaire doel van dit werk is het vaststellen van de verdwijning van continue begrensde cohomologie voor algebraïsche groepen over niet-Archimedeïsche lokale velden. Specifiek adresseert dit artikel een gat in de kennis: terwijl de gewone continue cohomologie van simpele algebraïsche groepen over dergelijke velden bekend is als verdwijnend in positieve graden (een klassiek resultaat van Garland, Casselman, Wigner en Harder), bleef het gedrag van de begrensde cohomologie onbekend.

Dit probleem is gesitueerd binnen een bredere context van het begrijpen van begrensde cohomologie voor Lie-groepen. Terwijl de conjectuur van Dupont (dat de reële continue cohomologieklassen van verbonden simpele Lie-groepen begrensd zijn) voor veel groepen nog openstaat, presenteert de niet-Archimedeïsche casus een afwijkende uitdaging. In de gewone setting is de verdwijning boven de rang triviaal omdat de geassocieerde Bruhat–Tits-bouw een contractibel complex is van die dimensie. Echter, dit "zachte" principe faalt voor begrensde cohomologie; bijvoorbeeld is de boom geassocieerd met $SL_2(\mathbb{Q}_p)$ weliswaar contractibel, maar zij staat een niet-triviale begrensde cohomologie van graad twee toe. Het artikel beoogt te bewijzen dat, in tegenstelling tot het gedrag van "bijna-cocyclen" in andere contexten, de begrensde cohomologie van deze groepen volledig verdwijnt in alle positieve graden.

Methodologie
De bewijsstrategie berust op een reductie van algebraïsche groepen naar de geometrie van hun geassocieerde Bruhat–Tits-bouw, gevolgd door een nieuwe combinatorische benadering van de begrensde cohomologie van deze geometrische structuren.

1. Reductie naar Bouwen: De verdwijningstelling voor algebraïsche groepen (Theorem A) wordt gereduceerd tot een bewering over de automorfisme-groepen van Bruhat–Tits-bouw (Theorem B). Met behulp van de structuurtheorie wordt het probleem gereduceerd tot het geval van simpele groepen die sterk transitief handelen op lokaal eindige Euclidische bouwen.
2. De Flatmate-complex: De kern van de technische innovatie is de analyse van de "flatmate-complex" (ook wel de cokotcomplex genoemd). Deze simpliciale complex bestaat uit alle tupels van vertices die binnen een gemeenschappelijke apartment (flat) van de bouw liggen. De auteurs stelden dit object eerder voor in de context van bomen [BM19], maar stuitten op aanzienlijke combinatorische moeilijkheden bij het generaliseren naar bouwen met een hogere rang.
3. Simpliciale Instrumenten en Support Control: Om de combinatorische complexiteit van willekeurige puntconfiguraties in bouwen te overwinnen, introduceert het artikel een reeks simpliciale instrumenten:
   • Support Control: Een principe dat gebruikmaakt van de $\ell^1$-norm op homologiecycli. Het stelt vast dat als elke eindige subcomplex met $n$ vertices is opgenomen in een acyclische subcomplex met maximaal $\phi(n)$ vertices, de complex uniform acyclisch is (het bezit een begrensde contracterende homotopie).
   • Uniforme Nerve-principes: De auteurs ontwikkelen een uniforme versie van de nerve-lemma. Zij bewijzen dat als een cover van een simpliciale complex bestaat uit hypersimplexen (en hun intersecties ook hypersimplexen zijn), de complex uniform homotopisch equivalent is aan de nerve van de cover, waarbij de bounds afhangen van de homologiegraad alleen.
4. Toepassing op Bouwen: De auteurs passen deze instrumenten toe op het apartment-systeem van een Euclidische bouw. Zij demonstreren dat de nerve van het apartment-systeem uniform acyclisch is. Door de uniforme nerve-principe volgt hieruit dat de flatmate-complex zelf uniform acyclisch is.

Kernresultaten

• Theorem A (Algebraïsche Groepen): Voor elke algebraïsche groep $G$ over een niet-Archimedeïsch lokaal veld $k$, verdwijnt de continue begrensde cohomologie van $G(k)$ met reële coëfficiënten in elke positieve graad.
• Theorem B (Bouwen): Als een lokaal compacte groep $G$ proportioneel en sterk transitief handelt door automorfismen op een lokaal eindige Euclidische bouw, dan verdwijnt de continue begrensde cohomologie in elke positieve graad.
• Theorem F (Flatmates): De flatmate-complex van elke discrete irreducibele Euclidische bouw is uniform acyclisch. Dit lost de "flatmate-conjectuur" op die in eerder werk [BM19] werd geopend.
• Theorem D & Dbis (Arithmetische Groepen): Het artikel leidt verdwijnings- en invariantiestellingen af voor $S$-arithmetische groepen.
  • Als $G$ anisotroop is over de Archimedeïsche completions, verdwijnt de begrensde cohomologie van de $S$-arithmetische groep $\Gamma$ in graden $0 < n < 2 \sum_{v \in S} \text{rank}_{K_v}(G)$.
  • Indien er isotrope Archimedeïsche plaatsen aanwezig zijn, is de begrensde cohomologie van $\Gamma$ isomorf aan die van de product van de corresponderende Archimedeïsche Lie-groepen in hetzelfde bereik van graden.

Betekenis en Claims
Het artikel claimt dat Theorem A een versterking vormt van de klassieke verdwijningstellingen voor niet-Archimedeïsche groepen. Hoewel de verdwijning van de gewone cohomologie goed begrepen is, is de verdwijning van de begrensde cohomologie een "strikte versterking", wat impliceert dat zelfs "bijna-cocyclen" (zoals quasi-morfismen in graad 2) noodzakelijkerwijs triviaal moeten zijn.

De auteurs positioneren hun werk als een oplossing voor de niet-Archimedeïsche analogie van de conjectuur betreffende de isomorfie tussen begrensde en gewone cohomologie voor semi-simpele Lie-groepen. Aangezien de gewone cohomologie voor deze groepen verdwijnt, impliceert dit resultaat dat de begrensde cohomologie ook verdwijnt, een feit dat voorheen alleen bekend was voor rang-één groepen (bomen).

Verder introduceren de auteurs het "support control"-principe en het "uniform nerve"-principe als algemene simpliciale instrumenten. De auteurs suggereren dat deze methoden van onafhankelijk belang zijn en mogelijk breder toepasbaar zijn dan enkel algebraïsche groepen, met name in contexten die betrekking hebben op het samenvoegen van complexen of de studie van grote transformatiegroepen.

De resultaten voltooien tevens een ontbrekend stuk in de studie van de begrensde cohomologie voor $S$-arithmetische groepen, waardoor verdwijningstheorema's kunnen worden afgeleid die de cohomologie van discrete arithmetische groepen relateren aan de continue cohomologie van hun omringende Lie-groepen, waarmee eerdere resultaten die beperkt waren tot graad twee of rang-één gevallen worden uitgebreid.