Related papers: Family Bauer--Furuta invariant, Exotic Surfaces an…
Starting from ideas of Furuta, we develop a general formalism for the construction of cohomotopy invariants associated with a certain class of $S^1$-equivariant non-linear maps between Hilbert bundles. Applied to the Seiberg-Witten map,…
We extend a construction of Stipsicz-Szab\'{o} of infinitely many irreducible exotic smooth structures of some closed four-manifolds with even $b_2^+$ and fundamental group $\mathbb{Z}/2\mathbb{Z}$. We use the double node surgery and…
Attaching a Casson handle to a slice disk complement yields a smooth 4-manifold that is homeomorphic to $\mathbb{R}^4$. We show that if two slice knots have sufficiently different knot Floer homology, then the resulting exotic…
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…
We use a variation of a classical construction of A. Hatcher to construct virtually all stable exotic smooth structures on compact smooth manifold bundles whose fibers have sufficiently large odd dimension (at least twice the base dimension…
Our main result gives an adjunction inequality for embedded surfaces in certain $4$-manifolds with contact boundary under a non-vanishing assumption on the Bauer--Furuta type invariants. Using this, we give infinitely many knots in $S^3$…
By using the relation between foliations and exotic R^4, orbifold $K$-theory deformed by a gerbe can be interpreted as coming from the change in the smoothness of R^4. We give various interpretations of integral 3-rd cohomology classes on…
We show that any simply connected topological closed $4$-manifold punctured along any compact, totally disconnected tame subset $\Lambda$ admits a continuum of smoothings which are not diffeomorphic to any leaf of a $C^{1,0}$ codimension…
Watanabe's theta graph diffeomorphism, constructed using Watanabe's clasper surgery construction which turns trivalent graphs in 4-manifolds into parameterized families of diffeomorphisms of 4-manifolds, is a diffeomorphism of $S^4$…
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 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…
We construct algebraic families of exotic affine 3-spheres, that is, smooth affine threefolds diffeomorphic to a non-degenerate smooth complex affine quadric of dimension 3 but non algebraically isomorphic to it. We show in particular that…
Ruberman in the 90's showed that the group of exotic diffeomorphisms of closed 4-manifolds can be infinitely generated. We provide various results on the question of when such infinite generation can localize to a smaller embedded…
We show that any finitely presented group with an index two subgroup is realized as the fundamental group of a closed smooth non-orientable four-manifold that admits an exotic smooth structure, which is obtained by performing a Gluck twist.…
Recent work on exotic smooth R^4's, i.e. topological R^4 with exotic differential structure, shows the connection of 4-exotics with the codimension-1 foliations of $S^{3}$, SU(2) WZW models and twisted K-theory $K_{H}(S^{3})$, $H\in…
We produce examples of pairwise non-diffeomorphic closed irreducible 4-manifolds with non-trivial free abelian fundamental group of rank less than three and small Euler characteristic. These exotic smooth structures become standard after…
We prove that there exist infinitely many contractible compact smooth $4$-manifolds $C$ that admit absolutely exotic diffeomorphisms of infinite order in $\pi_0(\mathrm{Diff}(C))$. By ``absolutely", we mean that isotopies are not required…
We compute the equivariant Bauer-Furuta degree, when a finite group acts freely on a spin 4-manifold. In the case when the group is cyclic of order power of two, Bryan gave a formula and its applications. We have treated the case when the…
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…
Let $A$ be a modular abelian surface over $Q$ which either has trivial geometric endomorphism ring, or arises as the restriction of scalars of an elliptic curve over an imaginary quadratic field which is modular and is not a $Q$-curve. In…