Linking Numbers in Three-Manifolds

Abstract

Let M be a connected, closed, oriented three-manifold and K, L two rationally null-homologous oriented simple closed curves in M. We give an explicit algorithm for computing the linking number between K and L in terms of a presentation of M as an irregular dihedral three-fold cover of $S^3$ branched along a knot $\alpha \subset S^3$. Since every closed, oriented three-manifold admits such a presentation, our results apply to all (well-defined) linking numbers in all three-manifolds. Furthermore, ribbon obstructions for a knot $\alpha$ can be derived from dihedral covers of $\alpha$. The linking numbers we compute are necessary for evaluating one such obstruction. This work is a step toward testing potential counter-examples to the Slice-Ribbon Conjecture, among other applications.

Introduction

The study of linking numbers between knots in $S^3$ dates back at least as far as Gauss [13]. More generally, given a closed, oriented three-manifold M and two rationally null-homologous, oriented, simple closed curves $K,L\subset M$, the linking number $\mathrm{lk}(K,L)$ is defined as well. It is given by

$$\begin{array}{c}\hfill \frac{1}{n}(K·C_L),\end{array}$$

where $C_L$ is a 2-chain in M with boundary nL, $n\in \mathbb{N}$, and $·$ denotes the signed intersection number. This linking number is well-defined and symmetric [27].

Let the three-manifold M be presented as a three-fold irregular dihedral branched cover of $S^3$, branched along a knot. Every closed oriented three-manifold admits such a presentation [16, 17, 20]. Consider a branched cover $f:M\to S^3$ of this type, and let $\gamma ,\delta \subset S^3$ be oriented, closed curves embedded disjointly from each other and from the branching set $\alpha$ of f. In Theorem 1.2, we give a formula for the linking number in M between any two connected components of the pre-images of $\gamma$ and $\delta$, in the case where the pre-images of $\gamma$ and $\delta$ have three connected components each. The general case is given in Sect. 4.1. This linking number is computed in terms of a diagram of the link $\alpha \cup \gamma \cup \delta$. The geometric construction underlying the computation is reviewed in Sect. 1.1 and serves to complement the theorem statement, which is combinatorial in flavor. Linking numbers in dihedral branched covers of $S^3$ are needed for calculating several knot and three-manifold invariants [5, 6, 8, 14, 18, 19]; some of these applications are considered in Sect. 1.2.

Briefly, our technique is the following. The cone on the link $\alpha \cup \gamma \cup \delta$ gives a cell structure on $S^3$ which lifts, via the map f, to a cell structure on M. Two-chains bounding closed connected components of $f^{-1}(\gamma )$ and $f^{-1}(\delta )$ are found by solving a system of linear equations. We obtain these equations by examining the diagram of $\alpha \cup \gamma \cup \delta$ used to construct the cell structure on M. Finally, intersection numbers between lifts of $\delta$ and the 2-chains bounding lifts of $\gamma$ are computed from local data about the relevant 1- and 2-cells.

Classically, a knot invariant is derived from linking numbers in branched covers as follows. Let $\alpha \subset S^3$ be a Fox 3-colorable knot. Any 3-coloring of $\alpha$ determines an irregular dihedral three-fold covering map $f:M\to S^3$ with branching set $\alpha$, as reviewed in Sect. 2.1. Given such a three-fold cover f, the preimage of the branching set, $f^{-1}(\alpha )$, has two connected components whose linking number, in M, is either a rational number or undefined. The set of these linking numbers over all distinct 3-colorings of $\alpha$ is called the linking number invariant of $\alpha$. Analogous invariants can be derived for more general knot group quotients and other types of branched covers.

Dihedral linking numbers have been instrumental in distinguishing and tabulating knots, including in various situations where other invariants do not suffice. The linking number invariant was introduced by Reidemeister in [25], where he applied it to tell apart two knots with the same Alexander polynomial. In [26], Riley generalized this idea and used linking numbers in five-fold (non-dihedral) branched covers to distinguish a pair of mutants whose Alexander polynomials were trivial. Two 36-crossing knots with the same Jones polynomial were distinguished by Birman using linking numbers in four-fold simple branched covers [2].

Linking numbers in dihedral branched covers are also good for studying certain properties of knots: they provide an obstruction to amphichirality [12, 23] and invertibility [15]. But the most well-known story is perhaps that of the Perko Pair, which consists of “two” knots which dihedral linking numbers failed to distinguish. These knots turned out to be isotopic, and constituted an accidental duplicate in Conway’s table [10]. The mistake was corrected by Perko. His discovery also provided a counterexample to a conjecture of Tait—stating that two reduced alternating diagrams of a given knot have equal writhe—previously believed to be established as a theorem.

Historically, efforts at knot classification have relied heavily on linking numbers in branched covers. Bankwitz and Schumann [1] classified knots of up to nine crossings using linking numbers in dihedral covers of 2-bridge knots as their primary tool. (Note that the irregular dihedral branched cover of a 2-bridge knot is always $S^3$; a proof of this old observation is recalled in [18].) Perko extended these methods, which allowed him to complete the classification to knots of ten and eleven crossings [23]. Burde proved that dihedral linking numbers can tell apart all 2-bridge knots [3], without regard to crossing number. The largest-scale computation of linking numbers was done by Dowker and Thistlethwaite, who succeeded in tabulating millions of knots [11]. Arguably, today’s knot tables would not be nearly as advanced in the absence of Reidemeister’s extremely powerful idea to consider linking numbers between the branch curves in non-cyclic branched covers of knots. For a more detailed account of the role of linking numbers in knot theory, as well as several illuminating examples, see [24].

Our results extend the classical linking number computation to include linking numbers of curves other than the branch curves, namely, closed connected components of $f^{-1}(\gamma )$ and $f^{-1}(\delta )$, where $\gamma ,\delta \subset S^3$ are curves in the complement of the branching set. It is helpful to formally regard points on $\gamma$ and $\delta$ as points on the branching set of f, with the property that each of their pre-images has branching index 1. Accordingly, we refer to $\gamma$ and $\delta$ as pseudo-branch curves of f. We will call each closed connected component of $f^{-1}(\gamma )$ (resp. $f^{-1}(\delta )$) a lift of $\gamma$ (resp. $\delta$). Finally, despite the apparent ambiguity, we will also use the phrase “pseudo-branch curves” to refer to the lifts themselves. Since every closed, connected, oriented three-manifold admits a presentation as a three-fold dihedral cover of $S^3$ branched along a knot, our methods compute all well-defined linking numbers in all three-manifolds; this is proven at the end of Sect. 1.1.

Algorithm Overview and the Main Theorem

We now summarize the geometric setup underlying our computation, and state our main theorem. Let $\alpha \subset S^3$ be a 3-colored knot and $f:M\to S^3$ be the corresponding dihedral cover of $S^3$ branched along $\alpha$. Let $\gamma ,\delta \subset S^3-\alpha$ be two disjoint, oriented knots. We treat the homomorphism $\rho :{\pi }_1(S^3-\alpha )\twoheadrightarrow D_3$ from which the branched cover f arises as a homomorphism of ${\pi }_1(S^3-\alpha -\gamma -\delta )$ in which meridians of $\gamma$ and $\delta$ all map to the trivial element; thus, we refer to $\gamma ,\delta$ as pseudo-branch curves. We compute linking numbers between connected components of $f^{-1}(\gamma )$ and $f^{-1}(\delta )$ by the following procedure.

• (i)Endow S${}^3$ with the cell structure by the cone on the link $\alpha \cup \gamma \cup \delta$; see Fig. 2 and Sect. 2.2.
• (ii)Lift this cell structure to M by examining the lifts of the cells near each crossing of the link diagram downstairs; see, for example, Fig. 7. This cell structure contains the lifts of the pseudo-branch curves as 1-subcomplexes.
• (iii)Solve a linear system to determine which of the lifts of the pseudo-branch curves are rationally null-homologous. For each rationally null-homologous lift of a pseudo-branch curve, a solution to the linear system determines an explicit 2-chain it bounds.
• (iv)For each pair of rationally null-homologous lifts of the pseudo-branch curves, compute linking numbers by adding up the signed intersection numbers of the relevant 1- and 2-cells.

Steps (i) and (ii) are discussed in Sect. 2. Step (iii) is carried out in Proposition 1.1, which determines when a lift of a pseudo-branch curve bounds a 2-chain, and finds the 2-chain when it exists. Step (iv) is the content of Theorem 1.2, which gives a formula for the linking number between lifts of pseudo-branch curves.

Fig. 2.

The cell structure on $S^3$ determined by the cone on the link $\alpha \cup \gamma \cup \delta$, together with the notation for the individual cells

Fig. 7.

One possible configuration of the cells above an inhomogeneous crossing i of $\alpha$. Here, $k_i$ is colored 2, $k_{i+1}$ is colored 1, and $k_{f(i)}$ is colored 3. This picture is obtained by identifying duplicate cells in Fig. 6

