Related papers: A short exposition of the Madsen-Weiss theorem

The homology of the symmetric groups stabilizes, and the Barratt--Priddy--Quillen theorem identifies the stable homology with that of the infinite loop space underlying the sphere spectrum. We formulate a new proof inspired by Galatius,…

We prove that the homology of the mapping class groups of non-orientable surfaces stabilizes with the genus of the surface. Combining our result with recent work of Madsen and Weiss, we obtain that the classifying space of the stable…

We prove a homological stability theorem for moduli spaces of manifolds of dimension $2n$, for attaching handles of index at least $n$, after these manifolds have been stabilised by countably many copies of $S^n \times S^n$. Combined with…

Motivated by the operad built from moduli spaces of Riemann surfaces, we consider a general class of operads in the category of spaces that satisfy certain homological stability conditions. We prove that such operads are infinite loop space…

For any smooth compact manifold $W$ of dimension at least two we prove that the classifying spaces of its group of diffeomorphisms which fix a set of $k$ points or $k$ embedded disks (up to permutation) satisfy homology stability. The same…

In this paper we study the topology of the space of Riemann surfaces in a simply connected space X, S_{g,n} (X, \gamma). This is the space consisting of triples, (F_{g,n}, \phi, f), where F_{g,n} is a Riemann surface of genus g and…

We give completely combinatorial proofs of the main results of [3] using polygons. Namely, we prove that the mapping class group of a surface with boundary acts faithfully on a finitely-generated linear category. Along the way we prove some…

We study the locus of smooth hypersurfaces inside the Hilbert scheme of a smooth projective complex variety. In the spirit of scanning, we construct a map to a continuous section space of a projective bundle, and show that it induces an…

We give an alternative proof of Madsen-Weiss' generalized Mumford conjecture. Our proof is based on ideas similar to Madsen-Weiss' original proof, but it is more geometrical and less homotopy theoretical in nature. At the heart of the…

We prove that the mapping class group of the one-holed Cantor tree surface is acyclic. This in turn determines the homology of the mapping class group of the once-punctured Cantor tree surface (i.e. the plane minus a Cantor set), in…

Unpublished results of S Straus and W Browder state that two notions of homotopy equivalence for manifolds with smooth group actions - isovariant and equivariant - often coincide under a condition called the Gap Hypothesis; the proofs use…

We show that the extended based mapping class group of an infinite-type surface is naturally isomorphic to the automorphism group of the loop graph of that surface. Additionally, we show that the extended mapping class group stabilizing a…

The symmetries described by Pin groups are the result of combining a finite number of discrete reflections in (hyper)planes. The current work shows how an analysis using geometric algebra provides a picture complementary to that of the…

We prove Wise's $W$-cycles conjecture. Consider a compact graph $\Gamma'$ immering into another graph $\Gamma$. For any immersed cycle $\Lambda:S^1\to \Gamma$, we consider the map $\Lambda'$ from the circular components $\mathbb{S}$ of the…

We give a complete and detailed proof of Harer's stability theorem for the homology of mapping class groups of surfaces, with the best stability range presently known. This theorem and its proof have seen several improvements since Harer's…

In this paper we deal with the global properties of Willmore surfaces in spheres via the harmonic conformal Gauss map using loop groups. We first derive a global description of those harmonic maps which can be realized as conformal Gauss…

Twenty years ago, Mumford initiated the systematic study of the cohomology ring of moduli spaces of Riemann surfaces. Around the same time, Harer proved that the homology of the mapping class groups of oriented surfaces is independent of…

Let $\Sigma$ be a bounded surface. We prove the Dehn-Nielsen-Baer theorem for bounded surfaces to show that the mapping class group of $\Sigma$ is isomorphic to the automorphisms of the fundamental groupoid of $\Sigma$ that fix loops around…

We prove that group homology of the diffeomorphism group of $\#^g S^n \times S^n$ as a discrete group is independent of $g$ in a range, provided that $n>2$. This answers the high dimensional version of a question posed by Morita about…

An isovariant map is an equivariant map between $G$-spaces which strictly preserves isotropy groups. We consider an isovariant analogue of Klein--Williams equivariant intersection theory for a finite group $G$. We prove that under certain…