Showing 1–50 of 52 results for author: Putman, A

Word length versus lower central series depth for surface groups and RAAGs

Authors: Justin Malestein, Andrew Putman

Abstract: 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. 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. △ Less

Submitted 7 February, 2024; v1 submitted 10 July, 2023; originally announced July 2023.

Comments: 11 pages, 4 figures, minor revision; to appear in Groups Geom. Dyn

Generating the homology of covers of surfaces

Authors: Marco Boggi, Andrew Putman, Nick Salter

Abstract: Putman and Wieland conjectured that if $\tildeΣ \rightarrow Σ$ is a finite branched cover between closed oriented surfaces of sufficiently high genus, then the orbits of all nonzero elements of $H_1(\tildeΣ;\mathbb{Q})$ under the action of lifts to $\tildeΣ$ of map** classes on $Σ$ are infinite. We prove that this holds if $H_1(\tildeΣ;\mathbb{Q})$ is generated by the homology classes of lifts o… ▽ More Putman and Wieland conjectured that if $\tildeΣ \rightarrow Σ$ is a finite branched cover between closed oriented surfaces of sufficiently high genus, then the orbits of all nonzero elements of $H_1(\tildeΣ;\mathbb{Q})$ under the action of lifts to $\tildeΣ$ of map** classes on $Σ$ are infinite. We prove that this holds if $H_1(\tildeΣ;\mathbb{Q})$ is generated by the homology classes of lifts of simple closed curves on $Σ$. We also prove that the subspace of $H_1(\tildeΣ;\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Σ;\mathbb{Q})$ is generated by the homology classes of lifts of loops on $Σ$ lying on subsurfaces homeomorphic to 3-holed spheres. △ Less

Submitted 31 January, 2024; v1 submitted 22 May, 2023; originally announced May 2023.

Comments: 16 pages, 5 figures; added more details; to appear in Bull. Lond. Math. Soc

The stable cohomology of the moduli space of curves with level structures

Authors: Andrew Putman

Abstract: 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. 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. △ Less

Submitted 20 December, 2022; v1 submitted 13 September, 2022; originally announced September 2022.

Comments: 56 pages, 25 figures; minor revision, submitted version

The free factor complex and the dualizing module for the automorphism group of a free group

Authors: Zachary Himes, Jeremy Miller, Sam Nariman, Andrew Putman

Abstract: 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$. 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$. △ Less

Submitted 8 November, 2022; v1 submitted 6 March, 2022; originally announced March 2022.

Comments: 30 pages, minor revision; to appear in IMRN

Journal ref: Int. Math. Res. Not. (2023), no. 22, 19020-19068

A new approach to twisted homological stability, with applications to congruence subgroups

Authors: Andrew Putman

Abstract: 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 whi… ▽ More 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. △ Less

Submitted 3 November, 2023; v1 submitted 28 September, 2021; originally announced September 2021.

Comments: 58 pages, 1 figure; minor revision; to appear in J. Topol

The Steinberg representation is irreducible

Authors: Andrew Putman, Andrew Snowden

Abstract: 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. 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. △ Less

Submitted 16 March, 2022; v1 submitted 1 July, 2021; originally announced July 2021.

Comments: 28 pages, major revision, to appear in Duke Math. J

Journal ref: Duke Math. J. 172 (2023), no. 4, 775-808

The commutator subgroups of free groups and surface groups

Authors: Andrew Putman

Abstract: 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 calcu… ▽ More 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. △ Less

Submitted 7 February, 2022; v1 submitted 14 January, 2021; originally announced January 2021.

Comments: 20 pages, 4 figures; minor revision; to appear in Enseign. Math

Journal ref: Enseign. Math. 68 (2022), no. 3-4, 389-408

The map** class group of connect sums of $S^2 \times S^1$

Authors: Tara Brendle, Nathan Broaddus, Andrew Putman

Abstract: Let $M_n$ be the connect sum of $n$ copies of $S^2 \times S^1$. A classical theorem of Laudenbach says that the map** 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)$ act… ▽ More Let $M_n$ be the connect sum of $n$ copies of $S^2 \times S^1$. A classical theorem of Laudenbach says that the map** 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 map** 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$. △ Less

