Showing 1–42 of 42 results for author: Margalit, D

Totally Symmetric Sets

Authors: Noah Caplinger, Dan Margalit

Abstract: We survey the theory of totally symmetric sets, with applications to homomorphisms of symmetric groups, braid groups, linear groups, and map** class groups. We survey the theory of totally symmetric sets, with applications to homomorphisms of symmetric groups, braid groups, linear groups, and map** class groups. △ Less

Submitted 24 January, 2024; originally announced January 2024.

Comments: 21 pages

MSC Class: 20E34 (Primary) 20F65; 20F36; 20B05 (Secondary)

Thurston's theorem and the Nielsen-Thurston classification via Teichmüller's theorem

Authors: James Belk, Dan Margalit, Rebecca R. Winarski

Abstract: We give a unified and self-contained proof of the Nielsen-Thurston classification theorem from the theory of map** class groups and Thurston's characterization of rational maps from the theory of complex dynamics (plus various extensions of these). Our proof follows Bers' proof of the Nielsen-Thurston classification. We give a unified and self-contained proof of the Nielsen-Thurston classification theorem from the theory of map** class groups and Thurston's characterization of rational maps from the theory of complex dynamics (plus various extensions of these). Our proof follows Bers' proof of the Nielsen-Thurston classification. △ Less

Submitted 13 September, 2023; originally announced September 2023.

Comments: 36 pages, 0 figures

MSC Class: 57M12 (Primary); 37F34; 57K20; 37F10 (Secondary)

Automorphisms of the fine curve graph

Authors: Adele Long, Dan Margalit, Anna Pham, Yvon Verberne, Claudia Yao

Abstract: Building on work of Farb and the second author, we prove that the group of automorphisms of the fine curve graph for a surface is isomorphic to the group of homeomorphisms of the surface. This theorem is analogous to the seminal result of Ivanov that the group of automorphisms of the (classical) curve graph is isomorphic to the extended map** class group of the corresponding surface. Building on work of Farb and the second author, we prove that the group of automorphisms of the fine curve graph for a surface is isomorphic to the group of homeomorphisms of the surface. This theorem is analogous to the seminal result of Ivanov that the group of automorphisms of the (classical) curve graph is isomorphic to the extended map** class group of the corresponding surface. △ Less

Submitted 10 August, 2021; originally announced August 2021.

Comments: 17 pages, 4 figures

MSC Class: 57K20; 20F65; 57M07

Right-angled Artin groups as normal subgroups of map** class groups

Authors: Matt Clay, Johanna Mangahas, Dan Margalit

Abstract: We construct the first examples of normal subgroups of map** class groups that are isomorphic to non-free right-angled Artin groups. Our construction also gives normal, non-free right-angled Artin subgroups of other groups, such as braid groups and pure braid groups, as well as many subgroups of the map** class group, such as the Torelli subgroup. Our work recovers and generalizes the seminal… ▽ More We construct the first examples of normal subgroups of map** class groups that are isomorphic to non-free right-angled Artin groups. Our construction also gives normal, non-free right-angled Artin subgroups of other groups, such as braid groups and pure braid groups, as well as many subgroups of the map** class group, such as the Torelli subgroup. Our work recovers and generalizes the seminal result of Dahmani-Guirardel-Osin, which gives free, purely pseudo-Anosov normal subgroups of map** class groups. We give two applications of our methods: (1) we produce an explicit proper normal subgroup of the map** class group that is not contained in any level $m$ congruence subgroup, and (2) we produce an explicit example of a pseudo-Anosov map** class with the property that all of its even powers have free normal closure and its odd powers normally generate the entire map** class group. The technical theorem at the heart of our work is a new version of the windmill apparatus of Dahmani-Guirardel-Osin, which is tailored to the setting of group actions on the projection complexes of Bestvina-Bromberg-Fujiwara. △ Less

Submitted 16 February, 2021; v1 submitted 28 January, 2020; originally announced January 2020.

Comments: 40 pages, 8 figures; v2: incorporates comments from referee; v3: minor edits, final version

MSC Class: 57K20 57M07 20F65

Journal ref: Compositio Math. 157 (2021) 1807-1852

Homomorphisms of commutator subgroups of braid groups

Authors: Kevin Kordek, Dan Margalit

Abstract: We give a complete classification of homomorphisms from the commutator subgroup of the braid group on $n$ strands to the braid group on $n$ strands when $n$ is at least 7. In particular, we show that each nontrivial homomorphism extends to an automorphism of the braid group on $n$ strands. This answers four questions of Vladimir Lin. Our main new tool is the theory of totally symmetric sets. We give a complete classification of homomorphisms from the commutator subgroup of the braid group on $n$ strands to the braid group on $n$ strands when $n$ is at least 7. In particular, we show that each nontrivial homomorphism extends to an automorphism of the braid group on $n$ strands. This answers four questions of Vladimir Lin. Our main new tool is the theory of totally symmetric sets. △ Less

