
We construct examples of finite covers of punctured surfaces where the first
rational homology is not spanned by lifts of simple closed curves. More
generally, for any set $\mathcal{O} \subset F_n$ which is contained in the
union of finitely many $Aut(F_n)$orbits, we construct finiteindex normal
subgroups of $F_n$ whose first rational homology is not spanned by powers of
elements of $\mathcal{O}$. These examples answer questions of FarbHensel,
Kent, Looijenga, and Marche. We also show that the quotient of $Out(F_n)$ by
the subgroup generated by kth powers of transvections often contains infinite
order elements, strengthening a result of BridsonVogtmann saying that it is
often infinite. Finally, for any set $\mathcal{O} \subset F_n$ which is
contained in the union of finitely many $Aut(F_n)$orbits, we construct
integral linear representations of free groups that have infinite image and map
all elements of $\mathcal{O}$ to torsion elements.

We prove a new structural result for the spherical Tits building attached to
SL_n(K) for many number fields K, and more generally for the fraction fields of
many Dedekind domains O: the Steinberg module St_n(K) is generated by integral
apartments if and only if the ideal class group cl(O) is trivial. We deduce
this integrality by proving that the complex of partial bases of O^n is
CohenMacaulay. We apply this to prove new vanishing and nonvanishing results
for H^{vcd}(SL_n(O_K); Q), where O_K is the ring of integers in a number field
and vcd is the virtual cohomological dimension of SL_n(O_K). The (non)vanishing
depends on the (non)triviality of the class group of O_K. We also obtain a
vanishing theorem for the cohomology H^{vcd}(SL_n(O_K); V) with twisted
coefficients V.

For a field $k$, we prove that the $i$th homology of the groups $GL_n(k)$,
$SL_n(k)$, $Sp_{2n}(k)$, $SO_{n,n}(k)$, and $SO_{n,n+1}(k)$ with coefficients
in their Steinberg representations vanish for $n \geq 2i+2$.

We calculate the abelianizations of the level $L$ subgroup of the genus $g$
mapping class group and the level $L$ congruence subgroup of the $2g \times 2g$
symplectic group for $L$ odd and $g \geq 3$.

We prove that every term of the lower central series and Johnson filtrations
of the Torelli subgroups of the mapping class group and the automorphism group
of a free group are finitely generated in a stable range. This was originally
proved for the commutator subgroup by ErshovHe.

We construct analogues of FImodules where the role of the symmetric group is
played by the general linear groups and the symplectic groups over finite rings
and prove basic structural properties such as Noetherianity. Applications
include a proof of the LannesSchwartz Artinian conjecture in the generic
representation theory of finite fields, very general homological stability
theorems with twisted coefficients for the general linear and symplectic groups
over finite rings, and representationtheoretic versions of homological
stability for congruence subgroups of the general linear group, the
automorphism group of a free group, the symplectic group, and the mapping class
group.

Let IA_n be the Torelli subgroup of Aut(F_n). We give an explicit finite set
of generators for H_2(IA_n) as a GL_n(Z)module. Corollaries include a version
of surjective representation stability for H_2(IA_n), the vanishing of the
GL_n(Z)coinvariants of H_2(IA_n), and the vanishing of the second rational
homology group of the level l congruence subgroup of Aut(F_n). Our generating
set is derived from a new group presentation for IA_n which is infinite but
which has a simple recursive form.

We prove that the moduli space of curves with level structures has an
enormous amount of rational cohomology in its cohomological dimension. As an
application, we prove that the coherent cohomological dimension of the moduli
space of curves is at least g2. Well known conjectures of Looijenga would
imply that this is sharp.

We prove that H^{d1}(SL_n Z; Q) = 0, where d = nchoose2 is the
cohomological dimension of SL_n Z, and similarly for GL_n Z. We also prove
analogous vanishing theorems for cohomology with coefficients in a rational
representation of the algebraic group GL_n. These theorems are derived from a
presentation of the Steinberg module for SL_n Z whose generators are integral
apartment classes, generalizing Manin's presentation for the Steinberg module
of SL_2 Z. This presentation was originally constructed by Bykovskii. We give a
new topological proof of it.

We develop an analogue of the Birman exact sequence for the Torelli subgroup
of Aut(F_n). This builds on earlier work of the authors who studied an analogue
of the Birman exact sequence for the entire group Aut(F_n). These results play
an important role in the authors' recent work on the second homology group of
the Torelli group.

We give a new proof of a celebrated theorem of Dennis Johnson that asserts
that the kernel of the Johnson homomorphism on the Torelli subgroup of the
mapping class group is generated by separating twists. In fact, we prove a more
general result that also applies to "subsurface Torelli groups". Using this, we
extend Johnson's calculation of the rational abelianization of the Torelli
group not only to the subsurface Torelli groups, but also to finiteindex
subgroups of the Torelli group that contain the kernel of the Johnson
homomorphism.

The homology groups of many natural sequences of groups
$\{G_n\}_{n=1}^{\infty}$ (e.g. general linear groups, mapping class groups,
etc.) stabilize as $n \rightarrow \infty$. Indeed, there is a wellknown
machine for proving such results that goes back to early work of Quillen.
Church and Farb discovered that many sequences of groups whose homology groups
do not stabilize in the classical sense actually stabilize in some sense as
representations. They called this phenomena representation stability. We prove
that the homology groups of congruence subgroups of $GL_n(R)$ (for almost any
reasonable ring $R$) satisfy a strong version of representation stability that
we call central stability. The definition of central stability is very
different from ChurchFarb's definition of representation stability (it is
defined via a universal property), but we prove that it implies representation
stability. Our main tool is a new machine for proving central stability that is
analogous to the classical homological stability machine.

