Related papers: The number of smooth 4-manifolds with a fixed comp…
We show that only finitely many links in a closed 3-manifold share the same complement, up to twists along discs and annuli. Using the same techniques, we prove that by adding 2-handles on the same link we get only finitely many smooth…
Algorithms that decompose a manifold into simple pieces reveal the geometric and topological structure of the manifold, showing how complicated structures are constructed from simple building blocks. This note describes a way to…
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…
In this article, we construct infinitley many simply connected, nonsymplectic and pairwise nondiffeomorphic 4-manifolds starting from E(n) and applying the sequence of knot surgery, ordinary blowups and rational blowdown. We also compute…
We prove the following result: Let $(X,g_0)$ be a complete, connected 4-manifold with uniformly positive isotropic curvature and with bounded geometry. Then there is a finite collection $\mathcal{F}$ of manifolds of the form $\mathbb{S}^3…
In this article, we construct countably many mutually non-isotopic diffeomorphisms of some closed non simply-connected 4-manifolds that are homotopic to but not isotopic to the identity, by surgery along $\Theta$-graphs. As corollaries of…
We prove the following result: Let $(X,g_0)$ be a complete, connected 4-manifold with uniformly positive isotropic curvature and with bounded geometry. Then there is a finite collection $\mathcal{F}$ of manifolds of the form $\mathbb{S}^3…
We show that the number of double points of smoothly immersed 2-spheres representing certain homology classes of an oriented, smooth, closed, simply-connected 4-manifold X must increase with the complexity of corresponding h-cobordisms from…
We prove a diagonalisation theorem for the tautological, or generalised Miller-Morita-Mumford classes of compact, smooth, simply-connected definite $4$-manifolds. Our result can be thought of as a families version of Donaldson's…
A compact oriented 4-manifold is defined to be of ``superconformal simple type'' if certain polynomials in the basic classes (constructed using the Seiberg-Witten invariants) vanish identically. We show that all known 4-manifolds of…
In this paper, we completely classify all compact 4-manifolds with positive isotropic curvature. We show that they are diffeomorphic to $\mathbb{S}^4,$ or $\mathbb{R}\mathbb{P}^4$ or quotients of $\mathbb{S}^3\times \mathbb{R}$ by a…
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 note that infinitely many irreducible, closed, simply connected 4-manifolds, with prescribed signature and spin type, admit perfect Morse functions, i.e. they can be given handle decompositions without 1- and 3-handles. In particular,…
In the author's earlier work there appeared a new way to specify any smooth closed 4-manifold by a surface diagram, which consists of an orientable surface decorated with simple closed curves. These curves are cyclically indexed, and each…
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…
The graph complexity of a compact 3-manifold is defined as the minimum order among all 4-colored graphs representing it. Exact calculations of graph complexity have been already performed, through tabulations, for closed orientable…
We define a diffeomorphism invariant of smooth 4-manifolds which we can estimate for many smoothings of R^4 and other smooth 4-manifolds. Using this invariant we can show that uncountably many smoothings of R^4 support no Stein structure.…
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 prove the "Sullivan Conjecture" on the classification of 4-dimensional complete intersections up to diffeomorphism. Here an $n$-dimensional complete intersection is a smooth complex variety formed by the transverse intersection of $k$…
We prove that, for any n, there are simply-connected four-manifolds which admit n-tuples of symplectic forms whose first Chern classes have pairwise different divisibilities in integral cohomology. It follows that the moduli space of…