Submitted 16 April, 2020; v1 submitted 15 October, 2019; originally announced October 2019.

Comments: 15 pages, 2 figures

Homomorphisms between braid groups

Authors: Lei Chen, Kevin Kordek, Dan Margalit

Abstract: We give a complete classification of homomorphisms from the braid group on $n$ strands to the braid group on $2n$ strands when $n$ is at least 5. We also classify endomorphisms of the braid group on 4 strands, as well as homomorphisms from the commutator subgroup of the braid group on $n$ strands to the braid group on $2n-5$ strands. Our classifications suggest a recursive classification of homomo… ▽ More We give a complete classification of homomorphisms from the braid group on $n$ strands to the braid group on $2n$ strands when $n$ is at least 5. We also classify endomorphisms of the braid group on 4 strands, as well as homomorphisms from the commutator subgroup of the braid group on $n$ strands to the braid group on $2n-5$ strands. Our classifications suggest a recursive classification of homomorphisms between any braid groups. We also give a simple, geometric proof of a theorem of Lin that highly constrains the holomorphic maps that may exist between spaces of monic, square-free polynomials of two given degrees. △ Less

Submitted 13 May, 2023; v1 submitted 1 October, 2019; originally announced October 2019.

Comments: 40 pages, 3 figures

Recognizing topological polynomials by lifting trees

Authors: James Belk, Justin Lanier, Dan Margalit, Rebecca R. Winarski

Abstract: We give a simple algorithm that determines whether a given post-critically finite topological polynomial is Thurston equivalent to a polynomial. If it is, the algorithm produces the Hubbard tree; otherwise, the algorithm produces the canonical obstruction. Our approach is rooted in geometric group theory, using iteration on a simplicial complex of trees, and building on work of Nekrashevych. As on… ▽ More We give a simple algorithm that determines whether a given post-critically finite topological polynomial is Thurston equivalent to a polynomial. If it is, the algorithm produces the Hubbard tree; otherwise, the algorithm produces the canonical obstruction. Our approach is rooted in geometric group theory, using iteration on a simplicial complex of trees, and building on work of Nekrashevych. As one application of our methods, we resolve the polynomial case of Pilgrim's finite global attractor conjecture. We also give a new solution to Hubbard's twisted rabbit problem, and we state and solve several generalizations of Hubbard's problem where the number of post-critical points is arbitrarily large. △ Less

Submitted 24 November, 2021; v1 submitted 18 June, 2019; originally announced June 2019.

Comments: 57 pages, 32 figures; accepted to Duke Mathematical Journal

Representation stability in the level 4 braid group

Authors: Kevin Kordek, Dan Margalit

Abstract: We investigate the cohomology of the level 4 subgroup of the braid group, namely, the kernel of the mod 4 reduction of the Burau representation at $t=-1$. This group is also equal to the kernel of the mod 2 abelianization of the pure braid group. We give an exact formula for the first Betti number; it is a quartic polynomial in the number of strands. We also show that, like the pure braid group, t… ▽ More We investigate the cohomology of the level 4 subgroup of the braid group, namely, the kernel of the mod 4 reduction of the Burau representation at $t=-1$. This group is also equal to the kernel of the mod 2 abelianization of the pure braid group. We give an exact formula for the first Betti number; it is a quartic polynomial in the number of strands. We also show that, like the pure braid group, the first homology satisfies uniform representation stability in the sense of Church and Farb. Unlike the pure braid group, the group of symmetries - the quotient of the braid group by the level 4 subgroup - is one for which the representation theory has not been well studied; we develop its representation theory. This group is a non-split extension of the symmetric group. As applications of our main results, we show that the rational cohomology ring of the level 4 braid group is not generated in degree 1 when the number of strands is at least 15, and we compute all Betti numbers of the level 4 braid group when the number of strands is at most 4. We also derive a new lower bound on the first rational Betti number of the hyperelliptic Torelli group and on the top rational Betti number of the level 4 map** class group in genus 2. Finally, we apply our results to locate all of the 2-torsion points on the characteristic varieties of the pure braid group. △ Less

Submitted 7 March, 2019; originally announced March 2019.

Comments: 46 pages, 2 figures

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

Problems, Questions, and Conjectures about Map** Class Groups

Authors: Dan Margalit

Abstract: We discuss a number of open problems about map** class groups of surfaces. In particular, we discuss problems related to linearity, congruence subgroups, cohomology, pseudo-Anosov stretch factors, Torelli subgroups, and normal subgroups. We discuss a number of open problems about map** class groups of surfaces. In particular, we discuss problems related to linearity, congruence subgroups, cohomology, pseudo-Anosov stretch factors, Torelli subgroups, and normal subgroups. △ Less

Submitted 22 June, 2018; originally announced June 2018.

Comments: 40 pages, 1 figure

Normal generators for map** class groups are abundant

Authors: Justin Lanier, Dan Margalit