We now state our main results, Proposition 1.1 and Theorem 1.2. We assume for the moment that each of the pseudo-branch curves has three (closed, connected) lifts, and denote these by ${\gamma }_j$ and ${\delta }_k$, $j,k\in \{1,2,3\}$. Both ${\gamma }_j$ and ${\delta }_k$ must be rationally null-homologous for their linking number to be well-defined. We verify this condition by reversing the roles of $\gamma$ and $\delta$ in our computations and thus making sure that each of the curves bounds a 2-chain. The lift ${\gamma }_j$ is rationally null-homologous if and only if a solution $(x_0^j,x_1^j,\cdots ,x_{m-1}^j)\in {\mathbb{Q}}^m$ to the system of equations in Proposition 1.1 exists. The $x_i^j$ describe a rational 2-chain with boundary ${\gamma }_j$, namely they are coefficients for the 2-cells $A_{2,i}$ and $-A_{3,i}$ in the chain (these 2-cells are defined in Sect. 2.3). Additional notation is summarized in Table 1. The precise definitions of items 10 to 14 in the table are technical and given in the equations listed, which can be found in Sects. 2.2 and 4.2.

Table 1.

Notation

1	$k_0,k_1,\cdots ,k_{m-1}$	Arcs of $\alpha$ in diagram $\alpha \cup \gamma$. See Sect. 2.2
2	$g_0,g_1,\cdots ,g_{s-1}$	Arcs of $\gamma$ in diagram $\alpha \cup \gamma$. See Sect. 2.2
3	$h_0,h_1,\cdots ,h_{t-1}$	Arcs of $\delta$ in diagram $\alpha \cup \gamma \cup \delta$. See Sect. 2.2
4	$ϵ(i)\in \{-1,1\}$	Local writhe number at the head of arc $k_i$
5	${ϵ}_{\gamma }(i)\in \{-1,1\}$	Local writhe number at the head of arc $g_i$
6	${ϵ}_{\delta }(i)\in \{-1,1\}$	Local writhe number at the head of arc $h_i$
7	f(i)	Subscript of overcrossing arc at head of arc $k_i$
8	$f_{\gamma }(i)$	Subscript of overcrossing arc at head of arc $g_i$
9	$f_{\delta }(i)$	Subscript of overcrossing arc at head of arc $h_i$
10	${ϵ}_1(i)\in \{-1,1\}$	Concerns 2-cells above inhomogeneous crossing of $\alpha$. See (1)
11	${ϵ}_2(i)\in \{-1,1\}$	Concerns 2-cells above inhomogeneous crossing of $\alpha$. See (2)
12	${ϵ}_3(i)\in \{-1,1\}$	Concerns 2-cells above a homogeneous crossing of $\alpha$. See (3)
13	${ϵ}_4^j(i)\in \{-1,0,1\}$	Concerns 2-cells above a crossing of $\alpha$ under $\gamma$. See (4)
14	${ϵ}_5^k(i)\in \{-1,0,1\}$	Concerns 2-cells above a crossing of $\delta$ under $\alpha$. See (9)
15	${ϵ}_6^{j,k}(i)\in \{0,1\}$	Concerns 2-cells above a crossing of $\delta$ under $\gamma$. See (10)

Proposition 1.1

Let s denote the number of crossings of $\gamma$ under $\alpha$ plus the number of self-crossings of $\gamma$, let m denote the number of crossings of $\alpha$ under $\gamma$ plus the number n of self-crossings of $\alpha$. Let f(i) denote the index of the overstrand $k_{f(i)}$ at crossing i, and let the signs $ϵ$, and ${ϵ}_k$ for $k=1,2,3,4$, be as in Table 1. If the following inhomogeneous system of linear equations

$$\begin{array}{c}\hfill \left\{\begin{array}{cc}{x}_i^j-x_{i+1}^j+{ϵ}_1(i){ϵ}_2(i)x_{f(i)}^j=0\hfill & \text{if crossing}i\text{of}\alpha \text{is inhomogeneous},\hfill \\ x_i^j-x_{i+1}^j+2{ϵ}_3(i)x_{f(i)}^j=0\hfill & \text{if crossing}i\text{of}\alpha \text{is homogeneous},\hfill \\ x_i^j-x_{i+1}^j=ϵ(i){ϵ}_4^j(i)\hfill & \text{if strand}i\text{of}\alpha \text{passes under}\gamma ,\hfill \end{array}\right)\end{array}$$

has a solution $(x_0^j,x_1^j,\dots ,x_{m-1}^j)$ over $\mathbb{Q}$, then the lift ${\gamma }_j$ of $\gamma$ is rationally null-homologous and is bounded by the 2-chain

$$\begin{array}{c}\hfill C_j=\sum _{i=0}^{s-1}{B}_{j,i}+\sum _{i=0}^{m-1}{x}_i^j(A_{2,i}-A_{3,i}).\end{array}$$

Let $I_{j,k}$ be the linking number of ${\gamma }_j$ and ${\delta }_k$. Theorem 1.2 gives a formula for $I_{j,k}$ in terms of the solution to the system of equations in Proposition 1.1.

Theorem 1.2

Let $f:M\to S^3$ be a three-fold irregular dihedral cover branched along a knot $\alpha$, and let $\delta ,\gamma \subset S^3-\alpha$ be embedded, disjoint, oriented curves. If the lifts ${\gamma }_j$ and ${\delta }_k$ are rationally null-homologous closed loops in M for $j,k\in \{1,2,3\}$, then the linking number $I_{j,k}$ of ${\gamma }_j$ with ${\delta }_k$ is the sum

$$\begin{array}{c}\hfill I_{j,k}=\sum _{i=0}^{t-1}{c}_i,\end{array}$$

where $c_i$ is given by

$$\begin{array}{c}\hfill c_i=\left\{\begin{array}{cc}{ϵ}_5^k(i)x_{f(i)}^j\hfill & \text{if}{h}_i\text{terminates at an arc}{k}_{f(i)}\text{of}\alpha ,\hfill \\ {ϵ}_{\delta }(i){ϵ}_6^{j,k}(i)\hfill & \text{if}{h}_i\text{terminates at an arc of}\gamma ,\hfill \\ 0\hfill & \text{if}{h}_i\text{terminates at an arc of}\delta .\hfill \end{array}\right)\end{array}$$

We have focused here on the case where each pseudo-branch curve lifts to three closed loops because this case is the one we encounter exclusively in our main application [6]. In general, the number of connected components of $f^{-1}(\gamma )$ is determined by the image of $[\gamma ]\in {\pi }_1(S^3-\alpha )$ under the homomorphism ${\pi }_1(S^3-\alpha )\to D_3$ which determines the branched cover f. Therefore, the number of components of $f^{-1}(\gamma )$ can be calculated from the link diagram $\alpha \cup \gamma$ where $\alpha$ is 3-colored. Computations involving pseudo-branch curves whose pre-images under the branched covering map consist of fewer than three connected components can be carried out using the same techniques; see Sect. 4.1. Theorem 1.2 can also be used to compute linking numbers between the branch curves themselves, as well as linking numbers between branch and pseudo-branch curves, as discussed in Sects. 4.2 and 4.3.

Our methods compute all well-defined linking numbers in all closed, connected, oriented three-manifolds.

Lemma 1.3

Let M be a closed, connected, oriented three-manifold, and let $K\cup L$ be a 2-component oriented link in M. Denote by $f:M\to S^3$ a three-fold irregular dihedral cover whose branching set is the knot $\alpha \subset S^3$. Then $K\cup L$ is isotopic to a link $K^{\prime }\cup L^{\prime }$ such that $f(K^{\prime }\cup L^{\prime })$ is a link disjoint from $\alpha$.

This lemma follows from a standard general position argument. See, for example, [21], in which the authors give a diagrammatic theory for links in three-manifolds represented as three-fold covers of $S^3$. In particular, their labeled Reidemeister moves provide an alternative approach to computing linking numbers between lifts of pseudo-branch curves.

Given rationally null-homologous K, L as in the above lemma, note that $\mathrm{lk}(K,L)=\mathrm{lk}(K^{\prime },L^{\prime })$, since the two links (K, L) and $(K^{\prime },L^{\prime })$ are isotopic. Now let $\gamma =f(K^{\prime })$ and $\delta =f(L^{\prime })$. That is, $K^{\prime }$ and $L^{\prime }$ are closed connected components of $f^{-1}(\gamma )$ and $f^{-1}(\delta )$, respectively. In the language of this paper, $f^{-1}(\gamma )$ and $f^{-1}(\delta )$ are lifts of the pseudo-branch curves $\gamma$ and $\delta$. If $\gamma$ and $\delta$ each have three lifts, the linking number of $K^{\prime }$ and $L^{\prime }$ can be computed by the formula given in Theorem 1.2, yielding the linking number of K and L. Otherwise the linking number can be computed as in Sect. 4.1.

Applications to Branched Covers of Four-Manifolds and the Slice-Ribbon Conjecture

In [8], Cappell and Shaneson gave a formula, in terms of linking numbers of lifts of pseudo-branch curves, for the Rokhlin $\mu$ invariant of a dihedral cover of a knot $\alpha$. As noted earlier, every oriented three-manifold is a dihedral cover of some knot [16, 17, 20]; hence, this method is universal. Secondly, Litherland [19] showed that Casson–Gordon invariants of a knot can also be computed using linking numbers of pseudo-branch curves in a branched cover. The algorithm provided herein allows for the execution of a key missing step in evaluating Casson–Gordon and Rokhlin $\mu$ invariants via the above methods.

