Uniform twisted homological stability

Technische Samenvatting: Uniforme Getwistelde Homologische Stabiliteit

Probleemstelling
Het artikel behandelt het probleem van homologische stabiliteit voor families van discrete groepen (zoals mapping class groepen, automorfisme-groepen van vrije groepen en braid groepen) met coëfficiënten in sequenties van irreducibele algebraïsche representaties van arithmetische groepen. Hoewel homologische stabiliteit voor deze groepen met constante of polynomiale coëfficiënten goed gevestigd is, hangt de "stabiele range" (de graad $d$ waarvoor stabiliteit geldt) doorgaans af van de graad van polynomialiteit van het coëfficiëntensysteem. Specifiek is de stabiele range voor een coëfficiëntensysteem van polynomiale graad $r$ vaak van de vorm $d < A \cdot n - B \cdot r$. Bijgevolg, als de graad van de representatie meegroeit met $n$, kan de stabiele range volledig verdwijnen.

De auteurs beogen een "uniforme" stabiliteitstelling te bewijzen waarbij de stabiele range afhangt van de groepsindex $n$, maar onafhankelijk is van de graad van de polynomialiteit van het coëfficiëntensysteem, mits de coëfficiënten specifieke irreducibele algebraïsche representaties zijn.

Methodologie
Het artikel ontwikkelt een algemeen kader om homologische stabiliteit van een familie van arithmetische groepen $\{Q_n\}$ te propageren naar een familie van discrete groepen $\{\Gamma_n\}$ die naar hen mappen.

1. Algemene Propagatie-stelling (Sectie 2): De auteurs formuleren Stelling 2.2, die de voorwaarden vaststelt waaronder stabiliteit voor $\{Q_n\}$ stabiliteit voor $\{\Gamma_n\}$ impliceert. De stelling steunt op drie axioma's:

   • Axioma (I): Een connectiviteitsconditie op de "destabilisatiecomplexen" (of splitsingscomplexen) geassocieerd met de families $\{\Gamma_n\}$ en $\{Q_n\}$. Dit betreft de afgeleide indecomposables van de geassocieerde $E_2$-algebra's.
   • Axioma (II): Een stabiliteitsconditie voor het coëfficiëntensysteem $V$ over de arithmetische groepen $\{Q_n\}$, met betrekking tot het verdwijnen van de relatieve homologie $H_*(Q_n, Q_{n-1}; \Sigma^a V)$.
   • Het Propagatiemechanisme: Met behulp van de taal van braided monoidale groïdoïden en $E_2$-algebra's (volgend op het werk van Randal-Williams en Wahl), construeren de auteurs een spectrale sequentie die de homologie van $\Gamma_n$ relateert aan die van $Q_n$ en de kernen van de afbeeldingen $\Gamma_n \to Q_n$.

2. Verificatie van Axioma's voor Specifieke Casussen (Sectie 4):

   • Axioma (I): De auteurs verifiëren de hoge connectiviteit van de relevante destabilisatiecomplexen. Voor mapping class groepen en automorfisme-groepen van vrije groepen vertrouwen zij op bestaande resultaten (bijv. door Hatcher, Wahl en anderen). Voor de braid groepen (Stelling 1.4) bewijzen zij nieuwe resultaten over hoge connectiviteit voor de complexen geassocieerd met de afbeelding van de integrale Burau-representatie in even en oneven symplectische groepen (Sectie 3).
   • Axioma (II): Dit vereist een analyse van het gedrag van irreducibele representaties onder de shift-operator $\Sigma$ (restrictie langs $Q_{n-1} \to Q_n$). De auteurs maken gebruik van Littlewood-complexen (Sam–Snowden–Weyman) om verschoven representaties te decomponeren in iteratieve extensies van andere irreducibele representaties. Dit maakt het mogelijk om de stabiliteit van verschoven coëfficiënten te reduceren tot de stabiliteit van de basiscoëfficiënten, waarbij gebruik wordt gemaakt van bekende resultaten over de stabiele cohomologie van arithmetische groepen (het werk van Borel).

3. Destabilisatiecomplexen voor de Burau-representatie (Sectie 3): Een belangrijke technische bijdrage is de constructie en analyse van de destabilisatiecomplexen voor de afbeelding van de integrale Burau-representatie in de "oneven symplectische groepen" (Gelfand–Zelevinsky). De auteurs bewijzen dat deze complexen hoog connectief zijn (specifiek $(n-19)/8$-connectief), wat noodzakelijk is om de helling (slope) van de stabiliteit voor braid groepen vast te stellen.