Abstract: We provide a simple criterion for an element of the map** class group of a closed surface to have normal closure equal to the whole map** class group. We apply this to show that every nontrivial periodic map** class that is not a hyperelliptic involution is a normal generator for the map** class group when the genus is at least 3. We also give many examples of pseudo-Anosov normal generato… ▽ More We provide a simple criterion for an element of the map** class group of a closed surface to have normal closure equal to the whole map** class group. We apply this to show that every nontrivial periodic map** class that is not a hyperelliptic involution is a normal generator for the map** class group when the genus is at least 3. We also give many examples of pseudo-Anosov normal generators, answering a question of D. D. Long. In fact we show that every pseudo-Anosov map** class with stretch factor less than $\sqrt{2}$ is a normal generator. Even more, we give pseudo-Anosov normal generators with arbitrarily large stretch factors and arbitrarily large translation lengths on the curve graph, disproving a conjecture of Ivanov. △ Less

Submitted 1 June, 2020; v1 submitted 9 May, 2018; originally announced May 2018.

Comments: 38 pages, 27 figures; added Theorem 3.6 on normal closures of periodic map** classes of punctured surfaces, made minor edits

MSC Class: 20F34 (Primary) 57M60; 37E30 (Secondary)

Normal subgroups of map** class groups and the metaconjecture of Ivanov

Authors: Tara Brendle, Dan Margalit

Abstract: We prove that if a normal subgroup of the extended map** class group of a closed surface has an element of sufficiently small support then its automorphism group and abstract commensurator group are both isomorphic to the extended map** class group. The proof relies on another theorem we prove, which states that many simplicial complexes associated to a closed surface have automorphism group i… ▽ More We prove that if a normal subgroup of the extended map** class group of a closed surface has an element of sufficiently small support then its automorphism group and abstract commensurator group are both isomorphic to the extended map** class group. The proof relies on another theorem we prove, which states that many simplicial complexes associated to a closed surface have automorphism group isomorphic to the extended map** class group. These results resolve the metaconjecture of N.V. Ivanov, which asserts that any "sufficiently rich" object associated to a surface has automorphism group isomorphic to the extended map** class group, for a broad class of such objects. As applications, we show: (1) right-angled Artin groups and surface groups cannot be isomorphic to normal subgroups of map** class groups containing elements of small support, (2) normal subgroups of distinct map** class groups cannot be isomorphic if they both have elements of small support, and (3) distinct normal subgroups of the map** class group with elements of small support are not isomorphic. Our results also suggest a new framework for the classification of normal subgroups of the map** class group. △ Less

Submitted 9 May, 2018; v1 submitted 24 October, 2017; originally announced October 2017.

Comments: 57 pages, 11 figures

MSC Class: 57M07

The Birman-Hilden theory

Authors: Dan Margalit, Rebecca R. Winarski

Abstract: In the 1970s Joan Birman and Hugh Hilden wrote several papers on the problem of relating the map** class group of a surface to that of a cover. We survey their work, give an overview of the subsequent developments, and discuss open questions and new directions. In the 1970s Joan Birman and Hugh Hilden wrote several papers on the problem of relating the map** class group of a surface to that of a cover. We survey their work, give an overview of the subsequent developments, and discuss open questions and new directions. △ Less

Submitted 9 March, 2017; originally announced March 2017.