The application we focus on is the computation of a ribbon obstruction ${\mathrm{\Xi }}_p$ arising in the study of singular dihedral branched covers of four-manifolds. In [18], the second author gives a formula for the signature of a p-fold irregular dihedral branched cover $f:Y\to X$ between closed oriented topological four-manifolds X and Y, in the case where the branching set B of f is a closed oriented surface embedded in the base X with a cone singularity described by a knot $\alpha \subset S^3$. This formula shows that the signature of Y deviates from the locally flat case by a defect term, ${\mathrm{\Xi }}_p(\alpha )$, which is determined by the singularity $\alpha$. The term ${\mathrm{\Xi }}_p(\alpha )$ can be calculated in part via linking numbers of pseudo-branch curves in a dihedral cover of $\alpha$. If the base X of the covering map f is in fact $S^4$, the signature of the cover Y is exactly equal to ${\mathrm{\Xi }}_p(\alpha )$. In particular, our method for computing linking numbers between pseudo-branch curves allows us to determine the signature of a dihedral branched cover of $S^4$ in terms of combinatorial data about the singularity on the branching set. We give an example of such a computation, using the algorithm given in this paper, in [6]. Furthermore, for a slice knot $\alpha$, the integer ${\mathrm{\Xi }}_p(\alpha )$ can be used to derive an obstruction to $\alpha$ being homotopy ribbon [5, 14]. Precisely, for a fixed p, ${\mathrm{\Xi }}_p(\alpha )$ is constrained in a bounded range, determined by p, for all homotopy ribbon knots. This obstruction provides a new method to test counter-examples to the Slice-Ribbon conjecture. The results of this paper can be applied to search for a slice knot that is not ribbon; we use our algorithm to compute ${\mathrm{\Xi }}_3$ for concrete examples of slice knots in [6]. In [7] we give an infinite family of knots whose four-genus is computed with the help of the ${\mathrm{\Xi }}_3$ invariant. An efficient method for evaluating linking numbers in three-manifolds is essential for using the ${\mathrm{\Xi }}_p(\alpha )$ invariant to study knot four-genus and knot concordance.

Overview of the Article

In Sect. 2, we recall the definition of an irregular dihedral cover, and we discuss the relevant cell structure on $S^3$, as well its lift to the cover M. In Sect. 3 we find the rational 2-chains bounding the pseudo-branch curves, proving Proposition 1.1. In Sect. 4, we prove Theorem 1.2, which gives the formula for the linking numbers between lifts of pseudo-branch curves, as well as Theorem 4.3, which gives an analogous formula for the linking numbers between lifts of a pseudo-branch curve and a branch curve. Section 5 illustrates our algorithm on an example of a three-fold dihedral cover and several pseudo-branch curves therein. Due to the large number of cells used, computations by hand quickly evolve into an unwieldy task, even for the most resolute and concentrated persons. Our algorithm for calculating linking numbers in branched covers has therefore been implemented in Python. The code can be found in [4].

A Combinatorial Method for Computing Linking Numbers

Irregular Dihedral Covers

Let $\alpha$ be a knot in $S^3$ and $f:M\to S^3$ any covering map branched along $\alpha$. Such a branched cover f is determined by its unbranched counterpart, ${f|}_{f^{-1}(S^3-\alpha )}$. Thus, we can associate to f a group homomorphism $\rho :{\pi }_1(S^3-\alpha )\to G$ for some group G. For us, G is always $D_p$, the dihedral group of order 2p, $\rho$ is surjective, and p is odd. The homomorphism $\rho$ induces the regular 2p-fold dihedral cover of $(S^3,\alpha )$; this cover corresponds to the subgroup $ker\rho \subset {\pi }_1(S^3-\alpha )$. The irregular p-fold dihedral cover of $(S^3,\alpha )$, also induced by $\rho$, corresponds to a subgroup ${\rho }^{-1}({\mathbb{Z}}_2)\subset {\pi }_1(S^3-\alpha )$, where ${\mathbb{Z}}_2$ can be any subgroup of $D_p$ of order 2. The irregular dihedral cover is a ${\mathbb{Z}}_2$ quotient of the regular one, and different choices of subgroup ${\mathbb{Z}}_2\subset D_p$ correspond to different choices of an involution. Recall also that $\rho$ can be represented by a p-coloring of the knot diagram, where the “color” of each arc indicates the reflection in $D_p$ of order 2 to which $\rho$ maps the Wirtinger meridian of the colored arc. In this paper we focus on three-fold irregular dihedral covers. The colors 1, 2, and 3 correspond to the transpositions (23), (13), and (12) respectively. Given a three-fold dihedral cover, the pre-image of the knot $\alpha$ has two connected components ${\alpha }_1$ and ${\alpha }_2$, with branching indices 1 and 2 respectively.

The Cell Structure on $S^3$

This section serves primarily to describe the cell structure on $S^3$ determined by the cone on the link $\alpha \cup \gamma \cup \delta$, and to introduce some notation. The cell structure is a subdivision of the one used by Perko [22] to compute the linking number of the branch curves ${\alpha }_1$ and ${\alpha }_2$. The relevant notation is summarized in Table 1.

We now describe how to number the link diagram $\alpha \cup \gamma \cup \delta$; see Fig. 1. The arcs of $\alpha$ in the link diagram of $\alpha \cup \gamma$ are labeled $k_0,k_1,\cdots ,k_{m-1}$, proceeding along the diagram in the direction of the orientation of $\alpha$; m is the sum of the number of crossings of $\alpha$ with itself and the number of crossings of $\alpha$ with $\gamma$ where $\alpha$ passes under $\gamma$. For the purposes of labeling the lifts of 2-cells in a systematic way, we require that the diagram of $\alpha$ have an even number of crossings. We can arrange this to be the case by performing a type 1 Reidemeister move on $\alpha$, if necessary. From now on, we assume without further comment that the diagram of $\alpha$ has this property. Similarly, the arcs of $\gamma$ are labeled $g_0,g_1,\cdots ,g_{s-1}$, where s is the number of crossings of $\gamma$ with itself plus the number of crossings of $\alpha$ with $\gamma$ where $\gamma$ passes under $\alpha$. We refer to the crossing at the head of arc $k_i$ as the $i^{\mathit{th}}$ crossing of $\alpha$, and the crossing at the head of the arc $g_i$ as the $i^{\mathit{th}}$ crossing of $\gamma$; in each case, the overarc could be an arc of $\alpha$ or $\gamma$. After the arcs $k_i$ and $g_i$ have been labeled we introduce the third link component $\delta$ to the diagram, and label its arcs $h_0,h_1,\cdots ,h_{t-1}$. If several consecutive arcs of $\delta$ are separated by overarcs of $\delta$, we treat these arcs as a single long arc with one label $h_i$, so t above is the number of crossings of $\delta$ under $\alpha$ plus the number of crossings of $\delta$ under $\gamma$ (this convention allows us to slightly simplify the input to the computer program). We denote by $ϵ(i)$, ${ϵ}_{\gamma }(i)$, or ${ϵ}_{\delta }(i)$ the local writhe number at the head of $k_i$, $g_i$, or $h_i$ respectively.

Fig. 1.

Diagram of the link $\alpha \cup \gamma \cup \delta$ with labeled arcs

The cell structure on $S^3$, illustrated in Fig. 2, consists of:

• (i)One 0-cell, which is the cone point of the cone on the link $\alpha \cup \gamma \cup \delta$.
• (ii)One “horizontal”1-cell for each arc in the link diagram: these are the $k_i$, $g_i$, and $h_i$.
• (iii)One “vertical” 1-cell for each arc in the link diagram. The vertical 1-cell connecting the head of an arc of $k_i$ or $g_i$ to the 0-cell is denoted $a_i$ or $b_i$, respectively. We do not label the 2-cell below the arc $h_i$.
• (iv)One “vertical” 2-cell for each crossing in the link diagram. The vertical 2-cell below an arc $k_i$ or $g_i$ is denoted $A_i$ or $B_i$, respectively.
• (v)One 3-cell, $e^3$, which is the complement of the cone on the link.

Note that $\partial A_i=k_i+a_i-a_{i-1}$ and $\partial B_i=g_i+b_i-b_{i-1}$.

Denote by c(i) the color, 1, 2, or 3, assigned to the arc $k_i$. Let f(i) denote the subscript j of the arc $k_j$ or $g_j$ which passes over crossing i of $\alpha$, and let $f_{\gamma }(i)$ denote the subscript j of the arc ($k_j$ or $g_j$) passing over crossing i of $\gamma$; $f_{\delta }(i)$ is defined similarly. For example, in Fig. 2, $f(3)=7$, $f_{\gamma }(0)=5$, $f_{\gamma }(1)=6$, and $f_{\delta }(0)=4$. We will sometimes write f(i) rather than $f_{\gamma }(i)$ or $f_{\delta }(i)$ to simplify notation, when it is clear that the under-arc is an arc of $\gamma$ or $\delta$ rather than one of $\alpha$.

The lists of overstrand subscripts $(f(0),\cdots ,f(m-1))$ and $(f_{\gamma }(0),\cdots ,f_{\gamma }(s-1))$ for $\alpha$ and $\gamma$, the list of colors $(c(0),\cdots ,c(m-1))$ of the arcs of $\alpha$, and two lists containing the signs of crossings (local writhe numbers) for $\alpha$ and $\gamma$, serve as the necessary input to the algorithm. At this point, the reader may also wish to glance at Sect. 5.2 as well the Appendix of [4] for examples of this input. Examples are worked out in detail in Sect. 5 (see also Figs. 16 and 17). In the figures, the arcs $k_0$ of $\alpha$ and $g_0$ of $\gamma$ are marked with a zero (as is the zeroth arc of $\delta$). In order to avoid clutter in the figures, we have labeled only the arcs $k_0,\cdots ,k_{13}$ of $\alpha$. We write i instead of $k_i$, and refer to this as a numbering of the diagram. The arcs of $\gamma$ should be numbered in an analogous fashion. Note that we ignore the second pseudo-branch curve $\delta$ when numbering the arcs of $\alpha$ and $\gamma$ in the diagram.

