Related papers: The second rational homology of the Torelli group

We prove that rational homology of the Torelli group of genus g is infinite dimensional, provided g>6. This means that rational homology of the Torelli space of genus g>6 is infinite dimensional. The Torelli groups with marked points are…

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…

We describe the ring structure of the rational cohomology of the Torelli groups of the manifolds $\#^g S^n \times S^n$ in a stable range, for $2n \geq 6$. Some of our results are also valid for $2n=2$, where they are closely related to…

Minahan and the author recently proved results that allow the calculation of the second rational cohomology group of the Torelli group. This builds on two key ingredients: Hain's calculation of the image of the cup product pairing on the…

The Torelli group of $W_g = \#^g S^n \times S^n$ is the subgroup of the diffeomorphisms of $W_g$ fixing a disc which act trivially on $H_n(W_g;Z)$. The rational cohomology groups of the Torelli group are representations of an arithmetic…

We completely describe the algebraic part of the rational cohomology of the Torelli groups of the manifolds $\#^g S^n \times S^n$ relative to a disc in a stable range, for $2n \geq 6$. Our calculation is also valid for $2n=2$ assuming that…

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 determine the second homology group of the homological Goldman Lie algebra for an oriented surface.

We develop a theory of equivariant group presentations and relate them to the second homology group of a group. Our main application says that the second homology group of the Torelli subgroup of the mapping class group is finitely…

We compute the first, second, third, and fifth rational cohomology groups of the moduli space of stable n-pointed genus g curves, for all g and n, using (mostly) algebro-geometric techniques.

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…

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…

The rational homology group of the order complex of non-even partitions of a finite set is calculated. A twisted version of the Goresky-MacPherson approach to similar homology calculations is proposed.

We study the first homology group of the mapping class group and Torelli group with coefficients in the first rational homology group of the universal abelian cover of the surface. We prove two contrasting results: for surfaces with one…

We prove that the cohomological dimension of the Torelli group for a closed connected orientable surface of genus g at least 2 is equal to 3g-5. This answers a question of Mess, who proved the lower bound and settled the case of g=2. We…

In this paper, we compute the second homology groups of the automorphism group of a free group with coefficients in the abelianization of the free group and its dual group except for 2-torsion part, using combinatorial group theory.

In this paper, we compute the second mod $2$ homology of an arbitrary Artin group, without assuming the $K(\pi,1)$ conjecture. The key ingredients are (A) Hopf's formula for the second integral homology of a group and (B) Howlett's result…

We prove that the moduli space of tetragonal curves of genus g>6 is rational when g is congruent to 1, 2, 5, 6, 9, 10 modulo 12 and not equal to 9, 45.

Letting $G=F/R$ be a finitely-presented group, Hopf's formula expresses the second integral homology of $G$ in terms of $F$ and $R$. Expanding on previous work, we explain how to find generators of $H_2(G;\mathbb{F}_p)$. The context of the…

We compute the top-weight rational cohomology of $A_g$ for $g=5$, $6$, and $7$, and we give some vanishing results for the top-weight rational cohomology of $A_8, A_9,$ and $ A_{10}$. When $g=5$ and $g=7$, we exhibit nonzero cohomology…