Submitted 7 June, 2022; v1 submitted 2 December, 2020; originally announced December 2020.

Comments: 18 pages, 2 figures; to appear in Trans. Amer. Math. Soc

Journal ref: Trans. Amer. Math. Soc. 376 (2023), 2557-2572

VIC-modules over noncommutative rings

Authors: Andrew Putman, Steven V Sam

Abstract: 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. 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. △ Less

Submitted 21 August, 2022; v1 submitted 14 May, 2020; originally announced May 2020.

Comments: 23 pages, minor revision. To appear in Selecta Math

Journal ref: Selecta Math. (N.S.) 28 (2022), no. 5, Paper No. 88

The high-dimensional cohomology of the moduli space of curves with level structures II: punctures and boundary

Authors: Tara Brendle, Nathan Broaddus, Andrew Putman

Abstract: We give two proofs that appropriately defined congruence subgroups of the map** 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-Putm… ▽ More We give two proofs that appropriately defined congruence subgroups of the map** 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. △ Less

Submitted 17 February, 2022; v1 submitted 24 March, 2020; originally announced March 2020.

Comments: 30 pages, 3 figures; minor revision; to appear in Israel J. Math

On the top dimensional cohomology groups of congruence subgroups of $\text{SL}_n(\mathbb{Z})$

Authors: Jeremy Miller, Peter Patzt, Andrew Putman

Abstract: 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… ▽ More 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$. △ Less

Submitted 6 June, 2020; v1 submitted 5 September, 2019; originally announced September 2019.

Comments: 51 pages, 6 figures; minor corrections; to appear in Geom. Topol

Journal ref: Geom. Topol. 25 (2021) 999-1058

The dualizing module and top-dimensional cohomology group of $\text{GL}_n(\mathcal{O})$

Authors: Andrew Putman, Daniel Studenmund

Abstract: 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 ins… ▽ More 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. △ Less

Submitted 23 April, 2021; v1 submitted 3 September, 2019; originally announced September 2019.

Comments: 34 pages, minor revision. To appear in Math. Z

Journal ref: Math. Z. 300 (2022), no. 1, 1-31

Partial Torelli groups and homological stability

Authors: Andrew Putman

Abstract: We prove a homological stability theorem for the subgroup of the map** class group acting as the identity on some fixed portion of the first homology group of the surface. We also prove a similar theorem for the subgroup of the map** class group preserving a fixed map from the fundamental group to a finite group, which can be viewed as a map** class group version of a theorem of Ellenberg-Ve… ▽ More We prove a homological stability theorem for the subgroup of the map** class group acting as the identity on some fixed portion of the first homology group of the surface. We also prove a similar theorem for the subgroup of the map** class group preserving a fixed map from the fundamental group to a finite group, which can be viewed as a map** class group version of a theorem of Ellenberg-Venkatesh-Westerland about braid groups. These results require studying various simplicial complexes formed by subsurfaces of the surface, generalizing work of Hatcher-Vogtmann. △ Less

Submitted 26 June, 2022; v1 submitted 19 January, 2019; originally announced January 2019.

Comments: 65 pages, 71 figures; major revision; to appear in Algebr. Geom. Topol

Journal ref: Algebr. Geom. Topol. 23 (2023) 3417-3496

Equivariant group presentations and the second homology group of the Torelli group

Authors: Martin Kassabov, Andrew Putman

Abstract: 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 map** class group is finitely generated as an $Sp(2g,\mathbb{Z})$-module. 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 map** class group is finitely generated as an $Sp(2g,\mathbb{Z})$-module. △ Less

Submitted 10 September, 2019; v1 submitted 3 July, 2018; originally announced July 2018.

Comments: 13 pages, 2 figures; minor corrections; to appear in Math. Ann

Journal ref: Math. Ann. 376 (2020), no. 1-2, 227-241

Surface groups, infinite generating sets, and stable commutator length

Authors: Dan Margalit, Andrew Putman

