Related papers: Every genus one algebraically slice knot is 1-solv…
We develop and implement an algorithm that computes the full knot Floer complex of knots of thickness one. As an application, by extending this algorithm to certain knots of thickness two, we show that all but finitely many non-integral…
By considering a version of Khovanov homology incorporating both the Lee and $E(-1)$ differentials, we construct a $1$-parameter family of concordance homomorphisms similar to the Upsilon invariant from knot Floer homology. This invariant…
We define a new smooth concordance homomorphism based on the knot Floer complex and an associated concordance invariant, epsilon. As an application, we show that an infinite family of topologically slice knots are independent in the smooth…
We construct many examples of non-slice knots in 3-space that cannot be distinguished from slice knots by previously known invariants. Using Whitney towers in place of embedded disks, we define a geometric filtration of the 3-dimensional…
Kronheimer and Mrowka asked whether the difference between the four-dimensional clasp number and the slice genus can be arbitrarily large. This question is answered affirmatively by studying a knot invariant derived from equivariant…
We produce two separate algebraic descriptions of the isomorphism classes of the solvable subgroups of the group PLo(I) of piecewise-linear orientation-preserving homeomorphisms of the unit interval under the operation of composition, and…
In this paper we will associate a family $\{K_1,\dots,K_l\}\subset \mathbb{S}^3$ of iterated torus knots to a given free numerical semigroup. We will describe the fundamental group of the knot complement of each knot of the family. Finally,…
We give a cabling formula for the Links--Gould polynomial of knots colored with a $4n$-dimensional irreducible representation of $\mathrm{U}^H_q\mathfrak{sl}(2|1)$ and identify them with the $V_n$-polynomial of knots for $n=2$. Using the…
In the 60's Levine proved that if $R$ is a slice knot, then on any genus $g$ Seifert surface for $R$ there is a $g$ component link $J$, called a derivative of $R$, on which the Seifert form vanishes. Many subsequent obstructions to $R$…
We show that for any $i > 0$, it is decidable, given a regular language, whether it is expressible in the $\Sigma_i[<]$ fragment of first-order logic FO[<]. This settles a question open since 1971. Our main technical result relies on the…
Cochran defined the nth-order integral Alexander module of a knot in the three sphere as the first homology group of the knot's (n+1)th-iterated abelian cover. The case n=0 gives the classical Alexander module (and polynomial). After a…
An open question asks if every knot of 4-genus g_s can be changed into a slice knot by g_s crossing changes. A counterexample is given.
We investigate subgroups of the group PLo(I) of piecewise-linear, orientation-preserving homeomorphisms of the unit interval with finitely many breaks in slope, under the operation of composition, and also subgroups of the generalized…
For every genus $g\geq 2$, we construct an infinite family of strongly quasipositive fibred knots having the same Seifert form as the torus knot $T(2,2g+1)$. In particular, their signatures and four-genera are maximal and their homological…
The $\nu^+$-equivalence is an equivalence relation on the knot concordance group. This relation can be seen as a certain stable equivalence on knot Floer complexes $CFK^{\infty}$, and many concordance invariants derived from Heegaard Floer…
We show that there are links whose individual components are concordant to the unknot, but which are not concordant to any link with unknotted components. We give examples in the topological category, and examples in the smooth category…
We prove that every nontrivial cable of the figure-eight knot has infinite order in the smooth knot concordance group. Our main contribution is a uniform proof that applies to all $(2n,1)$-cables of the figure-eight knot. To this end, we…
We study canonical filtrations of finite-dimensional associative algebras and Lie algebras. These filtrations are defined via optimal destabilizing one-parameter subgroups in the sense of geometric invariant theory (GIT), and appear to be a…
In a groundbreaking work A. Levine proved the surprising result that there exist knots in homology spheres which are not smoothly concordant to any knot in $S^3$, even if one allows for concordances in homology cobordisms. Since then…
In this paper, we compute the slice genus for many low-crossing virtual knots. For instance, we show that 1295 out of 92800 virtual knots with 6 or fewer crossings are slice, and that all but 248 of the rest are not slice. Key to these…