Fig. 16.

The connected sum, $\alpha$, of two trefoils. A characteristic knot, $\beta$, for $\alpha$. A curve, ${\omega }_1$, on a Seifert surface V for $\alpha$, which is disjoint from $\beta$. The numbering on $\alpha$ corresponds to the case where $\beta$ plays the role of the first pseudo-branch curve $\gamma$

Fig. 17.

The connected sum, $\alpha$, of two trefoils. A characteristic knot, $\beta$, for $\alpha$. A push-off, ${\omega }_2$, of a curve on a Seifert surface V for $\alpha$, which intersects $\beta$ once transversely. The numbering on $\alpha$ corresponds to the case where $\beta$ plays the role of the first pseudo-branch curve $\gamma$

The Cell Structure on M

Now we describe how to lift the above cell structure to M and introduce notation for the lifts of the cells. We examine the lift of the cell structure on $S^3$ in a neighborhood of each crossing, and label the cells near the lift of each crossing in a systematic way. For example, Fig. 5 shows the cells near a self-crossing of $\alpha$ in $S^3$. Figure 7 shows one way these cells lift if the crossing is inhomogenous, that is, the colors on the three arcs are all different. In contrast, Fig. 9 shows one way these cells lift if the crossing is homogeneous, that is, the three colors on the arcs are the same. Later in this section we explain how these figures are constructed, what the possible configurations of cells above a crossing are, and how to determine which configuration arises. We must also analyze the lifts of cells near self-crossings of $\gamma$, and near crossings of $\alpha$ under $\gamma$. We adopt some of the notation of [22] for the lifts of cells coming from the knot $\alpha$. We introduce a new way of visualizing the cell structure which simplifies the task of computing linking numbers between pseudo-branch curves, and generalizes easily to the case where $\alpha$ is Fox p-colored for $p\ge 5$.

Fig. 5.

Cells at crossing i of $\alpha$

Fig. 9.

One possible configuration of the cells near the lift of a homogeneous positive crossing i, with all arcs colored 3. The two copies of $k_{2,f(i)}$ are identified

Let ${\alpha }_1$ and ${\alpha }_2$ denote the index-1 and index-2 branch curves in M of the three-fold irregular branched covering map $f:M\to S^3$; note ${\alpha }_1\cup {\alpha }_2=f^{-1}(\alpha )$. Each arc $k_i$ of $\alpha$ has two pre-images under the covering map. Let $k_{1,i}$ denote the index-1 lift of $k_i$ and let $k_{2,i}$ denote the index-2 lift of $k_i$. Let $A_{1,i}$, $A_{2,i}$, and $A_{3,i}$ denote the three lifts of $A_i$; shortly, we will explain which of these 2-cells is given which label.

First, we introduce notation for the lifts of $e^3$. This 3-cell has three lifts, $e_1^3$, $e_2^3$, and $e_3^3$. Recall that the color c(i) on the arc $k_i$ of $\alpha$ corresponds to a transposition in $S^3$, which we denote by ${\tau }_i$. We label the cells $e_j^3$ so that the lift of a meridian of $k_i$ beginning in the cell $e_j^3$ has its endpoint in $e_{{\tau }_i(j)}^3$. Figure 3 shows how these cells are configured along the lifts of an arc of $\alpha$, away from any crossings in the link diagram.

Fig. 3.

Configuration of the cells $e_j^3$ when the arc $k_i$ is colored 2

Now we describe Perko’s notation for the lifts of the $A_i$ and the $a_i$, which we also adopt. For each i, one lift of $A_i$ has boundary meeting the index-1 branch curve. Call this lift $A_{1,i}$. The other two lifts of $A_i$ share a common boundary segment along the index-2 curve. These lifts will be called $A_{2,i}$ and $A_{3,i}$. One makes the choice as follows. Let $\overrightarrow{A}$ be a framing of $\alpha$ tangent to the vertical 2-cells $A_i$. Now lift $\overrightarrow{A}$ to a framing ${\overrightarrow{A}}_2$ along the index-2 lift ${\alpha }_2$ of $\alpha$. Such a lift exists because the number of crossings in the diagram of $\alpha$ is even. There are two choices for such a lift. We make a choice arbitrarily along $k_{2,0}$ and this uniquely determines the lift along the entire curve. Call $A_{2,i}$ the lift of $A_i$ located in the positive direction of ${\overrightarrow{A}}_2$. Last, we denote by $a_{j,i}$ the lift of $a_i$ which is a subset of the boundary of $A_{j,i}$ for $j=1,2,3$. See Fig. 4.

Fig. 4.

A lift of a framing of $\alpha$ along the degree two curve. This lift determines the labeling of the lifts of the 2-cells $A_i$

The next step is to determine how the 2-cells in M are attached to the 1-skeleton; this is essential for finding the required 2-chains for the linking number computation. There are two cases to consider: self-crossings of $\alpha$ (either inhomogeneous or homogeneous) and crossings involving $\gamma$ (self-crossings of $\gamma$, and crossings of $\alpha$ under $\gamma$).

Case 1: Self-crossings of $\alpha$

The cells at a self-crossing of $\alpha$ are shown in Fig. 5. We analyze how the lifts of $A_i$, $A_{i+1}$, and $A_{f(i)}$ are assembled. Namely, we need to understand possible configurations of $A_{1,i}$, $A_{2,i}$, $A_{3,i}$, $A_{1,i+1}$, $A_{2,i+1}$, $A_{3,i+1}$, $A_{1,f(i)}$, $A_{2,f(i)}$, and $A_{3,f(i)}$.

Case 1a: Inhomogeneous self-crossings of $\alpha$. Figure 6 shows one way these cells might lift at an inhomogenous crossing, if $k_i$ is colored 2, $k_{i+1}$ is colored 1, and $k_{f(i)}$ is colored 3. Note that in Fig. 6, some cells appear twice in the picture—for example, $k_{2,i}$, $A_{2,i}$, and $A_{3,i}$. We can alternatively visualize these cells as shown in Fig. 7; we construct this picture by identifying all duplicate cells in Fig. 6. The positions of $A_{1,i}$ and $A_{1,f(i)}$, relative to the positions of the 3-cells $e_j^3$, are completely determined by this coloring information. The positions of $A_{2,i}$ and $A_{3,i}$, on the other hand, are determined by global information about the coloring of the knot, rather than just the coloring at that crossing. One possibility is shown in Fig. 6, but the position of the 2-cells $A_{2,i}$ and $A_{3,i}$ could be interchanged. This is also the case for $A_{2,f(i)}$ and $A_{3,f(i)}$.

Fig. 6.

One possible configuration of cells above an inhomogeneous crossing i of $\alpha$

Therefore, we need to keep track of the position of $A_{2,i}$ and $A_{3,i}$ relative to the various 3-cells $e_j^3$. To do this, we introduce a function w(i) as follows. Informally, $w(i)=j$, where j is the subscript of the 3-cell $e_j^3$ such that, if one stands in that 3-cell on the index-2 branch curve $k_{2,i}$ and facing in the direction of its orientation, then $A_{2,i}$ is on the right. In Figs. 6 and 7, $w(i)=3$ and $w(f(i))=2$. One can easily compute w(i) from c(i) and f(i) as follows:

$$\begin{array}{c}\hfill w(i+1)=\left\{\begin{array}{cc}w(i)\hfill & \text{if crossing}i\text{of}\alpha \text{terminates at an arc of}\gamma ,\hfill \\ {\tau }_{f(i)}(w(i))\hfill & \text{if crossing}i\text{of}\alpha \text{terminates at an arc of}\alpha .\hfill \end{array}\right)\end{array}$$

Recall that ${\tau }_{f(i)}$ denotes the transposition corresponding to the color c(f(i)) on the overarc at crossing i; ${\tau }_{f(i)}(w(i))$ denotes its action on $w(i)\in \{1,2,3\}$.

There are eight possible configurations of 2-cells above a given inhomogeneous crossing of $\alpha$ with prescribed colors, shown in Fig. 8. In the case of an inhomogeneous crossing, w(i) equals either c(f(i)) or $c(i+1)$, and w(f(i)) equals either c(i) or $c(i+1)$. We record this information with a pair of functions ${ϵ}_1(i)$ and ${ϵ}_2(i)$:

$$\begin{array}{cccc}\hfill {ϵ}_1(i)& =1\text{if}c(i)\ne w(f(i))\hfill & \hfill \text{and}{ϵ}_1(i)& =-1\text{if}c(i)=w(f(i)),\hfill \end{array}$$ 1

$$\begin{array}{cccc}\hfill {ϵ}_2(i)& =1\text{if}c(f(i))=w(i)\hfill & \hfill \text{and}{ϵ}_2(i)& =-1\text{if}c(f(i))\ne w(i).\hfill \end{array}$$ 2

In addition, the crossing may have positive or negative local writhe number $ϵ(i)$.

Fig. 8.

Configurations of cells above an inhomogeneous self-crossing of $\alpha$. Dotted 2-cells indicate the locations of the cells $A_{2,i}$, $A_{2,i+1}$, and $A_{2,f(i)}$

