We construct examples of knots that have isomorphic nth-order Alexander modules, but non-isomorphic nth-order linking forms, showing that the linking forms provide more information than the modules alone. This generalizes work of Trotter, who found examples of knots that have isomorphic classical Alexander modules, but non-isomorphic classical Blanchfield linking forms.
We give a simple obstruction for a knot to be amphichiral, in terms of the homology of the 2-fold branched cover. We work with unoriented knots, and so obstruct both positive and negative amphichirality.
Given a closed, oriented, connected 3-manifold, M, we define higher-order linking forms on the higher-order Alexander modules of M. These higher-order linking forms generalize similar linking forms for knots previously studied by the author, which were themselves generalizations of the classical Blanchfield linking form for a knot. We also investigate the effect of the construction known as "infection by a knot" on these linking forms.
Relative self-linking and linking "numbers" for pairs of knots in oriented 3-manifolds are defined in terms of intersection invariants of immersed surfaces in 4-manifolds. The resulting concordance invariants generalize the usual homological notion of linking by taking into account the fundamental group of the ambient manifold and often map onto infinitely generated groups. The knot invariants generalize the cyclic (type 1) invariants of Kirk and Livingston and when taken with respect to certain preferred knots, called spherical knots, relative self-linking numbers are characterized geometrica…
A derivative of an algebraically slice knot $K$ is an oriented link disjointly embedded in a Seifert surface of $K$ such that its homology class forms a basis for a metabolizer $H$ of $K$. We show that for a genus three algebraically slice knot $K$, the set $\{ \barμ_{\{γ_1,γ_2,γ_3\}}(123) - \barμ_{\{γ'_1,γ'_2,γ'_3\}}(123)| \{γ_1,γ_2,γ_3\}$ and $\{γ'_1,γ'_2,γ'_3\}$ are derivatives of $K$ associated with a metabolizer $H\}$ contains $n\cdot \mathbb{Z}$ where $n$ is determined by a Seifert form of $K$ and a metabolizer $H$. As a corollary, we show that it is possible to realize any integer as a …
Let M be a closed oriented 3-manifold with first Betti number one. Its equivariant linking pairing may be seen as a two-dimensional cohomology class in an appropriate infinite cyclic covering of the space of ordered pairs of distinct points of M. We show how to define the equivariant cube Q(K) of this Blanchfield pairing with respect to a framed knot K that generates H_1(M)/Torsion. This article is devoted to the study of the invariant Q. We prove many properties for this invariant including two surgery formulae. Via surgery, the invariant Q is equivalent to an invariant of null-homologous kno…
We study the linking numbers in a rational homology 3-sphere and in the infinite cyclic cover of the complement of a knot. They take values in $\Bbb Q$ and in ${Q}({\Bbb Z}[t,t^{-1}])$ respectively, where ${Q}({\Bbb Z}[t,t^{-1}])$ denotes the quotient field of ${\Bbb Z}[t,t^{-1}]$. It is known that the modulo-$\Bbb Z$ linking number in the rational homology 3-sphere is determined by the linking matrix of the framed link and that the modulo-${\Bbb Z}[t,t^{-1}]$ linking number in the infinite cyclic cover of the complement of a knot is determined by the Seifert matrix of the knot. We eliminate `…
The number $|K|$ of non-isotopic framed knots that correspond to a given unframed knot $K\subset S^3$ is infinite. This follows from the existence of the self-linking number $\slk$ of a zerohomologous framed knot. We use the approach of Vassiliev-Goussarov invariants to construct ``affine self-linking numbers'' that are extensions of $\slk$ to the case of nonzerohomologous framed knots. As a corollary we get that $|K|=\infty$ for all knots in an oriented (not necessarily compact) 3-manifold $M$ that is not realizable as a connected sum $(S^1\times S^2) # M'$. This result for compact manifolds …
This paper gives an alternate definition of the Affine Index Polynomial (called the Wriggle Polynomial) using virtual linking numbers and explores applications of this polynomial. In particular, it proves the Cosmetic Crossing Change Conjecture for odd virtual knots and pure virtual knots. It also demonstrates that the polynomial can detect mutations by positive rotation and proves it cannot detect mutations by positive reflection. Finally it exhibits a pair of mutant knots that can be distinguished by a Type 2 Vassiliev Invariant coming from the polynomial.
Let M be a closed oriented 3-manifold with first Betti number one. Its equivariant linking pairing may be seen as a two-dimensional cohomology class in an appropriate infinite cyclic covering of the configuration space of ordered pairs of distinct points of M. We show how to define the equivariant cube Q(M,K) of this Blanchfield pairing with respect to a framed knot K that generates H_1(M;Z)/Torsion. We present the invariant Q(M,K) and some of its properties including a surgery formula. Via surgery, the invariant Q is equivalent to an invariant Q' of null-homologous knots in rational homology …
In this paper we introduce a new invariant of virtual knots and links that is non-trivial for infinitely many virtuals, but is trivial on classical knots and links. The invariant is initially be expressed in terms of a relative of the bracket polynomial and then extracted from this polynomial in terms of its exponents, particularly for the case of knots. This analog of the bracket polynomial will be denoted {K} (with curly brackets) and called the binary bracket polynomial. The key to the combinatorics of the invariant is an interpretation of the state sum in terms of 2-colorings of the associ…
We investigate the properties of knots in S^3 which bound Klein bottles, such that a pushoff of the knot has zero linking number with the knot, i.e. has zero framing. This is motivated by the many results in the literature regarding slice knots of genus one, for example, the existence of homologically essential zero self-linking simple closed curves on genus one Seifert surfaces for algebraically slice knots. Given a knot K bounding a Klein bottle F with zero framing, we show that J, the core of the orientation-preserving band in any disk-band form of F, has zero self-linking. We prove that su…
In the note we study Legendrian and transverse knots in rationally null-homologous knot types. In particular we generalize the standard definitions of self-linking number, Thurston-Bennequin invariant and rotation number. We then prove a version of Bennequin's inequality for these knots and classify precisely when the Bennequin bound is sharp for fibered knot types. Finally we study rational unknots and show they are weakly Legendrian and transversely simple. This version of the paper corrects the definition of rational self-linking number in the previous and published version of the paper. Wi…
We compute the linking number of two modular knots in the space $\text{PSL}(2, \mathbb{Z})\backslash\text{PSL}(2, \mathbb{R})$ with the trefoil filled in, which answers a question posed by Ghys in 2007. This computation is realized through the correspondence between modular links and Lorenz links, and can be thought of as an intersection number involving Conway topographs. We compare this to a second formula for the linking number of Lorenz links, which was proven by Stephen F. Kennedy in 1994.
We discuss the ribbon-move for 2-knots, which is a local move. Let $K$ and $K'$ be 2-knots. Then we have: Suppose that $K$ and $K'$ are ribbon-move equivalent. (1) Let ${\mathrm {Tor}} H_1(\widetilde X_K; {\Z})$ (resp. ${\mathrm {Tor}} H_1(\widetilde X_{K'}; {\Z})$) be the $\Z$-torsion submodule of the Alexander module $H_1(\widetilde X_K; {\Z})$ (resp. $H_1(\widetilde X_{K'}; {\Z})$). Then ${\mathrm {Tor}} H_1(\widetilde X_K; {\Z})$ is isomorphic to ${\mathrm {Tor}} H_1(\widetilde X_{K'}; {\Z})$ not only as $\Z$-modules but also as ${\Z}[t,t^{-1}]$-modules. (2) The Farber-Levine pairing for $…
The Gauss self-linking integral of an unframed knot is not a knot invariant, but it can be turned into an invariant by adding a correction term which requires adding extra structure to the knot. We collect the different definitions/theorems/proofs concerning this correction term, most of which are well-known (at least as folklore) and put everything together in an accessible format. We then show simply and elegantly how these approaches coincide.
We analyze transverse doubled knots in the standard contact 3-space by using spanned clasp disks. As applications, we will estimate their self-linking number and furthermore we will show that in many cases, transverse twist knots with the maximal self-linking number are unique up to transverse isotopy.
The slice-Bennequin inequality states an upper bound for the self-linking number of a knot in terms of its four-ball genus. The $s$-Bennequin and $τ$-Bennequin inequalities provide upper bounds on the self-linking number of a knot in terms of the Rasmussen $s$ invariant and the Ozsváth-Szabó $τ$ invariant. We exhibit examples in which the difference between self-linking number and four-ball genus grows arbitrarily large, whereas the $s$-Bennequin inequality and the $τ$-Bennequin inequality are both sharp.
Combinatorial two-player games have recently been applied to knot theory. Examples of this include the Knotting-Unknotting Game and the Region Unknotting Game, both of which are played on knot shadows. These are turn-based games played by two players, where each player has a separate goal to achieve in order to win the game. In this paper, we introduce the Linking-Unlinking Game which is played on two-component link shadows. We then present winning strategies for the Linking-Unlinking Game played on all shadows of two-component rational tangle closures and played on a large family of general t…
We define an invariant of transverse links in the standard contact 3-sphere as a distinguished element of the Khovanov homology of the link. The quantum grading of this invariant is the self-linking number of the link. For knots, this gives a bound on the self-linking number in terms of Rasmussen's invariant s(K). We prove that our invariant vanishes for transverse knot stabilizations, and that it is non-zero for quasipositive braids. We also discuss a connection to Heegaard Floer invariants.
Given a knot in the three-sphere, is it possible to unknot it by performing a single twist, and if so, what are the possible linking numbers of such a twist? We develop obstructions to unknotting using a twist of a specified linking number. The obstructions we describe are built using classical knot invariants, Casson-Gordon invariants, and Heegaard Floer theory.
We initiate the study of classical knots through the homotopy class of the n-th evaluation map of the knot, which is the induced map on the compactified n-point configuration space. Sending a knot to its n-th evaluation map realizes the space of knots as a subspace of what we call the n-th mapping space model for knots. We compute the homotopy types of the first three mapping space models, showing that the third model gives rise to an integer-valued invariant. We realize this invariant in two ways, in terms of collinearities of three or four points on the knot, and give some explicit computati…
In view of the self-linking invariant, the number $|K|$ of framed knots in $S^3$ with given underlying knot $K$ is infinite. In fact, the second author previously defined affine self-linking invariants and used them to show that $|K|$ is infinite for every knot in an orientable manifold unless the manifold contains a connected sum factor of $S^1\times S^2$; the knot $K$ need not be zero-homologous and the manifold is not required to be compact. We show that when $M$ is orientable, the number $|K|$ is infinite unless $K$ intersects a non-separating sphere at exactly one point, in which case $|K…
It is known that the linking form on the 2-cover of slice knots has a metabolizer. We show that several weaker conditions, or some other conditions related to sliceness, do not imply the existence of a metabolizer. We then show how the Rudolph-Bennequin inequality can be used indirectly to prove that some knots are not slice.
We exhibit pairs of transverse knots with the same self-linking number that are not transversely isotopic, using the recently defined knot Floer homology invariant for transverse knots and some algebraic refinements of it.
We give an explicit formula to compute the rotation number of a nullhomologous Legendrian knot in contact (1/n)-surgery diagrams along Legendrian links and obtain a corresponding result for the self-linking number of transverse knots. Moreover, we extend the formula by Ding-Geiges-Stipsicz for computing the d3-invariant to (1/n)-surgeries.
J.P. Levine showed that the Conway polynomial of a link is a product of two factors: one is the Conway polynomial of a knot which is obtained from the link by banding together the components; and the other is determined by the $\barμ$-invariants of a string link with the link as its closure. We give another description of the latter factor: the determinant of a matrix whose entries are linking pairings in the infinite cyclic covering space of the knot complement, which take values in the quotient field of ${\Bbb Z}[t,t^{-1}]$. In addition, we give a relation between the Taylor expansion of a l…
Bott and Taubes constructed knot invariants by integrating differential forms along the fiber of a bundle over the space of knots, generalizing the Gauss linking integral. Their techniques were later used to construct real cohomology classes in spaces of knots and links in higher-dimensional Euclidean spaces. In previous work, we constructed cohomology classes in knot spaces with arbitrary coefficients by integrating via a Pontrjagin--Thom construction. We carry out a similar construction over the space of string links, but with a refinement in which configuration spaces are glued together acc…
We define a set of "second-order" L^(2)-signature invariants for any algebraically slice knot. These obstruct a knot's being a slice knot and generalize Casson-Gordon invariants, which we consider to be "first-order signatures". As one application we prove: If K is a genus one slice knot then, on any genus one Seifert surface, there exists a homologically essential simple closed curve of self-linking zero, which has vanishing zero-th order signature and a vanishing first-order signature. This extends theorems of Cooper and Gilmer. We introduce a geometric notion, that of a derivative of a knot…
We develop a theory of chain complex double-cobordism for chain complexes equipped with Poincaré duality. The resulting double-cobordism groups are a refinement of Ranicki's torsion algebraic $L$-groups for localisations of a commutative ring with involution. The refinement is analogous to the difference between metabolic and hyperbolic linking forms. We apply the double $L$-groups in high-dimensional knot theory to define an invariant for doubly-slice $n$-knots. We prove that the "stably doubly-slice implies doubly-slice" property holds (algebraically) for Blanchfield forms, Seifert forms and…
Tying knots and linking microscopic loops of polymers, macromolecules, or defect lines in complex materials is a challenging task for material scientists. We demonstrate the knotting of microscopic topological defect lines in chiral nematic liquid crystal colloids into knots and links of arbitrary complexity by using laser tweezers as a micromanipulation tool. All knots and links with up to six crossings, including the Hopf link, the Star of David and the Borromean rings are demonstrated, stabilizing colloidal particles into an unusual soft matter. The knots in chiral nematic colloids are clas…
We develop new algebraic methods refining the Witt group of linking forms and Ranicki's torsion algebraic L-groups into double Witt groups and double L-groups. At each prime ideal of the underlying ring, our double Witt groups capture infinitely many more integral signatures of the linking form than the single Witt groups. The double L-groups are an algebraic theory of `double cobordism', refining L-theory analogously. We exhibit an exact sequence relating the double L-groups to classical projective L-theory via a double homology surgery obstruction group. The algebraic techniques are applied …
The difference between slice and doubly-slice knots is reflected in algebra by the difference between metabolic and hyperbolic Blanchfield linking forms. We exploit this algebraic distinction to refine the classical Witt group of linking forms by defining a `double Witt group' of linking forms. We calculate the double Witt group for Dedekind domains and precisely determine its relationship to the classical Witt group. Finally, we prove that the double Witt group of Seifert forms is isomorphic to the double Witt group of Blanchfield forms.
We prove that the signature of an even, symmetric form on a finite rank integral lattice, has signature divisible by 8, provided its associated linking form vanishes in the Witt group of linking forms. Our result generalizes the well know fact that an even, unimodular form has signature divisible by 8. We give applications to signatures of 4n-dimensional manifolds, signatures of classical knots, and provide new restrictions to solutions of certain Diophantine equations.
We inductively define layers of colorings of knot and knotted surface diagrams using ternary quasigroups. Homological invariants from such systems of colorings use shorter differentials and of higher degree than the standard homology differentials, and give access to typically more complex homology groups.
It is well-known that self-linking is the only Z valued Vassiliev invariant of framed knots in S^3. However for most 3-manifolds, in particular for the total spaces of S^1-bundles over an orientable surface F not S^2, the space of Z-valued order one invariants is infinite dimensional. We give an explicit formula for the order one invariant I of framed knots in orientable total spaces of S^1-bundles over an orientable not necessarily compact surface F not S^2. We show that if F is not S^2 or S^1 X S^1, then I is the universal order one invariant, i.e. it distinguishes every two framed knots tha…
For certain classes of knots we define geometric invariants called higher-order genera. Each of these invariants is a refinement of the slice genus of a knot. We find lower bounds for the higher-order genera in terms of certain von Neumann $ρ$-invariants, which we call higher-order signatures. The higher-order genera offer a refinement of the Grope filtration of the knot concordance group.
It is known that knot Floer homology detects the genus and Alexander polynomial of a knot. We investigate whether knot Floer homology of $K$ detects more structure of minimal genus Seifert surfaces for $K$. We define an invariant of algebraically slice, genus one knots and provide examples to show that knot Floer homology does not detect this invariant. Finally, we remark that certain metabelian $L^2$-signatures bound this invariant from below.
A symmetric quandle is a quandle with a good involution. For a knot in \$R^3\$, a knotted surface in \$R^4\$ or an \$n\$-manifold knot in \$R^{n+2}\$, the knot symmetric quandle is defined. We introduce the notion of a symmetric quandle presentation, and show how to get a presentation of a knot symmetric quandle from a diagram.
We show that the Casson knot invariant, linking number and Milnor's triple linking number, together with a certain 2-string link invariant $V_2$, are necessary and sufficient to express any string link Vassiliev invariant of order two. Explicit combinatorial formulas are given for these invariants. This result is applied to the theory of claspers for string links.
We determine the asymptotic behavior of the higher dimensional Reidemeister torsion for the graph manifolds obtained by exceptional surgeries along twist knots. We show that all irreducible SL(2;C)-representations of the graph manifold are induced by irreducible metabelian representations of the twist knot group. We also give the set of the limits of the leading coefficients in the higher dimensional Reidemeister torsion explicitly.
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 localization, one can get a finitely presented module over a principal ideal domain, from which one can extract a higher-order Alexander polynomial. We present an algorithm to compute the first-order Alexander module for any knot. As applications, we show that these higher-order Alexander polynomials provide a better bound on the knot genus than does the classic…
We investigate several conjectures in geometric topology by assembling computer data obtained by studying weaving knots, a doubly infinite family $W(p,n)$ of examples of hyperbolic knots. In particular, we compute some important polynomial knot invariants, as well as knot homologies, for the subclass $W(3,n)$ of this family. We use these knot invariants to conclude that all knots $W(3,n)$ are fibered knots and provide estimates for some geometric invariants of these knots. Finally, we study the asymptotics of the ranks of their Khovanov homology groups. Our investigations provide evidence for …
We develop the intersection theory at relative chain-cochain level, and apply it along with the use of Seifert disks for an oriented link to give a combinatorial algorithm to compute Massey's higher order linking numbers. It is subtle to compute higher-order linking numbers, and it has been a folklore to use the intersection theory in the process, which was first suggested by W. Massey. Massey introduced the higher-order linking as an application of his higher-order cohomology operations defined in terms of suitable cochains, and he calculated the third-order linking numbers for some 3-compone…
Vassiliev introduced filtered invariants of knots using an unknotting operation, called crossing changes. Goussarov, Polyak, and Viro introduced other filtered invariants of virtual knots, which order is called GPV-order, using an unknotting operation, called virtualization. We defined other filtered invariants, which order is called $F$-order, of virtual knots using an unknotting operation, called forbidden moves. In this paper, we show that the set of virtual knot invariants of $F$-order $\le n+1$ is strictly stronger than that of $F$-order $\le n$ and that of GPV-order $\le 2n+1$. To obtain…
The classical abelian invariants of a knot are the Alexander module, which is the first homology group of the the unique infinite cyclic covering space of S^3-K, considered as a module over the (commutative) Laurent polynomial ring, and the Blanchfield linking pairing defined on this module. From the perspective of the knot group, G, these invariants reflect the structure of G^(1)/G^(2) as a module over G/G^(1) (here G^(n) is the n-th term of the derived series of G). Hence any phenomenon associated to G^(2) is invisible to abelian invariants. This paper begins the systematic study of invarian…
There is a higher dimensional analogue of the perturbative Chern-Simons theory in the sense that a similar perturbative series as in 3-dimension, which is computed via configuration space integral, yields an invariant of higher dimensional knots (Bott-Cattaneo-Rossi invariant), which is constructed by Bott for degree 2 and by Cattaneo-Rossi for higher degrees. However, its feature is yet unknown. In this paper we restrict the study to long ribbon n-knots and characterize the Bott-Cattaneo-Rossi invariant as a finite type invariant of long ribbon n-knots in [HKS]. As a consequence, we obtain a …
There is one generalization of fibered links in 3-manifolds, called homologically fibered links. It is known that the existence of homologically fibered links whose fiber surface has a given homeomorphic type is determined by the first homology group and its torsion linking form of the ambient 3-manifold. In this paper, we interpret the existence of homologically fibered links with that of a solution of some equation, in terms of the first homology group and its torsion linking form or a surgery diagram of the ambient manifold. As an application, we compute the ${\rm hc}(\cdot)$, defined throu…