BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Allen Hatcher appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
This paper corrects an error in a proof in the original version of the paper published in 1998 in the Oxford Quarterly. The main theorem remains the same: The geometric realization of the partially ordered set of proper free factors in a finitely generated free group of rank $n$ is homotopy equivalent to a wedge of spheres of dimension $n-2$.
This is an exposition of a proof of the Madsen-Weiss Theorem, which asserts that the homology of mapping class groups of surfaces, in a stable dimension range, is isomorphic to the homology of a certain infinite loopspace that arises naturally when one applies the "scanning method". The proof given here utilizes simplifications introduced by Galatius and Randal-Williams.
We give a new proof of the theorem of Birman-Powell that the Torelli subgroup of the mapping 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.
The main result in this paper is that the space of all smooth links in Euclidean 3-space isotopic to the trivial link of n components has the same homotopy type as its finite-dimensional subspace consisting of configurations of n unlinked Euclidean circles (the "rings" in the title). There is also an analogous result for spaces of arcs in upper half-space, with circles replaced by semicircles (the "wickets" in the title). A key part of the proofs is a procedure for greatly reducing the complexity of tangled configurations of rings and wickets. This leads to simple methods for computing presentations for the fundamental groups of these spaces of rings and wickets as well as various interesting subspaces. The wicket spaces are also shown to be K(G,1)'s.
The purpose of this note is to point to a gap in an argument in our paper "Stabilization for the automorphisms of free groups with boundaries", and explain how to fill it.
We correct the proof of Theorem 5 of the paper Homology stability for outer automorphism groups of free groups, by the first two authors.
The homology groups of the automorphism group of a free group are known to stabilize as the number of generators of the free group goes to infinity, and this paper relativizes this result to a family of groups that can be defined in terms of homotopy equivalences of a graph fixing a subgraph. This is needed for the second author's recent work on the relationship between the infinite loop structures on the classifying spaces of mapping class groups of surfaces and automorphism groups of free groups, after stabilization and plus-construction. We show more generally that the homology groups of mapping class groups of most compact orientable 3-manifolds, modulo twists along 2-spheres, stabilize under iterated connected sum with the product of a circle and a 2-sphere, and the stable groups are invariant under connected sum with a solid torus or a ball. These results are proved using complexes of disks and spheres in reducible 3-manifolds.
We prove that the quotient map from Aut(F_n) to Out(F_n) induces an isomorphism on homology in dimension i for n at least 2i+4. This corrects an earlier proof by the first author and significantly improves the stability range. In the course of the proof, we also prove homology stability for a sequence of groups which are natural analogs of mapping class groups of surfaces with punctures. In particular, this leads to a slight improvement on the known stability range for Aut(F_n), showing that its i-th homology is independent of n for n at least 2i+2.
The main theorem shows that if M is an irreducible compact connected orientable 3-manifold with non-empty boundary, then the classifying space BDiff(M rel dM) of the space of diffeomorphisms of M which restrict to the identity map on boundary(M) has the homotopy type of a finite aspherical CW-complex. This answers, for this class of manifolds, a question posed by M Kontsevich. The main theorem follows from a more precise result, which asserts that for these manifolds the mapping class group H(M rel dM) is built up as a sequence of extensions of free abelian groups and subgroups of finite index in relative mapping class groups of compact connected surfaces.