Abstract: 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 map** class group orbits has infinite diameter. This applies, for instance, to the generating set consisting of all simple closed curves. 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 map** class group orbits has infinite diameter. This applies, for instance, to the generating set consisting of all simple closed curves. △ Less

Submitted 19 March, 2019; v1 submitted 2 July, 2018; originally announced July 2018.

Comments: 8 pages, 2 figures; to appear in Proc. Roy. Soc. Edinburgh Sect. A

Journal ref: Proc. Roy. Soc. Edinburgh Sect. A. 150 (2020), no. 5, 2379-2386

Stability in the homology of unipotent groups

Authors: Andrew Putman, Steven V Sam, Andrew Snowden

Abstract: 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… ▽ More 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}$. △ Less

Submitted 19 August, 2019; v1 submitted 29 November, 2017; originally announced November 2017.

Comments: 33 pages; minor update; to appear in Algebra & Number Theory

MSC Class: 16P40; 20J05

Journal ref: Alg. Number Th. 14 (2020) 119-154

On finite generation of the Johnson filtrations

Authors: Thomas Church, Mikhail Ershov, Andrew Putman

Abstract: We prove that every term of the lower central series and Johnson filtrations of the Torelli subgroups of the map** 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. We prove that every term of the lower central series and Johnson filtrations of the Torelli subgroups of the map** 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. △ Less

Submitted 12 January, 2021; v1 submitted 13 November, 2017; originally announced November 2017.

Comments: 37 pages, 3 figures. Major revision (especially to Section 5), to appear in JEMS

Journal ref: J. Eur. Math. Soc. 24 (2022), no. 8, 2875-2914

Simple closed curves, finite covers of surfaces, and power subgroups of Out(F_n)

Authors: Justin Malestein, Andrew Putman

Abstract: 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 finite-index normal subgroups of $F_n$ whose first rational homology is not spanned by powers of elements of… ▽ More 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 finite-index normal subgroups of $F_n$ whose first rational homology is not spanned by powers of elements of $\mathcal{O}$. These examples answer questions of Farb-Hensel, 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 Bridson-Vogtmann 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. △ Less

Submitted 19 March, 2019; v1 submitted 21 August, 2017; originally announced August 2017.

Comments: 19 pages; minor revision; to appear in Duke Math. J

Journal ref: Duke Math. J. 168, no. 14 (2019), 2701-2726

Homological vanishing for the Steinberg representation

Authors: Avner Ash, Andrew Putman, Steven V Sam

Abstract: 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$. 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$. △ Less

Submitted 27 November, 2017; v1 submitted 26 April, 2017; originally announced April 2017.

Comments: 21 pages, 1 figure; major revision; to appear in Compositio Mathematica

MSC Class: 20J05; 20G10

Journal ref: Compositio Math. 154 (2018) 1111-1130

Generating the Johnson filtration II: finite generation

Authors: Thomas Church, Andrew Putman

Abstract: We prove that every term of the lower central series and Johnson filtrations of the Torelli subgroups of the map** 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 Ershov-He. We prove that every term of the lower central series and Johnson filtrations of the Torelli subgroups of the map** 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 Ershov-He. △ Less

Submitted 15 November, 2017; v1 submitted 5 April, 2017; originally announced April 2017.

Comments: 14 pages. After completing this paper, we learned that Ershov independently obtained similar results. The subsequent joint paper, with improved results, is arXiv:1711.04779. This version remains as a permanent preprint and will not be submitted for publication

The high-dimensional cohomology of the moduli space of curves with level structures

Authors: Neil Fullarton, Andrew Putman

Abstract: 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 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. △ Less

Submitted 29 November, 2017; v1 submitted 12 October, 2016; originally announced October 2016.

Comments: 25 pages, 2 figures; major revision; to appear in J. Eur. Math. Soc. (JEMS)

Journal ref: J. Eur. Math. Soc. 22 (2020), no. 4, 1261-1287

A Birman exact sequence for the Torelli subgroup of Aut(F_n)

Authors: Matthew B. Day, Andrew Putman

