相关论文: The groups of diffeomorphisms and homeomorphisms o…
We obtain constraints on the topology of families of smooth $4$-manifolds arising from a finite dimensional approximation of the families Seiberg-Witten monopole map. Amongst other results these constraints include a families generalisation…
Using the Seiberg-Witten monopole equations, Baraglia recently proved that for most of simply-connected closed smooth $4$-manifolds $X$, the inclusions $\mathrm{Diff}(X) \hookrightarrow \mathrm{Homeo}(X)$ are not weak homotopy equivalences.…
By extending a result of Kronheimer-Mrowka to the family setting, we prove a gluing formula for the family Seiberg-Witten invariant. This formula allows one to compute the invariant for a smooth family of 4-manifolds by cutting it open…
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…
This article presents the constructions of new infinite families of smooth 4-manifolds with the property that any two manifolds in the same family are homeomorphic and, from their construction, seem to be quite different, but cannot be…
We investigate the realisability of the Casson-Sullivan invariant for homeomorphisms of smooth $4$-manifolds, which is the obstruction to a homeomorphism being stably pseudo-isotopic to a diffeomorphism, valued in the third cohomology of…
This paper studies the homotopy and homeomorphism classifications of $4$-manifolds with boundary. Given $4$-manifolds $X_0$ and $X_1$ with fundamental group $\pi$, we consider the problem of extending a homotopy equivalence $h \colon…
We show that for any connected smooth manifold $M$ of dimension different from $3$ the restriction of the compact-open topology to the diffeomorphism group of $M$ is minimal, i.e. the group does not admit a strictly coarser Hausdorff group…
We establish constraints on the topology of smooth Lefschetz fibrations with $4$-dimensional fibers, by studying the family Bauer-Furuta invariant. To compute this invariant, we analyze the framed bordism class of 1-dimensional…
We classify the possible elementary amenable fundamental groups of compact aspherical 4-manifolds with boundary and conclude that they are either polycyclic or solvable Baumslag- Solitar. Since these groups are good and satisfy the…
We classify topological $4$-manifolds with boundary and fundamental group $\mathbb{Z}$, under some assumptions on the boundary. We apply this to classify surfaces in simply-connected $4$-manifolds with $S^3$ boundary, where the fundamental…
Any smooth, closed oriented 4-manifold has a surface diagram of arbitrarily high genus g>2 that specifies it up to diffeomorphism. The goal of this paper is to prove the following statement: For any smooth, closed oriented 4-manifold M,…
Using Furuta's idea of finite dimensional approximation in Seiberg-Witten theory, we refine Seiberg-Witten Floer homology to obtain an invariant of homology 3-spheres which lives in the S^1-equivariant graded suspension category. In…
In this paper, we study the compactness of a boundary value problem for hyperkaehler 4-manifolds. We show that under certain topological conditions and the positive mean curvature condition on the boundary, a sequence of hyperkaehler…
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…
We show how the families Seiberg-Witten invariants of a family of smooth $4$-manifolds can be recovered from the families Bauer-Furuta invariant via a cohomological formula. We use this formula to deduce several properties of the families…
We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply…
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 define family versions of the invariant of 4-manifolds with contact boundary due to Kronheimer and Mrowka and use these to detect exotic diffeomorphisms of 4-manifolds with boundary. Further, we show the existence of the first example of…
We show a rigidity theorem for the Seiberg-Witten invariants mod 2 for families of spin 4-manifolds. A mechanism of this rigidity theorem also gives a family version of 10/8-type inequality. As an application, we prove the existence of…