Related papers: Man and machine thinking about the smooth 4-dimens…

In this paper we use character variety methods to study homomorphisms between the fundamental groups of 3-manifolds, in particular those induced by non-zero degree maps. A {\it knot manifold} is a compact, connected, irreducible, orientable…

Gauss diagram formulas are extensively used to study Vassiliev link invariants. Now we apply this approach to invariants of 3-manifolds, considering manifolds given by surgery on framed links in the 3-sphere. We study the lowest degree case…

This note contains two remarks about the application of the d-invariant in Heegaard Floer homology and Donaldson's diagonalization theorem to knot theory. The first is the equivalence of two obstructions they give to a 2-bridge knot being…

Using Taubes' periodic ends theorem, Auckly gave examples of toroidal and hyperbolic irreducible integer homology spheres which are not surgery on a knot in the three-sphere. We give an obstruction to a homology sphere being surgery on a…

We call a non-trivial homology sphere a Kirby-Ramanujam sphere if it bounds both a homology plane and a Mazur or Po\'enaru manifold. In 1980, Kirby found the first example by proving that the boundary of the Ramanujam surface bounds a Mazur…

We define a higher-dimensional analogue of symplectic Khovanov homology. Consider the standard Lefschetz fibration $p\colon W\to D\subset\mathbb{C}$ of a $2n$-dimensional Milnor fiber of the $A_{2\kappa-1}$ singularity. We represent a link…

The main result of this paper asserts that if a Seifert fibered 4-manifold has nonzero Seiberg-Witten invariant, the homotopy class of regular fibers has infinite order. This is a nontrivial obstruction to smooth circle actions; as…

In this addendum, we give a differential form interpretation of the proof of the main theorem of arXiv:1812.02448, which gives lower bounds of the dimensions of $\pi_k(B\mathrm{Diff}(D^4,\partial))\otimes\mathbb{Q}$ in terms of the…

We use the knot homology of Khovanov and Lee to construct link concordance invariants generalizing the Rasmussen $s$-invariant of knots. The relevant invariant for a link is a filtration on a vector space of dimension $2^{|L|}$. The basic…

We propose a way to derive polynomial invariants of closed, orientable $3$-manifolds from Heegaard diagrams via cellularly embedded graphs. Given a Heegaard diagram of an irreducible $3$-manifold $M$, we associate a Heegaard graph $G\subset…

We introduce a method to detect exotic surfaces without explicitly using a smooth 4-manifold invariant or an invariant of a 4-manifold-surface pair in the construction. Our main tools are two versions of families (Seiberg-Witten)…

Using the theory of perverse sheaves of vanishing cycles, we define a homological invariant of knots in three-manifolds, similar to the three-manifold invariant constructed by Abouzaid and the second author. We use spaces of SL(2,C) flat…

We call a knot in the 3-sphere $SU(2)$-simple if all representations of the fundamental group of its complement which map a meridian to a trace-free element in $SU(2)$ are binary dihedral. This is a generalisation of being a 2-bridge knot.…

For a knot $K$ with $\Delta_K(t)\doteq t^2-3t+1$ in a homology $3$-sphere, let $M$ be the result of $2/q$-surgery on $K$. We show that appropriate assumptions on the Reidemeister torsion and the Casson-Walker-Lescop invariant of the…

Markov proved that there exists an unrecognizable 4-manifold, that is, a 4-manifold for which the homeomorphism problem is undecidable. In this paper we consider the question how close we can get to S^4 with an unrecognizable manifold. One…

A correspondence, by way of Heegaard splittings, between closed oriented 3-manifolds and pairs of surjections from a surface group to a free group has been studied by Stallings, Jaco, and Hempel. This correspondence, by way of trisections,…

In this paper we find a family of knots with trivial Alexander polynomial, and construct two non-isotopic Seifert surfaces for each member in our family. In order to distinguish the surfaces we study the sutured Floer homology invariants of…

Ozsv\'ath and Szab\'o used the knot filtration on $\widehat{CF}(S^3)$ to define the $\tau$-invariant for knots in the 3-sphere. In this article, we generalize their construction and define a collection of $\tau$-invariants associated to a…

Using the rational surgery formula for the Casson--Walker--Lescop invariant of links in the $3$-sphere, we show that any null-homologous knot in a rational homology sphere admits at most two pairs of integral purely cosmetic surgeries. We…

We give an infinite family of embeddings of $\mathbb{R} P^2$ to $S^4$ such that they are mutually topologically isotopic however are not smoothly isotopic to each other. Moreover, they are topologically isotopic to the standard $P^2$-knot.…