Central stability for the homology of congruence subgroups and the second homology of Torelli groups (Q2324575)

Cet article fournit des renseignements qualitatifs sur la structure stable de l'homologie de sous-groupes de congruence de groupes linéaires de taille \(n\) sur un anneau \(A\) (congruence associée à un idéal bilatère \(I\)), du deuxième groupe d'homologie du sous-groupe \(IA_n\) du groupe des automorphismes d'un groupe libre de rang \(n\) formé des automorphismes induisant l'identité sur l'abélianisation, ou du deuxième groupe d'homologie du groupe de Torelli \(\mathcal{I}_n\) d'une surface de genre \(n\) avec une composante de bord. Ici, \textit{stable} signifie qu'on s'intéresse au comportement de ces homologies lorsque \(n\) grandit. Plus précisément, les auteurs montrent que ces suites de groupes d'homologie ont leurs valeurs déterminées, pour \(n\) assez grand (avec une borne explicite), par leurs valeurs aux entiers strictement inférieurs, où l'on tient compte de la structure fonctorielle globale, c'est-à-dire des morphismes de transition (permettant d'accroître la valeur de \(n\)) et de l'action d'un sous-groupe remarquable du groupe linéaire \(GL_n(A/I)\) dans le premier cas, du groupe linéaire \(GL_n(\mathbb{Z})\) dans le second, et du groupe symplectique \(Sp_{2n}(\mathbb{Z})\) dans le dernier. Dans le cas des groupes de congruence, on a besoin que l'anneau \(A\) possède un rang stable de Bass fini. Les méthodes reposent sur l'utilisation de catégories de foncteurs appropriées et s'inscrivent dans la lignée de nombreux travaux, notamment les articles relatifs à la stabilité homologique [\textit{R. Charney}, Commun. Algebra 12, 2081--2123 (1984; Zbl 0542.20023)], [\textit{A. Putman}, Invent. Math. 202, No. 3, 987--1027 (2015; Zbl 1334.20045)] et [\textit{O. Randal-Williams} and \textit{N. Wahl}, Adv. Math. 318, 534--626 (2017; Zbl 1393.18006)], ainsi que les outils d'homologie des foncteurs étudiés dans [\textit{T. Church} and \textit{J. Ellenberg}, Geom. Topol. 21, No. 4, 2373--2418 (2017; Zbl 1371.18012)], [\textit{A. Putman} and \textit{S. Sam}, Duke Math. J. 166, No. 13, 2521--2598 (2017; Zbl 1408.18003)] ou [\textit{P. Patzt}, Math. Z. 295, No. 3--4, 877--916 (2020; Zbl 1442.18004)]. Des techniques simpliciales classiques sont largement employées, ainsi que la notion de \textit{foncteur polynomial}. Malheureusement, les méthodes utilisées ne semblent pas du tout suffisantes pour donner des renseignements sur les groupes d'homologie \(H_i(IA_n)\) (ou \(H_i(\mathcal{I}_n)\)) pour \(i>2\). Il convient toutefois de signaler que les résultats donnés pour \(H_2(IA_n)\) sont hautement non triviaux étant donné la difficulté considérable à comprendre les groupes \(IA_n\) et leur homologie (on sait par exemple que \(H_2(IA_3;\mathbb{Q})\) est de dimension infinie, mais on ignore même si le groupe \(IA_n\) est de présentation finie pour \(n>3\)).