Related papers: Four-manifolds, two-complexes and the quadratic bi…

We introduce a new diffeomorphism invariant of smooth compact oriented 4-manifolds $X$ with a framed oriented 1-link $L$ in the boundary, where $L$ may be the empty set, and call it {\it Khovanov-Lipshitz-Sarkar skein lasagna homotopy type}…

We construct infinitely many smooth oriented 4-manifolds containing pairs of homotopic, smoothly embedded 2-spheres that are not topologically isotopic, but that are equivalent by an ambient diffeomorphism inducing the identity on homology.…

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,…

We show examples of pairs of smooth, compact, homeomorphic 4-manifolds, whose diffeomorphism types are distinguished by the topology of the singular sets of smooth stable maps defined on them. In this distinction we rely on results from…

Let $X$ be a compact, oriented, smooth, simply-connected $4$-manifold. The mapping class group of $X$ is defined as the group of smooth isotopy classes of diffeomorphisms of $X$. The Torelli group of $X$ is the subgroup of the mapping class…

A localisation of the category of n-manifolds is introduced by formally inverting the connected sum construction with a chosen n-manifold Y. On the level of automorphism groups, this leads to the stable diffeomorphism groups of n-manifolds.…

In this paper, we will introduce a cut and paste move, called a geometrically null log transform, and prove that any two manifolds related by a sequence of these moves become diffeomorphic afte r one stabilization. To motivate the cut and…

In this paper we construct the space of smooth 4-manifolds and find the homotopy model for the connected components of the complement to the discriminant. The discriminant of this space is a singular hypersurface and its generic points…

A compact 4-dimensional manifold is a non-singular graph-manifold if it can be obtained by the glueing T^2-bundles over compact surfaces (with boundary) of negative Euler characteristics. If none of glueing diffeomorphisms respect the…

We construct the first examples of non-smoothable self-homeomorphisms of smooth $4$-manifolds with boundary that fix the boundary and act trivially on homology. As a corollary, we construct self-diffeomorphisms of $4$-manifolds with…

We construct infinite rank summands isomorphic to $\mathbb{Z}^\infty$ in the higher homotopy and homology groups of the diffeomorphism groups of certain $4$-manifolds. These spherical families become trivial in the homotopy and homology…

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…

In this paper, we first prove that any closed simply connected 4-manifold that admits a decomposition into two disk bundles of rank greater than 1 is diffeomorphic to one of the standard elliptic 4-manifolds: $\mathbb{S}^4$,…

We construct an invariant of closed ${\rm spin}^c$ 4-manifolds using families of Seiberg-Witten equations. This invariant is formulated as a cohomology class on a certain abstract simplicial complex consisting of embedded surfaces of a…

Given a closed, smooth 4-manifold $X$ and self-diffeomorphism $f$ that is topologically pseudo-isotopic to the identity, we study the question of whether $f$ is moreover smoothly pseudo-isotopic to the identity. If the fundamental group of…

In this article we show that every closed oriented smooth 4-manifold can be decomposed into two codimension zero submanifolds (one with reversed orientation) so that both pieces are exact Kahler manifolds with strictly pseudoconvex…

On a 4-dimensional compact symplectic manifold, we consider a smooth family of compatible almost-complex structures such that at time zero the induced metric is Hermite-Einstein almost-K\"ahler metric with zero or negative Hermitian scalar…

Almost hypercomplex pseudo-Hermitian manifolds are considered. Isotropic hyper-K\"ahler manifolds are introduced. A 4-parametric family of 4-dimensional manifolds of this type is constructed on a Lie group. This family is characterized…

We show that for every odd prime $q$, there exists an infinite family $\{M_i\}_{i=1}^{\infty}$ of topological 4-manifolds that are all stably homeomorphic to one another, all the manifolds $M_i$ have isometric rank one equivariant…

From a handlebody-theoretic perspective, the simplest compact, contractible 4-manifolds, other than the 4-ball, are Mazur manifolds. We produce the first pairs of Mazur manifolds that are homeomorphic but not diffeomorphic. Our…