Related papers: Diffeomorphisms of 4-manifolds from graspers

We describe interrelations between a topology structure of closed manifolds (orientable and non-orientable) of the dimension $n\geq 4$ and the structure of the non-wandering set of regular homeomorphisms, in particular, Morse-Smale…

Assume that M is a compact n-dimensional manifold and that N is obtained by surgery along a k-dimensional sphere, k\le n-3. The smooth Yamabe invariants \sigma(M) and \sigma(N) satisfy \sigma(N)\ge min (\sigma(M),\Lambda) for \Lambda>0. We…

In this paper, as a fundamental study on the theory of Morse functions and their higher dimensional versions or fold maps and applications to geometric theory of manifolds, which were started in 1950s by differential topologists such as…

As was recently pointed out by McMullen and Taubes [Math. Res. Lett. 6 (1999) 681-696], there are 4-manifolds for which the diffeomorphism group does not act transitively on the deformation classes of orientation-compatible symplectic…

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…

One approach to produce a pair of homeomorphic-but-not-diffeomophic closed 4-manifolds is to find a knot which is smoothly slice in one but not the other. This approach has never been run successfully. We give the first examples of a pair…

We extend the theory of relative trisections of smooth, compact, oriented $4$-manifolds with connected boundary given by Gay and Kirby to include $4$-manifolds with an arbitrary number of boundary components. Additionally, we provide…

This article surveys gauge theory for families and its applications to the comparison between the diffeomorphism group and the homeomorphism group of $4$-manifolds, up to 2021.

We present several structural results on closed, nonorientable, smooth $4$--manifolds, extending analogous results and machinery for the orientable case. We prove the existence of simplified broken Lefschetz fibrations and simplified…

We show that the morphisms from the braid group with n strands in the mapping class group of a surface with a possible non empty boundary, assuming that its genus is smaller or equal to n/2 are either cyclic morphisms (their images are…

Let K \subset Y be a knot in a three manifold which admits a longitude-framed surgery such that the surgered manifold has first Betti number greater than that of Y. We find a formula which computes the twisted Floer homology of the surgered…

We give a complete diffeomorphism classification of 1-connected manifolds (of dimension different from 4) whose integral homology is H(M)=Z+Z+Z.

A link in the 3-sphere is homotopically trivial, according to Milnor, if its components bound disjoint maps of disks in the 4-ball. This paper concerns the question of what spaces give rise to the same class of homotopically trivial links…

We consider the class of profinite diffeological spaces, that is, diffeological spaces which diffeologies are deduced by pull-back of diffeologies on finite-dimensional manifolds through a system of projection mappings. This class includes…

The trace of $n$-framed surgery on a knot in $S^3$ is a 4-manifold homotopy equivalent to the 2-sphere. We characterise when a generator of the second homotopy group of such a manifold can be realised by a locally flat embedded 2-sphere…

Shapes of four dimensional spaces can be studied effectively via maps to standard surfaces. We explain, and illustrate by quintessential examples, how to simplify such generic maps on 4-manifolds topologically, in order to derive simple…

For a non-orientable closed surface standardly embedded in the 4-sphere, a diffeomorphism over this surface is extendable if and only if this diffeomorphism preserves the Guillou-Marin quadratic form of this embedded surface.

We define an invariant $(W_3)_m$ for $\pi_0\mathrm{Diff}(\natural_m S^1\times D^3,\partial)$ for $m\geq 1$ that generalizes Budney--Gabai's $W_3$ invariant. We give a computational framework inspired by Budney--Gabai and use it to calculate…

We introduce a diffeomorphism invariant of $4$-manifolds, the $\mathrm{Pin}^-(2)$-monopole invariant, defined by using the $\mathrm{Pin}^-(2)$-monopole equations. We compute the invariants of several $4$-manifolds, and prove gluing…

It is shown that any finite list of smooth closed simply-connected 4-manifolds homeomorphic to a given one X can be obtained by removing a single compact contractible submanifold (or cork) from X, and then regluing it by powers of a…