Let N_1, N_2, M be smooth manifolds with dim N_1 + dim N_2 +1 = dim M$ and let phi_i, for i=1,2, be smooth mappings of N_i to M with Im phi_1 and Im phi_2 disjoint. The classical linking number lk(phi_1,phi_2) is defined only when phi_1*[N_1] = phi_2*[N_2] = 0 in H_*(M).
The affine linking invariant alk is a generalization of lk to the case where phi_1*[N_1] or phi_2*[N_2] are not zero-homologous. In arXiv:math.GT/0207219 we constructed the first examples of affine linking invariants of nonzero-homologous spheres in the spherical tangent bundle of a manifold, and showed that alk is intimately related to the causality relation of wave fronts on manifolds.
In this paper we develop the general theory. The invariant alk appears to be a universal Vassiliev-Goussarov invariant of order < 2. In the case where phi_1*[N_1] and phi_2*[N_2] are 0 in homology it is a splitting of the classical linking number into a collection of independent invariants.
To construct alk we introduce a new pairing mu on the bordism groups of spaces of mappings of N_1 and N_2 into M, not necessarily under the restriction dim N_1 + dim N_2 +1 = dim M. For the zero-dimensional bordism groups, mu can be related to the Hatcher-Quinn invariant. In the case N_1=N_2=S^1, it is related to the Chas-Sullivan string homology super Lie bracket, and to the Goldman Lie bracket of free loops on surfaces.
The linking number $lk$ is defined if link components are zero homologous. Our affine linking invariant $alk$ generalizes $lk$ to the case of linked submanifolds with arbitrary homology classes. We apply $alk$ to the study of causality in Lorentz manifolds. Let $M^m$ be a spacelike Cauchy surface in a globally hyperbolic spacetime $(X^{m+1}, g)$. The spherical cotangent bundle $ST^*M$ is identified with the space $N$ of all null geodesics in $(X,g).$ Hence the set of null geodesics passing through a point $x\in X$ gives an embedded $(m-1)$-sphere $S_x$ in $N=ST^*M$ called the sky of $x.$ Low o…
Given a link map f into a manifold of the form Q = N \times \Bbb R, when can it be deformed to an unlinked position (in some sense, e.g. where its components map to disjoint \Bbb R-levels) ? Using the language of normal bordism theory as well as the path space approach of Hatcher and Quinn we define obstructions \widetildeω_ε(f), ε= + or ε= -, which often answer this question completely and which, in addition, turn out to distinguish a great number of different link homotopy classes. In certain cases they even allow a complete link homotopy classification. Our development parallels recent adva…
The paper concerns the tree invariants of string links, introduced by Kravchenko and Polyak and closely related to the classical Milnor linking numbers also known as $\barμ$--invariants. We prove that, analogously as for $\barμ$--invariants, certain residue classes of tree invariants yield link homotopy invariants of closed links. The proof is arrow diagramatic and provides a more geometric insight into the indeterminacy through certain tree stacking operations. Further, we show that the indeterminacy of tree invariants is consistent with the original Milnor's indeterminacy. For practical purp…
In this paper we introduce two theories of finite type invariants for framed links with fixed linking matrix. We show that these thepries are related to the theory of Vassiliev invariants of framed links. We also study the corresponding spaces of ``chord diagrams''.
In the 1950's Milnor defined a family of higher order invariants generalizing the linking number. Even the first of these new invariants, the triple linking number, has received and fruitful study since its inception. In the case that $L$ has vanishing pairwise linking numbers, this triple linking number gives an integer valued invariant. When the linking numbers fail to vanish, this invariant is only well-defined modulo their greatest common divisor. In recent work Davis-Nagel-Orson-Powell produce a single invariant called the total triple linking number refining the triple linking number and…
We study Heegaard Floer homology and various related invariants (such as the $h$-function) for two-component L-space links with linking number zero. For such links, we explicitly describe the relationship between the $h$-function, the Sato-Levine invariant and the Casson invariant. We give a formula for the Heegaard Floer $d$-invariants of integral surgeries on two-component L-space links of linking number zero in terms of the $h$-function, generalizing a formula of Ni and Wu. As a consequence, for such links with unknotted components, we characterize L-space surgery slopes in terms of the $ν^…
In this paper, we introduce two functions such that the subtraction corresponds to the Milnor's triple linking number; the addition obtains a new integer-valued link homotopy invariant of $3$-component links. We also have found a series of integer-valued invariants derived from four terms whose sum equals the Milnor's triple linking number. We apply this structure to give invariants of $3$-bouquet graphs.
We construct a topological invariant of algebraic plane curves, which is in some sense an adaptation of the linking number of knot theory. This invariant is shown to be a generalization of the I-invariant of line arrangements developed by the first author with Artal and Florens. We give two practical tools for computing this invariant, using a modification of the usual braid monodromy or using the connected numbers introduced by Shirane. As an application, we show that this invariant distinguishes several Zariski pairs, i.e. pairs of curves having same combinatorics, yet different topologies. …
We study the quandle counting invariant for a certain family of finite quandles with trivial orbit subquandles. We show how these invariants determine the linking number of classical two-component links up to sign.
To each three-component link in the 3-sphere, we associate a geometrically natural characteristic map from the 3-torus to the 2-sphere, and show that the pairwise linking numbers and Milnor triple linking number that classify the link up to link homotopy correspond to the Pontryagin invariants that classify its characteristic map up to homotopy. This can be viewed as a natural extension of the familiar fact that the linking number of a two-component link in 3-space is the degree of its associated Gauss map from the 2-torus to the 2-sphere. When the pairwise linking numbers are all zero, we giv…
In 1833 Gauss defined the linking number of two disjoint curves in 3-space. For open curves this double integral over the parameterised curves is real-valued and invariant modulo rigid motions or isometries that preserve distances between points, and has been recently used in the elucidation of molecular structures. In 1976 Banchoff geometrically interpreted the linking number between two line segments. An explicit analytic formula based on this interpretation was given in 2000 without proof in terms of 6 isometry invariants: the distance and angle between the segments and 4 coordinates specif…
We establish some new relationships between Milnor invariants and Heegaard Floer homology. This includes a formula for the Milnor triple linking number from the link Floer complex, detection results for the Whitehead link and Borromean rings, and a structural property of the $d$-invariants of surgeries on certain algebraically split links.
We give a simple axiomatic definition of a rational-valued invariant s(W,V,e) of triples (W,V,e), where W is a (smooth, oriented, closed) 6-manifold and V is a 3-submanifold of W, and where e is a second rational cohomology class of the complement of V satisfying a certain condition. The definition is stated in terms of cobordisms of such triples and the signature of 4-manifolds. When W = S^6 and V is a smoothly embedded 3-sphere, and when e/2 is the Poincare dual of a Seifert surface of V, the invariant coincides with -8 times Haefliger's embedding invariant of (S^6,V). Our definition recover…
The linking number is the simplest link invariant given by Gauss; it is the first Gauss diagram formula expressed by one arrow among two circles. Proceeding the next stage, we study the second Gauss diagram formula consisting of two arrows among two circles. We call a function of this type the multiple linking number. There are two multiple linking numbers; one of them is ordinary Vassiliev invariant and the other function is surprisingly sensitive to the necessity of the second Reidemeister moves though any one-component Gauss diagram formula cannot detect the necessity.
We prove that satellite operations that satisfy a certain positivity condition and have winding number other than one are not homomorphisms. The argument uses the $d$-invariants of branched covers. In the process, we prove a technical result relating $d$-invariants and the Torelli group which may be of independent interest.
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…
Topological polymers have various topological types, and they are expressed by graphs. However, the Jones polynomial, we have a difficulty to compute it; computational time is growing exponentially with respect to the crossing number. The simplest Vassiliev invariant is the linking number and thus we will seek a next simple one is as the Milnor's triple linking number. In this paper, we introduce simple Gauss diagram formulas of Vassiliev invariants of Milnor type. These are non-torsion valued, whereas the base-point-free Milnor's triple linking number is usually torsion-valued.
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 …
It is known that every oriented integral homology 3-sphere can be obtained from S^3 by a finite sequence of Borromean surgeries. We give an explicit formula for the variation of the Casson invariant under such a surgery move. The formula involves simple classical invariants, namely the framing, linking number and Milnor's triple linking number. A more general statement, for n independent Borromean surgeries, is also provided, which involves an additional cubic expression in some linking numbers of the surgery link.
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…
The construction of integer linking numbers of closed curves in a three-dimensional manifold usually appeals to the orientation of this manifold. We discuss how to avoid it constructing similar homotopy invariants of links in non-orientable manifolds.
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 his Ph.D. thesis, Cadegan-Schlieper constructs an invariant of the embedded topology of a line arrangement which generalizes the $\mathcal{I}$-invariant introduced by Artal, Florens and the author. This new invariant is called the loop linking number in the present paper. We refine the result of Cadegan-Schlieper by proving that the loop linking number is an invariant of the homeomorphism type of the arrangement complement. We give two effective methods to compute this invariant, both are based on the braid monodromy. As an application, we detect an arithmetic Zariski pair of arrangements w…
An explicit polynomial in the linking numbers $l_{ij}$ and Milnor's triple linking numbers $μ(rst)$ on six component links is shown to be a well-defined finite type link-homotopy invariant. This solves a problem raised by B. Mellor and D. Thurston. An extension of our construction also produces a finite type link invariant which detects the invertibility for some links.
The Thurston-Bennequin invariant provides one notion of self-linking for any homologically-trivial Legendrian curve in a contact three-manifold. Here we discuss related analytic notions of self-linking for Legendrian knots in Euclidean space. Our definition is based upon a reformulation of the elementary Gauss linking integral and is motivated by ideas from supersymmetric gauge theory. We recover the Thurston-Bennequin invariant as a special case.
We define a notion of finite type invariants for links with a fixed linking matrix. We show that Milnor's triple link homotopy invariant is a finite type invariant, of type 1, in this sense. We also generalize the approach to Milnor's higher order homotopy invariants and show that they are also, in a sense, of finite type. Finally, we compare our approach to another approach for defining finite type invariants within linking classes.
A generalised Thurston-Bennequin invariant for a Q-singularity of a real algebraic variety is defined as a linking form on the homologies of the real link of the singularity. The main goal of this paper is to present a method to calculate the linking form in terms of the very good resolution graph of a real normal unibranch surface singularity. For such singularities, the value of the linking form is the Thurston-Bennequin number of the real link of the singularity. As a special case of unibranch surface singularities, the behaviour of the linking form is investigated on the Brieskorn double p…
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 show that for links with at most 5 components, the only finite type homotopy invariants are products of the linking numbers. In contrast, we show that for links with at least 9 components, there must exist finite type homotopy invariants which are not products of the linking numbers. This corrects previous errors of the first author.
Oikawa defined an unknotting operation on virtual knots, called a CF-move, and gave a classification of 2-component virtual links up to CF-moves by the virtual linking number and his $n$-invariant. In particular, it was proved that a CF-move characterizes the information contained in the virtual linking number for 2-component odd virtual links. In this paper, we extend this result by classifying odd virtual links and almost odd virtual links with arbitrary number of components up to CF-moves, using the virtual linking number. Moreover, we extend Oikawa's $n$-invariant and introduce two invaria…
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…
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…
Moscow Institute of Physics and Technology（莫斯科物理技术学院）；Physical and Mathematical School №146 (Perm)（第146号物理数学学校（彼尔姆））；Independent University of Moscow（莫斯科独立大学）
Three-component links in the 3-dimensional sphere were classified up to link homotopy by John Milnor in his senior thesis, published in 1954. A complete set of invariants is given by the pairwise linking numbers p, q and r of the components, and by the residue class of one further integer mu, the "triple linking number" of the title, which is well-defined modulo the greatest common divisor of p, q and r. To each such link L we associate a geometrically natural characteristic map g_L from the 3-torus to the 2-sphere in such a way that link homotopies of L become homotopies of g_L. Maps of the 3…
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.
As a generalization of the linking number, we construct a set of invariant numbers for two-component handlebody-links. These numbers are elementary divisors associated with the natural homomorphism from the first homology group of a component to that of the complement of another component.
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 $…
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 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.
We obtain explicit, isometry-invariant integral formulas for twisting, writhing and helicity, and prove the theorem LINK = TWIST + WRITHE on the 3-sphere and in hyperbolic 3-space. We then use these results to derive upper bounds for the helicity of vector fields and lower bounds for the first eigenvalue of the curl operator on subdomains of these two spaces.
We explain a correspondence between some invariants in the dynamics of color exchange in a 2d coloring problem, which are polynomials of winding numbers, and linking numbers in 3d. One invariant is visualized as linking of lines on a special surface with Arf-Kervaire invariant one, and is interpreted as resulting from an obstruction to transform the surface into its chiral image with special continuous deformations. We also consider additional constraints on the dynamics and see how the surface is modified.
An ordered and oriented 2-component link L in the 3-sphere is said to be achiral if it is ambient isotopic to its mirror image ignoring the orientation and ordering of the components. Kirk-Livingston showed that if L is achiral then the linking number of L is not congruent to 2 modulo 4. In this paper we study orientation-preserving or reversing symmetries of 2-component links, spatial complete graphs on 5 vertices and spatial complete bipartite graphs on 3+3 vertices in detail, and determine the necessary conditions on linking numbers and Simon invariants for such links and spatial graphs to …
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.
Let P be a closed smooth (4j-2)-connected 8j-manifold. We complete Wilkens' classification of the manifolds P for j = 1,2 and give an alternative proof to Wall's classification of the manifolds for j > 2. The Hopf-invariant-one dimensions (j=1,2) are characteristed by the fact that the quadratic linking functions which classify may be inhomogeneous. Hence we also extend the classification of (homogeneous) quadratic linking forms on finite abelian groups (due to Nikulin) to the inhomogeneous case.
We describe a new approach to triple linking invariants and integrals, aiming for a simpler, wider and more natural applicability to the search for higher order helicities of fluid flows and magnetic fields. To each three-component link in Euclidean 3-space, we associate a geometrically natural generalized Gauss map from the 3-torus to the 2-sphere, and show that the pairwise linking numbers and Milnor triple linking number that classify the link up to link homotopy correspond to the Pontryagin invariants that classify its generalized Gauss map up to homotopy. This can be viewed as a natural e…
The Theta invariant is the simplest 3-manifold invariant defined with configuration space integrals. It is actually an invariant of rational homology spheres equipped with a combing over the complement of a point. It can be computed as the algebraic intersection of three propagators associated to a given combing X in the 2-point configuration space of a Q-sphere M. These propagators represent the linking form of M so that $Θ(M,X)$ can be thought of as the cube of the linking form of M with respect to the combing X. The Theta invariant is the sum of $6 λ(M)$ and $p\_1(X)/4$, where $λ$ denotes t…
Let $f$ be the gluing map of a Heegaard splitting of a 3-manifold $W$. The goal of this paper is to determine the information about $W$ contained in the image of $f$ under the symplectic representation of the mapping class group. We prove three main results. First, we show that the first homology group of the three manifold together with Seifert's linking form provides a complete set of stable invariants. Second, we give a complete, computable set of invariants for these linking forms. Third, we show that a slight augmentation of Birman's determinantal invariant for a Heegaard splitting gives …
The Milnor degree of a 3-manifold is an invariant that records the maximum simplicity, in terms of higher order linking, of any link in the 3-sphere that can be surgered to give the manifold. This invariant is investigated in the context of torsion linking forms, nilpotent quotients of the fundamental group, Massey products and quantum invariants, and the existence of 3-manifolds with any prescribed Milnor degree and first Betti number is established. Along the way, it is shown that the number M(k,r) of linearly independent Milnor invariants of degree k, distinguishing r-component links in the…
In 1986, Matveev defined the notion of Borromean surgery for closed oriented 3-manifolds and showed that the equivalence relation generated by this move is characterized by the pair (first betti number, linking form up to isomorphism). We explain how this extends for 3-manifolds with spin structure if we replace the linking form by the quadratic form defined by the spin structure. We then show that the equivalence relation among closed spin 3-manifolds generated by spin Borromean surgeries is characterized by the triple (first betti number, linking form up to isomorphism, Rochlin invariant mod…
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 …
Two wave fronts $W_1$ and $W_2$ that originated at some points of the manifold $M^n$ are said to be causally related if one of them passed through the origin of the other before the other appeared. We define the causality relation invariant $CR (W_1, W_2)$ to be the algebraic number of times the earlier born front passed through the origin of the other front before the other front appeared. Clearly, if $CR(W_1, W_2)\neq 0$, then $W_1$ and $W_2$ are causally related. If $CR(W_1, W_2)= 0$, then we generally can not make any conclusion about fronts being causally related. However we show that for…
