arXiv subjects
Publications and source records attributed to Andrew Putman.
For surfaces of genus $g \geq 3$ with at most one boundary component, we give explicit generating sets for the kernel of the Birman-Craggs-Johnson homomorphism and the commutator subgroup of the Torelli group. As an application, we give a new proof of Johnson's calculation of the abelianization of the Torelli group.
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 first cohomology group, and Kupers--Randal-Williams's calculation of the maximal algebraic subrepresentation of the second cohomology group. This paper gives an exposition of both of these results, including prerequisite material about the Johnson homomorphism.
We prove that the homology groups of any connected reductive group over a field with coefficients in the Steinberg representation vanish in a range. The generalizes work of Ash-Putman-Sam on the classical split groups. We state a connectivity conjecture that would allow us to prove such a vanishing result for $SL_n(\mathbb{Z})$, as was conjectured by Church-Farb-Putman. We prove some special cases of this conjecture and use it to refine known results about the first and second of homology of $SL_n(\mathbb{Z})$ with Steinberg coefficients.
We calculate the second rational homology group of the Torelli group for $g \geq 6$.
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 boundary component these twisted homology groups are finite-dimensional, but for surfaces with one puncture they are infinite-dimensional. These results play an important role in a recent paper of the authors calculating the second rational homology group of the Torelli group.
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 the second homology group of the Torelli group.
For surface groups and right-angled Artin groups, we prove lower bounds on the shortest word in the generators representing a nontrivial element of the kth term of the lower central series.
Putman and Wieland conjectured that if $\tilde{\Sigma} \rightarrow \Sigma$ is a finite branched cover between closed oriented surfaces of sufficiently high genus, then the orbits of all nonzero elements of $H_1(\tilde{\Sigma};\mathbb{Q})$ under the action of lifts to $\tilde{\Sigma}$ of mapping classes on $\Sigma$ are infinite. We prove that this holds if $H_1(\tilde{\Sigma};\mathbb{Q})$ is generated by the homology classes of lifts of simple closed curves on $\Sigma$. We also prove that the subspace of $H_1(\tilde{\Sigma};\mathbb{Q})$ spanned by such lifts is a symplectic subspace. Finally, simple closed curves lie on subsurfaces homeomorphic to 2-holed spheres, and we prove that $H_1(\tilde{\Sigma};\mathbb{Q})$ is generated by the homology classes of lifts of loops on $\Sigma$ lying on subsurfaces homeomorphic to 3-holed spheres.
We prove that in a stable range, the rational cohomology of the moduli space of curves with level structures is the same as that of the ordinary moduli space of curves.
Answering a question of Hatcher-Vogtmann, we prove that the top homology group of the free factor complex is not the dualizing module for $\text{Aut}(F_n)$, at least for $n = 5$.
We introduce a new method for proving twisted homological stability, and use it to prove such results for symmetric groups and general linear groups. In addition to sometimes slightly improving the stable range given by the traditional method (due to Dwyer), it is easier to adapt to nonstandard situations. As an illustration of this, we generalize to $GL_n$ of many rings $R$ a theorem of Borel which says that passing from $GL_n$ of a number ring to a finite-index subgroup does not change the rational cohomology. Charney proved this generalization for trivial coefficients, and we extend it to twisted coefficients.
We prove that the Steinberg representation of a connected reductive group over an infinite field is irreducible. For finite fields, this is a classical theorem of Steinberg and Curtis.
A beautifully simple free generating set for the commutator subgroup of a free group was constructed by Tomaszewski. We give a new geometric proof of his theorem, and show how to give a similar free generating set for the commutator subgroup of a surface group. We also give a simple representation-theoretic description of the structure of the abelianizations of these commutator subgroups and calculate their homology.
Let $M_n$ be the connect sum of $n$ copies of $S^2 \times S^1$. A classical theorem of Laudenbach says that the mapping class group $\text{Mod}(M_n)$ is an extension of $\text{Out}(F_n)$ by a group $(\mathbb{Z}/2)^n$ generated by sphere twists. We prove that this extension splits, so $\text{Mod}(M_n)$ is the semidirect product of $\text{Out}(F_n)$ by $(\mathbb{Z}/2)^n$, which $\text{Out}(F_n)$ acts on via the dual of the natural surjection $\text{Out}(F_n) \rightarrow \text{GL}_n(\mathbb{Z}/2)$. Our splitting takes $\text{Out}(F_n)$ to the subgroup of $\text{Mod}(M_n)$ consisting of mapping classes that fix the homotopy class of a trivialization of the tangent bundle of $M_n$. Our techniques also simplify various aspects of Laudenbach's original proof, including the identification of the twist subgroup with $(\mathbb{Z}/2)^n$.
We prove that various subgroups of the mapping class group $Mod(Σ)$ of a surface $Σ$ are at least exponentially distorted. Examples include the Torelli group (answering a question of Hamenstadt), the "point-pushing" and surface braid subgroups, and the Lagrangian subgroup. Our techniques include a method to compute lower bounds on distortion via representation theory and an extension of Johnson theory to arbitrary subgroups of $H_1(Σ;\mathbb{Z})$.
Let $Γ_n(p)$ be the level-$p$ principal congruence subgroup of $\text{SL}_n(\mathbb{Z})$. Borel-Serre proved that the cohomology of $Γ_n(p)$ vanishes above degree $\binom{n}{2}$. We study the cohomology in this top degree $\binom{n}{2}$. Let $\mathcal{T}_n(\mathbb{Q})$ denote the Tits building of $\text{SL}_n(\mathbb{Q})$. Lee-Szczarba conjectured that $H^{\binom{n}{2}}(Γ_n(p))$ is isomorphic to $\widetilde{H}_{n-2}(\mathcal{T}_n(\mathbb{Q})/Γ_n(p))$ and proved that this holds for $p=3$. We partially prove and partially disprove this conjecture by showing that a natural map $H^{\binom{n}{2}}(Γ_n(p)) \rightarrow \widetilde{H}_{n-2}(\mathcal{T}_n(\mathbb{Q})/Γ_n(p))$ is always surjective, but is only injective for $p \leq 5$. In particular, we completely calculate $H^{\binom{n}{2}}(Γ_n(5))$ and improve known lower bounds for the ranks of $H^{\binom{n}{2}}(Γ_n(p))$ for $p \geq 5$.
For a finite ring $R$, not necessarily commutative, we prove that the category of $\text{VIC}(R)$-modules over a left Noetherian ring $\mathbf{k}$ is locally Noetherian, generalizing a theorem of the authors that dealt with commutative $R$. As an application, we prove a very general twisted homology stability for $\text{GL}_n(R)$ with $R$ a finite noncommutative ring.
We give two proofs that appropriately defined congruence subgroups of the mapping class group of a surface with punctures/boundary have enormous amounts of rational cohomology in their virtual cohomological dimension. In particular we give bounds that are super-exponential in each of three variables: number of punctures, number of boundary components, and genus, generalizing work of Fullarton-Putman. Along the way, we give a simplified account of a theorem of Harer explaining how to relate the homotopy type of the curve complex of a multiply-punctured surface to the curve complex of a once-punctured surface through a process that can be viewed as an analogue of a Birman exact sequence for curve complexes. As an application, we prove upper and lower bounds on the coherent cohomological dimension of the moduli space of curves with marked points. For $g \leq 5$, we compute this coherent cohomological dimension for any number of marked points. In contrast to our bounds on cohomology, when the surface has $n \geq1$ marked points, these bounds turn out to be independent of $n$, and depend only on the genus.