Case 1b: Homogeneous self-crossings of $\alpha$. In the case of a homogenous crossing of $\alpha$, the colors c(i), $c(i+1)$, and c(f(i)) are all equal, and the 3-cell $e_{c(i)}^3$ is adjacent to the arcs $k_{1,i}$, $k_{1,i+1}$, and $k_{1,f(i)}$. See, for example, Fig. 9. There are four possible configurations of 2-cells near the index-2 lift of $\alpha$, shown in Fig. 10; in particular, the value of w(i) either coincides with w(f(i)), or not. We record this information with a function ${ϵ}_3(i)$:

$$\begin{array}{c}\hfill {ϵ}_3(i)=1\text{if}w(i)\ne w(f(i))\text{and}{ϵ}_3(i)=-1\text{if}w(i)=w(f(i)).\end{array}$$ 3

Fig. 10.

Configurations of cells above a homogeneous self-crossing of $\alpha$. Dotted 2-cells indicate the locations of the cells $A_{2,i}$, $A_{2,i+1}$, and $A_{2,f(i)}$

Case 2: Crossings involving $\gamma$

We have now discussed the lifts of all cells in the cone on $\alpha$. At this stage, we introduce notation for the cells in the cone on $\gamma$, which have not played a role so far.

Choose a basepoint $x_0$ on the arc $g_0$ of $\gamma$. The curve $\gamma$ has three path-lifts under the covering map, ${\gamma }_1$, ${\gamma }_2$, and ${\gamma }_3$, beginning at each of the three preimages of $x_0$. Assume the ${\gamma }_i$ are labeled so that the lift of $g_0$ which lies in the 3-cell $e_i^3$ is contained in ${\gamma }_i$. The pre-image $f^{-1}(\gamma )$ is the union of the lifts ${\gamma }_1$, ${\gamma }_2$, and ${\gamma }_3$, and has one, two, or three connected components in M. Let $g_{j,i}$, $j=1,2,3$, denote the lift of $g_i$ that lies in the lift ${\gamma }_j$ of $\gamma$. Denote by $B_{j,i}$ the lift of $B_i$ whose boundary contains $g_{j,i}$.

First we consider self-crossings of $\gamma$. In this case, covering map is locally trivial in a neighborhood of the crossing. As before, different configurations of 2-cells arise above a self-crossing of $\gamma$; see Fig. 11 for one example. We introduce an auxiliary function $l_j^g(i)$, whose value is the subscript s of the 3-cell $e_s^3$ that contains the lift $g_{j,i}$ of the arc $g_i$. For example, in Fig. 11, $l_1^g(i)=2$, $l_2^g(i)=3$, and $l_3^g(i)=1$.

Fig. 11.

One possible configuration of cells lying near the lift of a crossing of $\gamma$ with itself

Next we consider crossings where $\alpha$ passes under the pseudo-branch curve $\gamma$. As in the case of crossings of $\alpha$ with itself, the configuration of cells above that crossing will depend on the value of w(i). One such configuration is pictured in Fig. 12. All six configurations are shown in Fig. 13. To capture the combinatorics at play, we associate a function to crossings of $\alpha$ under $\gamma$ as follows:

$$\begin{array}{c}\hfill {ϵ}_4^j(i)=\left\{\begin{array}{cc}1\hfill & \text{if}{l}_j^g(f(i))=w(i),\hfill \\ 0\hfill & \text{if}{l}_j^g(f(i))=c(i),\hfill \\ -1\hfill & \text{otherwise.}\hfill \end{array}\right)\end{array}$$ 4

For example, in Fig. 12, ${ϵ}_4^1(i)=1$, ${ϵ}_4^2(i)=0$, and ${ϵ}_4^3(i)=-1$.

Fig. 12.

One possible configuration of cells near the lift of a crossing where $\gamma$ passes over $\alpha$. Here, the arc $k_i$ is colored 3, which determines the subscripts on the three-cells in the picture

Fig. 13.

Configurations of cells above a crossing of $\alpha$ under $\gamma$. Dotted 2-cells indicate the locations of the cells $A_{2,i}$ and $A_{2,i+1}$

Constructing 2-Chains Bounding Pseudo-Branch Curves

Our task is to compute the linking numbers between any two lifts of pseudo-branch curves, whenever these linking numbers are well-defined. In order to compute the linking numbers of pseudo-branch curves, we must find 2-chains bounding them, or determine that no such 2-chains exist.

For now we assume that the lift of $\gamma$ has three connected components, ${\gamma }_1$, ${\gamma }_2$, and ${\gamma }_3$. We look for a 2-chain $C_j$ with $\partial C_j={\gamma }_j$ for fixed j. A priori we have

$$\begin{array}{c}\hfill C_j=\sum _{i=0}^{s-1}{z}_i^j{B}_{j,i}+\sum _{i=0}^{m-1}(x_i^j{A}_{2,i}+y_i^j{A}_{3,i}).\end{array}$$

Since ${\gamma }_j={\sum }_{i=0}^{s-1}{g}_{j,i}$, each 1-cell $g_{j,i}$ must appear exactly once in the boundary of $C_j$; no other 1-cells appear. Hence $z_i^j=1$ and $y_i^j=-x_i^j$. Now

$$\begin{array}{c}\hfill C_j=\sum _{i=0}^{s-1}{B}_{j,i}+\sum _{i=0}^{m-1}{x}_i^j(A_{2,i}-A_{3,i}).\end{array}$$ 5

It remains to find the coefficients $x_i^j$. To that end, we write down a system of linear equations in the $x_i^j$, one for each crossing. We obtain three systems of equations, one for each $C_j$ with $j\in \{1,2,3\}$, given in Proposition 1.1.

Proposition 3.1

Let s denote the number of crossings of $\gamma$ under $\alpha$ plus the number of self-crossings of $\gamma$, let m denote the number of crossings of $\alpha$ under $\gamma$ plus the number n of self-crossings of $\alpha$. Let f(i) denote the index of the overstrand $k_{f(i)}$ at crossing i, and let the signs $ϵ$, and ${ϵ}_k$ for $k=1,2,3,4$, be as in Table 1. If the following inhomogeneous system of linear equations

$$\begin{array}{c}\hfill \left\{\begin{array}{cc}{x}_i^j-x_{i+1}^j+{ϵ}_1(i){ϵ}_2(i)x_{f(i)}^j=0\hfill & \text{if crossing}i\text{of}\alpha \text{is inhomogeneous},\hfill \\ x_i^j-x_{i+1}^j+2{ϵ}_3(i)x_{f(i)}^j=0\hfill & \text{if crossing}i\text{of}\alpha \text{is homogeneous},\hfill \\ x_i^j-x_{i+1}^j=ϵ(i){ϵ}_4^j(i)\hfill & \text{if strand}i\text{of}\alpha \text{passes under}\gamma ,\hfill \end{array}\right)\end{array}$$

has a solution $(x_0^j,x_1^j,\cdots ,x_{m-1}^j)$ over $\mathbb{Q}$, then the lift ${\gamma }_j$ of $\gamma$ is rationally null-homologous and is bounded by the 2-chain

$$\begin{array}{c}\hfill C_j=\sum _{i=0}^{s-1}{B}_{j,i}+\sum _{i=0}^{m-1}{x}_i^j(A_{2,i}-A_{3,i}).\end{array}$$

Proof

Our goal is to find the coefficients $x_i^j$ in the 2-chain $C_j$ above. We take advantage of the fact that the lifts of the 1-cell $a_i$ appear only above crossing i of $\alpha$; this may be a crossing of $\alpha$ under $\alpha$, or a crossing of $\alpha$ under $\gamma$. We then compute the contribution of lifts of $a_i$ to $\partial C_j$ at three types of crossings: inhomogeneous crossings of $\alpha$, homogeneous crossings of $\alpha$, and crossings of $\alpha$ under $\gamma$. Our system of linear equations is obtained by setting each of these contributions to zero.

Consider the eight possible configurations of 2-cells above an inhomogeneous crossing of $\alpha$, shown in Fig. 8. The “vertical” 1-cells $a_{2,i}$ and $a_{3,i}$ appear in $\partial C_j$ in pairs with opposite sign. We compute the number of times the 1-chain $a_{2,i}-a_{3,i}$ appears in

$$\begin{array}{c}\hfill \partial \left(\sum _{i=0}^{s-1},B_{j,i},+,\sum _{i=0}^{m-1},x_i^j,(A_{2,i}-A_{3,i})\right)\end{array}$$

for each configuration, and set this equal to zero. We get the following eight equations, corresponding to each of the eight configurations: Following [22], we may rewrite the eight equations above in terms of ${ϵ}_1$ and ${ϵ}_2$ to consolidate them into just one equation:

$$\begin{array}{c}\hfill x_i^j-x_{i+1}^j+{ϵ}_1(i){ϵ}_2(i)x_{f(i)}^j=0.\end{array}$$ 6

Similarly, for homogeneous self-crossings of $\alpha$ we have the following equations, corresponding to the four possible configurations in Fig. 10: We can again consolidate them into one equation, this time using ${ϵ}_3$:

$$\begin{array}{c}\hfill x_i^j-x_{i+1}^j+2{ϵ}_3(i)x_{f(i)}^j=0.\end{array}$$ 7

