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.
For a compact smooth manifold $M$ (with boundary) we prove that the topological rank of the diffeomorphism group Diff$_0^k(M)$ is finite for all $k\geq 1$. This extends a result from [2] where the same claim is proved in the special case of dim M = k = 1.
Our main result asserts that for any given numbers C and D the class of simply connected closed smooth manifolds of dimension m<7 which admit a Riemannian metric with sectional curvature bounded in absolute value by C and diameter uniformly bounded from above by D contains only finitely many diffeomorphism types. Thus in these dimensions the lower positive bound on volume in Cheeger's Finiteness Theorem can be replaced by a purely topological condition, simply-connectedness. In dimension 4 instead of simply-connectedness here only non-vanishing of the Euler characteristic has to be required. A…
We construct Kähler groups with arbitrary finiteness properties by mapping products of closed Riemann surfaces holomorphically onto an elliptic curve: for each $r\geq 3$, we obtain large classes of Kähler groups that have classifying spaces with finite $(r-1)$-skeleton but do not have classifying spaces with finitely many $r$-cells. We describe invariants which distinguish many of these groups. Our construction is inspired by examples of Dimca, Papadima and Suciu.
We prove:(1) the existence, for every integer n > 3, of a noncompact smooth n-dimensional topological manifold whose diffeomorphism group contains an isomorphic copy of every finitely presented group; (2) a finiteness theorem on finite simple subgroups of diffeomorphism groups of compact smooth topological manifolds.
We prove that in dimensions not equal to 4, 5, or 7, the homology and homotopy groups of the classifying space of the topological group of diffeomorphisms of a disk fixing the boundary are finitely generated in each degree. The proof uses homological stability, embedding calculus and the arithmeticity of mapping class groups. From this we deduce similar results for the homeomorphisms of $R^n$ and various types of automorphisms of 2-connected manifolds.
Let G be a compact Lie group. By work of Chataur and Menichi, the homology of the space of free loops in the classifying space of G is known to be the value on the circle in a homological conformal field theory. This means in particular that it admits operations parameterized by homology classes of classifying spaces of diffeomorphism groups of surfaces. Here we present a radical extension of this result, giving a new construction in which diffeomorphisms are replaced with homotopy equivalences, and surfaces with boundary are replaced with arbitrary spaces homotopy equivalent to finite graphs.…
In this paper we prove a stability theorem for block diffeomorphisms of 2d-dimensional manifolds that are connected sums of S^d x S^d. Combining this with a recent theorem of S. Galatius and O. Randal-Williams and Morlet's lemma of disjunction, we determine the homology of the classifying space of their diffeomorphism groups relative to an embedded disk in a stable range.
Let the circle act effectively in a Hamiltonian fashion on a compact symplectic manifold $(M, ω)$. Assume that the fixed point set $M^{S^1}$ has exactly two components, $X$ and $Y$, and that $\dim(X) + \dim(Y) +2 = \dim(M)$. We first show that $X$, $Y$ and $M$ are simply connected. Then we show that, up to $S^1$-equivariant diffeomorphism, there are finitely many such manifolds in each dimension. Moreover, we show that in low dimensions, the manifold is unique in a certain category. We use techniques from both areas of symplectic geometry and geometric topology.
Mapping class groups of Haken 3-manifolds enjoy many of the homological finiteness properties of mapping class groups of 2-manifolds of finite type. For example, H(M) has a torsionfree subgroup of finite index, which is geometrically finite (i. e. is the fundamental group of a finite aspherical complex). This was proven by J. Harer for 2-manifolds and by the second author for Haken 3-manifolds. In this paper we prove that H(M) acts properly discontinuously on a contractible simplicial complex, with compact quotient. This implies that every torsionfree subgroup of finite index in H(M) is geomet…
We construct classes of Kähler groups that do not have finite classifying spaces and are not commensurable to subdirect products of surface groups. Each of these groups is the fundamental group of the generic fibre of a holomorphic map from a product of Kodaira fibrations onto an elliptic curve.
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 is true for so-called symmetric diffeomorphisms of $W$ connected sum with $k$ copies of an arbitrary compact smooth manifold $Q$ of the same dimension. The analogues for mapping class groups as well as other generalisations will also be proved.
Torelli space (in genus g) is the moduli space of compact Riemann surfaces of genus g together with a symplectic basis of their first homology group. It is the quotient of the genus g Teichmuller space by the Torelli group T_g and is a model of the classifying space of T_g. It is known that almost all T_g are not finite complexes. The goal of this note is to present a suite of problems designed to probe the infinite topology of Torelli spaces. Some background is given and a few new results are proved.
We answer affirmatively a question posed by Morita on homological stability of surface diffeomorphisms made discrete. In particular, we prove that $C^{\infty}$-diffeomorphisms and volume preserving diffeomorphisms of surfaces as family of discrete groups exhibit homological stability. We show that the stable homology of $C^{\infty}$-diffeomorphims of surfaces as discrete groups is the same as homology of certain infinite loop space related to Haefliger's classifying space of foliations of codimension 2. We use this infinite loop space to obtain new results about (non)triviality of characterist…
Given a closed smooth manifold $M$ of even dimension $2n\ge6$ with finite fundamental group, we show that the classifying space ${\rm BDiff}(M)$ of the diffeomorphism group of $M$ is of finite type and has finitely generated homotopy groups in every degree. We also prove a variant of this result for manifolds with boundary and deduce that the space of smooth embeddings of a compact submanifold $N\subset M$ of arbitrary codimension into $M$ has finitely generated higher homotopy groups based at the inclusion, provided the fundamental group of the complement is finite. As an intermediate result,…
Families of smooth closed oriented 4-manifolds with a complex spin structure are studied by means of a family version of the Bauer--Furuta invariants in the context of parametrised stable homotopy theory, leading to a definition of characteristic cohomotopy classes on Thom spectra associated to the classifying spaces of their complex spin diffeomorphism groups. This is illustrated with mapping tori of such diffeomorphisms and related to the equivariant invariants.
This paper is concerned with the problem of stable diffeomorphism classification of 4-manifolds obtained using the surgery on loops. The main theorem states that under the assumption that the normal 1-type of two 4-manifolds in question is the same, the only classifying invariant is the signature. In particular, in some cases, any two closed smooth 4-manifolds with a given fundamental group, obtained by the standard construction, are stably diffeomorphic.
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 surface diffeomorphism groups made discrete. The stable homology is isomorphic to the homology of a certain infinite loop space related to the Haefliger's classifying space of foliations. One geometric consequence of this description of the stable homology is a splitting theorem that implies certain classes called generalized Mumford-Morita-Miller classes can be …
Characteristic classes of oriented vector bundles can be identified with cohomology classes of the disjoint union of classifying spaces BSO_n of special orthogonal groups SO_n with n=0,1,... A characteristic class is stable if it extends to a cohomology class of a homotopy colimit BSO of classifying spaces BSO_n. Similarly, characteristic classes of smooth oriented manifold bundles with fibers given by oriented closed smooth manifolds of a fixed dimension d\ge 0 can be identified with cohomology classes of the disjoint union of classifying spaces BDiff M of orientation preserving diffeomorphis…
The classifying space for the framed Haefliger structures of codimension $q$ and class $C^r$ is $(2q-1)$-connected, for $1\le r\le\infty$. The corollaries deal with the existence of foliations, with the homology and the perfectness of the diffeomorphism groups, with the existence of foliated products, and of foliated bundles.
We give finiteness results and some classifications up to diffeomorphism of minimal strong symplectic fillings of Seifert fibered spaces over S^2 satisfying certain conditions, with a fixed natural contact structure. In some cases we can prove that all symplectic fillings are obtained by rational blow-downs of a plumbing of spheres. In other cases, we produce new manifolds with convex symplectic boundary, thus yielding new cut-and-paste operations on symplectic manifolds containing certain configurations of symplectic spheres.
Tautological classes, or generalised Miller-Morita-Mumford classes, are basic characteristic classes of smooth fibre bundles, and have recently been used to describe the rational cohomology of classifying spaces of diffeomorphism groups for several types of manifolds. We show that rationally tautological classes depend only on the underlying topological block bundle, and use this to prove the vanishing of tautological classes for many bundles with fibre an aspherical manifold.
We present a construction that produces infinite classes of Kähler groups that arise as fundamental groups of fibres of maps to higher dimensional tori. Following the work of Delzant and Gromov, there is great interest in knowing which subgroups of direct products of surface groups are Kähler. We apply our construction to obtain new classes of irreducible, coabelian Kähler subgroups of direct products of $r$ surface groups. These cover the full range of possible finiteness properties of irreducible subgroups of direct products of $r$ surface groups: For any $r\geq 3$ and $2\leq k \leq r-1$, ou…
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…
We apply Menke's JSJ decomposition for symplectic fillings to several families of contact 3-manifolds. Among other results, we complete the classification up to orientation-preserving diffeomorphism of strong symplectic fillings of lens spaces. We show that exact symplectic fillings of contact manifolds obtained by surgery on certain Legendrian negative cables are the result of attaching a Weinstein 2-handle to an exact filling of a lens space. For large families of contact structures on Seifert fibered spaces over $S^2$, we reduce the problem of classifying exact symplectic structures to the …
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…
We consider mapping class groups Γ(M) = pi_0 Diff(M fix \partial M) of smooth compact simply connected oriented 4-manifolds M bounded by a collection of 3-spheres. We show that if M contains CP^2 (with either orientation) as a connected summand then Γ(M) is independent of the number of boundary components. By repackaging classical results of Wall, Kreck and Quinn, we show that the natural homomorphism from the mapping class group to the group of automorphisms of the intersection form becomes an isomorphism after stabilization with respect to connected sum with CP^2 # \bar{CP^2}. We next consid…
