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.
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…
Twisted links are a generalization of virtual links. As virtual links correspond to abstract links on orientable surfaces, twisted links correspond to abstract links on (possibly non-orientable) surfaces. In this paper, we introduce the notion of the double covering of a twisted link. It is defined by considering the orientation double covering of an abstract link or alternatively by constructing a diagram called a double covering diagram. We also discuss links in thickened surfaces, their diagrams and their stable equivalence classes. Bourgoin's twisted knot group is understood as the virtual…
We introduce a new construction of a surface link in the 4-space. We construct a surface link as a branched covering over the standard torus, which we call a torus-covering link. We show that a certain torus-covering $T^2$-link is equivalent to the split union of spun $T^2$-links and turned spun $T^2$-links. We show that a certain torus-covering $T^2$-link has a non-classical link group. We give a certain class of ribbon torus-covering $T^2$-links. We present the quandle cocycle invariant of a certain torus-covering $T^2$-link obtained from a classical braid, by using the quandle cocycle invar…
We consider surface links in the 4-space which are presented by the form of simple branched coverings over the standard torus, which we call torus-covering links. In this paper, we study unknotting numbers of torus-covering links. In some cases, we can determine the unknotting numbers.
We consider a surface link in the 4-space which can be presented by a simple branched covering over the standard torus, which we call a torus-covering link. Torus-covering links include spun $T^2$-knots and turned spun $T^2$-knots. In this paper we braid a torus-covering link over the standard 2-sphere. This gives an upper estimate of the braid index of a torus-covering link. In particular we show that the turned spun $T^2$-knot of the torus $(2,\,p)$-knot has the braid index four.
Twisted links are a generalization of classical links and correspond to stably equivalence classes of links in thickened surfaces. In this paper we introduce twisted intersection colorings of a diagram and construct two invariants of a twisted link using such colorings. As an application, we show that there exist infinitely many pairs of twisted links such that for each pair the two twisted links are not equivalent but their double coverings are equivalent. We also introduce a method of constructing a pair of twisted links whose double coverings are equivalent.
A virtual link diagram is called mod $m$ almost classical if it admits an Alexander numbering valued in integers modulo $m$, and a virtual link is called mod $m$ almost classical if it has a mod $m$ almost classical diagram as a representative. In this paper, we introduce a method of constructing a mod $m$ almost classical virtual link diagram from a given virtual link diagram, which we call an $m$-fold cyclic covering diagram. The main result is that $m$-fold cyclic covering diagrams obtained from two equivalent virtual link diagrams are equivalent. Thus we have a well-defined map from the se…
We discuss 3-manifolds which are cyclic coverings of the 3-sphere, branched over 2-bridge knots and links. Different descriptions of these manifolds are presented: polyhedral, Heegaard diagram, Dehn surgery and coloured graph constructions. Using these descriptions, we give presentations for their fundamental groups, which are cyclic presentations in the case of 2-bridge knots. The homology groups are given for a wide class of cases. Moreover, we prove that each singly-cyclic branched covering of a 2-bridge link is the composition of a meridian-cyclic branched covering of a determined link and…
A virtual link diagram is called normal if the associated abstract link diagram is checkerboard colorable, and a virtual link is normal if it has a normal diagram as a representative. Normal virtual links have some properties similar to classical links.In this paper, we introduce a method of converting a virtual link diagram to a normal virtual link diagram. We show that the normal virtual link diagrams obtained by this method from two equivalent virtual link diagrams are equivalent. We discuss the relationship between this method and some invariants of virtual links.
We consider closed orientable 3-dimensional hyperbolic manifolds which are cyclic branched coverings of the 3-sphere, with branching set being a two-bridge knot (or link). We establish two-sided linear bounds depending on the order of the covering for the Matveev complexity of the covering manifold. The lower estimate uses the hyperbolic volume and results of Cao-Meyerhoff and Gueritaud-Futer (who recently improved previous work of Lackenby), while the upper estimate is based on an explicit triangulation, which also allows us to give a bound on the Delzant T-invariant of the fundamental group …
The bipolar filtration introduced by T. Cochran, S. Harvey, and P. Horn is a framework for the study of smooth concordance of topologically slice knots and links. It is known that there are topologically slice 1-bipolar knots which are not 2-bipolar. For knots, this is the highest known level at which the filtration does not stabilize. For the case of links with two or more components, we prove that the filtration does not stabilize at any level: for any n, there are topologically slice links which are n-bipolar but not (n+1)-bipolar. In the proof we describe an explicit geometric construction…
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…
We consider knots equipped with a representation of their knot groups onto a dihedral group D_{2n} (where n is odd). To each such knot there corresponds a closed 3-manifold, the (irregular) dihedral branched covering space, with the branching set over the knot forming a link in it. We report a variety of results relating to the problem of passing from the initial data of a D_{2n}-coloured knot to a surgery presentation of the corresponding branched covering space and covering link. In particular, we describe effective algorithms for constructing such presentations. A by-product of these invest…
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 compute the average Tristram---Levine signature of any graph link with positive weights in a three sphere, generalizing the results of Kirby and Melvin. The main tools are the Neumann's algorithm for computing the equivariant signatures of graph links and the Reciprocity Law for Dedekind sums.
:Let G be a group together with an descending nested sequence of normal subgroups G=G_0, G_1, G_2 G_3, ... of finite index [G:G_k] such the intersection of the G_k-s is the trivial group. Let (X,Y) be a compact 4n-dimensional Poincare' pair and p: (\bar{X},\bar{Y}) \to (X,Y) be a G-covering, i.e. normal covering with G as deck transformation group. We get associated $G/_k$-coverings (X_k,Y_k) \to (X,Y). We prove that sign^{(2)}(\bar{X},\bar{Y}) = lim_{k\to\infty} \frac{sign(X_k,Y_k)}{[G : G_k]}, where sign or sign^{(2)} is the signature or L^2-signature, respectively, and the convergence of th…
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.
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 th…
We analyze properties of links which have diagrams with a small number of negative crossings. We show that if a nontrivial link has a diagram with all crossings positive except possibly one, then the signature of the link is negative. If a link diagram has two negative crossings, we show that the signature of the link is nonpositive with the exception of the left-handed Hopf link (with possible trivial components). We also characterize those links which have signature zero and diagrams with two negative crossings. In particular, we show that if a nontrivial knot has a diagram with two negative…
Virtual knot theory is a generalization of knot theory which is based on Gauss chord diagrams and link diagrams on closed oriented surfaces. A twisted knot is a generalization of a virtual knot, which corresponds to a link diagram on a possibly non-orientable surface. In this paper, we discuss an invariant of twisted links which is obtained from the JKSS invariant of virtual links by use of double coverings. We also discuss some properties of double covering diagrams.
Let p be a finite regular covering on a 2-sphere with at least three branch points. In this paper, we construct a local signature for the class of fibrations whose general fibers are isomorphic to the covering p.
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 give a new proof that the Levine-Tristram signatures of a link give lower bounds for the minimal sum of the genera of a collection of oriented, locally flat, disjointly embedded surfaces that the link can bound in the 4-ball. We call this minimal sum the 4-genus of the link. We also extend a theorem of Cochran, Friedl and Teichner to show that the 4-genus of a link does not increase under infection by a string link, which is a generalised satellite construction, provided that certain homotopy triviality conditions hold on the axis curves, and that enough Milnor's invariants of the infection…
We give the rectangle condition for strong irreducibility of Heegaard splittings of $3$-manifolds with non-empty boundary. We apply this to a generalized Heegaard splitting of a $2$-fold covering of $S^3$ branched along a link. The condition implies that any thin meridional level surface in the link complement is incompressible. We also show that the additivity of knot width holds for a composite knot satisfying the condition.
Turaev showed that there is a well-defined map assigning to an oriented link L in the three-sphere a Spin structure t_0 on Sigma(L), the 2-fold cover of S^3 branched along L. We prove, generalizing results of Manolescu-Owens and Donald-Owens, that for an oriented quasi-alternating link L the signature of L equals minus four times the Heegaard Floer correction term of (Sigma(L), t_0).
We give a new geometric obstruction to the iterated Bing double of a knot being a slice link: for n>1 the (n+1)-st iterated Bing double of a knot is rationally slice if and only if the n-th iterated Bing double of the knot is rationally slice. The main technique of the proof is a covering link construction simplifying a given link. We prove certain similar geometric obstructions for n <= 1 as well. Our results are sharp enough to conclude, when combined with algebraic invariants, that if the n-th iterated Bing double of a knot is slice for some n, then the knot is algebraically slice. Also our…
It was asked by J.Birman, Williams, and L.Rudolph whether nontrivial Lorentz knots have always positive signature. Lorentz knots are examples of positive braids (in our convention they have all crossings negative so they are negative links). It was shown by L.Rudolph that positive braids have positive signature (if they represent nontrivial links). K.Murasugi has shown that nontrivial, alternating, positive links have negative signature. Here we prove in general the old folklore conjecture that nontrivial positive links have negative signature.
Relations between the Atiyah-Patodi-Singer rho invariant and signatures of links have been known for a long time, but they were only partially investigated. In order to explore them further, we develop a versatile cut-and-paste formula for the rho invariant, which allows us to manipulate manifolds in a convenient way. With the help of this tool, we give a description of the multivariable signature of a link $L$ as the rho invariant of some closed $3$-manifold $Y_L$ intrinsically associated to $L$. We study then the rho invariant of the manifolds obtained by Dehn surgery on a $L$ along integer …
Recently, Mullins calculated the Casson-Walker invariant of the 2-fold cyclic branched cover of an oriented link in S^3 in terms of its Jones polynomial and its signature, under the assumption that the 2-fold branched cover is a rational homology 3-sphere. Using elementary principles, we provide a similar calculation for the general case. In addition, we calculate the LMO invariant of the p-fold branched cover of twisted knots in S^3 in terms of the Kontsevich integral of the knot.
A combinatorial presentation of closed orientable 3-manifolds as bi-tricolored links is given together with two versions of a calculus via moves to manipulate bi-tricolored links without changing the represented manifold. That is, we provide a finite set of moves sufficient to relate any two manifestations of the same 3-manifold as a simple 4-sheeted branched covering of S^3.
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.
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.
We prove that any knot or link in any 3-manifold can be nicely decomposed (splitted) by a filling Dehn sphere. This has interesting consequences in the study of branched coverings over knots and links. We give an algorithm for computing Johansson diagrams of filling Dehn surfaces out from coverings of 3-manifolds branched over knots or links.
We classify compact oriented $5$-manifolds with free fundamental group and $π_{2}$ a torsion free abelian group in terms of the second homotopy group considered as $π_1$-module, the cup product on the second cohomology of the universal covering, and the second Stiefel-Whitney class of the universal covering. We apply this to the classification of simple boundary links of $3$-spheres in $S^5$. Using this we give a complete algebraic picture of closed $5$-manifolds with free fundamental group and trivial second homology group.
We develop a method to show the fundamental group of the double branched covering of a link is not left-orderable by introducing the notion of the coarse presentation. As in the usual group presentations, a coarse presentation is given by a set of generators and relations, but inequalities are allowed as relations. By using coarse presentation, we give a family of links whose double branched covering has the non-left-orderable fundamental group. Our family of links includes many known examples and new examples.
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 refine prior bounds on how the multivariable signature and the nullity of a link change under link cobordisms. The formula generalizes a series of results about the 4-genus having their origins in the Murasugi-Tristram inequality, and at the same time extends previously known results about concordance invariance of the signature to a bigger set of allowed variables. Finally, we show that the multivariable signature and nullity are also invariant under $0.5$-solvable cobordism.
The Levine-Tristram signature associates to each oriented link $L$ in $S^3$ a function $σ_L \colon S^1 \to \mathbb{Z}.$ This invariant can be defined in a variety of ways, and its numerous applications include the study of unlinking numbers and link concordance. In this survey, we recall the three and four dimensional definitions of $σ_L$, list its main properties and applications, and give comprehensive references for the proofs of these statements.
We study the growth of the order of torsion subgroups of the homology in a tower of finite abelian coverings. In particular, we prove that it is exponential for when the tower converges to the maximal free abelian cover of a link complement when the first nonzero Alexander polynomial has positive logarithmic Mahler measure.
In this paper, we study the Khovanov homology of an alternating virtual link $L$ and show that it is supported on $g+2$ diagonal lines, where $g$ equals the virtual genus of $L$. Specifically, we show that $Kh^{i,j}(L)$ is supported on the lines $j=2i-σ_ξ+2k-1$ for $0\leq k\leq g+1$ where $σ_{ξ^*}(L)+2g= σ_ξ(L)$ are the signatures of $L$ for a checkerboard coloring $ξ$ and its dual $ξ^*$. Of course, for classical links, the two signatures are equal and this recovers Lee's $H$-thinness result for $Kh^{*,*}(L)$. Our result applies more generally to give an upper bound for the homological width o…
The splitting number of a link is the minimal number of crossing changes between different components required to convert it into a split link. We obtain a lower bound on the splitting number in terms of the (multivariable) signature and nullity. Although very elementary and easy to compute, this bound turns out to be suprisingly efficient. In particular, it makes it a routine check to recover the splitting number of 129 out of the 130 prime links with at most 9 crossings. Also, we easily determine 16 of the 17 splitting numbers that were studied by Batson and Seed using Khovanov homology, and…
For a normal covering over a closed oriented topological manifold we give a proof of the L2-signature theorem with twisted coefficients, using Lipschitz structures and the Lipschitz signature operator introduced by Teleman. We also prove that the L-theory isomorphism conjecture as well as the C^*_max-version of the Baum-Connes conjecture imply the L2-signature theorem for a normal covering over a Poincar space, provided that the group of deck transformations is torsion-free. We discuss the various possible definitions of L2-signatures (using the signature operator, using the cap product of dif…
We calculate the volume of the $7_3^2$ link cone-manifolds using the Schläfli formula. As an application, we give the volume of the cyclic coverings over the link.
Let $D$ be an oriented link diagram with the set of regions $\operatorname{r}_{D}$. We define a symmetric map (or matrix) $\operatornameτ_{D}\colon\operatorname{r}_{D}\times \operatorname{r}_{D} \to \mathbb{Z}[x]$ that gives rise to an invariant of oriented links, based on a slightly modified $S$-equivalence of Trotter and Murasugi in the space of symmetric matrices. In particular, for real $x$, the negative signature of $\operatornameτ_{D}$ corrected by the writhe is conjecturally twice the Tristram--Levine signature function, where $2x=\sqrt{t}+\frac1{\sqrt{t}}$ with $t$ being the indetermin…
Homology of the circle with non-trivial local coefficients is trivial. From this well-known fact we deduce geometric corollaries concerning links of codimension two. In particular, the Murasugi-Tristram signatures are extended to invariants of links formed of arbitrary oriented closed codimension two submanifolds of an odd-dimensional sphere. The novelty is that the submanifolds are not assumed to be disjoint, but are transversal to each other, and the signatures are parametrized by points of the whole torus. Murasugi-Tristram inequalities and their generalizations are also extended to this se…
We define some signature invariants for a class of knotted trivalent graphs using branched covers. We relate them to classical signatures of knots and links. Finally, we explain how to compute these invariants through the example of Kinoshita's knotted theta graph.
We extend the notion of the symmetric signature $σ(\bar{M},r)$ in L^n(R) for a compact n-dimensional manifold M without boundary, a reference map r from M to BG and a homomorphism of rings with involutions from ZG to R to the case with boundary $\partial M$, where $(\bar{M},\bar{\partial M}) \to (M,\partial M)$ is the G-covering associated to r. We need the assumption that $C_*(\bar{\partial M}) \otimes_{\zz G} R$ isR-chain homotopy equivalent to a R-chain complex D_* with trivial m-th differential for n = 2m resp. n = 2m+1. Let Z be a closed oriented manifold with reference map BG. Let F be a…