Now we consider crossings of $\alpha$ under $\gamma$, as in Fig. 12. There are six possible configurations for the 2-cells above crossings of $\alpha$ under $\gamma$, shown in Fig. 13. We again count the number of times the 1-chain $a_{2,i}-a_{3,i}$ appears in each and set this equal to zero. The corresponding equations are shown below: Rewriting in terms of $ϵ$ and ${ϵ}_4^j$ gives

$$\begin{array}{c}\hfill x_i^j-x_{i+1}^j=ϵ(i){ϵ}_4^j(i).\end{array}$$ 8

Unlike the previous two, this equation does depend on j; the right hand side will be 1 for one lift, $-1$ for another, and 0 for the third one. The boundary of $C_j$ is then, by construction, ${\sum }_{i=0}^{s-1}{g}_{j,i}={\gamma }_j$. $\square$

Computing Linking Numbers and Proof of Theorem 1.2

To complete the computation, we introduce the second pseudo-branch curve $\delta$ into the diagram $\alpha \cup \gamma$ without changing the subscripts on the arcs $k_i$ of $\alpha$ or the arcs $g_i$ of $\gamma$. We label the arcs of $\delta$ by $h_0,\cdots ,h_{t-1}$, where t is the number of crossings of $\delta$ under $\alpha$ plus the number of crossings of $\delta$ under $\gamma$. (Self-crossings of $\delta$ do not contribute anything to the linking number. When numbering arcs of $\delta$ for the computer program, we will assign consecutive arcs of $\delta$ the same number if they are separated by an overcrossing by another arc of $\delta$, in order to slightly simplify the input.)

We again use the notation $f_{\delta }(i)$, or just f(i), to denote the subscript of the overstrand at the head of the arc $h_i$. As was the case with $\gamma$, the preimage of the curve $\delta$ may have one, two, or three connected components. We begin with the case where the preimages of both $\gamma$ and $\delta$ are three closed loops. Let ${\delta }_1$, ${\delta }_2$, and ${\delta }_3$ denote the three lifts of $\delta$; as before, we choose the subscripts on the ${\delta }_k$ so that the lift of $h_0$ which is contained in the 3-cell $e_k^3$ is a subset of ${\delta }_k$. Let $h_{k,i}$ denote the lift of $h_i$ which is a subset of ${\delta }_k$. Let $l_k^h(i)$ denote the subscript s of the 3-cell $e_s^3$ which contains the arc $h_{k,i}$. We now compute the linking number $I_{j,k}$ of ${\gamma }_j$ with ${\delta }_k$, which amounts to proving our main theorem.

Theorem 4.1

Let $f:M\to S^3$ be a three-fold irregular dihedral cover branched along a knot $\alpha$, and let $\delta ,\gamma \subset S^3-\alpha$ be embedded, disjoint, oriented curves. If the lifts ${\gamma }_j$ and ${\delta }_k$ are rationally null-homologous closed loops in M for $j,k\in \{1,2,3\}$, then the linking number $I_{j,k}$ of ${\gamma }_j$ with ${\delta }_k$ is the sum

$$\begin{array}{c}\hfill I_{j,k}=\sum _{i=0}^{t-1}{c}_i,\end{array}$$

where $c_i$ is given by

$$\begin{array}{c}\hfill c_i=\left\{\begin{array}{cc}{ϵ}_5^k(i)x_{f(i)}^j\hfill & \text{if}{h}_i\text{terminates at an arc}{k}_{f(i)}\text{of}\alpha ,\hfill \\ {ϵ}_{\delta }(i){ϵ}_6^{j,k}(i)\hfill & \text{if}{h}_i\text{terminates at an arc of}\gamma ,\hfill \\ 0\hfill & \text{if}{h}_i\text{terminates at an arc of}\delta .\hfill \end{array}\right)\end{array}$$

Proof of Theorem 1.2

Assume that we have found a solution $(x_0^j,\cdots ,x_{m-1}^j)\in {\mathbb{Q}}^m$ to the set of equations in Proposition 1.1. Then the 2-chain bounding ${\gamma }_j$ is

$$\begin{array}{c}\hfill \sum _{i=0}^{s-1}{B}_{j,i}+\sum _{i=0}^{m-1}{x}_i^j(A_{2,i}-A_{3,i}).\end{array}$$

Crossings of $\delta$ under both $\alpha$ and $\gamma$ may contribute to the linking number. Self-crossings of $\delta$ do not contribute to the linking number, which is why our numbering system ignores these crossings. One possible configuration of cells above a crossing of $\delta$ under $\alpha$ is shown in Fig. 14. A schematic showing all possible configurations is in Fig. 15. The lift $h_{k,i}$ will intersect one of the cells $A_{1,f(i)}$, $A_{2,f(i)}$, or $A_{3,f(i)}$. If it intersects $A_{1,f(i)}$, this crossing does not contribute to $I_{j,k}$ because $A_{1,f(i)}$ is never contained in the 2-chain bounding ${\gamma }_j$. If it intersects $A_{2,f(i)}$, the crossing contributes ${ϵ}_{\delta }(i)x_{f(i)}^j$ to $I_{j,k}$. If it intersects $A_{3,f(i)}$, the crossing contributes $-{ϵ}_{\delta }(i)x_{f(i)}^j$ to $I_{j,k}$. We now work out this contribution for each of the six configurations in Fig. 15.

1. $+x_{f(i)}^j$,    (b)   $-x_{f(i)}^j$,    (c)   $+0$,    (d)   $-x_{f(i)}^j$,    (e)   $+x_{f(i)}^j$,    (f)   $+0$.

We define ${ϵ}_5^k$ as follows:

$$\begin{array}{c}\hfill {ϵ}_5^k(i)=\left\{\begin{array}{cc}1\hfill & \text{if}{l}_k^h(i)=w(f(i)),\hfill \\ 0\hfill & \text{if}{l}_k^h(i)=c(f(i)),\text{and}\hfill \\ -1\hfill & \text{otherwise.}\hfill \end{array}\right)\end{array}$$ 9

The contribution to $I_{j,k}$ of a crossing of $\delta$ under $\alpha$ is then ${ϵ}_5^k(i)x_{f(i)}^j$.

Fig. 14.

One possible configuration of cells near the lift of a crossing where $\delta$ passes under $\alpha$

Fig. 15.

Configurations of cells above a crossing of $\delta$ under $\alpha$. Dotted 2-cells indicate the locations of the cells $A_{2,i}$ and $A_{2,i+1}$

Now consider crossings of $\delta$ under $\gamma$. The picture in the cover is similar to that of Fig. 11, except that the under-crossing arcs are $h_{·,i}$’s rather than $g_{·,i}$’s. The cell $B_{j,f(i)}$ appears in the 2-chain bounding ${\gamma }_j$ exactly once, so the contribution of such a crossing to $I_{j,k}$ is ${ϵ}_{\delta }(i)$ if the lifts of $h_{k,i}$ and $g_{j,f(i)}$ are in the same 3-cell, and 0 otherwise. Define ${ϵ}_6$ as follows:

$$\begin{array}{c}\hfill {ϵ}_6^{j,k}(i)=\left\{\begin{array}{cc}1\hfill & \text{if}{l}_k^h(i)=l_j^g(f(i)),\text{and}\hfill \\ 0\hfill & \text{otherwise.}\hfill \end{array}\right)\end{array}$$ 10

By construction, crossings of $\delta$ under $\gamma$ contribute ${ϵ}_{\delta }(i){ϵ}_6^{j,k}(i)$ to $I_{j,k}$. The theorem follows. $\square$

A Note on Pseudo-Branch Curves Which Lift to Fewer Than Three Loops

The pre-image of a pseudo-branch curve $\gamma$ under the covering map may well have fewer than three connected components. Precisely, the lifts of $\gamma$ could include two closed loops ${\gamma }_1·{\gamma }_2$ and ${\gamma }_3$, or one closed loop ${\gamma }_1·{\gamma }_2·{\gamma }_3$, where each ${\gamma }_j$ covers $\gamma$ and $·$ denotes concatenation of paths.

If some concatenation $\sigma$ of the ${\gamma }_i$’s forms a closed, rationally null-homologous loop, we can still find a 2-chain $C_{\sigma }$ with boundary $\sigma$ using the methods given in the previous Sect. 3. We do this by writing down the three systems of equations for $j=1,2,3$ listed in Proposition 1.1. The 2-chain $C_{\sigma }$ bounding $\sigma$ is then

$$\begin{array}{c}\hfill C_{\sigma }=\sum _{j\in S}\left(\sum _{i=0}^{s-1},B_{j,i},+,\sum _{i=0}^{m-1},x_i^j,(A_{2,i}-A_{3,i})\right).\end{array}$$

Now let us consider the linking number between two such pseudo-branch curves. Suppose the closed loop $\sigma$ is a concatenation of paths ${\gamma }_i$, where $i\in S\subset \{1,2,3\}$, and the closed loop $\tau$ is a concatenation of paths ${\delta }_i$, where $i\in T\subset \{1,2,3\}$ and each ${\delta }_i$ is a lift of a second pseudo-branch curve $\delta \subset S^3-\alpha$. It follows from Sect. 4.1 that, in the notation of the same section, if $\sigma$ and $\tau$ are rationally null-homologous, their linking number is equal to ${\sum }_{j\in S,k\in T}{I}_{j,k}.$

Linking Numbers Between Branch Curves

