Uniform twisted homological stability

Résumé Technique : Stabilité Homologique Torsadée Uniforme

Énoncé du Problème
L'article traite du problème de la stabilité homologique pour des familles de groupes discrets (tels que les groupes de classes de mapping, les groupes d'automorphismes des groupes libres et les groupes de tresses) avec des coefficients dans des suites de représentations algébriques irréductibles de groupes arithmétiques. Bien que la stabilité homologique pour ces groupes avec des coefficients constants ou polynomiaux soit bien établie, la « plage de stabilité » (le degré $d$ jusqu'auquel la stabilité est tenue) dépend typiquement du degré de polynomialité du système de coefficients. Plus précisément, pour un système de coefficients de degré polynomial $r$, la plage de stabilité est souvent de la forme $d < A \cdot n - B \cdot r$. Par conséquent, si le degré de la représentation croît avec $n$, la plage de stabilité peut totalement disparaître.

Les auteurs visent à prouver un théorème de stabilité « uniforme » où la plage de stabilité dépend de l'indice du groupe $n$, mais est indépendante du degré de polynomialité du système de coefficients, à condition que les coefficients soient des représentations algébriques irréductibles spécifiques.

Méthodologie
L'article développe un cadre général pour propager la stabilité homologique d'une famille de groupes arithmétiques $\{Q_n\}$ vers une famille de groupes discrets $\{\Gamma_n\}$ qui tendent vers eux.

1. Théorème de Propagation Général (Section 2) : Les auteurs formulent le Théorème 2.2, qui établit les conditions sous lesquelles la stabilité pour $\{Q_n\}$ implique la stabilité pour $\{\Gamma_n\}$. Le théorème repose sur trois axiomes :

   • Axiome (I) : Une condition de connectivité sur les « complexes de déstabilisation » (ou complexes de scission) associés aux familles $\{\Gamma_n\}$ et $\{Q_n\}$. Cela implique les indécomposables dérivés des $E_2$-algèbres associées.
   • Axiome (II) : Une condition de stabilité pour le système de coefficients $V$ sur les groupes arithmétiques $\{Q_n\}$, concernant l'annulation de l'homologie relative $H_*(Q_n, Q_{n-1}; \Sigma^a V)$.
   • Le Mécanisme de Propagation : En utilisant le langage des groupoïdes monodiques tressés et des $E_2$-algèbres (suivant les travaux de Randal-Williams et Wahl), les auteurs construisent une suite spectrale reliant l'homologie de $\Gamma_n$ à celle de $Q_n$ et aux noyaux des applications $\Gamma_n \to Q_n$.

2. Vérification des Axiomes pour des Cas Spécifiques (Section 4) :

   • Axiome (I) : Les auteurs vérifient la haute connectivité des complexes de déstabilisation pertinents. Pour les groupes de classes de mapping et les automorphismes de groupes libres, ils s'appuient sur des résultats existants (par exemple, Hatcher, Wahl et d'autres). Pour les groupes de tresses (Théorème 1.4), ils prouvent de nouveaux résultats de haute connectivité pour les complexes associés à l'image de la représentation de Burau intégrale dans les groupes symplectiques pairs et impairs (Section 3).
   • Axiome (II) : Cela nécessite d'analyser le comportement des représentations irréductibles sous l'opérateur de décalage $\Sigma$ (restriction le long de $Q_{n-1} \to Q_n$). Les auteurs utilisent les complexes de Littlewood (Sam–Snowden–Weyman) pour décomposer les représentations décalées en extensions itérées d'autres représentations irréductibles. Cela permet de réduire la stabilité des coefficients décalés à la stabilité des coefficients de base, en exploitant les résultats connus sur la cohomologie stable des groupes arithmétiques (les travaux de Borel).

3. Complexes de Déstabilisation pour la Représentation de Burau (Section 3) : Une contribution technique majeure est la construction et l'analyse des complexes de déstabilisation pour l'image de la représentation de Burau intégrale dans les « groupes symplectiques impairs » (Gelfand–Zelevinsky). Les auteurs prouvent que ces complexes sont hautement connectés (spécifiquement $(n-19)/8$-connectés), ce qui est nécessaire pour établir la pente de stabilité pour les groupes de tresses.

