arXiv subjects
Publications and source records attributed to Dan Margalit.
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.
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 mapping class groups of punctured spheres. The methods use Thurston's theory of surface homeomorphisms and build upon work of Ivanov and McCarthy.
Let Mod(S) be the extended mapping 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).
Let B_n be the braid group on n strands, with n at least 4, and let Mod(S) be the extended mapping 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.
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 mapping 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.
Let K be the subgroup of the extended mapping 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.
We show that in the mapping 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 the automorphism group of the complex of pants decompositions for a surface is isomorphic to the mapping class group for that surface.