The Magnus representation of the Torelli subgroup of the mapping class group of a surface is a homomorphism r: I_{g,1} -> GL_{2g}(Z[H]). Here H is the first homology group of the surface. This representation is not faithful; in particular, Suzuki previously described precisely when the commutator of two Dehn twists about separating curves is in the kernel of r. Using the trace of the Magnus representation, we apply a new method of showing that two endomorphisms generate a free group to prove that the images of two positive separating multitwists under the Magnus representation either commute or generate a free group, and we characterize when each case occurs.
For a oriented genus g surface with one boundary component, S, the Torelli group is the group of orientation preserving homeomorphisms of S that induce the identity on homology. The Magnus representation of the Torelli group represents the action on F/F" where F=pi_1(S) and F" is the second term of the derived series. We show that the kernel of the Magnus representation, Mag(S), is highly non-trivial and has a rich structure as a group. Specifically, we define an infinite filtration of Mag(S) by subgroups, called the higher order Magnus subgroups, M_k(S). We develop methods for generating nont…
We compute the automorphism groups of the Torelli complex and the complex of separating curves for all but finitely many compact orientable surfaces. As an application, we show that the abstract commensurators of the Torelli group and the Johnson kernel for such surfaces are naturally isomorphic to the extended mapping class group.
We show that for all but finitely many compact orientable surfaces, any superinjective map from the complex of separating curves into the Torelli complex is induced by an element of the extended mapping class group. As an application, we prove that any injective homomorphism from a finite index subgroup of the Johnson kernel into the Torelli group for such a surface is induced by an element of the extended mapping class group.
We prove that every trivalent marked bordered fatgraph comes equipped with a canonical generalized Magnus expansion in the sense of Kawazumi. This Magnus expansion is used to give canonical lifts of the higher Johnson homomorphisms $τ_m$, for $m\geq 1$, to the Torelli groupoid, and we provide a recursive combinatorial formula for tensor representatives of these lifts. In particular, we give an explicit 1-cocycle in the dual fatgraph complex which lifts $τ_2$ and thus answer affirmatively a question of Morita-Penner. To illustrate our techniques for calculating higher Johnson homomorphisms in g…
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.
Let T_n be the kernel of the natural map from Out(F_n) to GL(n,Z). We use combinatorial Morse theory to prove that T_n has an Eilenberg-MacLane space which is (2n-4)-dimensional and that H_{2n-4}(T_n,Z) is not finitely generated (n at least 3). In particular, this recovers the result of Krstic-McCool that T_3 is not finitely presented. We also give a new proof of the fact, due to Magnus, that T_n is finitely generated.
Consider the kernel Mag_g of the Magnus representation of the Torelli group and the kernel Bur_n of the Burau representation of the braid group. We prove that for g >= 2 and for n >= 6 the groups Mag_g and Bur_n have infinite rank first homology. As a consequence we conclude that neither group has any finite generating set. The method of proof in each case consists of producing a kind of "Johnson-type" homomorphism to an infinite rank abelian group, and proving the image has infinite rank. For the case of Bur_n, we do this with the assistance of a computer calculation.
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…
For all but finitely many compact orientable surfaces, we show that any superinjective map from the complex of separating curves into itself is induced by an element of the extended mapping class group. We apply this result to proving that any finite index subgroup of the Johnson kernel is co-Hopfian. Analogous properties are shown for the Torelli complex and the Torelli group.
We prove that the cohomological dimension of the Torelli group for a closed connected orientable surface of genus g at least 2 is equal to 3g-5. This answers a question of Mess, who proved the lower bound and settled the case of g=2. We also find the cohomological dimension of the Johnson kernel (the subgroup of the Torelli group generated by Dehn twists about separating curves) to be 2g-3. For g at least 2, we prove that the top dimensional homology of the Torelli group is infinitely generated. Finally, we give a new proof of the theorem of Mess that gives a precise description of the Torelli…
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.
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 th…
For any surface $Σ$ of infinite topological type, we study the Torelli subgroup ${\mathcal I}(Σ)$ of the mapping class group ${\rm MCG}(Σ)$, whose elements are those mapping classes that act trivially on the homology of $Σ$. Our first result asserts that ${\mathcal I}(Σ)$ is topologically generated by the subgroup of ${\rm MCG}(Σ)$ consisting of those elements in the Torelli group which have compact support. In particular, using results of Birman, Powell, and Putman we deduce that ${\mathcal I}(Σ)$ is topologically generated by separating twists and bounding pair maps. Next, we prove the abstr…
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 the 1970s, Birman-Craggs-Johnson used Rochlin's invariant for homology 3-spheres to construct a remarkable surjective homomorphism sigma:I_{g,1}->B_3, where I_{g,1} is the Torelli group and B_3 is a certain F_2-vector space of Boolean (square-free) polynomials. By pulling back cohomology classes and evaluating them on abelian cycles, we construct 16g^4 + O(g^3) dimensions worth of nontrivial elements of H^2(I_{g,1}, F_2) which cannot be detected rationally. These classes in fact restrict to nontrivial classes in the cohomology of the subgroup K_{g,1} < I_{g,1} generated by Dehn twists about…
Let $Γ$ be either the mapping class group of a closed surface of genus $\geq 2$, or the automorphism group of a free group of rank $\geq 3$. Given any homological representation $ρ$ of $Γ$ corresponding to a finite cover, and any term $\mathcal{I}_k$ of the Johnson filtration, we show that $ρ(\mathcal{I}_k)$ has finite index in $ρ(\mathcal{I})$, the Torelli subgroup of $Γ$. Since $[\mathcal{I}: \mathcal{I}_k] = \infty$ for $k > 1$, this implies for instance that no such representation is faithful.
By Torelli topology the author understands aspects of the topology of surfaces (potentially) relevant to the study of Torelli groups. The present paper is devoted to a new approach to the results of W. Vautaw about Dehn multi-twists in Torelli groups and abelian subgroups of Torelli groups. The new proofs are more transparent and lead to stronger estimates of the rank of an abelian subgroup when some additional information is available. An unexpected application of our methods is a new proof of the algebraic characterization of the Dehn twist about separating circles and the Dehn-Johnson twist…
The hyperelliptic Torelli group is the subgroup of the mapping class group consisting of elements that act trivially on the homology of the surface and that also commute with some fixed hyperelliptic involution. The authors and Putman proved that this group is generated by Dehn twists about separating curves fixed by the hyperelliptic involution. In this paper, we introduce an algorithmic approach to factoring a wide class of elements of the hyperelliptic Torelli group into such Dehn twists, and apply our methods to several basic elements.
Let $Σ$ be a surface whose interior admits a hyperbolic structure of finite volume. In this paper, we show that any infinite order mapping class acts with infinite order on the homology of some universal $k$--step nilpotent cover of $Σ$. We show that a Torelli mapping class either acts with infinite order on the homology of a finite abelian cover, or the suspension of the mapping class is a 3--manifold whose fundamental group has positive homology gradient. In the latter case, it follows that the suspended 3--manifold has a large fundamental group. It follows that every element of the Magnus k…
We generalize the notion of a Magnus expansion of a free group in order to extend each of the Johnson homomorphisms defined on a decreasing filtration of the Torelli group for a surface with one boundary component to the whole of the automorphism group of a free group $\operatorname{Aut}(F_{n})$. The extended ones are {\it not} homomorphisms, but satisfy an infinite sequence of coboundary relations, so that we call them {\it the Johnson maps}. In this paper we confine ourselves to studying the first and the second relations, which have cohomological consequences about the group $\operatorname{…
