Related papers: From knots to four-manifolds

We describe in this chapter (Chapter IX) the idea of building an algebraic topology based on knots (or more generally on the position of embedded objects). That is, our basic building blocks are considered up to ambient isotopy (not…

We show that the Khovanov-Rozansky $\mathfrak{gl}_2$ skein lasagna module distinguishes the exotic pair of knot traces $X_{-1}(-5_2)$ and $X_{-1}(P(3,-3,-8))$, an example first discovered by Akbulut. This gives the first analysis-free proof…

In these notes, I will sketch a new approach to Khovanov homology of knots and links based on counting the solutions of certain elliptic partial differential equations in four and five dimensions. The equations are formulated on four and…

A 4-manifold is constructed with some curious metric properties; or maybe it is many 4-manifolds masquerading as one, which would explain why it looks curious. Anyway, knots in the 3-sphere with complete finite volume hyperbolic metrics on…

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…

Consider a continuous flow in $\mathbb{R}^3$ or any orientable $3$-manifold. Let $(Q_1, Q_0)$ be an index pair in the sense of Conley and consider the region $N := \overline{Q_1 - Q_0}$. (An example of this is a compact $3$-manifold $N$…

One strategy for distinguishing smooth structures on closed $4$-manifolds is to produce a knot $K$ in $S^3$ that is slice in one smooth filling $W$ of $S^3$ but not slice in some homeomorphic smooth filling $W'$. In this paper we explore…

We consider knot invariants in the context of large $N$ transitions of topological strings. In particular we consider aspects of Lagrangian cycles associated to knots in the conifold geometry. We show how these can be explicity constructed…

We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply…

We give a method for constructing many pairs of distinct knots $K_0$ and $K_1$ such that the two 4-manifolds obtained by attaching a 2-handle to $B^4$ along $K_i$ with framing zero are diffeomorphic. We use the d-invariants of Heegaard…

We construct an invariant of open four-manifolds using the Heegaard Floer theory of Ozsvath and Szabo. We show that there is a manifold X homeomorphic to R^4 for which the invariant is non-trivial, showing that X is an exotic R^4.

For a given group $G$, we construct an invariant of flat $G$-connections on 4-manifolds from a finite type involutory quasitriangular Hopf $G$-algebra. Hopf $G$-algebras are generalizations of Hopf algebras, equipped with gradings by $G$.…

We introduce new topological quantum invariants of compact oriented 3-manifolds with boundary where the boundary is a disjoint union of two identical surfaces. The invariants are constructed via surgery on manifolds of the form $F \times I$…

We classify nonnegatively curved simply connected 4-manifolds with circle symmetry up to equivariant diffeomorphisms. The main problem is rule out knotted curves in the singular set of the orbit space. As an extension of this work we…

This is a survey article about knot Floer homology. We present three constructions of this invariant: the original one using holomorphic disks, a combinatorial description using grid diagrams, and a combinatorial description in terms of the…

This article surveys the use of configuration space integrals in the study of the topology of knot and link spaces. The main focus is the exposition of how these integrals produce finite type invariants of classical knots and links. More…

One can define the complexity of a smooth 4-manifold as the minimal sum of the number of disks, strands and crossings in a Kirby diagram. Martelli proved that the number of homeomorphism classes of complexity less than n grows as $n^2$. In…

We define an invariant of three-manifolds with an involution with non-empty fixed point set of codimension $2$; in particular, this applies to double branched covers over knots. Our construction gives the Heegaard Floer analogue of Li's…

This short survey, which was written to accompany a minicourse at the BIRS conference "Topology in dimension 4.5", concerns invariants of knotted $2$-spheres in $S^4$, also known as $2$-knots. It covers invariants extracted from the…

Seiberg-Witten (Floer) theory, Ozsvath-Szabo's Heegaard Floer theory, Hutchings's embedded contact homology, in different stages of development, define (or are expected to define) packages of invariants for 3- and 4-manifolds (including…