Abstract: 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 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. △ Less

Submitted 20 April, 2016; v1 submitted 31 July, 2015; originally announced July 2015.

Comments: 31 pages, minor revision; to appear in Int. J. Algebr. Comput

Journal ref: Internat. J. Algebra Comput. 26 (2016), no. 3, 585-617

The codimension-one cohomology of SL_n Z

Authors: Thomas Church, Andrew Putman

Abstract: We prove that H^{d-1}(SL_n Z; Q) = 0, where d = n-choose-2 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, generali… ▽ More We prove that H^{d-1}(SL_n Z; Q) = 0, where d = n-choose-2 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. △ Less

Submitted 15 July, 2016; v1 submitted 22 July, 2015; originally announced July 2015.

Comments: 26 pages. v2: final version, to appear in Geometry and Topology

Journal ref: Geom. Topol. 21 (2017) 999-1032

Integrality in the Steinberg module and the top-dimensional cohomology of SL_n(O_K)

Authors: Thomas Church, Benson Farb, Andrew Putman

Abstract: 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.… ▽ More 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. △ Less

Submitted 2 February, 2019; v1 submitted 6 January, 2015; originally announced January 2015.

Comments: 36 pages; final version; to appear in Amer. J. Math

Journal ref: Amer. J. Math. 141 (2019), no. 5, 1375-1419

On the second homology group of the Torelli subgroup of Aut(F_n)

Authors: Matthew B. Day, Andrew Putman

Abstract: 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… ▽ More 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. △ Less

Submitted 27 December, 2016; v1 submitted 26 August, 2014; originally announced August 2014.

Comments: 39 pages; minor revision; to appear in Geom. Topol

Journal ref: Geom. Topol. 21 (2017) 2851-2896

Representation stability and finite linear groups

Authors: Andrew Putman, Steven V Sam

Abstract: We construct analogues of FI-modules 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 Lannes--Schwartz Artinian conjecture in the generic representation theory of finite fields, very general homological stability theorems with twis… ▽ More We construct analogues of FI-modules 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 Lannes--Schwartz 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 representation-theoretic versions of homological stability for congruence subgroups of the general linear group, the automorphism group of a free group, the symplectic group, and the map** class group. △ Less

Submitted 15 February, 2017; v1 submitted 15 August, 2014; originally announced August 2014.

Comments: 53 pages, 5 figures; major revision; to appear in Duke Math J

MSC Class: 11F75; 16P40; 18A25; 20J05; 57M07

Journal ref: Duke Math. J. 166, no. 13 (2017), 2521-2598

Generating the Johnson filtration

Authors: Thomas Church, Andrew Putman

Abstract: For k >= 1, let Torelli_g^1(k) be the k-th term in the Johnson filtration of the map** 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 certai… ▽ More For k >= 1, let Torelli_g^1(k) be the k-th term in the Johnson filtration of the map** 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 map** 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. △ Less

Submitted 9 October, 2014; v1 submitted 27 November, 2013; originally announced November 2013.

Comments: 32 pages; v2: paper reorganized. Final version, to appear in Geometry and Topology

Journal ref: Geom. Topol. 19 (2015) 2217-2255

Pseudo-Anosov dilatations and the Johnson filtration

Authors: Justin Malestein, Andrew Putman

Abstract: Answering a question of Farb-Leininger-Margalit, we give explicit lower bounds for the dilatations of pseudo-Anosov map** classes lying in the kth term of the Johnson filtration of the map** class group. Answering a question of Farb-Leininger-Margalit, we give explicit lower bounds for the dilatations of pseudo-Anosov map** classes lying in the kth term of the Johnson filtration of the map** class group. △ Less

Submitted 2 February, 2015; v1 submitted 23 July, 2013; originally announced July 2013.

Comments: 20 pages, 3 figures; to appear in Groups Geom. Dyn

Journal ref: Groups Geom. Dyn. 10 (2016), no. 2, 771-793

Generators for the hyperelliptic Torelli group and the kernel of the Burau representation at t=-1

Authors: Tara Brendle, Dan Margalit, Andrew Putman