Proposition 1.1 and Theorem 1.2 also allow us to compute the linking number of the branch curves ${\alpha }_1$ and ${\alpha }_2$, as follows. Let the pseudo-branch curve $\gamma$ be a push-off of $\alpha$ along the vector field $\overrightarrow{A}$ from Sect. 2.3. Since the diagram of $\alpha$ has an even number of crossings, $\gamma$ has three lifts. Two are isotopic to the index-2 lift of $\alpha$ (these are push-offs of ${\alpha }_2$ along $\pm {\overrightarrow{A}}_2$), and one is isotopic to the index-1 lift of $\alpha$. Now take a second push-off $\delta$ of $\alpha$ along $\overrightarrow{A}$, disjoint from $\gamma$. Theorem 1.2 applied to a diagram of the link $\alpha \cup \gamma \cup \delta$ gives the linking number of ${\alpha }_1$ and ${\alpha }_2$.

From this point of view, our results generalize the result of Perko [22], which gives an algorithm for computing the linking number of ${\alpha }_1$ and ${\alpha }_2$ using a cell structure determined by the cone on $\alpha$. Recall the cell structure we introduce in Sect. 2.3 is a subdivision of Perko’s cell structure.

Proposition 4.2

(Perko [22])   If the following inhomogeneous system of linear equations,

$$\begin{array}{c}\hfill \left\{\begin{array}{cc}{x}_i^1-x_{i+1}^1+{ϵ}_1(i){ϵ}_2(i)x_{f(i)}^1=ϵ(i){ϵ}_2(i)\hfill & \text{if crossing}i\text{is an inhomogeneous}\hfill \\ \hfill & \text{crossing of}\alpha ,\hfill \\ x_i^1-x_{i+1}^1+2{ϵ}_3(i)x_{f(i)}^1=0\hfill & \text{if crossing}i\text{is a homogeneous}\hfill \\ \hfill & \text{crossing of}\alpha ,\hfill \end{array}\right)\end{array}$$

has a solution $(x_0^1,x_1^1,\cdots ,x_{m-1}^1)$ over $\mathbb{Q}$, then the index-1 branch curve ${\alpha }_1$ is rationally null-homologous and is bounded by the 2-chain

$$\begin{array}{c}\hfill \sum _{i=0}^{m-1}(A_{1,i}+x_i^1(A_{2,i}-A_{3,i})).\end{array}$$

Similarly, if the system

$$\begin{array}{c}\hfill \left\{\begin{array}{cc}{\displaystyle x_i^2-x_{i+1}^2+{ϵ}_1(i){ϵ}_2(i)x_{f(i)}^2=\frac{{ϵ}_2(i)}{2}({ϵ}_1(i)-ϵ(i))}\hfill & \text{if crossing}i\text{of}\alpha \text{is}\hfill \\ \hfill & \text{inhomogeneous},\hfill \\ x_i^2-x_{i+1}^2+2{ϵ}_3(i)x_{f(i)}^2={ϵ}_3(i)\hfill & \text{if crossing}i\text{of}\alpha \text{is}\hfill \\ \hfill & \text{homogeneous},\hfill \end{array}\right)\end{array}$$

has a solution $(x_0^2,x_1^2,\cdots ,x_{m-1}^2)$ over $\mathbb{Q}$, then the index-2 branch curve ${\alpha }_2$ is rationally null-homologous and is bounded by the 2-chain

$$\begin{array}{c}\hfill \sum _{i=0}^{m-1}(x_i^2{A}_{2,i}+(1-x_i^2)A_{3,i}).\end{array}$$

Linking Numbers Between Branch and Pseudo-Branch Curves

By again letting $\gamma$ be a push-off of $\alpha$, we can use Proposition 1.1 and Theorem 1.2 to compute the linking number between the lifts of another pseudo-branch curve $\delta$ with the two branch curves, where the branch curves are isotopic to lifts of $\gamma$. However, this requires using a numbered diagram of the link $\alpha \cup \gamma \cup \delta$. Alternatively, one can compute the linking numbers of the lifts ${\delta }_1$, ${\delta }_2$, and ${\delta }_3$ of a pseudo-branch curve $\delta$ with the branch curves ${\alpha }_1$ and ${\alpha }_2$ using only the diagram $\alpha \cup \delta$. We use Proposition 4.2 above, which gives 2-chains bounding ${\alpha }_1$ and ${\alpha }_2$ in terms of the cell structure derived from the cone on $\alpha$.

Arcs of the diagram of $\alpha$ are labeled $k_0,\cdots ,k_{m-1}$, where m is now simply the number of self-crossings of $\alpha$; we continue to assume m is even. Adjacent arcs separated by the overarc $k_{f(i)}$ are labeled $k_i$ and $k_{i+1}$. As before, we introduce the pseudo-branch curve $\delta$ to the diagram without changing the labeling on the arcs of $\alpha$. The arcs of $\delta$ are labeled $h_0,h_1,\cdots ,h_{t-1}$, where t denotes the number of crossings of $\delta$ under $\alpha$. Adjacent arcs of $\delta$ separated by an overstrand of $\delta$ are given the same label $h_i$ and viewed as one arc, and adjacent arcs of $\delta$ separated by the overstrand $k_{f_{\delta }(i)}$ of $\alpha$ are labeled $h_i$ and $h_{i+1}$. Now, from this numbered diagram, we compute the linking numbers between branch and pseudo-branch curves by the formula given in Theorem 4.3 below.

Theorem 4.3

Suppose that the pseudo-branch curve $\delta$ lifts to three null-homologous closed loops ${\delta }_k$ for $k\in \{1,2,3\}$. Let $\{x_i^1\}$ and $\{x_i^2\}$ be the solutions to the two systems of equations in Proposition 4.2. The linking number $I_k^1$ of ${\delta }_k$ with the index-1 branch curve ${\alpha }_1$ is

$$\begin{array}{c}\hfill \sum _{i=0}^t{c}_i,\end{array}$$ 11

where

$$\begin{array}{c}\hfill c_i={ϵ}_5^k(i)x_{f(i)}^1+{ϵ}_{\delta }(i)(1-|{ϵ}_5^k(i)|).\end{array}$$ 12

The linking number $I_k^2$ of ${\delta }_k$ with the index-2 branch curve ${\alpha }_2$ is (11), where

$$\begin{array}{c}\hfill c_i={ϵ}_5^k(i)x_{f(i)}^2+\frac{{ϵ}_5^k(i)}{2}({ϵ}_{\delta }(i){ϵ}_5^k(i)-1).\end{array}$$ 13

Proof

The index-1 curve ${\alpha }_1$ is the boundary of the 2-chain

$$\begin{array}{c}\hfill \sum _{i=0}^{m-1}(A_{1,i}+x_i^1(A_{2,i}-A_{3,i})).\end{array}$$

We compute the contribution to the linking number of ${\delta }_k$ with ${\alpha }_1$ for each crossing of $\delta$ under $\alpha$. Recall that the possible configurations of cells above a crossing of $\delta$ under $\alpha$ are shown in Fig. 15. The contribution for each configuration is We rewrite the contributions above in terms of ${ϵ}_{\delta }$ and ${ϵ}_5^k$ to get (12). The index-2 curve ${\alpha }_2$ is the boundary of the 2-chain

$$\begin{array}{c}\hfill \sum _{i=0}^{m-1}(x_i^2{A}_{2,i}+(1-x_i^2)A_{3,i}).\end{array}$$

The contribution for each configuration is We rewrite the contributions above in terms of ${ϵ}_{\delta }$ and ${ϵ}_5^k$ to get (13). $\square$

Examples

We use our algorithm to compute the linking numbers of pseudo-branch curves. The branch curve $\alpha$ is a knot of two 3-colored trefoil knots. Since the trefoil is a 2-bridge knot, its irregular three-fold dihedral cover is again $S^3$. From there, one can see that the irregular three-fold dihedral cover of $S^3$ branched along the knot $\alpha$ is $S^1\times S^2$.

Now we choose pseudo-branch curves on which we perform our computations. We focus on curves which appear in our primary applications, see Sect. 1.2. We briefly explain the context here, though it is not necessary for understanding the linking number computation itself.

Characteristic Knots

Cappell and Shaneson proved in [9] that the regular and irregular p-fold dihedral covers of $(S^3,\alpha )$ can be constructed from the p-fold cyclic cover of $S^3$ branched along an associated knot $\beta \subset S^3-\alpha$, which they called a mod p characteristic knot for $\alpha$. They also showed that, up to the appropriate equivalence relations, mod p characteristic knots for $\alpha$, are in one-to-one correspondence with p-fold irregular dihedral covers of $\alpha$. For a precise definition, let V be a Seifert surface for $\alpha$ and $L_V$ the corresponding linking form. A knot $\beta \subset V^{\circ }$ is a mod p characteristic knot for $\alpha$ if $[\beta ]$ is primitive in $H_1(V;\mathbb{Z})$ and $(L_V+L_V^T)\beta \equiv 0$ mod p.

Characteristic knots play an essential role in many of the potential applications of this work, including the computation of Casson–Gordon invariants [19], the Rokhlin $\mu$ invariant [9], and the computation of the invariant ${\mathrm{\Xi }}_p$ discussed earlier [6, 18]. Specifically, these invariants are computed using linking numbers of lifts of curves in $V-\beta$, where V is a Seifert surface for $\alpha$, and $\beta$ is a characteristic knot. For the purposes of this paper, the essential property of a mod 3 characteristic knot $\beta \subset V$ is that every simple closed curve in $V-\beta$ lifts to three closed curves in the dihedral cover of $\alpha$ corresponding to $\beta$. As a result, we have focused on computations with curves in $S^3-\alpha$ whose lifts to a three-fold dihedral cover of $(S^3,\alpha )$ have three connected components.

