Related papers: Man and machine thinking about the smooth 4-dimens…
The Heegaard Floer correction term ($d$-invariant) is an invariant of rational homology 3-spheres equipped with a Spin$^c$ structure. In particular, the correction term of 1-surgeries along knots in $S^3$ is a ($2\mathbb{Z}$-valued) knot…
We study cosmetic surgeries on a knot in a homology sphere. Several constraints on knots and surgery slopes to admit such surgeries are given. Our main ingredient is the rational surgery formula of the Casson--Walker invariant for…
In 1987 S Cappell and J Shaneson constructed an s-cobordism H from the quaternionic 3-manifold Q to itself, and asked whether H or any of its covers are trivial product cobordism? In this paper we study H, and in particular show that its…
We write a formula for the LMO invariant of a rational homology sphere presented as a rational surgery on a link in S^3. Our main tool is a careful use of the Aarhus integral and the (now proven) "Wheels" and "Wheeling" conjectures of B-N,…
We construct an obstruction theory for relative Hilbert schemes in the sense of Behrend-Fantechi and compute it explicitly for relative Hilbert schemes of divisors on smooth projective varieties. In the special case of curves on a surface…
This article is one of three highly influential articles on the topology of manifolds written by Robert D. Edwards in the 1970's but never published. It presents the initial solutions of the fabled Double Suspension Conjecture. (The other…
Let $\pi$ be a group satisfying the Farrell-Jones conjecture and assume that $B\pi$ is a 4-dimensional Poincar\'e duality space. We consider topological, closed, connected manifolds with fundamental group $\pi$ whose canonical map to $B\pi$…
As a higher dimensional version of the theory of Morse functions, there have been various studies of smooth manifolds using generic smooth maps. As fundamental results, in these studies, they have found that inverse images of such maps…
We show that a certain involution on the well known homology sphere (the boundary of the Mazur manifold) induces a nontrivial homomorphism on its Heegard-Floer homology groups (recently defined by Ozsvath and Szabo). We discuss a possible…
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 compare the invariants of flat vector bundles defined by Atiyah et al. and Jones et al. and prove that, up to weak homotopy, they induce the same map, denoted by $e$, from the $0$-connective algebraic $K$-theory space of the complex…
An invariant is introduced for negative definite plumbed $3$-manifolds equipped with a spin$^c$-structure. It unifies and extends two theories with rather different origins and structures. One theory is lattice cohomology, motivated by the…
We introduce a framework for defining concordance invariants of knots using equivariant singular instanton Floer theory with Chern-Simons filtration. It is demonstrated that many of the concordance invariants defined using instantons in…
We develop a version of Seiberg--Witten Floer cohomology/homotopy type for a spin$^c$ 4-manifold with boundary and with an involution which reverses the spin$^c$ structure, as well as a version of Floer cohomology/homotopy type for oriented…
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 use Khovanov-Rozansky gl(N) link homology to define invariants of oriented smooth 4-manifolds, as skein modules constructed from certain 4-categories with well-behaved duals. The technical heart of this construction is a proof of the…
Let $G$ be a nonabelian, simple group with a nontrivial conjugacy class $C \subseteq G$. Let $K$ be a diagram of an oriented knot in $S^3$, thought of as computational input. We show that for each such $G$ and $C$, the problem of counting…
Some aspects of the construction of SW Floer homology for manifolds with non-trivial rational homology are analyzed. In particular, the case of manifolds that are obtained as zero-surgery on a knot in a homology sphere, and for torsion…
Motivated by physical constructions of homological knot invariants, we study their analogs for closed 3-manifolds. We show that fivebrane compactifications provide a universal description of various old and new homological invariants of…
This work gives a manual for constructing superconformal field theories associated to a family of smooth K3 surfaces. A direct method is not known, but a combination of orbifold techniques with a non-classical duality turns out to yield…