Answering a question of FarbLeiningerMargalit, we give explicit lower
bounds for the dilatations of pseudoAnosov mapping classes lying in the kth
term of the Johnson filtration of the mapping class group.

For k >= 1, let Torelli_g^1(k) be the kth term in the Johnson filtration of
the mapping class group of a genus g surface with one boundary component. We
prove that for all k, there exists some G_k >= 0 such that Torelli_g^1(k) is
generated by elements which are supported on subsurfaces whose genus is at most
G_k. We also prove similar theorems for the Johnson filtration of Aut(F_n) and
for certain modp analogues of the Johnson filtrations of both the mapping
class group and of Aut(F_n). The main tools used in the proofs are the related
theories of FImodules (due to the first author together with Ellenberg and
Farb) and central stability (due to the second author), both of which concern
the representation theory of the symmetric groups over Z.

We prove that the hyperelliptic Torelli group is generated by Dehn twists
about separating curves that are preserved by the hyperelliptic involution.
This verifies a conjecture of Hain. The hyperelliptic Torelli group can be
identified with the kernel of the Burau representation evaluated at t=1 and
also the fundamental group of the branch locus of the period mapping, and so we
obtain analogous generating sets for those. One application is that each
component in Torelli space of the locus of hyperelliptic curves becomes simply
connected when curves of compact type are added.

In this paper we conjecture the stability and vanishing of a large piece of
the unstable rational cohomology of SL_n Z, of mapping class groups, and of
Aut(F_n).

We study the complex of partial bases of a free group, which is an analogue
for $\Aut(F_n)$ of the curve complex for the mapping class group. We prove that
it is connected and simply connected, and we also prove that its quotient by
the Torelli subgroup of $\Aut(F_n)$ is highly connected. Using these results,
we give a new, topological proof of a theorem of Magnus that asserts that the
Torelli subgroup of $\Aut(F_n)$ is finitely generated.

A wellknown conjecture asserts that the mapping class group of a surface
(possibly with punctures/boundary) does not virtually surject onto $\Z$ if the
genus of the surface is large. We prove that if this conjecture holds for some
genus, then it also holds for all larger genera. We also prove that if there is
a counterexample to this conjecture, then there must be a counterexample of a
particularly simple form. We prove these results by relating the conjecture to
a family of linear representations of the mapping class group that we call the
higher Prym representations. They generalize the classical symplectic
representation.

We give various estimates of the minimal number of selfintersections of a
nontrivial element of the kth term of the lower central series and derived
series of the fundamental group of a surface. As an application, we obtain a
new topological proof of the fact that free groups and fundamental groups of
closed surfaces are residually nilpotent. Along the way, we prove that a
nontrivial element of the kth term of the lower central series of a nonabelian
free group has to have word length at least $k$ in a free generating set.

The Birman exact sequence describes the effect on the mapping class group of
a surface with boundary of gluing discs to the boundary components. We
construct an analogous exact sequence for the automorphism group of a free
group. For the mapping class group, the kernel of the Birman exact sequence is
a surface braid group. We prove that in the context of the automorphism group
of a free group, the natural kernel is finitely generated. However, it is not
finitely presentable; indeed, we prove that its second rational homology group
has infinite rank by constructing an explicit infinite collection of linearly
independent abelian cycles. We also determine the abelianization of our kernel
and build a simple infinite presentation for it. The key to many of our proofs
are several new generalizations of the Johnson homomorphisms.

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 second cohomology group of the level p congruence subgroup of the
mapping class group, following my papers "The second rational homology group of
the moduli space of curves with level structures" and "The Picard group of the
moduli space of curves with level structures".

Proving a conjecture of Dennis Johnson, we show that the Torelli subgroup of
the mapping class group has a finite generating set whose size grows cubically
with respect to the genus of the surface. Our main tool is a new space called
the handle graph on which the Torelli group acts cocompactly.

Let $\Gamma$ be a finiteindex 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 $H_2(\Gamma;\Q) \cong \Q$ for $g \geq 5$. A corollary of this is that the
rational Picard groups of the associated finite covers of the moduli space of
curves are equal to $\Q$. We also prove analogous results for surface with
punctures and boundary components.

Let Mod_g be the mapping class group of a genus g >= 2 surface. The group
Mod_g has virtual cohomological dimension 4g5. In this note we use a theorem
of Broaddus and the combinatorics of chord diagrams to prove that
H^{4g5}(Mod_g; Q) = 0.

For $4 \nmid L$ and $g$ large, we calculate the integral Picard groups of the
moduli spaces of curves and principally polarized abelian varieties with level
$L$ structures. In particular, we determine the divisibility properties of the
standard line bundles over these moduli spaces and we calculate the second
integral cohomology group of the level $L$ subgroup of the mapping class group
(in a previous paper, the author determined this rationally). This entails
calculating the abelianization of the level $L$ subgroup of the mapping class
group, generalizing previous results of Perron, Sato, and the author. Finally,
along the way we calculate the first homology group of the mod $L$ symplectic
group with coefficients in the adjoint representation.