Abstract: 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 map**, and so we obtain analogous g… ▽ More 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 map**, 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. △ Less

Submitted 30 June, 2014; v1 submitted 16 November, 2012; originally announced November 2012.

Comments: 37 pages, 9 figures; Major revision, to appear in Inventiones Mathematicae

Journal ref: Invent. Math. 200 (2015), no. 1, 263-310

A stability conjecture for the unstable cohomology of SL_n Z, map** class groups, and Aut(F_n)

Authors: Thomas Church, Benson Farb, Andrew Putman

Abstract: In this paper we conjecture the stability and vanishing of a large piece of the unstable rational cohomology of SL_n Z, of map** class groups, and of Aut(F_n). In this paper we conjecture the stability and vanishing of a large piece of the unstable rational cohomology of SL_n Z, of map** class groups, and of Aut(F_n). △ Less

Submitted 23 November, 2013; v1 submitted 15 August, 2012; originally announced August 2012.

Comments: 18 pages. v2: final version, to appear in Algebraic Topology: Applications and New Directions, AMS Contemporary Mathematics Series

Journal ref: Contemporary Mathematics 620 (2014), 55-70

Stability in the homology of congruence subgroups

Authors: Andrew Putman

Abstract: The homology groups of many natural sequences of groups $\{G_n\}_{n=1}^{\infty}$ (e.g. general linear groups, map** class groups, etc.) stabilize as $n \rightarrow \infty$. Indeed, there is a well-known 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 ac… ▽ More The homology groups of many natural sequences of groups $\{G_n\}_{n=1}^{\infty}$ (e.g. general linear groups, map** class groups, etc.) stabilize as $n \rightarrow \infty$. Indeed, there is a well-known 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 Church-Farb'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. △ Less

Submitted 10 February, 2015; v1 submitted 23 January, 2012; originally announced January 2012.

Comments: 26 pages; to appear in Invent. Math

Journal ref: Invent. Math. 202 (2015), no. 3, 987-1027

The Torelli group and congruence subgroups of the map** class group

Authors: Andrew Putman

Abstract: 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 map** class group, following my papers "The second rational homology group of the moduli sp… ▽ More 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 map** 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". △ Less

Submitted 18 January, 2012; originally announced January 2012.

Comments: 26 pages, 8 figures; to appear in Park City Mathematics Series

Journal ref: in Moduli spaces of Riemann surfaces (Park City, UT, 2011), 167-194, IAS/Park City Math. Ser., 20 Amer. Math. Soc., Providence, RI

The rational cohomology of the map** class group vanishes in its virtual cohomological dimension

Authors: Thomas Church, Benson Farb, Andrew Putman

Abstract: Let Mod_g be the map** 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 Mod_g be the map** 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. △ Less

Submitted 6 October, 2011; v1 submitted 2 August, 2011; originally announced August 2011.

Comments: 4 pages. Final version, to appear in IMRN

Journal ref: Int. Math. Res. Not. (2012), no. 21, 5025-5030

Small generating sets for the Torelli group

Authors: Andrew Putman

Abstract: Proving a conjecture of Dennis Johnson, we show that the Torelli subgroup of the map** 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. Proving a conjecture of Dennis Johnson, we show that the Torelli subgroup of the map** 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. △ Less

Submitted 1 November, 2011; v1 submitted 16 June, 2011; originally announced June 2011.

Comments: 12 pages, 3 figures; serious revision; to appear in Geom. Topol

Journal ref: Geom. Topol. 16 (2012) 111-125

Abelian quotients of subgroups of the map** class group and higher Prym representations

Authors: Andrew Putman, Ben Wieland

Abstract: A well-known conjecture asserts that the map** 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 particular… ▽ More A well-known conjecture asserts that the map** 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 map** class group that we call the higher Prym representations. They generalize the classical symplectic representation. △ Less

Submitted 22 March, 2013; v1 submitted 14 June, 2011; originally announced June 2011.

Comments: 20 pages, 3 figures; appendix added containing a new counterexample in genus 1; to appear in J. London Math. Soc