Comments: For the journal Celebratio Mathematica (http://celebratio.org)

MSC Class: 57M20

The level four braid group

Authors: Tara E. Brendle, Dan Margalit

Abstract: By evaluating the Burau representation at t=-1, we obtain a symplectic representation of the braid group. We define the congruence subgroups of the braid group to be the preimages of the principal congruence subgroups of the symplectic group. Our main result is that the level four congruence subgroup of the braid group is equal to the group generated by squares of Dehn twists and is also equal to… ▽ More By evaluating the Burau representation at t=-1, we obtain a symplectic representation of the braid group. We define the congruence subgroups of the braid group to be the preimages of the principal congruence subgroups of the symplectic group. Our main result is that the level four congruence subgroup of the braid group is equal to the group generated by squares of Dehn twists and is also equal to the group generated by squares of pure braids. We also compute the image of the point pushing subgroup under the symplectic representation. △ Less

Submitted 21 April, 2021; v1 submitted 27 October, 2014; originally announced October 2014.

Comments: 17 pages, 4 figures, with corrections to the published version; erratum to the published version attached

Pseudo-Anosov stretch factors and homology of map** tori

Authors: Ian Agol, Christopher J. Leininger, Dan Margalit

Abstract: We consider the pseudo-Anosov elements of the map** class group of a surface of genus g that fix a rank k subgroup of the first homology of the surface. We show that the smallest entropy among these is comparable to (k+1)/g. This interpolates between results of Penner and of Farb and the second and third authors, who treated the cases of k=0 and k=2g, respectively, and answers a question of Elle… ▽ More We consider the pseudo-Anosov elements of the map** class group of a surface of genus g that fix a rank k subgroup of the first homology of the surface. We show that the smallest entropy among these is comparable to (k+1)/g. This interpolates between results of Penner and of Farb and the second and third authors, who treated the cases of k=0 and k=2g, respectively, and answers a question of Ellenberg. We also show that the number of conjugacy classes of pseudo-Anosov map** classes as above grows (as a function of g) like a polynomial of degree k. △ Less

Submitted 4 March, 2015; v1 submitted 24 September, 2014; originally announced September 2014.

Comments: 23 pages, 11 figures

Efficient geodesics and an effective algorithm for distance in the complex of curves

Authors: Joan Birman, Dan Margalit, William Menasco

Abstract: We give an algorithm for determining the distance between two vertices of the complex of curves. While there already exist such algorithms, for example by Leasure, Shackleton, and Webb, our approach is new, simple, and more effective for all distances accessible by computer. Our method gives a new preferred finite set of geodesics between any two vertices of the complex, called efficient geodesics… ▽ More We give an algorithm for determining the distance between two vertices of the complex of curves. While there already exist such algorithms, for example by Leasure, Shackleton, and Webb, our approach is new, simple, and more effective for all distances accessible by computer. Our method gives a new preferred finite set of geodesics between any two vertices of the complex, called efficient geodesics, which are different from the tight geodesics introduced by Masur and Minsky. △ Less

Submitted 12 May, 2015; v1 submitted 18 August, 2014; originally announced August 2014.

Comments: 27 pages, 14 figures; greatly improved algorithm for distance, new examples distinguishing efficient geodesics from tight geodesics

Abstract commensurators of right-angled Artin groups and map** class groups

Authors: Matt Clay, Christopher J. Leininger, Dan Margalit

Abstract: We prove that, aside from the obvious exceptions, the map** class group of a compact orientable surface is not abstractly commensurable with any right-angled Artin group. Our argument applies to various subgroups of the map** class group---the subgroups generated by powers of Dehn twists and the terms of the Johnson filtration---and additionally to the outer automorphism group of a free group… ▽ More We prove that, aside from the obvious exceptions, the map** class group of a compact orientable surface is not abstractly commensurable with any right-angled Artin group. Our argument applies to various subgroups of the map** class group---the subgroups generated by powers of Dehn twists and the terms of the Johnson filtration---and additionally to the outer automorphism group of a free group and to certain linear groups. △ Less

Submitted 18 March, 2014; v1 submitted 31 July, 2013; originally announced July 2013.

Comments: 8 pages; incorporates referee comments

MSC Class: 20E36; 57M07

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

Lefschetz fibrations and Torelli groups

Authors: R. Inanc Baykur, Dan Margalit

Abstract: For each g > 2 and h > 1, we explicitly construct (1) fiber sum indecomposable relatively minimal genus g Lefschetz fibrations over genus h surfaces whose monodromies lie in the Torelli group, (2) fiber sum indecomposable genus g surface bundles over genus h surfaces whose monodromies are in the Torelli group (provided g > 3), and (3) infinitely many genus g Lefschetz fibrations over genus h surfa… ▽ More For each g > 2 and h > 1, we explicitly construct (1) fiber sum indecomposable relatively minimal genus g Lefschetz fibrations over genus h surfaces whose monodromies lie in the Torelli group, (2) fiber sum indecomposable genus g surface bundles over genus h surfaces whose monodromies are in the Torelli group (provided g > 3), and (3) infinitely many genus g Lefschetz fibrations over genus h surfaces that are not fiber sums of holomorphic ones. △ Less

Submitted 29 October, 2012; originally announced October 2012.

Comments: 20 pages, 3 figures

Indecomposable surface bundles over surfaces

Authors: R. Inanc Baykur, Dan Margalit

Abstract: For each pair of integers g at least 2 and h at least 1, we explicitly construct infinitely many fiber sum and section sum indecomposable genus g surface bundles over genus h surfaces whose total spaces are pairwise homotopy inequivalent. For each pair of integers g at least 2 and h at least 1, we explicitly construct infinitely many fiber sum and section sum indecomposable genus g surface bundles over genus h surfaces whose total spaces are pairwise homotopy inequivalent. △ Less

Submitted 8 October, 2012; v1 submitted 5 September, 2012; originally announced September 2012.

Comments: 24 pages, 5 figures; correction to Sec 4.1, Step 1

Factoring in the hyperelliptic Torelli group

Authors: Tara E. Brendle, Dan Margalit

Abstract: The hyperelliptic Torelli group is the subgroup of the map** 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… ▽ More The hyperelliptic Torelli group is the subgroup of the map** 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. △ Less

Submitted 9 May, 2013; v1 submitted 10 February, 2012; originally announced February 2012.

Comments: 9 pages, 7 figures

MSC Class: 20F36

Journal ref: Math. Proc. Camb. Phil. Soc. 159 (2015) 207-217

On the number and location of short geodesics in moduli space

Authors: Christopher J. Leininger, Dan Margalit

Abstract: A closed Teichmuller geodesic in the moduli space M_g of Riemann surfaces of genus g is called L-short if it has length at most L/g. We show that, for any L > 0, there exist e_2 > e_1 > 0, independent of g, so that the L-short geodesics in M_g all lie in the intersection of the e_1-thick part and the e_2-thin part. We also estimate the number of L-short geodesics in M_g, bounding this from above a… ▽ More A closed Teichmuller geodesic in the moduli space M_g of Riemann surfaces of genus g is called L-short if it has length at most L/g. We show that, for any L > 0, there exist e_2 > e_1 > 0, independent of g, so that the L-short geodesics in M_g all lie in the intersection of the e_1-thick part and the e_2-thin part. We also estimate the number of L-short geodesics in M_g, bounding this from above and below by polynomials in g whose degrees depend on L and tend to infinity as L does. △ Less

Submitted 28 October, 2011; originally announced October 2011.

Comments: 23 pages, 1 figure

Point pushing, homology, and the hyperelliptic involution

Authors: Tara E. Brendle, Dan Margalit

Abstract: The hyperelliptic Torelli group is the subgroup of the map** class group consisting of elements that act trivially on the homology of the surface and that also commute with some fixed hyperelliptic involution. We prove a Birman exact sequence for hyperelliptic Torelli groups, and we show that this sequence splits. As a consequence, we show that the hyperelliptic Torelli group is generated by Deh… ▽ More The hyperelliptic Torelli group is the subgroup of the map** class group consisting of elements that act trivially on the homology of the surface and that also commute with some fixed hyperelliptic involution. We prove a Birman exact sequence for hyperelliptic Torelli groups, and we show that this sequence splits. As a consequence, we show that the hyperelliptic Torelli group is generated by Dehn twists if and only if it is generated by reducible elements. We also give an application to the kernel of the Burau representation. △ Less

Submitted 6 October, 2011; originally announced October 2011.

Comments: 26 pages, 4 figures

MSC Class: 20F36

Generating the Torelli group

Authors: Allen Hatcher, Dan Margalit

Abstract: We give a new proof of the theorem of Birman-Powell that the Torelli subgroup of the map** class group of a closed orientable surface of genus at least 3 is generated by simple homeomorphisms known as bounding pair maps. The key ingredient is a proof that the subcomplex of the curve complex of the surface spanned by curves within a fixed homology class is connected. We give a new proof of the theorem of Birman-Powell that the Torelli subgroup of the map** class group of a closed orientable surface of genus at least 3 is generated by simple homeomorphisms known as bounding pair maps. The key ingredient is a proof that the subcomplex of the curve complex of the surface spanned by curves within a fixed homology class is connected. △ Less

Submitted 27 February, 2012; v1 submitted 4 October, 2011; originally announced October 2011.

Comments: 23 pages, 10 figures, improvements to the exposition, to appear in L'Enseignement Mathematique

MSC Class: 20F36

Cohomology of the hyperelliptic Torelli group

Authors: Tara Brendle, Leah Childers, Dan Margalit

Abstract: Let SI(S_g) denote the hyperelliptic Torelli group of a closed surface S_g of genus g. This is the subgroup of the map** class group of S_g consisting of elements that act trivially on H_1(S_g;Z) and that commute with some fixed hyperelliptic involution of S_g. We prove that the cohomological dimension of SI(S_g) is g-1 when g > 0. We also show that H_g-1(SI(S_g);Z) is infinitely generated when… ▽ More Let SI(S_g) denote the hyperelliptic Torelli group of a closed surface S_g of genus g. This is the subgroup of the map** class group of S_g consisting of elements that act trivially on H_1(S_g;Z) and that commute with some fixed hyperelliptic involution of S_g. We prove that the cohomological dimension of SI(S_g) is g-1 when g > 0. We also show that H_g-1(SI(S_g);Z) is infinitely generated when g > 1. In particular, SI(S_3) is not finitely presentable. Finally, we apply our main results to show that the kernel of the Burau representation of the braid group B_n at t = -1 has cohomological dimension equal to the integer part of n/2, and it has infinitely generated homology in this top dimension. △ Less

Submitted 3 October, 2011; originally announced October 2011.

Comments: 17 pages, no figures

MSC Class: 20F36

Small dilatation pseudo-Anosovs and 3-manifolds

Authors: Benson Farb, Christopher J. Leininger, Dan Margalit

Abstract: The main result of this paper is a universal finiteness theorem for the set of all small dilatation pseudo-Anosov homeomorphisms, ranging over all surfaces. More precisely, we consider pseudo-Anosovs F:S to S with |chi(S)| log(lambda(F)) bounded above by some constant, and we prove that, after puncturing the surfaces at the singular points of the stable foliations, the resulting set of map** t… ▽ More The main result of this paper is a universal finiteness theorem for the set of all small dilatation pseudo-Anosov homeomorphisms, ranging over all surfaces. More precisely, we consider pseudo-Anosovs F:S to S with |chi(S)| log(lambda(F)) bounded above by some constant, and we prove that, after puncturing the surfaces at the singular points of the stable foliations, the resulting set of map** tori is finite. Said differently, there is a finite set of fibered hyperbolic 3-manifolds so that all small dilatation pseudo-Anosovs occur as the monodromy of a Dehn filling on one of the 3-manifolds in the finite list, where the filling is on the boundary slope of a fiber. △ Less

Submitted 2 May, 2009; originally announced May 2009.

Comments: 40 pages, 6 color figures

MSC Class: 57M50 (primary); 15A18; 30F60; 37E30 (secondary)

Two-generator subgroups of the pure braid group

Authors: Christopher J Leininger, Dan Margalit

Abstract: We show that any two elements of the pure braid group either commute or generate a free group, settling a question of Luis Paris. Our proof involves the theory of 3-manifolds and the theory of group actions on trees. We show that any two elements of the pure braid group either commute or generate a free group, settling a question of Luis Paris. Our proof involves the theory of 3-manifolds and the theory of group actions on trees. △ Less

Submitted 9 December, 2008; originally announced December 2008.

Comments: 7 pages

MSC Class: 20F36; 20F28

Dehn twists have roots

Authors: Dan Margalit, Saul Schleimer

Abstract: We construct nontrivial roots of Dehn twists about nonseparating curves. We construct nontrivial roots of Dehn twists about nonseparating curves. △ Less

Submitted 28 October, 2008; originally announced October 2008.

Comments: 2 pages

MSC Class: 20F28

Journal ref: Geom. Topol. 13 (2009) 1495-1497

Addendum to: Commensurations of the Johnson kernel

Authors: Tara E. Brendle, Dan Margalit

Abstract: Let K(S) be the subgroup of the extended map** class group, Mod(S), generated by Dehn twists about separating curves. In our earlier paper, we showed that Comm(K(S)) and Aut(K(S)) are both isomorphic to Mod(S) when S is a closed, connected, orientable surface of genus g at least 4. By modifying our original proof, we show that the same result holds for g at leat 3, thus confirming Farb's conje… ▽ More Let K(S) be the subgroup of the extended map** class group, Mod(S), generated by Dehn twists about separating curves. In our earlier paper, we showed that Comm(K(S)) and Aut(K(S)) are both isomorphic to Mod(S) when S is a closed, connected, orientable surface of genus g at least 4. By modifying our original proof, we show that the same result holds for g at leat 3, thus confirming Farb's conjecture in all cases (the statement is not true for any g less than 3). △ Less

Submitted 16 October, 2007; originally announced October 2007.

Comments: 4 pages, 2 figures; to appear in Geometry and Topology

MSC Class: 20F36

Journal ref: Geom. Topol. 12 (2008) 97-101

The Dimension of the Torelli group

Authors: Mladen Bestvina, Kai-Uwe Bux, Dan Margalit

Abstract: 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… ▽ More 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 group in genus 2. The main tool is a new contractible complex, called the "complex of cycles", on which the Torelli group acts. △ Less

Submitted 3 September, 2007; originally announced September 2007.

Comments: 39 pages, 9 figures

MSC Class: 20F34; 57M07

A homological recipe for pseudo-Anosovs

Authors: Dan Margalit, Steven Spallone

Abstract: We give a simple explicit construction of pseudo-Anosov map** classes using an improvement of the homological criterion of Casson-Bleiler. We give a simple explicit construction of pseudo-Anosov map** classes using an improvement of the homological criterion of Casson-Bleiler. △ Less

Submitted 14 September, 2006; originally announced September 2006.

Comments: 10 pages, 1 figure

MSC Class: 20F36; 57M07

The lower central series and pseudo-Anosov dilatations

Authors: Benson Farb, Christopher J. Leininger, Dan Margalit

Abstract: The theme of this paper is that algebraic complexity implies dynamical complexity for pseudo-Anosov homeomorphisms of a closed surface S_g of genus g. Penner proved that the logarithm of the minimal dilatation for a pseudo-Anosov homeomorphism of S_g tends to zero at the rate 1/g. We consider here the smallest dilatation of any pseudo-Anosov homeomorphism of S_g acting trivially on Gamma/Gamma_k… ▽ More The theme of this paper is that algebraic complexity implies dynamical complexity for pseudo-Anosov homeomorphisms of a closed surface S_g of genus g. Penner proved that the logarithm of the minimal dilatation for a pseudo-Anosov homeomorphism of S_g tends to zero at the rate 1/g. We consider here the smallest dilatation of any pseudo-Anosov homeomorphism of S_g acting trivially on Gamma/Gamma_k, the quotient of Gamma = pi_1(S_g) by the k-th term of its lower central series, k > 0. In contrast to Penner's asymptotics, we prove that this minimal dilatation is bounded above and below, independently of g, with bounds tending to infinity with k. For example, in the case of the Torelli group I(S_g), we prove that L(I(S_g)), the logarithm of the minimal dilatation in I(S_g), satisfies .197 < L(I(S_g))< 4.127. In contrast, we find pseudo-Anosov map** classes acting trivially on Gamma/Gamma_k whose asymptotic translation lengths on the complex of curves tend to 0 as g tends toward infinity. △ Less

Submitted 26 August, 2007; v1 submitted 28 March, 2006; originally announced March 2006.

Comments: v2. Accepted version. Minor revisions incorporating referee's comments. 27 pages. v1. 26 pages, 6 figures

MSC Class: 37E30 (Primary) 57M60; 37B40 (Secondary)

Geometric presentations for the pure braid group

Authors: Dan Margalit, Jon McCammond

Abstract: We give several new positive finite presentations for the pure braid group that are easy to remember and simple in form. All of our presentations involve a metric on the punctured disc so that the punctures are arranged "convexly", which is why we describe them as geometric presentaitons. Motivated by a presentation for the full braid group that we call the "rotation presentation", we introduce… ▽ More We give several new positive finite presentations for the pure braid group that are easy to remember and simple in form. All of our presentations involve a metric on the punctured disc so that the punctures are arranged "convexly", which is why we describe them as geometric presentaitons. Motivated by a presentation for the full braid group that we call the "rotation presentation", we introduce presentations for the pure braid group that we call the "twist presentation" and the "swing presentation". From the point of view of map** class groups, the swing presentation can be interpreted as stating that the pure braid group is generated by a finite number of Dehn twists and that the only relations needed are the disjointness relation and the lantern relation. △ Less

Submitted 8 March, 2006; originally announced March 2006.

Comments: 18 pages, 16 figures

MSC Class: 20F36; 20F05

Dimension of the Torelli group for Out(F_n)

Authors: Mladen Bestvina, Kai-Uwe Bux, Dan Margalit

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

Submitted 8 March, 2006; originally announced March 2006.

Comments: 27 pages, 9 figures

MSC Class: 20F36; 20F28

Curve complexes and finite index subgroups of map** class groups

Authors: Jason Behrstock, Dan Margalit

Abstract: Let Mod(S) be the extended map** class group of a surface S. For S the twice-punctured torus, we show that there exists an isomorphism of finite index subgroups of Mod(S) which is not the restriction of an inner automorphism. For S a torus with at least three punctures, we show that every injection of a finite index subgroup of Mod(S) into Mod(S) is the restriction of an inner automorphism; th… ▽ More Let Mod(S) be the extended map** class group of a surface S. For S the twice-punctured torus, we show that there exists an isomorphism of finite index subgroups of Mod(S) which is not the restriction of an inner automorphism. For S a torus with at least three punctures, we show that every injection of a finite index subgroup of Mod(S) into Mod(S) is the restriction of an inner automorphism; this completes a program begun by Irmak. For all of the above surfaces, we establish the co-Hopf property for finite index subgroups of Mod(S). △ Less

Submitted 21 April, 2005; v1 submitted 15 April, 2005; originally announced April 2005.

Comments: 17 pages, 1 figure, minor mistake in closed genus 2 case corrected, references updated

MSC Class: 57M99; 20F38

Journal ref: Geometriae Dedicata, 118, (2006), 71-85

Abstract commensurators of braid groups

Authors: Christopher J. Leininger, Dan Margalit

Abstract: Let B_n be the braid group on n strands, with n at least 4, and let Mod(S) be the extended map** class group of the sphere with n+1 punctures. We show that the abstract commensurator of B_n is isomorphic to a semidirect product of Mod(S) with a group we refer to as the transvection subgroup, Tv(B_n). We also show that Tv(B_n) is itself isomorphic to a semidirect product of an infinite dimensio… ▽ More Let B_n be the braid group on n strands, with n at least 4, and let Mod(S) be the extended map** class group of the sphere with n+1 punctures. We show that the abstract commensurator of B_n is isomorphic to a semidirect product of Mod(S) with a group we refer to as the transvection subgroup, Tv(B_n). We also show that Tv(B_n) is itself isomorphic to a semidirect product of an infinite dimensional rational vector space with the multiplicative group of nonzero rational numbers. △ Less

Submitted 26 January, 2005; originally announced January 2005.

Comments: 10 pages

MSC Class: 20F36; 20F28

Injections of Artin groups

Authors: Robert W. Bell, Dan Margalit

Abstract: We study those Artin groups which, modulo their centers, are finite index subgroups of the map** class group of a sphere with at least 5 punctures. In particular, we show that any injective homomorphism between these groups is parameterized by a homeomorphism of a punctured sphere together with a map to the integers. We also give a generating set for the automorphism group of the pure braid gr… ▽ More We study those Artin groups which, modulo their centers, are finite index subgroups of the map** class group of a sphere with at least 5 punctures. In particular, we show that any injective homomorphism between these groups is parameterized by a homeomorphism of a punctured sphere together with a map to the integers. We also give a generating set for the automorphism group of the pure braid group on at least 4 strands. The technique, following Ivanov, is to prove that every superinjective map of the complex of curves of a sphere with at least 5 punctures is induced by a homeomorphism. △ Less

Submitted 17 May, 2006; v1 submitted 4 January, 2005; originally announced January 2005.

Comments: 21 pages, 8 figures, some corrections, new sections

MSC Class: 20F36; 57M07

Weil-Petersson isometries via the pants complex

Authors: Jeffrey Brock, Dan Margalit

Abstract: We extend a theorem of Masur and Wolf which says that given a hyperbolic surface S, every isometry of the Teichmuller space for S with the Weil-Petersson metric is induced by an element of the map** class group for S. Our argument handles the previously untreated cases of the four-holed sphere, the one-holed torus, and the two-holed torus. We extend a theorem of Masur and Wolf which says that given a hyperbolic surface S, every isometry of the Teichmuller space for S with the Weil-Petersson metric is induced by an element of the map** class group for S. Our argument handles the previously untreated cases of the four-holed sphere, the one-holed torus, and the two-holed torus. △ Less

Submitted 27 December, 2004; originally announced December 2004.

Comments: 11 pages, 2 figures

MSC Class: 32G15; 32M99

Commensurations of the Johnson kernel

Authors: Tara E Brendle, Dan Margalit

Abstract: Let K be the subgroup of the extended map** class group, Mod(S), generated by Dehn twists about separating curves. Assuming that S is a closed, orientable surface of genus at least 4, we confirm a conjecture of Farb that Comm(K), Aut(K) and Mod(S) are all isomorphic. More generally, we show that any injection of a finite index subgroup of K into the Torelli group I of S is induced by a homeomo… ▽ More Let K be the subgroup of the extended map** class group, Mod(S), generated by Dehn twists about separating curves. Assuming that S is a closed, orientable surface of genus at least 4, we confirm a conjecture of Farb that Comm(K), Aut(K) and Mod(S) are all isomorphic. More generally, we show that any injection of a finite index subgroup of K into the Torelli group I of S is induced by a homeomorphism. In particular, this proves that K is co-Hopfian and is characteristic in I. Further, we recover the result of Farb and Ivanov that any injection of a finite index subgroup of I into I is induced by a homeomorphism. Our method is to reformulate these group theoretic statements in terms of maps of curve complexes. △ Less

Submitted 26 October, 2004; v1 submitted 25 April, 2004; originally announced April 2004.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol8/paper37.abs.html

MSC Class: 57S05; 20F38; 20F36

Journal ref: Geom. Topol. 8 (2004) 1361-1384

Braid groups are almost co-Hopfian

Authors: Robert W. Bell, Dan Margalit

Abstract: Let B_n be the braid group on n > 3 strands. We prove that B_n modulo its center is co-Hopfian. We then show that any injective endomorphism of B_n is geometric in the sense that it is induced by a homeomorphism of a punctured disk. We further prove that any injection from B_n to B_n+1 is geometric. Additionally, we obtain analogous results for map** class groups of punctured spheres. The meth… ▽ More Let B_n be the braid group on n > 3 strands. We prove that B_n modulo its center is co-Hopfian. We then show that any injective endomorphism of B_n is geometric in the sense that it is induced by a homeomorphism of a punctured disk. We further prove that any injection from B_n to B_n+1 is geometric. Additionally, we obtain analogous results for map** class groups of punctured spheres. The methods use Thurston's theory of surface homeomorphisms and build upon work of Ivanov and McCarthy. △ Less

Submitted 18 June, 2005; v1 submitted 8 March, 2004; originally announced March 2004.

Comments: 27 pages, 7 figures, improved exposition, minor corrections

MSC Class: 20F36; 57M07

A lantern lemma

Authors: Dan Margalit

Abstract: We show that in the map** class group of a surface any relation between Dehn twists of the form T_x^j T_y^k = M (M a multitwist) is the lantern relation, and any relation of the form (T_x T_y)^k = M (where T_x commutes with M) is the 2-chain relation. We show that in the map** class group of a surface any relation between Dehn twists of the form T_x^j T_y^k = M (M a multitwist) is the lantern relation, and any relation of the form (T_x T_y)^k = M (where T_x commutes with M) is the 2-chain relation. △ Less

Submitted 31 December, 2002; v1 submitted 12 June, 2002; originally announced June 2002.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol2/agt-2-46.abs.html

MSC Class: 57M07; 20F38; 57N05

Journal ref: Algebr. Geom. Topol. 2 (2002) 1179-1195

The automorphism group of the pants complex

Authors: Dan Margalit

Abstract: We show that the automorphism group of the complex of pants decompositions for a surface is isomorphic to the map** class group for that surface. We show that the automorphism group of the complex of pants decompositions for a surface is isomorphic to the map** class group for that surface. △ Less

Submitted 31 January, 2002; originally announced January 2002.

Comments: 24 Pages, 16 Figures http://www.math.uchicago.edu/~juggler/pants.ps

MSC Class: 57M07