Related papers: An obstruction to smooth isotopy in dimension 4
The correlation functions of supersymmetric gauge theories on a four-manifold X can sometimes be expressed in terms of topological invariants of X. We show how the existence of superconformal fixed points in the gauge theory can provide…
We propose a way to define and compute invariants of general smooth 4-manifolds based on topological twists of non-Lagrangian 4d N=2 and N=3 theories in which the problem is reduced to a fairly standard computation in topological A-model,…
We prove a localization theorem for exotic diffeomorphisms, showing that every diffeomorphism of a compact simply-connected 4-manifold that is isotopic to the identity after stabilizing with one copy of $S^2 \times S^2$, is smoothly…
Two 4-manifolds are stably diffeomorphic if they become diffeomorphic after connected sum with S^2 x S^2's. This paper shows that two closed, orientable, homotopy equivalent, smooth 4-manifolds are stably diffeomorphic, provided a certain…
We present new computational methods for proving diffeomorphy of triangulated 4-manifolds, including algorithms and topological software that can for the first time effectively handle the complexities that arise in dimension four and be…
Families of smooth closed oriented 4-manifolds with a complex spin structure are studied by means of a family version of the Bauer--Furuta invariants in the context of parametrised stable homotopy theory, leading to a definition of…
This paper is concerned with the problem of stable diffeomorphism classification of 4-manifolds obtained using the surgery on loops. The main theorem states that under the assumption that the normal 1-type of two 4-manifolds in question is…
The main theorem describes the behaviour of the stable cohomotopy invariant defined in the first article (joint with M. Furuta) in this series of two under the operation of taking connected sums of four-manifolds: The invariant of a…
Our main result asserts that for any given numbers C and D the class of simply connected closed smooth manifolds of dimension m<7 which admit a Riemannian metric with sectional curvature bounded in absolute value by C and diameter uniformly…
We perform a topological-holomorphic twist of $\mathcal{N}=4$ supersymmetric gauge theory on a four-manifold of the form $M_4=\Sigma_1 \times \Sigma_2$ with Riemann surfaces $\Sigma_{1,2}$, and unravel the mathematical implications of its…
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…
The goal of this paper is to demonstrate that, at least for nonsimply connected 4-manifolds, the Seiberg-Witten invariant alone does not determine diffeomorphism type within the same homeomorphism type.
We consider families of geometries of D--dimensional space, described by a finite number of parameters. Starting from the De Witt metric we extract a unique integration measure which turns out to be a geometric invariant, i.e. independent…
We introduce a topological invariant, it a type of a graph-manifold, which takes natural values. For a 4-dimensional graph-manifold, whose type does not exceed two, it is proved that its universal cover is bi-Lipschitz equivalent to a…
Comparing and recognizing metrics can be extraordinarily difficult because of the group of diffeomorphisms. Two metrics, that could even be the same, could look completely different in different coordinates. This is the gauge problem. The…
We present a pair of open smooth $4$-manifolds that are mutually homeomorphic. One of them admits a Riemannian metric that possesses quasi-cylindricity, and positivity of scalar curvature and of dimension of certain $L^2$ harmonic forms. By…
Quantum gauge theory in the connection representation uses functions of holonomies as configuration observables. Physical observables (gauge and diffeomorphism invariant) are represented in the Hilbert space of physical states; physical…
In this paper, we classify compact simply connected cohomogeneity one manifolds up to equivariant diffeomorphism whose isotropy representation by the connected component of the principal isotropy subgroup has three or less irreducible…
The aim of this article is to introduce invariants of oriented, smooth, closed four-manifolds, built using the Floer homology theories defined in two earlier papers (math.SG/0101206 and math.SG/0105202). This four-dimensional theory also…
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…