Related papers: Instanton dimensions of knot surgeries over arbitr…

Let $K$ be a non-trivial knot in $S^3$, and let $r$ and $r'$ be two distinct rational numbers of same sign, allowing $r$ to be infinite; we prove that there is no orientation-preserving homeomorphism between the manifolds $S^3_r(K)$ and…

We show that on a hyperbolic knot $K$ in $S^3$, the distance between any two finite surgery slopes is at most two and consequently there are at most three nontrivial finite surgeries. Moreover in case that $K$ admits three nontrivial finite…

In a recent paper, the first author and his collaborator developed a method to compute an upper bound of the dimension of instanton Floer homology via Heegaard Diagrams of 3-manifolds. For a knot inside S3, we further develop an algorithm…

We reconsider topological string realization of SU(N) Chern-Simons theory on S^3. At large N, for every knot K in S^3, we obtain a polynomial A_K(x,p;Q) in two variables x,p depending on the t'Hooft coupling parameter Q=e^{Ng_s}. Its…

This paper studies the existence of $2$-torsion in instanton Floer homology with $\mathbb{Z}$ coefficients for closed $3$-manifolds and singular knots. First, we show that the non-existence of $2$-torsion in the framed instanton Floer…

A slope $p/q$ is characterising for a knot $K \subset \mathbb{S}^3$ if the orientation-preserving homeomorphism type of the manifold $\mathbb{S}^3_K(p/q)$ obtained by performing Dehn surgery of slope $p/q$ along $K$ uniquely determines the…

Surgery exact triangles in various 3-manifold Floer homology theories provide an important tool in studying and computing the relevant Floer homology groups. These exact triangles relate the invariants of 3-manifolds, obtained by three…

We define two concordance invariants of knots using framed instanton homology. These invariants $\nu^\sharp$ and $\tau^\sharp$ provide bounds on slice genus and maximum self-linking number, and the latter is a concordance homomorphism which…

We first present three graphic surgery formulae for the degree $n$ part $Z_n$ of the Kontsevich-Kuperberg-Thurston universal finite type invariant of rational homology spheres. Each of these three formulae determines an alternate sum of the…

Symplectic instanton homology is an invariant for closed oriented three-manifolds, defined by Manolescu and Woodward, which conjecturally corresponds to a symplectic version of a variant of Floer's instanton homology. In this thesis we…

We compute the Heegaard Floer homology of an oriented 3-manifold obtained by a negative rational surgery along an arbitrary algebraic knot.

If a knot $K$ in $S^3$ admits a pair of truly cosmetic surgeries, we show that the surgery slopes are either $\pm 2$ or $\pm 1/q$ for some value of $q$ that is explicitly determined by the knot Floer homology of $K$. Moreover, in the former…

Let $K\subset S^3$ be a hyperbolic fibered knot such that $S^3_{p/q}(K)$, the $\frac pq$--surgery on $K$, is non-hyperbolic. We prove that if the monodromy of $K$ is right-veering, then $0\le\frac pq\le 4g(K)$. The upper bound $4g(K)$…

We prove that the (p,q)-cable of a knot K in S^3 admits a positive L-space surgery if and only if K admits a positive L-space surgery and q/p \geq 2g(K)-1, where g(K) is the Seifert genus of K. The "if" direction is due to Hedden.

Two Dehn surgeries on a knot are called {\it purely cosmetic}, if they yield manifolds that are homeomorphic as oriented manifolds. Suppose there exist purely cosmetic surgeries on a knot in $S^3$, we show that the two surgery slopes must…

This paper establishes a new technique that enables us to access some fundamental structural properties of instanton Floer homology. As an application, we establish, for the first time, a relation between the instanton Floer homology of a…

We mainly use the d-invariant surgery formula established by Wu and Yang \cite{wu2025surgerieslensspacestype} to study the distance one surgeries along a homologically essential knot between lens spaces of the form $L(p,1)$ and $L(q,2)$…

In this paper, we use Heegaard Floer homology to study reducible surgeries. In particular, suppose K is a non-cable knot in the three-sphere with an L-space surgery. If p-surgery on K is reducible, we show that p equals 2g(K)-1. This…

A slope $p/q$ is a characterizing slope for a knot $K$ in $S^3$ if the oriented homeomorphism type of $p/q$-surgery on $K$ determines $K$ uniquely. We show that for each torus knot its set of characterizing slopes contains all but finitely…

We present new obstructions for a knot K in S^3 to admit purely cosmetic surgeries, which arise from the study of Witten-Reshetikhin-Turaev invariants at fixed level. In particular, we strengthen a recent result of Hanselman, showing that…