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

From MaRDI portal
Publication:2324575



Abstract: We prove a representation stability result for the second homology groups of Torelli subgroups of mapping class groups and automorphism groups of free groups. This strengthens the results of Boldsen-Hauge Dollerup and Day-Putman. We also prove a new representation stability result for the homology of certain congruence subgroups, partially improving upon the work of Putman-Sam. These results follow from a general theorem on syzygies of certain modules with finite polynomial degree.


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\)).



Cites work









This page was built for publication: Central stability for the homology of congruence subgroups and the second homology of Torelli groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2324575)