Related papers: The trace embedding lemma and spinelessness

We apply the local removable singularity theorem for minimal laminations and the local picture theorem on the scale of topology to obtain two descriptive results for certain possibly singular minimal laminations of $\mathbb{R}^3$. These two…

We shall prove a new non-vanishing theorem for the stable cohomotopy Seiberg-Witten invariant of connected sums of 4-manifolds with positive first Betti number. The non-vanishing theorem enables us to find many new examples of 4-manifolds…

We study trapped surfaces from the point of view of local isometric embedding into three-dimensional Riemannian manifolds. When a two-surface is embedded into three-dimensional Euclidean space, the problem of finding all surfaces applicable…

Extending the work of the first author, we introduce a notion of semisimple topological field theory in arbitrary even dimension and show that such field theories necessarily lead to stable diffeomorphism invariants. The main result of this…

We introduce a new technique that is used to show that the complex projective plane blown up at 6, 7, or 8 points has infinitely many distinct smooth structures. None of these smooth structures admit smoothly embedded spheres with…

From any 4-dimensional oriented handlebody X without 3- and 4-handles and with b_2>0, we construct arbitrary many compact Stein 4-manifolds which are mutually homeomorphic but not diffeomorphic to each other, so that their topological…

We introduce a crossed module of piecewise linear surfaces and study the signature homomorphism, defined as the surface holonomy of a universal translation invariant $2$-connection. This provides a transform whereby surfaces are represented…

Let $X$ be a connected compact 3-manifold with non-empty boundary. Consider the boundary $M$ of $X\times D^2$. $M$ is a 4-dimensional closed manifold and has the same fundamental group as $X$. Various examples of $X$ are known for which a…

In this paper, given a knot K, for any integer m we construct a new surface Sigma_K(m) from a smoothly embedded surface Sigma in a smooth 4-manifold X by performing a surgery on Sigma. This surgery is based on a modification of the `rim…

We give a criterion on a group $\pi$ and a homomorphism $w \colon \pi \to C_2$ under which closed $4$-manifolds with fundamental group $\pi$ and orientation character $w$ are classified up to homotopy equivalence by their quadratic…

Let $X$ be a closed, simply-connected, smooth, spin 4-manifold whose intersection form is isomorphic to $n(-E_8)\bigoplus mH$, where $H$ is the hyperbolic form. In this paper, we prove that for $n$ such that $n\equiv 2 ~{\rm mod} ~4$, there…

Topological classification of the 4-manifolds bridges computation theory and physics. A proof of the undecidability of the homeomorphy problem for 4-manifolds is outlined here in a clarifying way. It is shown that an arbitrary Turing…

In this paper we study smooth structures on closed oriented 4-manifolds with fundamental group Z_2 and definite intersection form. We construct infinitely many irreducible, smooth, oriented, closed, definite four-manifolds with fundamental…

We extend Donaldson's diagonalization theorem to intersection forms with certain local coefficients, under some constraints. This provides new examples of non-smoothable topological 4-manifolds.

We discuss an obstruction to a knot being smoothly slice that comes from minimum-genus bounds on smoothly embedded surfaces in definite 4-manifolds. As an example, we provide an alternate proof of the fact that the (2,1)-cable of the figure…

In this paper, we investigate existence of inequivalent smooth structures on closed smooth non-orientable 4-manifolds building upon results of Akbulut, Cappell-Shaneson, Fintushel-Stern, Gompf, and Stolz. We add to the number of known…

We establish the existence of a pair of exotic surfaces in a punctured $K3$ which remains exotic after one external stabilization and have diffeomorphic complements. A key ingredient in the proof is a vanishing theorem of the family…

We introduce a notion of twisted pure spinor in order to characterize, in a unified way, all the special Riemannian holonomy groups just as a classical pure spinor characterizes the special K\"ahler holonomy. Motivated by certain curvature…

Let $n$ be any natural number. Let $K$ be any $n$-dimensional knot in $S^{n+2}$. We define a supersymmetric quantum system for $K$ with the following properties. We firstly construct a set of functional spaces (spaces of fermionic \{resp.…

We prove the nonexistence of stable immersed minimal surfaces uniformly conformally equivalent to the complex plane in any complete orientable four-dimensional Riemannian manifold with uniformly positive isotropic curvature. We also…