Journal ref: J. London Math. Soc. (2) 88 (2013), no. 1, 79-96

A Birman exact sequence for Aut(F_n)

Authors: Matthew B. Day, Andrew Putman

Abstract: The Birman exact sequence describes the effect on the map** 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 map** 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… ▽ More The Birman exact sequence describes the effect on the map** 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 map** 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. △ Less

Submitted 30 April, 2012; v1 submitted 13 April, 2011; originally announced April 2011.

Comments: 37 pages, serious revision. To appear in Adv. Math

Journal ref: Adv. Math. 231 (2012), 243-275

The complex of partial bases for F_n and finite generation of the Torelli subgroup of Aut(F_n)

Authors: Matthew B. Day, Andrew Putman

Abstract: 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 map** 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 sub… ▽ More 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 map** 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. △ Less

Submitted 14 October, 2013; v1 submitted 8 December, 2010; originally announced December 2010.

Comments: 16 pages, small revisions; to appear in Geom. Dedicata

Journal ref: Geom. Dedicata 164 (2013), 139-153

The Picard group of the moduli space of curves with level structures

Authors: Andrew Putman

Abstract: 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 map** class group (in a prev… ▽ More 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 map** class group (in a previous paper, the author determined this rationally). This entails calculating the abelianization of the level $L$ subgroup of the map** 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. △ Less

Submitted 30 August, 2011; v1 submitted 4 August, 2009; originally announced August 2009.

Comments: 32 pages, 1 figure; substantial revision. To appear in Duke Math. J

Journal ref: Duke Math. J. 161, no. 4 (2012), 623-674

Abelian covers of surfaces and the homology of the level L map** class group

Authors: Andrew Putman

Abstract: We calculate the first homology group of the map** 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… ▽ More We calculate the first homology group of the map** 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 map** 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$. △ Less

Submitted 18 May, 2011; v1 submitted 10 July, 2009; originally announced July 2009.

Comments: 32 pages, 10 figures; numerous corrections and simplifications; to appear in J. Topol. Anal

Journal ref: J. Topol. Anal. 3 (2011), no. 3, 265-306

The Johnson homomorphism and its kernel

Authors: Andrew Putman

Abstract: 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 map** 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… ▽ More 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 map** 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. △ Less

Submitted 16 February, 2015; v1 submitted 2 April, 2009; originally announced April 2009.

Comments: 32 pages, 11 figures; major revision; to appear in J. Reine Angew. Math

Journal ref: J. Reine Angew. Math. 735 (2018), 109-141

Obtaining presentations from group actions without making choices

Authors: Andrew Putman

Abstract: 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… ▽ More 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. △ Less

Submitted 7 April, 2011; v1 submitted 26 January, 2009; originally announced January 2009.

Comments: 24 pages, 8 figures. Some small corrections. To appear in Algebr. Geom. Topol

Journal ref: Algebr. Geom. Topol. 11 (2011) 1737-1766

On the self-intersections of curves deep in the lower central series of a surface group

Authors: Justin Malestein, Andrew Putman

Abstract: 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 t… ▽ More 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. △ Less

Submitted 12 March, 2013; v1 submitted 16 January, 2009; originally announced January 2009.

Comments: 13 pages, 3 figures; a few corrections; to appear in Geom. Dedicata

Journal ref: Geom. Dedicata. 149 (2010), no. 1, 73-84

A note on the abelianizations of finite-index subgroups of the map** class group

Authors: Andrew Putman

Abstract: For some $g \geq 3$, let $Γ$ be a finite index subgroup of the map** 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… ▽ More For some $g \geq 3$, let $Γ$ be a finite index subgroup of the map** 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 map** class group generated by twists about separating curves. This generalizes work of Hain and Boggi. △ Less

Submitted 21 July, 2009; v1 submitted 28 November, 2008; originally announced December 2008.

Comments: 6 pages, 1 figure; a few revisions; to appear in Proc. Amer. Math. Soc

Journal ref: Proc. Amer. Math. Soc. 138 (2010) 753-758

The second rational homology group of the moduli space of curves with level structures

Authors: Andrew Putman

Abstract: Let $Γ$ be a finite-index subgroup of the map** class group of a closed genus $g$ surface that contains the Torelli group. For instance, $Γ$ can be the level $L$ subgroup or the spin map** 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… ▽ More Let $Γ$ be a finite-index subgroup of the map** class group of a closed genus $g$ surface that contains the Torelli group. For instance, $Γ$ can be the level $L$ subgroup or the spin map** 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. △ Less

Submitted 27 October, 2011; v1 submitted 25 September, 2008; originally announced September 2008.

Comments: 27 pages, 4 figures, mild revision. To appear in Adv. Math

Journal ref: Adv. Math. 229 (2012), 1205-1234

The abelianization of the level L map** class group

Authors: Andrew Putman

Abstract: We calculate the abelianizations of the level $L$ subgroup of the genus $g$ map** class group and the level $L$ congruence subgroup of the $2g \times 2g$ symplectic group for $L$ odd and $g \geq 3$. We calculate the abelianizations of the level $L$ subgroup of the genus $g$ map** class group and the level $L$ congruence subgroup of the $2g \times 2g$ symplectic group for $L$ odd and $g \geq 3$. △ Less

Submitted 18 April, 2017; v1 submitted 4 March, 2008; originally announced March 2008.

Comments: 9 pages, 1 figure; permanent preprint; added historical note discussing subsequent work on the subject

Symplectic Heegaard splittings and linked abelian groups

Authors: Joan S. Birman, Dennis Johnson, Andrew Putman

Abstract: 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 map** 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 i… ▽ More 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 map** 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. △ Less

Submitted 21 April, 2008; v1 submitted 13 December, 2007; originally announced December 2007.

Comments: 78 pages, 1 figure, final version; to appear in "Groups of Diffeomorphisms"

Journal ref: in "Groups of Diffeomorphisms", Adv. Stud. Pure Math., 52, Math. Soc. Japan, Tokyo, 2008, 135-220

The Casson invariant and the word metric on the Torelli group

Authors: Nathan Broaddus, Benson Farb, Andrew Putman

Abstract: 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. 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. △ Less

Submitted 21 September, 2007; v1 submitted 16 July, 2007; originally announced July 2007.

Comments: 5 pages, minor corrections; to appear in C. R. Math. Acad. Sci. Paris

Journal ref: C. R. Acad. Sci. Paris, Ser. I 345 (2007) 449--452

Irreducible Sp-representations and subgroup distortion in the map** class group

Authors: Nathan Broaddus, Benson Farb, Andrew Putman

Abstract: We prove that various subgroups of the map** 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 th… ▽ More We prove that various subgroups of the map** 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})$. △ Less

