BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Andrew Putman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
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.
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 is finitely generated in a linear stable range. This was originally proved for the second terms by Ershov and He.
For a number ring $\mathcal{O}$, Borel and Serre proved that $\text{SL}_n(\mathcal{O})$ is a virtual duality group whose dualizing module is the Steinberg module. They also proved that $\text{GL}_n(\mathcal{O})$ is a virtual duality group. In contrast to $\text{SL}_n(\mathcal{O})$, we prove that the dualizing module of $\text{GL}_n(\mathcal{O})$ is sometimes the Steinberg module, but sometimes instead is a variant that takes into account a sort of orientation. Using this, we obtain vanishing and nonvanishing theorems for the cohomology of $\text{GL}_n(\mathcal{O})$ in its virtual cohomological dimension.
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})$.
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 generated as an $Sp(2g,\mathbb{Z})$-module.
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 Cohen-Macaulay. 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.
Let $R$ be a (not necessarily commutative) ring whose additive group is finitely generated and let $U_n(R) \subset GL_n(R)$ be the group of upper-triangular unipotent matrices over $R$. We study how the homology groups of $U_n(R)$ vary with $n$ from the point of view of representation stability. Our main theorem asserts that if for each $n$ we have representations $M_n$ of $U_n(R)$ over a ring $\mathbf{k}$ that are appropriately compatible and satisfy suitable finiteness hypotheses, then the rule $[n] \mapsto \widetilde{H}_i(U_n(R),M_n)$ defines a finitely generated OI-module. As a consequence, if $\mathbf{k}$ is a field then $dim \widetilde{H}_i(U_n(R),\mathbf{k})$ is eventually equal to a polynomial in $n$. We also prove similar results for the Iwahori subgroups of $GL_n(\mathcal{O})$ for number rings $\mathcal{O}$.
We give a new proof of a theorem of D. Calegari that says that the Cayley graph of a surface group with respect to any generating set lying in finitely many mapping class group orbits has infinite diameter. This applies, for instance, to the generating set consisting of all simple closed curves.
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 g-2. Well known conjectures of Looijenga would imply that this is sharp.
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.
Answering a question of Farb-Leininger-Margalit, we give explicit lower bounds for the dilatations of pseudo-Anosov mapping classes lying in the kth term of the Johnson filtration of the mapping class 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 finite-index subgroups of the Torelli group that contain the kernel of the Johnson homomorphism.
For k >= 1, let Torelli_g^1(k) be the k-th 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 mod-p 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 FI-modules (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).
A well-known 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 self-intersections 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.
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.
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".
We calculate the first homology group of the mapping class group with coefficients in the first rational homology group of the universal abelian $\Z / L \Z$-cover of the surface. If the surface has one marked point, then the answer is $\Q^{τ(L)}$, where $τ(L)$ is the number of positive divisors of $L$. If the surface instead has one boundary component, then the answer is $\Q$. We also perform the same calculation for the level $L$ subgroup of the mapping class group. Set $H_L = H_1(Σ_g;\Z/L\Z)$. If the surface has one marked point, then the answer is $\Q[H_L]$, the rational group ring of $H_L$. If the surface instead has one boundary component, then the answer is $\Q$.
Consider a group $G$ acting nicely on a simply-connected simplicial complex $X$. Numerous classical methods exist for using this group action to produce a presentation for $G$. For the case that $X/G$ is 2-connected, we give a new method that has the novelty that one does not have to identify a fundamental domain for the action. Indeed, the resulting presentation is canonical in the sense that no arbitrary choices need to be made. It can be viewed as a nonabelian analogue of a simple result in the study of equivariant homology.
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 Mod_g be the mapping class group of a genus g >= 2 surface. The group Mod_g has virtual cohomological dimension 4g-5. In this note we use a theorem of Broaddus and the combinatorics of chord diagrams to prove that H^{4g-5}(Mod_g; Q) = 0.
Let $Γ$ be a finite-index subgroup of the mapping class group of a closed genus $g$ surface that contains the Torelli group. For instance, $Γ$ can be the level $L$ subgroup or the spin mapping class group. We show that $H_2(Γ;\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.
For some $g \geq 3$, let $Γ$ be a finite index subgroup of the mapping class group of a genus $g$ surface (possibly with boundary components and punctures). An old conjecture of Ivanov says that the abelianization of $Γ$ should be finite. In this note, we prove two theorems supporting this conjecture. For the first, let $T_x$ denote the Dehn twist about a simple closed curve $x$. For some $n \geq 1$, we have $T_x^n \in Γ$. We prove that $T_x^n$ is torsion in the abelianization of $Γ$. Our second result shows that the abelianization of $Γ$ is finite if $Γ$ contains a "large chunk" (in a certain technical sense) of the Johnson kernel, that is, the subgroup of the mapping class group generated by twists about separating curves. This generalizes work of Hain and Boggi.
In this paper, we construct an infinite presentation of the Torelli subgroup of the mapping class group of a surface whose generators consist of the set of all "separating twists", all "bounding pair maps", and all "commutators of simply intersecting pairs" and whose relations all come from a short list of topological configurations of these generators on the surface. Aside from a few obvious ones, all of these relations come from a set of embeddings of groups derived from surface groups into the Torelli group. In the process of analyzing these embeddings, we derive a novel presentation for the fundamental group of a closed surface whose generating set is the set of all simple closed curves.
Let $f$ be the gluing map of a Heegaard splitting of a 3-manifold $W$. The goal of this paper is to determine the information about $W$ contained in the image of $f$ under the symplectic representation of the mapping class group. We prove three main results. First, we show that the first homology group of the three manifold together with Seifert's linking form provides a complete set of stable invariants. Second, we give a complete, computable set of invariants for these linking forms. Third, we show that a slight augmentation of Birman's determinantal invariant for a Heegaard splitting gives a complete set of unstable invariants.
This note is devoted to a trick which yields almost trivial proofs that certain complexes associated to topological surfaces are connected or simply connected. Applications include new proofs that the complexes of curves, separating curves, nonseparating curves, pants, and cut systems are all connected for genus $g \gg 0$. We also prove that two new complexes are connected : one involves curves which split a genus $2g$ surface into two genus $g$ pieces, and the other involves curves which are homologous to a fixed curve. The connectivity of the latter complex can be interpreted as saying the ``homology'' relation on the surface is (for $g \geq 3$) generated by ``embedded/disjoint homologies''. We finally prove that the complex of separating curves is simply connected for $g \geq 4$.
We introduce machinery to allow ``cut-and-paste''-style inductive arguments in the Torelli subgroup of the mapping class group. In the past these arguments have been problematic because restricting the Torelli group to subsurfaces gives different groups depending on how the subsurfaces are embedded. We define a category $\TSur$ whose objects are surfaces together with a decoration restricting how they can be embedded into larger surfaces and whose morphisms are embeddings which respect the decoration. There is a natural ``Torelli functor'' on this category which extends the usual definition of the Torelli group on a closed surface. Additionally, we prove an analogue of the Birman exact sequence for the Torelli groups of surfaces with boundary and use the action of the Torelli group on the complex of curves to find generators for the Torelli group. For genus $g \geq 1$ only twists about (certain) separating curves and bounding pairs are needed, while for genus $g=0$ a new type of generator (a ``commutator of a simply intersecting pair'') is needed. As a special case, our methods provide a new, more conceptual proof of the classical result of Birman-Powell which says that the Torelli group on a closed surface is generated by twists about separating curves and bounding pairs.
We bound the value of the Casson invariant of any integral homology 3-sphere $M$ by a constant times the distance-squared to the identity, measured in any word metric on the Torelli group $\T$, of the element of $\T$ associated to any Heegaard splitting of $M$. We construct examples which show this bound is asymptotically sharp.
Let $Γ$ be the fundamental group of a manifold modeled on three dimensional Sol geometry. We prove that $Γ$ has a finite index subgroup $G$ which has a rational growth series with respect to a natural generating set. We do this by enumerating $G$ by a regular language. However, in contrast to most earlier proofs of this sort our regular language is not a language of words in the generating set, but rather reflects a different geometric structure in $G$.