Related papers: The number of smooth 4-manifolds with a fixed comp…

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,…

We prove that for any integer $n$ there exist infinitely many different knots in $S^3$ such that $n$-surgery on those knots yields the same 3-manifold. In particular, when $|n|=1$ homology spheres arise from these surgeries. This answers…

We consider mapping class groups \Gamma(M) = pi_0 Diff(M fix \partial M) of smooth compact simply connected oriented 4-manifolds M bounded by a collection of 3-spheres. We show that if M contains CP^2 (with either orientation) as a…

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…

For a smooth, closed $n$-manifold $M$, we define an upper semi-continuous integer-valued complexity function on $H^1(M;{\mathbb R})$ using Morse theory. This measures how far an integral class is from being a fiber of a fibration. The fact…

We classify up to diffeomorphism all smooth manifolds homeomorphic to the complex projective m-space $\mathbb{C}P^{m}$ for $m = 5, 6, 7$ and $8$. As an application, for $m = 7$ and $8$, we compute the smooth tangential structure set of…

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 introduce a new generalization of Gompf nuclei and give applications. We construct infinitely many exotic smooth structures for a large class of compact 4-manifolds with boundary, regarding topological invariants. We prove that a large…

We show that if a closed oriented $n$-manifold $M$ has a non-trivial cohomology class of even degree $k$, whose all pullbacks to products of type $S^1\times N$ vanish, then the topological complexity $\mathrm{TC}(M)$ is at least $6$, if $n$…

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…

These notes are adapted from two talks given at the 2004 Clay Institute Summer School on Floer homology, gauge theory, and low dimensional topology at the Alfred Renyi Institute. We will quickly review what we do and do not know about the…

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…

The diffeomorphism class of simply-connected smooth Calabi-Yau threefolds with torsion-free cohomology is determined via certain basic topological invariants: the Hodge numbers, the triple intersection form, and the second Chern class. In…

We construct stable minimal hypersurfaces with simple topology in certain compact $4$-manifolds $X$ with boundary, where $X$ embeds into a smooth manifold homeomorphic to $S^4$. For example, if $X$ is equipped with a Riemannian metric $g$…

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…

From a handlebody-theoretic perspective, the simplest compact, contractible 4-manifolds, other than the 4-ball, are Mazur manifolds. We produce the first pairs of Mazur manifolds that are homeomorphic but not diffeomorphic. Our…

We work in the smooth category. Let $N$ be a closed connected orientable 4-manifold with torsion free $H_1$, where $H_q := H_q(N; \mathbb Z)$. Our main result is a readily calculable classification of embeddings $N\to\mathbb R^7$ up to…

We prove the existence of a finite set of moves sufficient to relate any two representations of the same 3-manifold as a 4-fold simple branched covering of S^3. We also prove a stabilization result: after adding a fifth trivial sheet two…

We prove that a closed 4-manifold has shadow-complexity zero if and only if it is a kind of 4-dimensional graph manifold, which decomposes into some particular blocks along embedded copies of S^2 x S^1, plus some complex projective spaces.…

This paper provides a diffeomorphism classification of smooth manifolds homeomorphic to the complex projective space $\mathbb{C}P^m$ for $m \in \{5, 6, 7, 8\}$. The classification is obtained by computing the group of concordance classes of…