Related papers: Simply-connected manifolds with large homotopy sta…

For every $k \geq 2$ we construct infinitely many $4k$-dimensional manifolds that are all stably diffeomorphic but pairwise not homotopy equivalent. Each of these manifolds has hyperbolic intersection form and is stably parallelisable. In…

We construct infinitely many smooth 4-manifolds which are homotopy equivalent to $S^2$ but do not admit a spine, i.e., a piecewise-linear embedding of $S^2$ which realizes the homotopy equivalence. This is the remaining case in the…

Let $n \geq 2$. We prove a homological stability theorem for the diffeomorphism groups of $(4n+1)$-dimensional manifolds, with respect to forming the connected sum with $(2n-1)$-connected, $(4n+1)$-dimensional manifolds that are stably…

We consider mapping class groups \Gamma(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…

Kreck's modified surgery gives an approach to classifying smooth $2n$-manifolds up to stable diffeomorphism, i.e. up to connected sum with copies of $S^n \times S^n$. In dimension 4, we use a combination of modified and classical surgery to…

We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a…

We study closed, oriented 4-manifolds whose fundamental group is that of a closed, oriented, aspherical 3-manifold. We show that two such 4-manifolds are stably diffeomorphic if and only if they have the same w_2-type and their equivariant…

Kreck and Schafer produced the first examples of stably diffeomorphic closed smooth 4-manifolds which are not homotopy equivalent. They were constructed by applying the doubling construction to 2-complexes over certain finite abelian groups…

We prove a homological stability theorem for moduli spaces of simply-connected manifolds of dimension $2n > 4$, with respect to forming connected sum with $S^n \times S^n$. This is analogous to Harer's stability theorem for the homology of…

Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map,…

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…

We determine loop space decompositions of simply-connected four-manifolds, $(n-1)$-connected $2n$-dimensional manifolds provided $n\notin\{4,8\}$, and connected sums of products of two spheres. These are obtained as special cases of a more…

This paper constructs numerous examples of highly connected Poincar\'{e} complexes, each homotopy equivalent to a topological manifold yet not homotopy equivalent to any smooth manifold. Furthermore, we determine the homotopy type of any…

Given a closed, smooth, connected, orientable $4$-manifold $M$, whose integral homology groups can have $2$-torsion, we determine the homotopy decomposition of the double suspension $\Sigma^2M$ as wedge sums of some elementary…

This paper explores various differentiable structures on the product manifold $M \times \mathbb{S}^k$, where $M$ is either a 4-dimensional closed, oriented, smooth manifold or a simply connected 5-dimensional closed, smooth manifold. We…

We have been interested in understanding the class of 7-dimensional closed and simply-connected manifolds in geometric and constructive ways. We have constructed explicit fold maps, which are higher dimensional versions of Morse functions,…

It was shown by Seaman that if a compact, oriented 4-dimensional riemannian manifold (M, g) of positive sectional curvature admits a harmonic 2-form of constant length, its intersection form is definite and such a harmonic form is unique up…

Closed (and simply-connected) manifolds whose dimensions are greater than 4 are classified via sophisticated algebraic and abstract theory such as surgery theory and homotopy theory. It is difficult to handle 3 or 4-dimensional closed…

We consider stable manifolds of a holomorphic diffeomorphism of a complex manifold. Using a conjugation of the dynamics to a (non-stationary) polynomial normal form, we show that typical stable manifolds are biholomorphic to complex…

For a simply-connected closed manifold $X$ of $\dim X \neq 4$, the mapping class group $\pi_0(\mathrm{Diff}(X))$ is known to be finitely generated. We prove that analogous finite generation fails in dimension 4. Namely, we show that there…