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 the genus in low degrees, increasing with the genus. The (co)homology of mapping class groups thus stabelizes. At least rationally, the mapping class groups have the same (co)homology as the corresponding moduli spaces. This prompted Mumford to conjecture that the stable rational cohomology of moduli spaces is generated by certain tautological classes that he defines. Much of the recent interest in this subject is motivated by mathematical physics and, in particular, by string theory. The study of the category of strings led to the discovery of an infinite loop space, the cohomology of which is the stable cohomology of the mapping class groups. We explain here a homotopy theoretic approach to Mumford's conjecture based on this fact. As byproducts infinite families of torsion classes in the stable cohomology are detected, and the divisibility of the tautological classes is determined. An analysis of the category of strings in a background space leads to the formulization of a parametrized version of Mumford's conjecture.
The paper is chiefly a summary of the author's work and her collaboration with Ib Madsen. Earlier this year Madsen and Weiss announced a solution of Mumford's conjecture. We touch on some of the consequences and the ideas behind this most exciting new developement.
We prove that the first integral cohomology of pure mapping class groups of infinite type genus one surfaces is trivial. For genus zero surfaces we prove that not every homomorphism to $\mathbb{Z}$ factors through a sphere with finitely many punctures. In fact we get an uncountable family of such maps.
Using the existence of certain symplectic submanifolds in symplectic 4-manifolds, we prove an estimate from above for the number of singular fibers with separating vanishing cycles in minimal Lefschetz fibrations over surfaces of positive genus. This estimate is then used to deduce that mapping class groups are not uniformly perfect, and that the map from their second bounded cohomology to ordinary cohomology is not injective.
We show that every subgroup of the mapping class group MCG(S) of a compact surface S is either virtually abelian or it has infinite dimensional second bounded cohomology. As an application, we give another proof of the Farb-Kaimanovich-Masur rigidity theorem that states that MCG(S) does not contain a higher rank lattice as a subgroup.
From an operad C with an action of a group G, we construct new operads using the homotopy fixed point and orbit spectra. These new operads are shown to be equivalent when the generalized G-Tate cohomology of C is trivial. Applying this theory to the little disk operad C_2 (which is an S^1 operad) we obtain variations on Getzler's gravity operad, which we show governs the Chas-Sullivan string bracket.
In this work we compute the first integral cohomology of the pure mapping class group of a non-orientable surface of infinite topological type and genus at least 3. To this purpose, we also prove several other results already known for orientable surfaces such as the existence of an Alexander method, the fact that the mapping class group is isomorphic to the automorphism group of the curve graph along with the topological rigidity of the curve graph, and the structure of the pure mapping class group as both a Polish group and a semi-direct product.
The cohomology of the pure string motion group PSigma_n admits a natural action by the hyperoctahedral group W_n. Church and Farb conjectured that for each k > 0, the sequence of degree k rational cohomology groups of PSigma_n is uniformly representation stable with respect to the induced action by W_n, that is, the description of the groups' decompositions into irreducible W_n representations stabilizes for n >> k. We use a characterization of the cohomology groups given by Jensen, McCammond, and Meier to prove this conjecture. Using a transfer argument, we further deduce that the rational co…
In this paper, we calculate the p-torsion of the Farrell cohomology for low genus pure mapping class groups with punctures, where p is an odd prime. Here, `low genus' means g=1,2,3; and `pure mapping class groups with punctures' means the mapping class groups with any number of punctures, where the punctures are not allowed to be permuted. These calculations use our previous results about the periodicity of pure mapping class groups with punctures, as well as other cohomological tools. The low genus cases are interesting because we know that the high genus cases can be reduced to the low genus…
In this paper we conjecture the stability and vanishing of a large piece of the unstable rational cohomology of SL_n Z, of mapping class groups, and of Aut(F_n).
In this paper we apply the theory of finitely generated FI-modules developed by Church, Ellenberg and Farb to certain sequences of rational cohomology groups. Our main examples are the cohomology of the moduli space of n-pointed curves, the cohomology of the pure mapping class group of surfaces and some manifolds of higher dimension, and the cohomology of classifying spaces of some diffeomorphism groups. We introduce the notion of FI[G]-module and use it to strengthen and give new context to results on representation stability discussed by the author in a previous paper. Moreover, we prove tha…
Let Mod_g be the mapping class group of a genus g >= 2 surface. The group Mod_g has virtual cohomological dimension 4g-5. In this note we use a theorem of Broaddus and the combinatorics of chord diagrams to prove that H^{4g-5}(Mod_g; Q) = 0.
Configuration space integrals have in recent years been used for studying the cohomology of spaces of (string) knots and links in $\mathbb{R}^n$ for $n>3$ since they provide a map from a certain differential algebra of diagrams to the deRham complex of differential forms on the spaces of knots and links. We refine this construction so that it now applies to the space of homotopy string links -- the space of smooth maps of some number of copies of $\mathbb{R}$ in $\mathbb{R}^n$ with fixed behavior outside a compact set and such that the images of the copies of $\R$ are disjoint -- even for $n=3…
We discuss a number of open problems about mapping class groups of surfaces. In particular, we discuss problems related to linearity, congruence subgroups, cohomology, pseudo-Anosov stretch factors, Torelli subgroups, and normal subgroups.
The mapping class group $Γ^k(N_g)$ of a non-orientable surface with punctures is studied via classical homotopy theory of configuration spaces. In particular, we obtain a non-orientable version of the Birman exact sequence. In the case of $\mathbb R {\rm P}^2$, we analize the Serre spectral sequence of a fiber bundle $F_k(\mathbb R {\rm P}^2)/Σ_k \to X_k \to BSO(3)$ where $X_k$ is a $K(Γ^k(\mathbb R {\rm P}^2),1)$ and $F_k(\mathbb R {\rm P}^2)/Σ_k$ denotes the configuration space of unordered $k$-tuples of distinct points in $\mathbb R {\rm P}^2$. As a consequence, we express the mod-2 cohomol…
We exhibit a finitely generated group $\M$ whose rational homology is isomorphic to the rational stable homology of the mapping class group. It is defined as a mapping class group associated to a surface $\su$ of infinite genus, and contains all the pure mapping class groups of compact surfaces of genus $g$ with $n$ boundary components, for any $g\geq 0$ and $n>0$. We construct a representation of $\M$ into the restricted symplectic group ${\rm Sp_{res}}({\cal H}_r)$ of the real Hilbert space generated by the homology classes of non-separating circles on $\su$, which generalizes the classical …
We observe that the Poincare duality isomorphism for a string manifold is an isomorphism of modules over the subalgebra A(2) of the modulo 2 Steenrod algebra. In particular, the pattern of the operations Sq^1, Sq^2, and Sq^4 on the cohomology of a string manifold has a symmetry around the middle dimension. We characterize this kind of cohomology operation duality in term of the annihilator of the Thom class of the negative tangent bundle, and in terms of the vanishing of top-degree cohomology operations. We also indicate how the existence of such an operation-preserving duality implies the int…
In this paper, we survey recent works on the structure of the mapping class groups of surfaces mainly from the point of view of topology. We then discuss several possible directions for future research. These include the relation between the structure of the mapping class group and invariants of 3-manifolds, the unstable cohomology of the moduli space of curves and Faber's conjecture, cokernel of the Johnson homomorphisms and the Galois as well as other new obstructions, cohomology of certain infinite dimensional Lie algebra and characteristic classes of outer automorphism groups of free group…
Floer cohomology is computed for certain elements of the mapping class group of a surface $Σ$ of genus $g>1$ which are compositions of positive and negative dehn twists along some loops in $Σ$. The computations cover a certain class of pseudo-Anasov maps.
We study mapping class groups of infinite type surfaces with isolated punctures and their actions on the loop graphs introduced by Bavard-Walker. We classify all of the mapping classes in these actions which are loxodromic with a WWPD action on the corresponding loop graph. The WWPD property is a weakening of Bestvina-Fujiwara's weak proper discontinuity and is useful for constructing non-trivial quasimorphisms. We use this classification to give a sufficient criterion for subgroups of big mapping class groups to have infinite-dimensional second bounded cohomology and use this criterion to giv…
We show that the pure mapping class group $\mathcal{N}_{g}^{k}$ of a non-orientable closed surface of genus $g\geqslant 2$ with $k\geqslant 1$ marked points has $p$-periodic cohomology for each odd prime $p$ for which $\mathcal{N}_{g}^{k}$ has $p$-torsion. Using the Yagita invariant and the cohomology classes obtained by the representation of subgroups of order $p$, we obtain that the $p$-period is less than or equal to $4$ when $g\geqslant 3$ and $k\geqslant 1$. Moreover, combining the Nielsen realization theorem and a characterization of the $p$-period given in terms of normalizers and centr…
For almost any compact connected Lie group $G$ and any field $\mathbb{F}\_p$, we compute the Batalin-Vilkoviskyalgebra $H^{*+\text{dim }G}(LBG;\mathbb{F}\_p)$ on the loop cohomology of the classifying space introduced byChataur and the second author.In particular, if $p$ is odd or $p=0$, this Batalin-Vilkovisky algebra is isomorphicto the Hochschild cohomology $HH^*(H\_*(G),H\_*(G))$. Over $\mathbb{F}\_2$, such isomorphism of Batalin-Vilkovisky algebrasdoes not hold when $G=SO(3)$ or $G=G\_2$.
The first author conjectured certain relations for Morita-Mumford classes and Newton classes in the integral cohomology of mapping class groups (integral Riemann-Roch formulae). In this paper, the conjecture is verified for cyclic subgroups of mapping class groups.
In this paper, we briefly review some of the known results concerning the cohomological structures of the mapping class group of surfaces, the outer automorphism group of free groups, the diffeomorphism group of surfaces as well as various subgroups of them such as the Torelli group, the IA outer automorphism group of free groups, the symplectomorphism group of surfaces. Based on these, we present several conjectures and problems concerning the cohomology of these groups. We are particularly interested in the possible interplays between these cohomology groups rather than merely the structures…
The concept of orbifolds should unify differential geometry with equivariant homotopy theory, so that orbifold cohomology should unify differential cohomology with proper equivariant cohomology theory. Despite the prominent role that orbifolds have come to play in mathematics and mathematical physics, especially in string theory, the formulation of a general theory of orbifolds reflecting this unification has remained an open problem. Here we present a natural theory argued to achieve this. We give both a general abstract axiomatization in higher topos theory, as well as concrete models for or…
In these lecture notes we discuss a body of work in which Morse theory is used to construct various homology and cohomology operations. In the classical setting of algebraic topology this is done by constructing a moduli space of graph flows, using homotopy theoretic methods to construct a virtual fundamental class, and evaluating cohomology classes on this fundamental class. By using similar constructions based on "fat" or ribbon graphs, we describe how to construct string topology operations on the loop space of a manifold, using Morse theoretic techniques. Finally, we discuss how to relate …
Let M_g^n be the moduli space of Riemann surfaces of genus g with n labeled marked points. We prove that, for g \geq 2, the cohomology groups {H^i(M_g^n;Q)}_{n=1}^{\infty} form a sequence of Sn representations which is representation stable in the sense of Church-Farb [CF]. In particular this result applied to the trivial Sn representation implies rational "puncture homological stability" for the mapping class group Mod_g^n. We obtain representation stability for sequences {H^i(PMod^n(M);Q)}_{n=1}^{\infty}, where PMod^n(M) is the mapping class group of many connected manifolds M of dimension d…