Belangrijkste Bijdragen en Resultaten
Het artikel bewijst vier hoofdstellingen die uniforme getwistelde homologische stabiliteit vaststellen:

1. Mapping Class Groepen (Stelling 1.1): Voor de mapping class groep $\text{Mod}^1_g$ met coëfficiënten in een irreducibele representatie $V_\lambda(2g)$ van $\text{Sp}_{2g}(\mathbb{Z})$, verdwijnt de relatieve homologie voor $d < \frac{1}{2}(g - \frac{1}{2}l(\lambda))$. Dit verbetert de afhankelijkheid van de partitie-lengte $l(\lambda)$ ten opzichte van eerdere grenzen.
2. Automorfisme-groepen van Vrije Groepen (Stelling 1.2): Voor $\text{Aut}(F_n)$ met coëfficiënten in irreducibele representaties $W_{\lambda\mu}(n)$ van $\text{GL}_n(\mathbb{Z})$, geldt stabiliteit voor $d < \frac{1}{2}(n - \beta)$, waarbij $\beta$ afhangt van de lengtes en geconjugeerde lengtes van de partities. De auteurs verduidelijken dat dit een uniforme stabiliteit van helling $1/4$ vormt, omdat er voor elke irreducibele representatie een keuze van $(\lambda, \mu)$ bestaat zodanig dat $\beta \leq \frac{1}{2}(n+2)$.
3. Handlebody Mapping Class Groepen (Stelling 1.3): Analoge uniforme stabiliteit wordt bewezen voor handlebody mapping class groepen met coëfficiënten die zijn teruggehaald (pulled back) uit $\text{GL}_n(\mathbb{Z})$.
4. Braid Groepen (Stelling 1.4): Voor de braid groep $\beta_n$ met coëfficiënten in representaties van de afbeelding van de Burau-representatie (oneven/even symplectische groepen), geldt stabiliteit voor $d < \frac{1}{17}(n - \max(2, l(\lambda)))$.

Betekenis en Toepassingen

• Uniformiteit: De primaire nieuwheid is dat de stabiele range niet afhankelijk is van de graad van de polynomialiteit van het coëfficiëntensysteem. Dit maakt stabiliteitsresultaten mogelijk in regimes waar de graad van de representatie meegroeit met $n$ (bijv. $|\lambda| \gg n$), een situatie waarin eerdere grenzen geen stabiele range opleverden.
• Arithmetische Statistiek: De auteurs demonstreren een directe toepassing van Stelling 1.4 op de momenten van families van kwadratische $L$-functies over functiekernen. In combinatie met eerder werk van Bergström–Diaconu–Petersen–Westland, bewijst de nieuwe stabiele range de Conrey–Farmer–Keating–Rubinstein–Snaith (CFKRS) voorspellingen voor alle momenten van deze $L$-functies voor voldoende grote oneven priemmacht-ordes. Dit is de eerste niet-triviale familie waar CFKRS-asymptotica voor alle momenten zijn vastgesteld.
• Torelli Groepen: De resultaten bieden instrumenten voor het bestuderen van de homologie van Torelli groepen (kernen van de afbeeldingen naar arithmetische groepen). Specifiek impliceert Stelling 1.1 dat de homologie van de Torelli groep met getwistelde coëfficiënten in elke graad berekend kan worden voor voldoende grote genus, wat potentieel bewijzen omtrent kwadratische presentaties van de Malcev-vollediging van Torelli groepen vereenvoudigt.
• Representatie-stabiliteit: Het werk levert bewijs voor "uniforme representatie-stabiliteit" van de homologie van Torelli subgroepen, waarbij de theorie van representatie-stabiliteit (Church–Farb) uitbreidt naar deze specifieke contexten.

Beperkingen en Scherpheid
De auteurs merken op dat hun stabiele ranges waarschijnlijk niet optimaal zijn. Zij geven bovengrenzen op voor de mogelijke hellingen van stabiliteit gebaseerd op bekende stabiele homologie-berekeningen (bijv. door Madsen–Weiss, Galatius, en Lindell). Zo vermoeden zij bijvoorbeeld dat de helling $1/4$ voor mapping class groepen en handlebody groepen scherp is, terwijl de helling $1/17$ voor braid groepen waarschijnlijk niet optimaal is (een geconstateerde grens van $1/3$ wordt gesuggereerd). Ook de afhankelijkheid van de partitie-lengte in het geval van de braid groep wordt als potentieel verbeterbaar beschouwd.