In this paper, we use `generalized Seifert surfaces' to extend the Levine-Tristram signature to colored links in S^3. This yields an integral valued function on the m-dimensional torus, where m is the number of colors of the link. The case m=1 corresponds to the Levine-Tristram signature. We show that many remarkable properties of the latter invariant extend to this m-variable generalization: it vanishes for achiral colored links, it is `piecewise continuous', and the places of the jumps are determined by the Alexander invariants of the colored link. Using a 4-dimensional interpretation and the Atiyah-Singer G-signature theorem, we also prove that this signature is invariant by colored concordance, and that it provides a lower bound for the `slice genus' of the colored link.
We develop an algorithm for computing generalized Seifert matrices for colored links given as closures of colored braids. The algorithm has been implemented by the second author as a computer program called Clasper. Clasper also outputs the Conway potential function, the multivariable Alexander polynomial and the Cimasoni-Florens signatures of a link, and displays a visualization of the C-complex used for producing the generalized Seifert matrices.
It is well known that the Blanchfield pairing of a knot can be expressed using Seifert matrices. In this paper, we compute the Blanchfield pairing of a colored link with non-zero Alexander polynomial. More precisely, we show that the Blanchfield pairing of such a link can be written in terms of generalized Seifert matrices which arise from the use of C-complexes.
We characterise positive braid links with positive Seifert form via a finite number of forbidden minors. From this we deduce a one-to-one correspondence between prime positive braid links with positive Seifert form and simply laced Dynkin diagrams, as well as a simple classification of alternating positive braid knots.
We give a new criterion for a given knot to be a Montesinos knot by using the Rasmussen invariant and the signature. We apply the criterion to study Seifert fibered surgery on a strongly invertible knot, and show that a $(p,q,q)$-pretzel knot with integers $p,q \ge 2$ admits no Seifert fibered surgery.
A virtual knot that has a homologically trivial representative $\mathscr{K}$ in a thickened surface $Σ\times [0,1]$ is said to be an almost classical (AC) knot. $\mathscr{K}$ then bounds a Seifert surface $F\subset Σ\times [0,1]$. Seifert surfaces of AC knots are useful for computing concordance invariants and slice obstructions. However, Seifert surfaces in $Σ\times [0,1]$ are difficult to construct. Here we introduce virtual Seifert surfaces of AC knots. These are planar figures representing $F \subset Σ\times [0,1]$. An algorithm for constructing a virtual Seifert surface from a Gauss diagr…
We calculate the RT-invariants of all oriented Seifert manifolds directly from surgery presentations. We work in the general framework of an arbitrary modular category as in [V. G. Turaev, Quantum invariants of knots and 3--manifolds, de Gruyter Stud. Math. 18, Walter de Gruyter (1994)], and the invariants are expressed in terms of the S- and T-matrices of the modular category. In another direction we derive a rational surgery formula, which states how the RT-invariants behave under rational surgery along framed links in arbitrary closed oriented 3-manifolds with embedded colored ribbon graphs…
We give a geometric construction of the multivariable Conway potential function for colored links. In the case of a single color, it is Kauffman's definition of the Conway polynomial in terms of a Seifert matrix.
Taking the signature of the closure of a braid defines a map from the braid group to the integers. In 2005, Gambaudo and Ghys expressed the homomorphism defect of this map in terms of the Meyer cocycle and the Burau representation. In the present paper, we simultaneously extend this result in two directions, considering the multivariable signature of the closure of a colored tangle. The corresponding defect is expressed in terms of the Maslov index and of the Lagrangian functor defined by Turaev and the first-named author.
We use a link invariant defined by Cimasoni-Florens to compute ρ-invariants. This generalizes results of Cochran-Teichner and Friedl on knots to the setting of links. As an application, we prove with only twelve possible exceptions that the twist knots of algebraic order two are linearly independent in the topological concordance group.
We show that the twisted signature invariants of boundary link concordance derived from unitary representations of the free group are actually ordinary link concordance invariants. We also show how the discontinuity locus of this signature function is determined by Seifert matrices of the link.
A theory of signatures for odd-dimensional links in rational homology spheres is studied via their generalized Seifert surfaces. The jump functions of signatures are shown invariant under appropriately generalized concordance and a special care is given to accommodate 1-dimensional links with mutual linking. Furthermore our concordance theory of links in rational homology spheres remains highly nontrivial after factoring out the contribution from links in integral homology spheres.
We study the behavior of the signature of colored links [Flo05, CF08] under the splice operation. We extend the construction to colored links in integral homology spheres and show that the signature is almost additive, with a correction term independent of the links. We interpret this correction term as the signature of a generalized Hopf link and give a simple closed formula to compute it.
The theory of signature invariants of links in rational homology spheres is applied to covering links of homology boundary links. From patterns and Seifert matrices of homology boundary links, an explicit formula is derived to compute signature invariants of their covering links. Using the formula, we produce fused boundary links that are positive mutants of ribbon links but are not concordant to boundary links. We also show that for any finite collection of patterns, there are homology boundary links that are not concordant to any homology boundary links admitting a pattern in the collection.
In 1982 Louis Kauffman conjectured that if a knot in the 3-sphere is a slice knot then on any Seifert surface for that knot there exists a homologically essential simple closed curve of self-linking zero which is itself a slice knot, or at least has Arf invariant zero. Since that time, considerable evidence has been amassed in support of this conjecture. In particular, many invariants that obstruct a knot from being a slice knot have been explictly expressed in terms of invariants of such curves on the Seifert surface. We give counterexamples to Kauffman's conjecture, that is, we exhibit (smoo…
Kjuchukova's $Ξ_p$ invariant gives a ribbon obstruction for Fox $p$-colored knots. The invariant is derived from dihedral branched covers of 4-manifolds, and is needed to calculate the signatures of these covers, when singularities on the branching sets are present. In this note, we give an algorithm for evaluating $Ξ_p$ from a colored knot diagram, and compute a couple of examples.
We use topological methods to prove a semicontinuity property of the Hodge spectra for analytic germs defined on an isolated surface singularity. For this we introduce an analogue of the Seifert matrix (the fractured Seifert matrix), and of the Levine--Tristram signatures associated with it, defined for null-homologous links in arbitrary three dimensional manifolds. Moreover, we establish Murasugi type inequalities in the presence of cobordisms of links. It turns out that the fractured Seifert matrix determines the Hodge spectrum and the Murasugi type inequalities can be read as spectrum semic…
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 extend several classical invariants of links in the 3-sphere to links in so-called quasi-cylinders. These invariants include the linking number, the Seifert form, the Alexander module, the Alexander-Conway polynomial and the Murasugi-Tristram-Levine signatures.
We provide obstructions to a link in $S^3$ arising as the cross section of any number of unlinked spheres in $S^4$. Our obstructions arise from the multivariable signature, the Blanchfield form and generalised Seifert matrices. We also obtain obstructions in the case of surfaces of higher genera, leading to a lower bound on the doubly slice genus of links.
Let $K\subset S^3$ be a Fox $p$-colored knot and assume $K$ bounds a locally flat surface $S\subset B^4$ over which the given $p$-coloring extends. This coloring of $S$ induces a dihedral branched cover $X\to S^4$. Its branching set is a closed surface embedded in $S^4$ locally flatly away from one singularity whose link is $K$. When $S$ is homotopy ribbon and $X$ a definite four-manifold, a condition relating the signature of $X$ and the Murasugi signature of $K$ guarantees that $S$ in fact realizes the four-genus of $K$. We exhibit an infinite family of knots $K_m$ with this property, each w…
We define a family of formal Khovanov brackets of a colored link depending on two parameters. The isomorphism classes of these brackets are invariants of framed colored links. The Bar-Natan functors applied to these brackets produce Khovanov and Lee homology theories categorifying the colored Jones polynomial. Further, we study conditions under which framed colored link cobordisms induce chain transformations between our formal brackets. We conjecture that, for special choice of parameters, Khovanov and Lee homology theories of colored links are functorial (up to sign). Finally, we extend the …
We define the slope of a colored link in an integral homology sphere, associated to admissible characters on the link group. Away from a certain singular locus, the slope is a rational function which can be regarded as a multivariate generalization of the Kojima--Yamasaki $η$-function. It is the ratio of two Conway potentials, provided that the latter makes sense; otherwise, it is a new invariant. The slope is responsible for an extra correction term in the signature formula for the splice of two links, in the previously open exceptional case where both characters are admissible. Using a simil…
We show that Haefliger's differentiable (6,3)-knot bounds, in 6-space, a 4-manifold (a Seifert surface) of arbitrarily prescribed signature. This implies, according to our previous paper, that the Seifert surface has been prolonged in a prescribed direction near its boundary. This aspect enables us to understand a resemblance between Ekholm-Szucs' formula for the Smale invariant and Boechat-Haefliger's formula for Haefliger knots. As a consequence, we show that an immersion of the 3-sphere in 5-space can be regularly homotoped to the projection of an embedding in 6-space if and only if its Sma…
A checkerboard graph of a special diagram of an oriented link is made a directed, edge-weighted graph in a natural way so that a principal minor of its Laplacian matrix is a Seifert matrix of the link. Doubling and weighting the edges of the graph produces a second Laplacian matrix such that a principal minor is an Alexander matrix of the link. The Goeritz matrix and signature invariants are obtained in a similar way. A device introduced by L. Kauffman makes it possible to apply the method to general diagrams.
Based on some analogies with the Hodge theory of isolated hypersurface singularities, we define Hodge-type numerical invariants (called H-numbers) of any, not necessarily algebraic, link in $S^3$. They contain the same information as the (normalized) real Seifert matrix. We study their basic properties, we express the Tristram-Levine signatures and the higher order Alexander polynomial in terms of them. Motivated by singularity theory, we also introduce the spectrum of the link (determined from these H-numbers), and we establish some semicontinuity properties for it.
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 paper is partially withdrawn: in its current form, Lemma 2.3 is false, so that our proof of Theorem A and Proposition B has an important gap. We were unable to fix it yet. Any help is most welcome. We prove that the restriction of surface minority to fiber surfaces of divides is a well-quasi-order. Here surface minority is the partial order on isotopy classes of surfaces embedded in the 3-space associated with incompressible subsurfaces. The proof relies on a refinement of the Robertson-Seymour Theorem that involves colored graphs embedded into the plane. Our result implies that every prop…