In the examples below, we let V be the connected sum of two copies of the familiar Seifert surface for the minimal-crossing diagram of the trefoil in 2-bridge position, namely a surface consisting of two disks joined by three twisted bands. The characteristic knot $\beta$ is then the connected sum of two copies of a characteristic knot for the trefoil; it is shown in blue in Figs. 16 and 17.

Examples

We apply our algorithm to the following pseudo-branch curves: the characteristic knot $\beta$, defined above; an essential curve ${\omega }_1$ (see Fig. 16) in $V-\beta$, which has one null-homologous lift and two homologically nontrivial lifts; and a pseudo-branch curve ${\omega }_2$ (see Fig. 17) which is a push-off of a curve in V intersecting $\beta$ once transversely, and lifts to a single null-homologous closed curve.

Our computer algorithm detects the number of lifts and whether each is rationally null-homologous, and allows us to compute the linking numbers of all pairs of rationally null-homologous lifts. The results of this computation are discussed below. In each part, we choose one of the curves above to play the role of the first pseudo-branch curve, referred to as $\gamma$ throughout the previous sections (this is the curve for which we find bounding 2-chains), and then compute linking numbers by letting the other curves play the role of the second pseudo-branch curve $\delta$.

Part I. To start, the role of the first pseudo-branch curve, denoted by $\gamma$ throughout the previous sections, is played by the characteristic knot $\beta$. We include all the input needed for the computer program for our first computation, which finds intersection numbers of lifts of ${\omega }_1$ with 2-chains whose boundaries are lifts of $\beta$. The input for other computations is similar.

First, we find the list of subscripts corresponding to the overarcs at the end of each arc of $\alpha$:

$$\begin{array}{c}\hfill (f(0),f(1),\cdots ,f(13))=(7,0,12,7,6,10,3,5,6,3,2,0,0,3).\end{array}$$

Next, we record the color of each arc of $\alpha$,

$$\begin{array}{c}\hfill (c(0),c(1),\cdots ,c(13))=(1,1,1,2,1,1,3,3,2,2,2,2,3,3),\end{array}$$

and the signs of crossings where arcs of $\alpha$ terminate:

$$\begin{array}{c}\hfill (ϵ(0),ϵ(1),\cdots ,ϵ(13))=(-1,-1,1,1,-1,1,-1,1,1,1,1,1,1,1).\end{array}$$

We also record whether each arc $k_i$ of $\alpha$ terminates at some other arc of the knot $\alpha$ (in which case we write $t(i)=k$), or at an arc of the first pseudo-branch curve (in which case we write $t(i)=p$); we refer to this as a list of crossing types:

$$\begin{array}{c}\hfill (t(0),t(1),\cdots ,t(13))=(p,p,k,k,p,k,p,k,p,p,p,k,p,k).\end{array}$$

Now we record information about the first pseudo-branch curve $\gamma =\beta$. The subscripts on the overarcs at the end of each arc of $\beta$ are:

$$\begin{array}{c}\hfill (f_{\gamma }(0),f_{\gamma }(1),\cdots ,f_{\gamma }(9))=(12,0,10,6,5,7,5,0,12,3).\end{array}$$

The signs for $\beta$ are

$$\begin{array}{c}\hfill ({ϵ}_{\gamma }(0),{ϵ}_{\gamma }(1),\cdots ,{ϵ}_{\gamma }(9))=(1,-1,1,-1,-1,1,-1,-1,1,-1).\end{array}$$

The list of crossing types for $\beta$ are

$$\begin{array}{c}\hfill (t_{\gamma }(0),t_{\gamma }(1),\cdots ,t_{\gamma }(9))=(k,k,k,p,k,k,k,p,k,k).\end{array}$$

The algorithm finds a 2-chain bounding each lift of $\beta$. The 2-chain bounding the $j^{\mathit{th}}$ lift of $\beta$ can be described by a list of coefficients $x_i^j$ of 2-cells $A_{2,i}$, as defined in Sect. 3. The coefficients for the three lifts of $\beta$ are given in Table 2.

Table 2.

The coefficients $x_i^j$ of $A_{2,i}$ in the 2-chain bounding the $j^{\mathit{th}}$ lift of $\beta$

i	0	1	2	3	4	5	6	7	8	9	10	11	12	13
$x_i^1$	$-1$	$-2$	$-2$	$-1$	$-1$	0	1	0	0	0	1	0	$-1$	0
$x_i^2$	1	1	2	1	1	1	0	0	$-1$	0	$-1$	0	1	0
$x_i^3$	0	1	0	0	0	$-1$	$-1$	0	1	0	0	0	0	0

To compute the intersection numbers, we need to supply the overarc numbers $f_{\delta }(i)$, signs of crossings ${ϵ}_{\delta }(i)$, and crossing types $t_{\delta }(i)$ for the second pseudo-branch curve $\delta$.

First, we let $\delta ={\omega }_1$. Its overarc numbers are (0, 12, 0, 5, 6, 7). Its signs are $(-1,1,-1,1,1,-1)$. Its crossing types are (p, k, k, k, p, k). The matrix of intersection numbers $I_{j,k}$ of a 2-chain bounding the $j^{\mathit{th}}$ lift of $\beta$ with the $k^{\mathit{th}}$ lift of ${\omega }_1$ is

$$\begin{array}{c}\hfill (I_{j,k})=\left(\begin{array}{ccc}\mathbf{0}& -1& 1\\ -\mathbf{1}& 1& 0\\ \mathbf{1}& 0& -1\end{array}\right).\end{array}$$

However, we will see in Part II of this example that only the first lift of ${\omega }_1$ is null-homologous. Thus, the first column of the matrix (in bold) gives the linking numbers of the null-homologous lift of ${\omega }_1$ with each lift of $\beta$. The intersection numbers in the second and third columns turn out not to be well-defined linking numbers.

Next we let ${\omega }_2$ play the role of the second pseudo-branch curve $\delta$. Accordingly, we input the overarc numbers (10, 3, 6, 5), signs of crossings $(1,-1,-1,-1)$, and crossing types (k, p, p, k). The matrix of intersection numbers $I_{j,k}$ of a 2-chain bounding the $j^{\mathit{th}}$ lift of $\beta$ with the $k^{\mathit{th}}$ (path) lift of ${\omega }_2$ is

$$\begin{array}{c}\hfill (I_{j,k})=\left(\begin{array}{ccc}-1& -1& 0\\ -1& 1& -2\\ 0& -2& 0\end{array}\right).\end{array}$$

In this case the three path-lifts of ${\omega }_2$ fit together to form one closed curve in $S^1\times S^2$. The linking numbers of the single (closed) lift of ${\omega }_2$ with each of the three lifts of $\beta$ are obtained by summing the rows of the matrix. Hence, all the linking numbers are $-2$.

Part II. To complete the example, we let the role of the first pseudo-branch curve be played by ${\omega }_1$. The list of coefficients $x_i^j$ of the 2-cells $A_{2,i}$ in the 2-chain bounding lift j of ${\omega }_1$ is given in Table 3. When $j=2,3$ these coefficients are not defined because the corresponding lifts of ${\omega }_1$ are not null-homologous, and the algorithm detects this, failing to produce a solution for the $x_i^j$. The matrix of intersection numbers of the 2-chain bounding the $j^{\mathit{th}}$ lift of ${\omega }_1$ with the $k^{\mathit{th}}$ lift of $\beta$ is

$$\begin{array}{c}\hfill (I_{j,k})=\left(\begin{array}{ccc}0& -1& 1\\ .& .& .\\ .& .& .\end{array}\right).\end{array}$$

The empty positions in the matrix above indicate that the corresponding rational 2-chain does not exist; i.e., the given lift is not rationally null-homologous. The first row of the matrix gives the linking numbers of the null-homologous lift of ${\omega }_1$ with each lift of $\beta$, and we see these numbers agree with the first column of the matrix of intersection numbers of 2-chains bounding lifts of $\beta$ with lifts of ${\omega }_1$, confirming our first computation.

Table 3.

The coefficients $x_i^j$ of $A_{2,i}$ in the 2-chain bounding the $j^{\mathit{th}}$ lift of the curve ${\omega }_1$ in $V-\beta$

i	0	1	2	3	4	5	6	7	8	9
$x_i^1$	0	0	0	0	$-1$	0	1	1	0	0
$x_i^2$	.	.	.	.	.	.	.	.	.	.
$x_i^3$	.	.	.	.	.	.	.	.	.	.

Note that the $x_i^2$ and $x_i^3$ are undefined because the corresponding lifts are not rationally null-homologous

The algorithm also allows us to compute the linking numbers of each of the null-homologous pseudo-branch curves above (the three lifts of $\beta$; the only null-homologous lift of ${\omega }_1$; the lift of ${\omega }_2$) with each of the branch curves as well. These linking numbers are all zero, as one can also deduce from a geometric argument, using the construction in Cappell–Shaneson [9] together with the fact that the curves $\beta$, ${\omega }_1$, and ${\omega }_2$ lie on a Seifert surface for $\alpha$.

Funding

Open Access funding enabled and organized by Projekt DEAL.