Contributions Clés et Résultats
L'article prouve quatre théorèmes principaux établissant la stabilité homologique tordée uniforme :

1. Groupes de Classes de Mapping (Théorème l.1) : Pour le groupe de classe de mapping $\text{Mod}^1_g$ avec des coefficients dans une représentation irréductible $V_\lambda(2g)$ de $\text{Sp}_{2g}(\mathbb{Z})$, l'homologie relative s'annule pour $d < \frac{1}{2}(g - \frac{1}{2}l(\lambda))$. Cela améliore la dépendance vis-à-vis de la longueur de la partition $l(\lambda)$ par rapport aux anciennes bornes.
2. Groupes d'Automorphismes de Groupes Libres (Théorème 1.2) : Pour $\text{Aut}(F_n)$ avec des coefficients dans des représentations irréductibles $W_{\lambda\mu}(n)$ de $\text{GL}_n(\mathbb{Z})$, la stabilité est tenue pour $d < \frac{1}{2}(n - \beta)$, où $\beta$ dépend des longueurs et des longueurs conjuguées des partitions. Les auteurs précisent que cela constitue une stabilité uniforme de pente $1/4$ car, pour toute représentation irréductible, il existe un choix de $(\lambda, \mu)$ tel que $\beta \leq \frac{1}{2}(n+2)$.
3. Groupes de Classes de Mapping de Corps (Handlebody) (Théorème 1.3) : Une stabilité uniforme analogue est prouvée pour les groupes de classes de mapping de corps avec des coefficients tirés par rappel de $\text{GL}_n(\mathbb{Z})$.
4. Groupes de Tresses (Théorème 1.4) : Pour le groupe de tresses $\beta_n$ avec des coefficients dans les représentations de l'image de la représentation de Burau (groupes symplectiques pairs/impairs), la stabilité est tenue pour $d < \frac{1}{17}(n - \max(2, l(\lambda)))$.

Signification et Applications

• Uniformité : La nouveauté principale est que la plage de stabilité ne dépend pas du degré de polynomialité du système de coefficients. Cela permet d'obtenir des résultats de stabilité dans des régimes où le degré de la représentation croît avec $n$ (par exemple, $|\lambda| \gg n$), une situation où les anciennes bornes ne fournissaient aucune plage de stabilité.
• Statistiques Arithmétiques : Les auteurs démontrent une application directe du Théorème 1.4 aux moments des familles de fonctions $L$ quadratiques sur les corps de fonctions. Combiné aux travaux antérieurs de Bergström–Diaconu–Petersen–Westland, la nouvelle plage de stabilité prouve les prédictions de Conrey–Farmer–Keating–Rubinstein–Snaith (CFKRS) pour tous les moments de ces fonctions $L$ pour des puissances de nombres premiers impairs suffisamment grandes. C'est la première famille non triviale où les asymptotiques CFKRS sont établies pour tous les moments.
• Groupes de Torelli : Les résultats fournissent des outils pour étudier l'homologie des groupes de Torelli (noyaux des applications vers les groupes arithmétiques). Plus précisément, le Théorème 1.1 implique que l'homologie du groupe de Torelli avec des coefficients tordus peut être calculée dans n'importe quel degré pour un genre suffisamment grand, ce qui pourrait simplifier les preuves concernant les présentations quadratiques de la complétion de Malcev des groupes de Torelli.
• Stabilité de Représentation : Ce travail fournit des preuves pour une « stabilité de représentation uniforme » de l'homologie des sous-groupes de Torelli, étendant la théorie de la stabilité de représentation (Church–Farb) à ces contextes spécifiques.

Limites et Netteté (Sharpness)
Les auteurs notent que leurs plages de stabilité ne sont probablement pas optimales. Ils fournissent des bornes supérieures sur les pentes de stabilité possibles basées sur les calculs connus de l'homologie stable (par exemple, par Madsen–Weiss, Galatius et Lindell). Par exemple, ils conjecturent que la pente $1/4$ pour les groupes de classes de mapping et les groupes de corps est nette (sharp), tandis que la pente $1/17$ pour les groupes de tresses est probablement non optimale (une borne conjecturée de $1/3$ est évoquée). La dépendance vis-à-vis de la longueur de la partition dans le cas des groupes de tresses est également notée comme potentiellement améliorable.