相关论文: The Stable Homology of Congruence Subgroups

We describe the $\mathbb{F}_p$-cohomology of the congruence subgroups $SL_n(\mathbb{Z}, p^m)$ in degrees $* < p-1$, for all large enough $n$, establishing a formula proposed by F. Calegari. Along the way, we also establish a formula for the…

We prove that the completed cohomology groups of SL_N(Z) in fixed degree stabilize as N goes to infinity. We also prove that the action of Hecke operators on stable cohomology is trivial, in a precisely defined sense.

Let $\Gamma_{2n}^\omega(p)$ be the level-$p$ principal congruence subgroup of $\text{Sp}_{2n}(\mathbb{Z})$ for all prime $p$. Borel--Serre demonstrated that the cohomology of $\Gamma_{2n}^\omega(p)$ vanishes above degree $n^2$. We prove…

Let $\Gamma_n(p)$ be the level-$p$ principal congruence subgroup of $\text{SL}_n(\mathbb{Z})$. Borel-Serre proved that the cohomology of $\Gamma_n(p)$ vanishes above degree $\binom{n}{2}$. We study the cohomology in this top degree…

Let $p$ be an odd prime. Denote a Sylow $p$-subgroup of $GL_2(\mathbb{Z}/p^n)$ and $SL_2(\mathbb{Z}/p^n)$ by $S_p(n,GL)$ and $S_p(n,SL)$ respectively. The theory of stable elements tells us that the mod-$p$ cohomology of a finite group is…

We prove a homological stability theorem for congruence subgroups of symplectic groups. From this theorem, we deduce a generalization of a theorem of Borel showing that certain homology groups of a congruence subgroup do not depend on the…

Combining results of Wahl, Galatius--Madsen--Tillmann--Weiss and Korkmaz one can identify the homotopy-type of the classifying space of the stable non-orientable mapping class group $N_\infty$ (after plus-construction). At odd primes p, the…

In this article we determine the stable cohomology groups H^i_s (A_n, Z/p) of the alternating groups A_n for all integers n and i, and all primes p.

We prove a representation stability result for the codimension-one cohomology of the level three congruence subgroup of $\mathbf{SL}_n(\mathbb{Z})$. This is a special case of a question of Church-Farb-Putman which we make more precise. Our…

We prove that the direct sum of all homology groups of the integral general linear groups with Steinberg module coefficients form a commutative Hopf algebra, in particular a free graded commutative algebra. We use this to construct new…

Cohomology of Specht modules for the symmetric group can be equated in low degrees with corresponding cohomology for the Borel subgroup B of the general linear group GL_d(k), but this has never been exploited to prove new symmetric group…

Let k be a number field, p$\ge$2 a prime and S a set of tame or wild finite places of k. We call K/k a totally S-ramified cyclic p-tower if Gal(K/k)=Z/p^NZ and if S non-empty is totally ramified. Using analogues of Chevalley's formula…

In two previous papers [AGM1, AGM2] we computed cohomology groups H^5(\Gamma_0 (N); \C) for a range of levels N, where \Gamma_0 (N) is the congruence subgroup of SL_4 (\Z) consisting of all matrices with bottom row congruent to (0,0,0,*)…

For $R$ a Euclidean number ring, and let $\Gamma_n(p)$ be the level-$p$ principal congruence subgroup of $\text{SL}_n(R)$. Borel--Serre showed that the cohomology of $\Gamma_n(p)$ vanishes above a degree $\nu$ that is quadratic in $n$. Let…

Let p be an odd prime. Let G be a p-local finite group over the extraspecial p-group p_+^{1+2}. In this paper we study the cohomology and the stable splitting of their p-complete classifying space BG.

We prove that the homology of the mapping class groups of non-orientable surfaces stabilizes with the genus of the surface. Combining our result with recent work of Madsen and Weiss, we obtain that the classifying space of the stable…

We study quotients of mapping class groups (\Gamma_{g,1}) of oriented surfaces with one boundary component by terms of their Johnson filtrations, and we show that the homology of these quotients with suitable systems of twisted coefficients…

Let $R$ be a commutative ring that is free of rank $k$ as an abelian group, $p$ a prime, and $SL(n,R)$ the special linear group. We show that the Lie algebra associated to the filtration of $SL(n,R)$ by $p$-congruence subgroups is…

Borel's stability and vanishing theorem gives the stable cohomology of $\mathrm{GL}(n,\mathbb{Z})$ with coefficients in algebraic $\mathrm{GL}(n,\mathbb{Z})$-representations. We compute the improved stable range that Borel remarked about.…

The main results of this article concern the definition of a compactly supported cohomology class for the congruence group $\Gamma_0(p^n)$ with values in the second Milnor $K$-group (modulo 2-torsion) of the ring of $p$-integers of the…