arXiv research

New homomorphism from Khovanov homology for knot concordance.

We define an infinite family of linearly independent, integer-valued smooth concordance homomorphisms. Our homomorphisms are explicitly computable and rely on local equivalence classes of knot Floer complexes over the ring $\mathbb{F}[U, V]/(UV=0)$. We compare our invariants to other concordance homomorphisms coming fr…

New homomorphism from Khovanov homology gives slice genus bounds.

We modify the construction of knot Floer homology to produce a one-parameter family of homologies for knots in the three-sphere. These invariants can be used to give homomorphisms from the smooth concordance group to the integers, giving bounds on the four-ball genus and the concordance genus of knots. We give some app…

It is well-known that generic perturbations of the complex Frobenius algebra used to define Khovanov cohomology each give rise to Rasmussen's concordance invariant s. This gives a concordance homomorphism to the integers and a strong lower bound on the smooth slice genus of a knot. Similar behavior has been observed in…

Defines a new homomorphism for strongly invertible knots, proving equivariant algebraic concordance.

Study fundamental quandle of ribbon concordances, proving homomorphisms.

Partial proof of a conjecture about knot concordance maps.

Kawauchi defined a group structure on the set of homology $S^1$\times$S^2$'s under an equivalence relation called $\widetilde{H}$-cobordism. This group receives a homomorphism from the knot concordance group, given by the operation of zero-surgery. It is natural to ask whether the zero-surgery homomorphism is injecti…

For all n > 0 there is a homomorphism from the smooth concordance group of knots in dimension 2n + 1 to an algebraically defined group called the rational algebraic concordance group. This algebraic concordance group splits as a direct sum of groups indexed by polynomials. For n > 1 the homomorphism is injective. This …

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 concordance group.

Formula calculates linking numbers in knot theory.

A knot in a solid torus defines a map on the set of (smooth or topological) concordance classes of knots in $S^3$. This set admits a group structure, but a conjecture of Hedden suggests that satellite maps never induce interesting homomorphisms: we give new evidence for this conjecture in both categories. First, we use…

Concordance invariants of knots are derived from the instanton homology groups with local coefficients, as introduced in earlier work of the authors. These concordance invariants include a 1-parameter family of homomorphisms $f_{r}$, from the knot concordance group to the reals. Prima facie, these concordance invariant…

We study two homomorphisms to the rational homology sphere group. If $ψ$ denotes the inclusion homomorphism from the integral homology sphere group, then using work of Lisca we show that the image of $ψ$ intersects trivially with the subgroup of the rational homology sphere group generated by lens spaces. As corollarie…

We discuss an infinite class of metabelian Von Neumann rho-invariants. Each one is a homomorphism from the monoid of knots to the real line. In general they are not well defined on the concordance group. Nonetheless, we show that they pass to well defined homomorphisms from the subgroup of the concordance group generat…

Formulae for Rasmussen invariant of satellite knots with wrapping number 2 proved.

We employ Hirzebruch-type invariants obtained from iterated p-covers to investigate concordance of links and string links. We show that the invariants naturally give various group homomorphisms of the string link concordance group into L-groups over number fields. We also obtain homomorphisms of successive quotients of…

Formula calculates knot Floer complexes for specific cable knots.

We show that a decorated knot concordance $\mathcal{C}$ from $K_0$ to $K_1$ induces an $\mathbb{F}[U]$-module homomorphism \[G_{\mathcal{C}}: HFK^{-}(-S^3,K_0) \to HFK^{-}(-S^3,K_1)\] which preserves the Alexander and absolute $\mathbb{Z}_2$-Maslov gradings. Our construction generalizes the concordance maps induced on …

Study shows infinite-rank summand in homology concordance group of knots.

We characterize the fractional Dehn twist coefficient of a braid in terms of a slope of the homogenization of the Upsilon function, where Upsilon is the function-valued concordance homomorphism defined by Ozsváth, Stipsicz, and Szabó. We use this characterization to prove that $n$-braids with fractional Dehn twist coef…

Satellite operators generate infinite rank subgroups in knot concordance.

In an earlier work, we introduced a family of t-modified knot Floer homologies, defined by modifying the construction of knot Floer homology HFK-minus. The resulting groups were then used to define concordance homomorphisms indexed by t in [0,2]. In the present work we elaborate on the special case t=1, and call the co…

A spectral sequence is established, from Bar-Natan's variant of Khovanov homology to a deformation of instanton homology for knots and links. This spectral sequence arises as a specialization of a spectral sequence from a characteristic-2 version of $F_5$ homology, in Khovanov'sclassification. Concordance invariants of…

