Related papers: Equivariant group presentations and the second hom…

We show for g > 6 that the second homology group of the Torelli group of a surface of genus g and 1 boundary component is generated as an Sp(2g,Z)-module by the image under the stabilization map of the second homology group of the Torelli…

We give a new technique for constructing presentations by generators and relations for representations of groups like $SL_n(\mathbb{Z})$ and $Sp_{2g}(\mathbb{Z})$. Our results play an important role in recent work of the authors calculating…

To every $Q$-irreducible representation $r$ of a finite group $H$, there corresponds a simple factor $A$ of $Q[H]$ with an involution $\tau$. To this pair $(A,\tau)$, we associate an arithmetic group $\Omega$ consisting of all $(2g-2)\times…

We compute the mod-2 cohomology of the collection of all symmetric groups as a Hopf ring, where the second product is the transfer product of Strickland and Turner. We first give examples of related Hopf rings from invariant theory and…

Let $\Gamma$ be a finite-index subgroup of the mapping class group of a closed genus $g$ surface that contains the Torelli group. For instance, $\Gamma$ can be the level $L$ subgroup or the spin mapping class group. We show that…

We generalize the theory of the second invariant cohomology group $H^2_{\rm inv}(G)$ for finite groups $G$, developed in [Da2,Da3,GK], to the case of affine algebraic groups $G$, using the methods of [EG1,EG2,G]. In particular, we show that…

We provide and study an equivariant theory of group (co)homology of a group G with coefficients in a gamma-equivariant G-module A, when a separate group "gamma" acts on G and A, generalizing the classical Eilenberg-MacLane (co)homology of…

We prove that second rational homology of the Torelli group of an orientable closed surface of genus g is finite dimensional for g at least 51. This rules out the simplest obstruction to the Torelli group being finitely presented and…

The Torelli group of a genus $g$ oriented surface $\Sigma_g$ is the subgroup $\mathcal{I}_g$ of the mapping class group ${\rm Mod}(\Sigma_g)$ consisting of all mapping classes that act trivially on ${\rm H}_1(\Sigma_g, \mathbb{Z})$. The…

We give alternative computations of the Schur multiplier of $Sp(2g,\mathbb Z/D\mathbb Z)$, when $D$ is divisible by 4 and $g\geq 4$: a first one using $K$-theory arguments based on the work of Barge and Lannes and a second one based on the…

We calculate the second rational homology group of the Torelli group for $g \geq 6$.

The Torelli group of a genus $g$ oriented surface $S_g$ is the subgroup $\mathcal{I}_g$ of the mapping class group $\mathrm{Mod}(S_g)$ consisting of all mapping classes that act trivially on the homology of $S_g$. One of the most intriguing…

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…

These are the lecture notes for my course at the 2011 Park City Mathematics Graduate Summer School. The first two lectures covered the basics of the Torelli group and the Johnson homomorphism, and the third and fourth lectures discussed the…

In this note we use techniques in the topology of 2-complexes to recast some tools that have arisen in the study of planar tiling questions. With spherical pictures we show that the tile counting group associated to a set $T$ of tiles and a…

We study sequences of modular representations of the symplectic and special linear groups over finite fields obtained from the first homology of congruence subgroups of mapping class groups and automorphism groups of free groups, and the…

In previous works, the universal mapping class group was taken to be the group PPSL(2,Z) of all piecewise PSL(2,Z) homeomorphisms of the unit circle S^1 with finitely many breakpoints among the rational points, and in fact, the Thompson…

The results of a previous paper on the equivariant homotopy theory of crossed complexes are generalised from the case of a discrete group to general topological groups. The principal new ingredient necessary for this is an analysis of…

Let $G$ be a finite group of order $n$ and let $M$ be a $G$-module. We construct groups $H_*^\varkappa(G,M)$ for which $H_k^\varkappa (G,M^{tw}) \cong H^{n-k-1}_\lambda(G,M),$ where $M^{tw}$ is a twisting of a $G$-module $M$ defined in…

For a triple $(G,A,\kappa)$ (where $G$ is a group, $A$ is a $G$-module and $\kappa:G^3\to A$ is a 3-cocycle) and a $G$-module $B$ we introduce a new cohomology theory $_2H^n(G,A,\kappa;B)$ which we call the secondary cohomology. We give a…