Submitted 8 June, 2020; v1 submitted 16 July, 2007; originally announced July 2007.

Comments: 17 pages; fixed TeX errors in arXiv title and abstract, paper unchanged

Journal ref: Comment. Math. Helv. 86 (2011), 537-556

An infinite presentation of the Torelli group

Authors: Andrew Putman

Abstract: In this paper, we construct an infinite presentation of the Torelli subgroup of the map** 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 on… ▽ More In this paper, we construct an infinite presentation of the Torelli subgroup of the map** 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. △ Less

Submitted 2 December, 2008; v1 submitted 19 March, 2007; originally announced March 2007.

Comments: 52 pages, 14 figures, 1 table, very heavily revised and expanded, section on obtaining presentations from group actions spun off as separate paper; to appear in GAFA

MSC Class: 57N05

Journal ref: Geom. Funct. Anal. 19 (2009), no. 2, 591-643

A note on the connectivity of certain complexes associated to surfaces

Authors: Andrew Putman

Abstract: 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… ▽ More 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$. △ Less

Submitted 27 November, 2007; v1 submitted 25 December, 2006; originally announced December 2006.

Comments: 15 pages, 2 figures, minor revisions; to appear in L'Enseignement Mathematique

MSC Class: 57N05; 57M07

Journal ref: Enseign. Math. (2) 54 (2008), 287-301