In the study of homology cobordisms, knot concordance and link concordance, the following technical problem arises frequently: let $π$ be a group and let $M \to N$ be a homomorphism between projective $\Z[π]$-modules such that $\Z_p \otimes_{\Z[π]} M\to \Z_p \otimes_{\Z[π]} N$ is injective; for which other right $\Z[π]…

Short note on braid index and quasipositivity of certain pretzel knots.

We generalize the Manolescu-Owens smooth concordance invariant delta(K) of knots K in the 3-sphere to invariants delta_{p^n}(K) obtained by considering covers of order p^n, with p prime. Our main result shows that for any odd prime p, the direct sum of delta_{p^n} as n ranges through the natural numbers, yields a homom…

Knots generating infinite subgroup bound rational homology balls.

The knot invariant Upsilon, defined by Ozsvath, Stipsicz, and Szabo, induces a homomorphism from the smooth knot concordance group to the group of piecewise linear functions on the interval [0,2]. Here we define a set of related secondary invariants, each of which assigns to a knot a piecewise linear function on [0,2].…

Formulas for tau and epsilon concordance invariants of braided satellite knots

In this paper we provide a new obstruction to 0-concordance of knotted surfaces in $S^4$ in terms of Alexander ideals. We use this to prove the existence of infinitely many linearly independent 0-concordance classes and to provide the first proof that the submonoid of 2-knots is not a group. The main result is that the…

New invariants from framed instanton homology for knot concordance.

New invariant defined for unoriented knots, proving no factorization through topological concordance.

New evidence refutes old conjectures about knot homology ranks, suggesting new congruences.

Most of the 50-year history of the study of the set of knot concordance classes, C, has focused on its structure as an abelian group. Here we take a different approach, namely we study C as a metric space admitting many natural geometric operators, especially satellite operators. We consider several knot concordance sp…

Efficient cobordisms show minimal signature values on certain links.

The study examines invariants of homology cylinders and their relations to free nilpotent groups.

We show that the information contained in the associated graded vector space to Gornik's version of Khovanov-Rozansky knot homology is equivalent to a single even integer s_n(K). Furthermore we show that s_n is a homomorphism from the smooth knot concordance group to the integers. This is in analogy with Rasmussen's in…

The paper extends a knot invariant to graphs and connects it to homology cylinders.

We prove a formula for the conjugation action on the knot Floer complex of the connected sum of two knots. Using the formula we construct a homomorphism from the smooth concordance group to an abelian group consisting of chain complexes with homotopy automorphisms, modulo an equivalence relation. Using our connected su…

We show that a decorated knot concordance $C$ from $K$ to $K'$ induces a homomorphism $F_C$ on knot Floer homology that preserves the Alexander and Maslov gradings. Furthermore, it induces a morphism of the spectral sequences to $\widehat{HF}(S^3) \cong \mathbb{Z}_2$ that agrees with $F_C$ on the $E^1$ page and is the …

Seidel-Smith and Hendricks used equivariant Floer cohomology to define some spectral sequences from symplectic Khovanov homology and Heegaard Floer homology. These spectral sequences give rise to Smith-type inequalities. Similar-looking spectral sequences have been defined by Lee, Bar-Natan, Ozsváth-Szabó, Lipshitz-Tre…

We use the knot filtration on the Heegaard Floer complex to define an integer invariant tau(K) for knots. Like the classical signature, this invariant gives a homomorphism from the knot concordance group to Z. As such, it gives lower bounds for the slice genus (and hence also the unknotting number) of a knot; but unlik…

The homology cobordism group of homology cylinders is a generalization of the mapping class group and the string link concordance group. We study this group and its filtrations by subgroups by developing new homomorphisms. First, we define extended Milnor invariants by combining the ideas of Milnor's link invariants an…

New local equivalence groups refine Rasmussen's s-invariant.

For pattern knots admitting genus-one bordered Heegaard diagrams, we show the knot Floer chain complexes of the corresponding satellite knots can be computed using immersed curves. This, in particular, gives a convenient way to compute the $τ$-invariant. For patterns $P$ obtained from two-bridge links $b(p,q)$, we deri…

For a generic degree d smooth map f: N^n -> M^n we introduce its "transverse fundamental group" π(f), which reduces to π_1(M) in the case where f is a covering, and in general admits a monodromy homomorphism π(f) -> S_{|d|}; nevertheless, we show that π(f) can be non-trivial already for rather simple degree 1 maps S^n …