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 recovers a more general invariant due to Takase, and contains a new definition for Milnor's triple linking number of algebraically split 3-component links in R^3 that is close to the one given by the perturbative series expansion of the Chern-Simons theory of links in R^3.
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.
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.
Milnor's triple linking numbers of a link in the 3-sphere are interpreted geometrically in terms of the pattern of intersections of the Seifert surfaces of the components of the link. This generalizes the well known formula as an algebraic count of triple points when the pairwise linking numbers vanish.
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…
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…
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 …
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 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.
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…
We consider Milnor invariants for certain covering links as a generalization of covering linkage invariants formulated by R. Hartley and K. Murasugi. A set of Milnor invariants for covering links is a cobordism invariant of a link, and that this invariant can distinguish some links for which the ordinary Milnor invariants coincide. Moreover, for a Brunnian link $L$, the first non-vanishing Milnor invariants of $L$ is modulo-$2$ congruent to a sum of Milnor invariants of covering links. As a consequence, a sum of linking numbers of ' iterated' covering links gives the first non-vanishing Milnor…
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…
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…
Polyak showed that any Milnor's $\overlineμ$-invariant of length 3 can be represented as a combination of Conway polynomials of knots obtained by certain band sum of the link components. On the other hand, Habegger and Lin showed that Milnor invariants are also invariants for string links, called $μ$-invariants. We show that any Milnor's $μ$-invariant of length $\leq k+2$ can be represented as a combination of the HOMFLYPT polynomials of knots obtained from the string link by some operation, if all $μ$-invariants of length $\leq k$ vanish. Moreover, $μ$-invariants of length $3$ are given by a …
We study the Goussarov-Habiro finite type invariants theory for framed string links in homology balls. Their degree 1 invariants are computed: they are given by Milnor's triple linking numbers, the mod 2 reduction of the Sato-Levine invariant, Arf and Rochlin's $μ$ invariant. These invariants are seen to be naturally related to invariants of homology cylinders through the so-called Milnor-Johnson correspondence: in particular, an analogue of the Birman-Craggs homomorphism for string links is computed. The relation with Vassiliev theory is studied.
The triple linking number of an oriented surface link was defined as an analogical notion of the linking number of a classical link. We consider a certain $m$-component $T^2$-link ($m \geq 3$) determined from two commutative pure $m$-braids $a$ and $b$. We present the triple linking number of such a $T^2$-link, by using the linking numbers of the closures of $a$ and $b$. This gives a lower bound of the triple point number. In some cases, we can determine the triple point numbers, each of which is a multiple of four.
Triple linking numbers were defined for 3-component oriented surface-links in 4-space using signed triple points on projections in 3-space. In this paper we give an algebraic formulation using intersections of homology classes (or cup products on cohomology groups). We prove that spherical links have trivial triple linking numbers and that triple linking numbers are link homology invariants.
We give an example of a 3-component smoothly slice boundary link, each of whose components has a genus one Seifert surface, such that any metaboliser of the boundary link Seifert form is represented by 3 curves on the Seifert surfaces that form a link with nonvanishing Milnor triple linking number. We also give a generalisation to m-component links and higher Milnor invariants. We prove that our examples are ribbon and that all ribbon links are boundary slice.
A handlebody-link is a disjoint union of embeddings of handlebodies in $S^3$ and an HL-homotopy is an equivalence relation on handlebody-links generated by self-crossing changes. The second author and Ryo Nikkuni classified the set of HL-homotopy classes of 2-component handlebody-links completely using the linking numbers for handlebody-links. In this paper, we construct a family of invariants for HL-homotopy classes of general handlebody-links, by using Milnor's link-homotopy invariants. Moreover, we give a bijection between the set of HL-homotopy classes of almost trivial handlebody-links an…
We introduce mod 3 triple Milnor invariants and triple cubic residue symbols for certain primes of the Eisenstein number field $\mathbb{Q}(\sqrt{-3})$, following the analogies between knots and primes. Our triple symbol generalizes both the cubic residue symbol and Rédei's triple symbol, and describes the decomposition law of a prime in a mod 3 Heisenberg extension of degree 27 over $\mathbb{Q}(\sqrt{-3})$ with restricted ramification, which we construct concretely in the form similar to Rédei's dihedral extension over $\mathbb{Q}$. We also give a cohomological interpretation of our symbols by…
We give a refined value group for the collection of triple linking numbers of links in the 3-sphere. Given two links with the same pairwise linking numbers we show that they have the same refined triple linking number collection if and only if the links admit homeomorphic surface systems. Moreover these two conditions hold if and only if the link exteriors are bordant over $B \mathbb{Z}^n$, and if and only if the third lower central series quotients $π/π_3$ of the link groups are isomorphic preserving meridians and longitudes. We also show that these conditions imply that the link groups have …
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.
This paper describes the relationship between the first non-vanishing Milnor invariants of a classical link and the intersection invariant of a twisted Whitney tower. This is a certain 2-complex in the 4-ball, built from immersed disks bounded by the given link in the 3-sphere together with finitely many `layers' of Whitney disks. The intersection invariant is a higher-order generalization of the intersection number between two immersed disks in the 4-ball, well known to give the linking number of the link on the boundary, which measures intersections among the Whitney disks and the disks boun…
We study relations between the Alexander-Conway polynomial $\nabla_L$ and Milnor higher linking numbers of links from the point of view of finite-type (Vassiliev) invariants. We give a formula for the first non-vanishing coefficient of $\nabla_L$ of an m-component link L all of whose Milnor numbers $μ_{i_1... i_p}$ vanish for $p\le n$. We express this coefficient as a polynomial in Milnor numbers of L. Depending on whether the parity of n is odd or even, the terms in this polynomial correspond either to spanning trees in certain graphs or to decompositions of certain 3-graphs into pairs of spa…
Any two knots admit orientation preserving homeomorphic Seifert surfaces, as can be seen by stabilizing. There is a generalization of a Seifert surface to the setting of links called a C-complex. In this paper, we ask when two links will admit orientation preserving homeomorphic C-complexes. In the case of 2-component links, we find that the pairwise linking number provides a complete obstruction. In the case of links with 3 or more components and zero pairwise linking number, Milnor's triple linking number provides a complete obstruction.
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.
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.
The universal sl_2 invariant of string links has a universality property for the colored Jones polynomial of links, and takes values in the h-adic completed tensor powers of the quantized enveloping algebra of sl_2. In this paper, we exhibit explicit relationships between the universal sl_2 invariant and Milnor invariants, which are classical invariants generalizing the linking number, providing some new topological insight into quantum invariants. More precisely, we define a reduction of the universal sl_2 invariant, and show how it is captured by Milnor concordance invariants. We also show h…
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…
Two triples of triangles having pairwise disjoint outlines in 3-space are called combinatorially isotopic if one triple can be obtained from the other by a continuous motion during which the outlines of the triangles remain pairwise disjoint. We conjecture that it can be algorithmically checked if an (ordered or unordered) triple of triangles is combinatorially isotopic to a triple of triangles having pairwise disjoint convex hulls. We also conjecture that any unordered triple of pairwise disjoint triangles in 3-space belongs to one of the 5 types of such triples listed in the paper. We presen…
Ropelength and embedding thickness are related measures of geometric complexity of classical knots and links in Euclidean space. In their recent work, Freedman and Krushkal posed a question regarding lower bounds for embedding thickness of $n$-component links in terms of the Milnor linking numbers. The main goal of the current paper is to provide such estimates and thus generalizing the known linking number bound. In the process, we collect several facts about finite type invariants and ropelength/crossing number of knots. We give examples of families of knots, where such estimates behave bett…
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…
Edge-homotopy and vertex-homotopy are equivalence relations on spatial graphs which are generalizations of Milnor's link-homotopy. Fleming and the author introduced some edge (resp. vertex)-homotopy invariants of spatial graphs by applying the Sato-Levine invariant for the constituent 2-component algebraically split links. In this paper, we construct some new edge (resp. vertex)-homotopy invariants of spatial graphs without any restriction of linking numbers of the constituent 2-component links by applying the generalized Sato-Levine invariant.
Knots and links in 3-manifolds are studied by applying intersection invariants to singular concordances. The resulting link invariants generalize the Arf invariant, the mod 2 Sato-Levine invariants, and Milnor's triple linking numbers. Besides fitting into a general theory of Whitney towers, these invariants provide obstructions to the existence of a singular concordance which can be homotoped to an embedding after stabilization by connected sums with $S^2\times S^2$. Results include classifications of stably slice links in orientable 3-manifolds, stable knot concordance in products of an orie…
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…
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…
The group of bordism classes of unoriented surfaces in 4-space is determined. The bordism classes are characterized by normal Euler numbers,double linking numbers, and triple linking numbers.
This is the beginning of an obstruction theory for deciding whether a map f:S^2 --> X^4 is homotopic to a topologically flat embedding, in the presence of fundamental group and in the absence of dual spheres. The first obstruction is Wall's self-intersection number mu(f) which tells the whole story in higher dimensions. Our second order obstruction tau(f) is defined if mu(f) vanishes and has formally very similar properties, except that it lies in a quotient of the group ring of two copies of pi_1(X) modulo S_3-symmetry (rather then just one copy modulo S_3-symmetry). It generalizes to the non…
In quantum geometry, we consider a set of loops, a compact orientable surface and a solid compact spatial region, all inside $\mathbb{R} \times \mathbb{R}^3 \equiv \mathbb{R}^4$, which forms a triple. We want to define an ambient isotopic equivalence relation on such triples, so that we can obtain equivalence invariants. These invariants describe how these submanifolds are causally related to or `linked' with each other, and they are closely associated with the linking number between links in $\mathbb{R}^3$. Because we distinguish the time-axis from spatial subspace in $\mathbb{R}^4$, we see t…
In the 1980's Daryl Cooper introduced the notion of a C-complex (or clasp-complex) bounded by a link and explained how to compute signatures and polynomial invariants using a C-complex. Since then this was extended by works of Cimasoni, Florens, Mellor, Melvin, Conway, Toffoli, Friedl, and others to compute other link invariants. Informally a C-complex is a union of surfaces which are allowed to intersect each other in clasps. The purpose of the current paper is to study the minimal number of clasps amongst all C-complexes bounded by a fixed link $L$. This measure of complexity is related to t…
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…
We find that Koschorke's $β$-invariant and the triple $μ$-invariant of link maps in the critical dimension can be computed as degrees of certain maps of configuration spaces - just like the linking number. Both formulas admit geometric interpretations in terms of Vassiliev's ornaments via new operations akin to the Jin suspension, and both were unexpected for the author, because the only known direct ways to extract $μ$ and $β$ from invariants of maps between configuration spaces involved some homotopy theory (Whitehead products and the stable Hopf invariant, respectively).
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 form $$\sum_{I \subset N} (-1)^{\sharp I}Z_n(M_I)$$ where $N$ is the set of components of a framed algebraically split link $L$ in a rational homology sphere $M$, and $M_I$ denotes the manifold resulting from the Dehn surgeries on the components of $I$. The first formula treats the case when $L$ is a boundary link with $n$ components, while the second one i…
Geometric interpretations of some virtual knot invariants are given in terms of invariants of links in $\mathbb{S}^3$. Alexander polynomials of almost classical knots are shown to be specializations of the multi-variable Alexander polynomial of certain two-component boundary links of the form $J \sqcup K$ with $J$ a fibered knot. The index of a crossing, a common ingredient in the construction of virtual knot invariants, is related to the Milnor triple linking number of certain three-component links $J \sqcup K_1 \sqcup K_2$ with $J$ a connected sum of trefoils or figure-eights. Our main techn…
Topological Quantum Field Theories (TQFTs) pertinent to some emergent low energy phenomena of condensed matter lattice models in 2+1 and 3+1D are explored. Many of our field theories are highly-interacting without free quadratic analogs. Some of our bosonic TQFTs can be regarded as the continuum field theory formulation of Dijkgraaf-Witten twisted discrete gauge theories. Other bosonic TQFTs beyond the Dijkgraaf-Witten description and all fermionic spin TQFTs are either higher-form gauge theories where particles must have strings attached, or fermionic discrete gauge theories obtained by gaugi…
