Hostname: page-component-78c5997874-ndw9j Total loading time: 0 Render date: 2024-11-05T16:48:19.384Z Has data issue: false hasContentIssue false

A characterization of alternating links in thickened surfaces

Published online by Cambridge University Press:  13 December 2021

Hans U. Boden
Affiliation:
Mathematics & Statistics, McMaster University, Hamilton, Ontario, ([email protected]; [email protected])
Homayun Karimi
Affiliation:
Mathematics & Statistics, McMaster University, Hamilton, Ontario, ([email protected]; [email protected])
Rights & Permissions [Opens in a new window]

Abstract

We use an extension of Gordon–Litherland pairing to thickened surfaces to give a topological characterization of alternating links in thickened surfaces. If $\Sigma$ is a closed oriented surface and $F$ is a compact unoriented surface in $\Sigma \times I$, then the Gordon–Litherland pairing defines a symmetric bilinear pairing on the first homology of $F$. A compact surface in $\Sigma \times I$ is called definite if its Gordon–Litherland pairing is a definite form. We prove that a link $L$ in a thickened surface is non-split, alternating, and of minimal genus if and only if it bounds two definite surfaces of opposite sign.

Type
Research Article
Copyright
Copyright © The Author(s), 2021. Published by Cambridge University Press on behalf of The Royal Society of Edinburgh

1. Introduction

Alternating links in $S^{3}$ can be characterized as precisely those links which simultaneously bound both positive and negative definite spanning surfaces. This beautiful result was established recently by Greene in [Reference Greene8], and Howie obtained a similar characterization of alternating links in $S^{3}$ in terms of spanning surfaces in [Reference Howie10].

These results have been extended to almost alternating knots by Ito in [Reference Ito11], and to toroidally alternating knots by Kim in [Reference Kim15].

In [Reference Greene8], Greene showed that, in general, $Y=S^{3}$ is the only ${{\mathbb {Z}}}/2$ homology 3-sphere containing a link that bounds both positive and negative definite surfaces (and that any such link in $S^{3}$ is alternating).

In this paper, we study links in thickened surfaces, and we present a generalization of the results of Greene and Howie, giving a topological characterization of alternating links in thickened surfaces.

Let $\Sigma$ be a compact, connected, oriented surface and $I = [0,\,1]$, the unit interval. A link in $\Sigma \times I$ is an embedding $L \colon \bigsqcup _{i=1}^{m} S^{1} \hookrightarrow \Sigma \times I$. In the following, we identify this embedding with its image and consider links $L \subset \Sigma \times I$ up to orientation-preserving homeomorphisms of the pair $(\Sigma \times I,\, \Sigma \times \{0\})$.

A link $L$ in a thickened surface $\Sigma \times I$ can be represented by its link diagram, which is the tetravalent graph $D$ on $\Sigma$ obtained under projection $p\colon \Sigma \times I \to \Sigma$. The arcs of $D$ are drawn to indicate over and under crossings near vertices in the usual way. The link diagram $D$ on $\Sigma$ is said to be alternating if its crossings alternate from over to under around each component of the link. A link $L$ in $\Sigma \times I$ is alternating if it admits an alternating link diagram on $\Sigma$ (see figure 1).

FIGURE 1. An alternating link in a thickened torus and an alternating knot in a thickened surface with genus two.

Given a compact unoriented surface $F$ in $S^{3}$, Gordon and Litherland defined a symmetric bilinear pairing on $H_1(F)$. In the case that $F$ is a spanning surface for a link $L \subset S^{3}$, the signature of $L$ can be computed in terms of the signature of the pairing together with a correction term. The Gordon–Litherland pairing is extended to ${{\mathbb {Z}}}/2$ homology 3-spheres in [Reference Greene8] and to thickened surfaces $\Sigma \times I$ in [Reference Boden, Chrisman and Karimi1]. Our characterization of alternating links in $\Sigma \times I$ is phrased in terms of the Gordon–Litherland pairing on spanning surfaces for the link.

In this paper, we are mainly interested in links in $\Sigma \times I$ which are ${{\mathbb {Z}}}/2$-null-homologous, or equivalently links in $\Sigma \times I$ that admit spanning surfaces. A link $L$ in $\Sigma \times I$ is said to be split if it can be represented by a disconnected diagram $D$ on $\Sigma$. A link diagram $D$ on $\Sigma$ is said to be cellularly embedded if $\Sigma \smallsetminus D$ is a union of disks.

Let $L$ be a link in $\Sigma \times I$ with alternating diagram $D$. We further assume that $D$ is cellularly embedded. This implies that $D$ is connected, and therefore that $L$ is non-split (see corollary 3.6). It follows that the complementary regions of $\Sigma \smallsetminus D$ admit a checkerboard colouring, and that the black and white regions form spanning surfaces for $L$ which we denote $B$ and $W$. A straightforward argument will show that $B$ is negative definite and $W$ is positive definite with respect to their associated Gordon–Litherland pairings (see theorem 3.5).

Our main result is a converse to this statement given by the following theorem. The definition of minimal genus is given below.

Theorem 1.1 Let $L$ be a link in $\Sigma \times I,$ and assume that $L$ bounds a positive definite spanning surface and a negative definite spanning surface. Then $L \subset \Sigma \times I$ is a non-split, alternating link of minimal genus.

Theorem 1.1 applies to give a characterization of alternating virtual links.

Virtual links can be defined as virtual link diagrams up to the generalized Reidemeister moves [Reference Kauffman14]. One can also define them as stable equivalence classes of links in thickened surfaces. Here, two links $L_0 \subset \Sigma _0\times I$ and $L_1 \subset \Sigma _1 \times I$ are said to be stably equivalent if one is obtained from the other by a finite sequence of isotopies, homeomorphisms,Footnote 1 stabilizations, and destabilizations. We take a moment to explain stabilization.

Given a link $L \subset \Sigma \times I$, let $h \colon S^{0} \times D^{2} \to \Sigma$ be the attaching region for a 1-handle which is disjoint from the image of $L$ under projection $p\colon \Sigma \times I \to \Sigma$. Let

\[ \Sigma' = \Sigma \smallsetminus h(S^{0} \times D^{2}) \cup_{S^{0} \times S^{1}} D^{1} \times S^{1}, \]

and let $L'$ be the image of $L$ in $\Sigma '\times I$ under the inclusions

\[ L\hookrightarrow(\Sigma\smallsetminus h(S^{0}\times D^{2}))\times I\hookrightarrow\Sigma'\times I. \]

Then we say that $(\Sigma ' \times I,\,L')$ is obtained from $(\Sigma \times I,\, L)$ by stabilization, and destabilization is the opposite procedure.

In [Reference Carter, Kamada and Saito5], Carter, Kamada, and Saito give a one-to-one correspondence between virtual links and stable equivalence classes of links in thickened surfaces.

The virtual genus of a virtual link is the minimum genus over all surfaces $\Sigma$ such that $\Sigma \times I$ contains a representative for the virtual link. In that case, we say that the representative $L \subset \Sigma \times I$ has minimal genus. If $L$ is non-split, and it has minimal genus, then any diagram $D \subset \Sigma$ for $L$ is necessarily cellularly embedded, since otherwise destabilization would produce a representative of the same virtual link on a lower genus surface. Kuperberg's theorem shows that every non-split virtual link has an irreducible representative which is unique up to orientation-preserving homeomorphism of the pair $(\Sigma \times I,\, \Sigma \times \{0\})$ [Reference Kuperberg18]. In particular, it implies that two minimal genus representatives of the same non-split virtual link are equivalent under orientation-preserving homeomorphism of the pair $(\Sigma \times I,\, \Sigma \times \{0\}).$

We combine the results to give the following useful characterization of alternating virtual links.

Corollary 1.2 A virtual link is non-split and alternating if and only if it admits a representative $L$ in $\Sigma \times I$ which bounds a positive definite spanning surface and a negative definite spanning surface.

Notations and Conventions. Homology groups are taken with ${{\mathbb {Z}}}$ coefficients unless otherwise indicated. Links in thickened surfaces are assumed to lie in the interior, and spanning surfaces are assumed to be connected but not necessarily oriented.

2. Gordon–Litherland pairing

In this section, we review the Gordon–Litherland pairing [Reference McA. Gordon and Litherland7] and its extension to links in thickened surfaces [Reference Boden, Chrisman and Karimi1]. The pairing is defined for any link $L \subset \Sigma \times I$ that admits a spanning surface, which is a compact, connected surface $F$ embedded in $\Sigma \times I$ with boundary $\partial F =L$. The surface $F$ may or may not be orientable, and here we consider it as an unoriented surface. Not all links $L \subset \Sigma \times I$ admit spanning surfaces, and in fact proposition 1.7 of [Reference Boden and Karimi3] implies that $L$ admits a spanning surface if and only if $[L]$ is trivial in $H_1(\Sigma \times I;{{\mathbb {Z}}}/2).$

The link diagram $D$ is the decorated graph on $\Sigma$ obtained as the image of $L$ under the projection $p\colon \Sigma \times I \to \Sigma$. Then $D$ is called checkerboard colourable if the complementary regions of $\Sigma \smallsetminus D$ can be coloured black and white so that, whenever two regions share an edge, one is white and the other is black. A link $L$ in $\Sigma \times I$ is said to be checkerboard colourable if it admits a diagram which is checkerboard colourable. If $L$ is non-split and admits a checkerboard coloured diagram, then the black and white regions determine unoriented spanning surfaces which we call checkerboard surfaces. A straightforward argument shows that a link in $\Sigma \times I$ is checkerboard colourable if and only if it bounds an unoriented spanning surface.

Next, we recall the definition of the asymmetric linking for simple closed curves in a thickened surface. Let $\Sigma$ be a compact, connected, oriented surface. The asymmetric linking pairing in $\Sigma \times I$ is taken relative to $\Sigma \times \{1\}$ and defined as follows. Given an oriented simple closed curve $J$ in the interior of $\Sigma \times I,$ then by proposition 7.1 of [Reference Boden, Gaudreau, Harper, Nicas and White2], $H_1(\Sigma \times I \smallsetminus J,\, \Sigma \times \{1\})$ is infinite cyclic and generated by a meridian $\mu$ of $J$. The meridian $\mu$ here is oriented as the boundary of a small oriented 2-disk which intersects $J$ transversely at one point with oriented intersection number equal to one.

If $K$ is an oriented simple closed curve in the interior of $\Sigma \times I$ and disjoint from $J$, then define $\operatorname {\ell {\mathit k}}(J,\,K)$ to be the unique integer $m$ such that $[K] = m [\mu ]$ in $H_1(\Sigma \times I \smallsetminus J,\, \Sigma \times \{1\})$. Alternatively, if $B$ is a 2-chain in $\Sigma \times I$ such that $\partial B = K -v$, where $v$ is a 1-cycle in $\Sigma \times \{1\}$, then $\operatorname {\ell {\mathit k}}(J,\,K) = J \cdot B$, where $\cdot$ denotes the intersection number.

One can determine the asymmetric linking numbers easily using the following simple diagrammatic description. If $J,\,K$ are two oriented disjoint simple closed curves in $\Sigma \times I$, and $J\cup K$ is represented as a diagram on $\Sigma$, then $\operatorname {\ell {\mathit k}}(J,\,K)$ is equal to the number of times $J$ goes above $K$ with sign given by comparing with orientation of $\Sigma$, where ‘above’ refers to the positive $I$ direction in $\Sigma \times I$.

For example, the linking numbers for the link in figure 2 are given by $\operatorname {\ell {\mathit k}}(J,\,K)=0$, $\operatorname {\ell {\mathit k}}(K,\,J)=-1$, $\operatorname {\ell {\mathit k}}(J,\,L)=-1$, $\operatorname {\ell {\mathit k}}(L,\,J)=0$, $\operatorname {\ell {\mathit k}}(K,\,L)=0$, and $\operatorname {\ell {\mathit k}}(L,\,K)=1.$

FIGURE 2. An alternating link in the thickened torus.

Now suppose that $F$ is a compact, connected, unoriented surface embedded in $\Sigma \times I$. Its normal bundle $N(F)$ has a boundary $\{\pm 1\}$-bundle $\widetilde {F}\stackrel {\pi }{\longrightarrow }F$, a double cover with $\widetilde {F}$ oriented. (If $F$ is oriented, then $\widetilde {F}$ is the trivial double cover.) Define the transfer map $\tau \colon H_1(F) \to H_1(\widetilde {F})$ by setting $\tau ([a]) = [\pi ^{-1}(a)].$

The Gordon–Litherland pairing is extended to thickened surfaces $\Sigma \times I$ in [Reference Boden, Chrisman and Karimi1], and we review its definition. Let $F \subset \Sigma \times I$ be a compact, unoriented surface without closed components. For $a,\,b\in H_{1}(F)$, let $\mathcal {G}_F(a,\,b)=\tfrac {1}{2}(\operatorname {\ell {\mathit k}}(\tau a,\,b)+\operatorname {\ell {\mathit k}}(\tau b,\,a)).$ (This is a slightly different formulation from that in [Reference Boden, Chrisman and Karimi1], but the two are equivalent.)

To see the pairing is well-defined, we make two elementary observations. First, if two oriented curves $K,\,K'$ are homologous in $\Sigma \times I \smallsetminus J$, then $\operatorname {\ell {\mathit k}}(J,\,K) = \operatorname {\ell {\mathit k}}(J,\,K')$. Second, if $a,\,a',\,b \in H_1(F)$ and if $a$ and $a'$ are homologous on $F$, then $\tau a$ and $\tau a'$ are homologous in $\Sigma \times I \smallsetminus b$.

Thus, the pairing is well-defined. It is clearly symmetric by definition, but it is not entirely clear that it is integral. To see that, consider the local contributions to $\mathcal {G}_F(a,\,b)$ anywhere $a$ and $b$ cross or intersect. If $a$ crosses over $b$, then the local contribution to $\operatorname {\ell {\mathit k}}(\tau b,\,a)$ is $0$, and the local contribution to $\operatorname {\ell {\mathit k}}(\tau a,\,b)$, is $2\varepsilon$, where $\varepsilon =\pm 1$ is determined by the orientations of $a$ and $b$. Thus the contribution of the crossing to $\mathcal {G}_F(a,\,b)$ is $\varepsilon = \pm 1$. (If $F$ is a checkerboard surface and $a,\,b$ are simple closed curves on $F$, then they can cross only along a twisted band as they pass through a crossing of the diagram (see figure 3 (left)).) By symmetry, the same is true if $b$ crosses over $a$. Now suppose that $a$ and $b$ intersect at a point (see figure 3 (right)). One can check that the local contributions of that point to $\operatorname {\ell {\mathit k}}(\tau a,\,b)$ and $\operatorname {\ell {\mathit k}}(\tau b,\,a)$ cancel, so that the points where $a$ and $b$ intersect do not contribute to $\mathcal {G}_F(a,\,b)\in {{\mathbb {Z}}}$. Therefore,

\[ \mathcal{G}_{F}\colon H_{1}(F)\times H_{1}(F)\to{{\mathbb{Z}}}, \]

gives a well-defined symmetric bilinear pairing.

FIGURE 3. On the left, two curves $a,\,b$ cross a right-handed half-twist in $F$ with $a$ crossing over $b$, and the local contribution to $\mathcal {G}_F(a,\,b)$ is 1. In the middle, $a,\,b$ cross a left-handed half-twist in $F$ with $b$ crossing over $a$, and the local contribution to $\mathcal {G}_F(a,\,b)$ is $-1.$ On the right, $a,\,b$ intersect on $F$, and the local contribution to $\mathcal {G}_F(a,\,b)$ is 0.

For $x \in H_1(F),$ let $\left \bracevert x^{}_{} \right \bracevert _F = \mathcal {G}_{F}(x,\,x)$. Clearly $\left \bracevert -x \right \bracevert _F = \left \bracevert x^{}_{} \right \bracevert _F$. The number $\frac {1}{2}\left \bracevert x^{}_{} \right \bracevert _F$ is called the framing of $x$ in $F$.

Assume now that $L \subset \Sigma \times I$ is a link with $m$ components and write $L = K_1 \cup \cdots \cup K_m$. Suppose further that $F \subset \Sigma \times I$ is a spanning surface for $L$. Each component represents an element $[K_i] \in H_1(F)$, well-defined up to sign, and $\frac {1}{2}\left \bracevert [K_i]\right \bracevert _F$ is equal to the framing that the surface $F$ induces on $K_i$. Set $e(F) = -\frac {1}{2} \sum _{i=1}^{m} \left \bracevert [K_i] \right \bracevert _F$, the Euler number of $F$. It is equal to the self-intersection number of $F$, which is defined as a sum of signs $\varepsilon _p$ over points $p \in F \cap F'$, where $F'$ is a transverse pushoff $F'$ of $F$ in $\Sigma \times I \times I$. The sign $\varepsilon _p$ is computed by choosing a local orientation of $F$ at $p$ and using it to induce a local orientation on $F'$ at $p$. Then $\varepsilon _p=\pm 1$, and it is determined by comparing the orientations of $F$ and $F'$ at $p$ with the given orientation on $\Sigma \times I \times I$. The sign $\varepsilon _p$ is independent of the choice of local orientation of $F$.

Further, set $e(F,\, L) = -\frac {1}{2} \left \bracevert [L] \right \bracevert _F.$ If $L'= K_1' \cup \cdots \cup K_m'$ denotes the push-off of $L$ that misses $F$, then it follows that

\begin{align*} e(F) & ={-}\sum_{i=1}^{m} \operatorname{\ell{\mathit k}}(K_i, K_i'),\\ e(F,L) & ={-}\operatorname{\ell{\mathit k}}(L,L')={-}\sum_{i,j=1}^{m} \operatorname{\ell{\mathit k}}(K_i, K_j'). \end{align*}

Note that $e(F)$ is independent of the choice of orientation on $L$, whereas $e(F,\,L)$ is not. To see this, notice that in the formula for $e(F)$, each component $K_i$ can be oriented arbitrarily provided its push-off $K_i'$ is oriented in a compatible manner. The two quantities are related by the formula

(2.1)\begin{equation} e(F,L) = e(F) - \lambda(L), \end{equation}

where $\lambda (L) = \sum _{i \neq j} \operatorname {\ell {\mathit k}}(K_i,\, K_j)$ denotes the total linking number of $L$.Footnote 2

Two spanning surfaces for a given link are said to be $S^{*}$-equivalent if one can be obtained from the other by ambient isotopy, attachment or removal of tubes, and attachment or removal of a small half-twisted band, as depicted in figure 5.

FIGURE 4. Type I and II crossings (left), and incidence numbers (right).

FIGURE 5. Attaching a small half-twisted band.

The signature of the pair $(L,\,F)$ is defined by $\sigma _{F}(L)=\operatorname {sig}(\mathcal {G}_{F})+\frac {1}{2}e(F,\,L)$. The following lemma shows that $\sigma _{F}(L)$ gives a well-defined invariant of the pair $(F,\,L)$ depending only on the $S^{*}$-equivalence class of $F$. For a proof, see [Reference Boden, Chrisman and Karimi1, lemma 2.3].

Lemma 2.1 If $F$ and $F'$ are $S^{*}$-equivalent spanning surfaces for a link $L,$ then $\sigma _{F}(L)=\sigma _{F'}(L)$.

For classical links, every link admits a spanning surface, and any two are $S^{*}$-equivalent (for a proof, see [Reference McA. Gordon and Litherland7, theorem 11] and [Reference Yasuhara20]). For links in thickened surfaces, the situation is more complicated.

In general, a link $L \subset \Sigma \times I$ admits a spanning surface if and only if it is checkerboard colourable. If $g(\Sigma )>0$, not all links in $L \subset \Sigma \times I$ are checkerboard colourable (see figure 6). Furthermore, not all spanning surfaces for a link $L \subset \Sigma \times I$ will be $S^{*}$-equivalent. In fact, if $L$ is non-split, then two spanning surfaces $F$ and $F'$ for $L$ are $S^{*}$-equivalent if and only if $[F] =[F']$ as elements in $H_2(\Sigma \times I,\,L;{{\mathbb {Z}}}/2)$ (see [Reference Boden, Chrisman and Karimi1, lemma 1.5 & proposition 1.6]).

FIGURE 6. A non-checkerboard colourable link.

Thus, for a non-split checkerboard colourable link $L$ in any thickened surface, there are two $S^{*}$-equivalence classes of spanning surfaces. Indeed, the black and white surfaces represent the two $S^{*}$-equivalence classes, and any other spanning surface for $L$ is $S^{*}$-equivalent to either the black or the white surface.

More generally, given a spanning surface $F$ for a link $L \subset \Sigma \times I$ in a connected thickened surface, we can construct a new spanning surface by connecting $F$ to a parallel copy of $\Sigma$ near $\Sigma \times \{0\}$ by a small thin tube $\tau$. Let $F' = F \#_{\tau } \Sigma$ denote the new spanning surface. When $L$ is non-split, it is not difficult to see that $F$ and $F'$ represent the two $S^{*}$-equivalence classes of spanning surfaces.

In the case that $F$ is a checkerboard surface for $L$, the correction term $\frac {1}{2}e(F,\,L)$ is given by a sum of incidence numbers of crossings of type I or II (see figure 4). The incidence number of a crossing $x$ is denoted $\eta _x$ and is defined by setting

\[ \eta_x=\begin{cases} 1 & \text{if }x \text{ is type }a, \\ -1 & \text{if }x \text{ is type } b. \end{cases} \]

Specifically, if $B$ and $W$ denote the black and white surfaces of the checkerboard colouring, set

\[ \mu_W(D) = \sum_{x \ \text{type I}} -\eta_x\text{ and }\mu_B(D) =\sum_{x \ \text{type II}} \eta_x. \]

By lemma 2.4 [Reference Boden, Chrisman and Karimi1], we see that $\mu _W(D)=-\frac {1}{2}e(W,\,L)$ and $\mu _B(D) = -\frac {1}{2}e(B,\,L).$

3. Definite surfaces

In this section, we show that a connected checkerboard colourable link diagram $D$ on $\Sigma$ is alternating if and only if its checkerboard surfaces are definite and of opposite sign.

Definition 3.1 A compact, connected surface $F$ in $\Sigma \times I$ is positive (or negative) definite if its Gordon–Litherland pairing $\mathcal {G}_{F}$ is.

Suppose $D$ is a connected link diagram on $\Sigma$ such that

  1. (i) $\Sigma \smallsetminus D$ is a union of disks,

  2. (ii) $D$ is checkerboard colourable.

Choose a checkerboard colouring of $D$ and let $B,\,W$ be the black and white surfaces. Then $B,\,W$ have first Betti numbers

(3.1)\begin{equation} \begin{aligned} b_{1}(W) & = 2g+\beta-1, \\ b_{1}(B) & = 2g+\alpha-1, \end{aligned} \end{equation}

where $g=\text {genus}(\Sigma )$ is the genus of $\Sigma$, $\alpha$ is the number of white disks and $\beta$ is the number of black disks.

The Euler characteristic of $\Sigma$ satisfies $\chi (\Sigma )=2-2g=c(D)-2c(D)+(\alpha +\beta ),$ where $c(D)$ denotes the number of crossings of $D$. Thus we have

(3.2)\begin{equation} \alpha+\beta=2-2g+c(D). \end{equation}

In particular, combining equations (3.1) and (3.2) gives that

(3.3)\begin{equation} b_1(W)+b_1(B) = 2\,g +c(D). \end{equation}

Remark 3.2 According to [Reference Kamada12, lemma 7], any link diagram $D$ on a surface which is alternating and cellularly embedded is checkerboard colourable.

Lemma 3.3 If $D$ is a link diagram on $\Sigma$ which is cellularly embedded and alternating, then the black and white surfaces are definite and of opposite sign.

Proof. By remark 3.2, we see that $D \subset \Sigma$ is checkerboard colourable, and we choose the colouring so that every crossing has type $b$. The black surface $B$ is a union of disks and half-twisted bands, and with this choice each band has a left-handed half-twist. (The white surface $W$ is likewise a union of disks and half-twisted bands, and each band has a right-handed half-twist.)

Let $\Gamma _{B}$ be the Tait graph for the black surface; it is a graph in $\Sigma$ with one vertex for each black disk and one edge for each crossing. Choose arbitrarily an orientation for the edges, and label the edge associated with a crossing $x$ of $D$ with its incidence number $\eta _x$. (Since every crossing has type $b$, each edge of $\Gamma _B$ is labelled $-1$.) The black surface $B$ admits a deformation retraction onto $\Gamma _{B}$, hence $H_1(B)\cong H_1(\Gamma _{B})$.

Now consider an element $\gamma$ in $H_1(B) \cong H_1(\Gamma _B),$ which we can view as a sum $\gamma _1 + \cdots + \gamma _k$ of cycles in $\Gamma _B$. We can write each cycle $\gamma _i$ as a sum of oriented edges. If the same edge occurs with opposite signs in two of the cycles, then they can be eliminated without altering the homology class of $\gamma$. Thus, we can assume that no edge occurs with opposite signs in two cycles.

Let $a_i$ be a simple closed curve in $B$ corresponding to $\gamma _i$ for $i=1,\,\ldots,\, k$. We can assume that the curves $a_i$ and $a_j$ intersect transversely for $i \neq j$, and that their intersection points lie within the black regions. This implies that $a_i \cap a_j$ consists of finitely many points, none of which contribute to $G_F(a_i,\,a_j)$ (see figure 3 (right)). Since no edge occurs with opposite signs in the cycles $\gamma _i$ and $\gamma _j$, whenever two curves $a_i$ and $a_j$ cross the same band, they cross it in the same direction.

Since $D$ is cellularly embedded, any nontrivial cycle $\gamma _i$ will have edge set with $\ell _i>0$ edges. Therefore, $\left \bracevert \gamma _i \right \bracevert =\mathcal {G}_B(\gamma _i,\,\gamma _i)=-\ell _i<0$. This step follows by computing it as a sum of local contributions, each of which comes from a band crossing of $a_i$ and is negative. For $i \neq j$, we see that $\mathcal {G}_B(\gamma _i,\,\gamma _j) \leq 0$. This follows by again viewing it as a sum of local contributions, each of which comes from a band crossing of $a_i$ and $a_j$ and is non-positive. (This step uses the condition that whenever the two curves $a_i$ and $a_j$ cross the same band, they cross it in the same direction.) Thus, for $\gamma = \gamma _1+\cdots + \gamma _k,$ we see that

\begin{align*} \left\bracevert \gamma \right\bracevert_B & = \mathcal{G}_B(\gamma, \gamma) = \mathcal{G}_B(\gamma_1 +\cdots+\gamma_k, \gamma_1 +\cdots+\gamma_k), \\ & = \sum_{i=1}^{k} \mathcal{G}_B(\gamma_i,\gamma_i) +2 \sum_{i< j}\mathcal{G}_B(\gamma_i,\gamma_j) <0. \end{align*}

Since this holds for all nontrivial homology classes in $H_1(B)$, it follows that $B$ is negative definite.

A similar argument shows that the white surface $W$ is positive definite.

Remark 3.4 Given a spanning surface $F$ for $L$, if the Gordon–Litherland pairing $\mathcal {G}_F$ is non-singular, then it will be non-singular for any spanning surface $S^{*}$-equivalent to $F$, see [Reference Boden, Chrisman and Karimi1, theorem 2.5].

The next result is a restatement of [Reference Boden, Chrisman and Karimi1, theorem 3.1].

Theorem 3.5 Suppose $L \subset \Sigma \times I$ is a link with a connected, checkerboard coloured diagram $D \subset \Sigma$. Let $B,\,W$ be the two spanning surfaces associated to the black and white regions, respectively. If the Gordon–Litherland pairings $\mathcal {G}_B$ and $\mathcal {G}_W$ are both non-singular, then $L \subset \Sigma \times I$ is non-split and has minimal genus. In particular, this implies that $D$ is cellularly embedded.

Proof. The proof is by contradiction, and here we sketch the main idea and refer to the proof of [Reference Boden, Chrisman and Karimi1, theorem 3.1] for further details.

The key step is to show that if $D \subset \Sigma$ is not cellularly embedded, then one of $\mathcal {G}_B$ or $\mathcal {G}_W$ is singular.

Assume then that $D$ is not cellularly embedded. Then we can find a non-contractible simple closed curve $\gamma$ disjoint from $D$. Since $\gamma$ and $D$ are disjoint, $\gamma$ must be contained entirely in either one of the black regions or one of the white regions. Without loss of generality, we can assume that $\gamma$ lies in a black region.

We claim there exists a simple closed curve $\alpha$ in $\Sigma$ lying entirely in a black region such that its homology class $[\alpha ] \in H_1(\Sigma )$ is nontrivial. Indeed, if $\gamma$ is non-separating, then we can take $\alpha =\gamma.$ Otherwise, if $\gamma$ is separating, then since $D$ is connected, it must lie in one of the connected components of $\Sigma \smallsetminus \gamma$. Both components have positive genus (since $\gamma$ is non-contractible), and the component disjoint from $D$ is contained entirely in a black region. There exists a simple closed curve $\alpha$ in that component with $[\alpha ]\neq 0$ in $H_1(\Sigma )$.

Consider now the map $H_1(B) \to H_1(\Sigma )$ induced by $B \hookrightarrow \Sigma \times I \to \Sigma$, the composition of inclusion and projection. Since $[\alpha ]$ is nontrivial in $H_1(\Sigma )$, it must also be nontrivial in $H_1(B).$ Further, since $\alpha$ is a simple closed curve, the set $\{[\alpha ]\}$ can be extended to a basis $U$ for $H_1(B)$. Since $\alpha$ lies entirely within one of the black regions, we have $\mathcal {G}_{B}(\alpha,\, \alpha )=\left \bracevert \alpha ^{}_{} \right \bracevert _B=0$. Any other element of $U$ can be represented as a simple closed curve $\beta$ on $B$. Since $\alpha$ lies entirely in a black region, the two curves $\alpha$ and $\beta$ have only intersection points; there are no points where $\alpha$ crosses over or under $\beta$. However, as we have seen, an intersection point contributes 0 to the pairing, and thus it follows that $\mathcal {G}_{B}(\alpha,\, \beta )=0$. This holds for all $\beta \in U$, therefore the Gordon–Litherland pairing $\mathcal {G}_{B}$ is singular.

We now prove that $L$ is non-split. Suppose to the contrary that $L$ is split, and let $D' \subset \Sigma$ be a disconnected diagram for $L$. Notice that $D'$ is not cellularly embedded, and that the checkerboard surfaces need not be connected. By adding small tubes, we can connect them. However, one or both of the resulting spanning surfaces will have singular Gordon–Litherland pairing. This is a contradiction (cf. remark 3.4).

Corollary 3.6 Any link $L$ in $\Sigma \times I$ represented by a cellularly embedded alternating diagram is non-split and has minimal genus.

Proof. Let $D$ be a cellularly embedded alternating diagram for $L$. Then $D$ is checkerboard colourable (remark 3.2), and lemma 3.3 implies that the black and white surfaces are definite. In particular, their Gordon–Litherland pairings are non-singular. The conclusion now follows from theorem 3.5.

By convention, given an alternating diagram for a link $L$ in $\Sigma \times I$, we will choose the colouring in which every crossing has type $b$. With this choice, the white surface becomes positive definite and the black surface becomes negative definite.

Lemma 3.7 Suppose $D$ is a connected alternating diagram for a link $L$ in $\Sigma \times I$ with checkerboard colouring such that every crossing has type $b$. Then

\[ \sigma_{W}(L)-\sigma_{B}(L)=2g(\Sigma). \]

Proof. In general we have

\begin{align*} \sigma_{W}(L) & = \operatorname{sig}(\mathcal{G}_W)-\mu_W(D), \\ \sigma_{B}(L) & = \operatorname{sig}(\mathcal{G}_B) -\mu_B(D). \end{align*}

Since all crossings have type $b$ and referring to figure 7, we see that

\begin{align*} \mu_W(D)& = \sum_{x \, \text{type I}}-\eta_x = \sum_{x \, \text{type I}}\varepsilon_x= c_{+}(D), \\ \mu_B(D)& = \sum_{x \, \text{type II}}\eta_x= \sum_{x \, \text{type II}}\varepsilon_x={-}c_{-}(D), \end{align*}

where $c_+(D)$ is the number of positive crossings of $D$ and $c_-(D)$ is the number of negative crossings. Hence

(3.4)\begin{equation} \mu_W(D) -\mu_B(D) = c_{+}(D) + c_{-}(D) = c(D). \end{equation}

FIGURE 7. Two type $b$ crossings.

Lemma 3.3 shows that $W$ is positive definite and $B$ is negative definite, hence

\begin{align*} \sigma_{W}(L)-\sigma_{B}(L) & = \operatorname{sig}(\mathcal{G}_W)-\mu_W(D)-(\operatorname{sig}(\mathcal{G}_B)-\mu_B(D)), \\ & = b_1(W)+b_1(B)- (\mu_W(D) -\mu_B(D)) =2\,g, \end{align*}

where the last step follows from equations (3.3) and (3.4).

Proposition 3.8 Let $D\subset \Sigma$ be a cellularly embedded, checkerboard colourable link diagram. Then $D$ is alternating if and only if the black and white surfaces are definite and of opposite sign.

Proof. If $D$ is alternating, then lemma 3.3 gives the desired conclusion.

Conversely, suppose $B$ is negative definite and $W$ is positive definite. Let $a_{\pm }$ be the number of type $a$ crossings of $D$ with $\varepsilon _x=\pm 1$, and $b_{\pm }$ be the number of type $b$ crossings of $D$ with $\varepsilon _x=\pm 1$. Then

\[ \mu_{W}(D) = a_{-}-b_{+} \text{ and } \mu_{B}(D) ={-}a_{+}+b_{-}. \]

It follows that

\begin{align*} \mu_{W}(D)-\mu_{B}(D) & = a_{-} - b_{+}-({-}a_{+}+b_{-}), \\ & =a(D)-b(D), \end{align*}

where $a(D)=a_{+}+a_{-}$ is the total number of type $a$ crossings and $b(D)=b_{+}+b_{-}$ is the total number of type $b$ crossings.

Therefore,

(3.5)\begin{equation} |\mu_{W}(D)-\mu_{B}(D)|\leq c(D), \end{equation}

with equality if and only if $a(D)=0$ or $b(D)=0$. In the first case, all crossings have type $b$, and in the second, they all have type $a$. In either case, we see that $D$ is alternating. Thus, it only remains to show that $|\mu _{W}(D)-\mu _{B}(D)|= c(D)$.

Given a spanning surface $F$ for $L$, by the discussion after lemma 2.1, we obtain a new surface $F\#_\tau \Sigma$ by connecting it to a parallel copy of $\Sigma$ by a thin tube $\tau$. The surfaces $F$ and $F\#_\tau \Sigma$ are not $S^{*}$-equivalent.

Since $B$ and $W$ are not $S^{*}$-equivalent, and since a non-split link in $\Sigma \times I$ has exactly two $S^{*}$-equivalence classes of spanning surfaces, it follows that $B$ and $W\#_\tau \Sigma$ must be $S^{*}$-equivalent. By lemma 2.1, $\sigma _{B}(L)=\sigma _{W\#_\tau \Sigma }(L)$. We have $|\sigma _{W}(L)-\sigma _{W\#_\tau \Sigma }(L)|\leq 2\,g$. Hence $|\sigma _{W}(L)-\sigma _{B}(L)|\leq 2\,g$. Further, since $B$ and $W$ are definite surfaces of opposite sign, we see that $|\operatorname {sig}(\mathcal {G}_W)-\operatorname {sig}(\mathcal {G}_B)| = b_{1}(W)+b_{1}(B).$ These two observations, combined with equation (3.3) and inequality (3.5), show that:

\begin{align*} 2\,g & \geq |\sigma_{W}(L)-\sigma_{B}(L)|, \\ & = |\operatorname{sig}(\mathcal{G}_W)-\mu_{W}(D)-(\operatorname{sig}(\mathcal{G}_B)-\mu_{B}(D))|,\\ & \geq |\operatorname{sig}(\mathcal{G}_W)-\operatorname{sig}(\mathcal{G}_B)|-|\mu_{W}(D)-\mu_{B}(D)|,\\ & = b_{1}(W)+b_{1}(B)-|\mu_{W}(D)-\mu_{B}(D)|,\\ & = 2g+c(D)-|\mu_{W}(D)-\mu_{B}(D)|\geq 2\,g. \end{align*}

Therefore we have equality throughout, and it follows that $D$ is alternating.

4. Characterization of alternating links in thickened surfaces

In this section, we establish our main result, theorem 4.8. It is a combination of lemma 3.3 and proposition 3.8.

If $L$ is a link in the thickened surface $\Sigma \times I,$ let $\nu (L)$ be a tubular neighbourhood of $L$ and let $X_L=\Sigma \times I \smallsetminus \operatorname {int}(\nu (L))$ denote the exterior of $L$. The next result is a restatement of part of proposition 6.3 from [Reference Carter, Silver and Williams6]. Recall that a link $L$ in a 3-manifold $M$ is said to be local if it is contained in an embedded 3-ball $B$ in $M.$

Proposition 4.1 Carter–Silver–Williams

If $\Sigma$ is a surface of genus $g\geq 1$ and $L$ is a non-split and non-local link in $\Sigma \times I,$ then the exterior $X_L$ is irreducible.

Proof. A detailed proof can be found in [Reference Carter, Silver and Williams6], so we only sketch the argument. Since $\Sigma$ has genus $g \geq 1$, the universal cover of $\Sigma \times I$ is ${{\mathbb {R}}}^{2}\times I$, which is irreducible, then by [Reference Hatcher9, proposition 1.6] it follows that $\Sigma \times I$ is irreducible. Any embedded 2-sphere in $X_L \subset \Sigma \times I$ must bound a 3-ball $Y \subset \Sigma \times I$, and the hypotheses ensure that $Y\subset X_L$. This completes the argument.

The next result is an analogue of lemma 3.1 from [Reference Greene8].

Lemma 4.2 Greene

If $F\subset \Sigma \times I$ is a definite surface with $\partial F =L,$ then $b_1(F)$ is minimal over all spanning surfaces for $L$ which are $S^{*}$-equivalent to $F$ and have the same Euler number as $F$. If $F'$ is another such surface with $b_1(F')=b_1(F),$ then $F'$ is definite and of the same sign as $F$.

Proof. If $F'$ is $S^{*}$-equivalent to $F$, then lemma 2.1 implies that $\sigma _F(L)=\sigma _{F'}(L).$ If, in addition, $e(F)=e(F')$, then it follows that $\operatorname {sig}(\mathcal {G}_F)= \operatorname {sig}(\mathcal {G}_F').$

Now suppose $F$ is definite. Then we have

\[ b_1(F) = |\operatorname{sig}(\mathcal{G}_F)| = |\operatorname{sig}(\mathcal{G}_{F'})| \leq b_1(F'), \]

which shows the first claim.

If, in addition, $b_1(F')=b_1(F),$ then we have $b_1(F') = |\operatorname {sig}(\mathcal {G}_{F'})|,$ hence $F'$ must also be definite. Since $\operatorname {sig}(\mathcal {G}_{F}) = \operatorname {sig}(\mathcal {G}_{F'}),$ it follows that $F$ and $F'$ must have the same sign.

Corollary 4.3 If $F \subset \Sigma \times I$ is definite, then it is incompressible.

Proof. Suppose to the contrary that $F$ is compressible. Let $F'$ be the surface obtained from $F$ by a compression. Then $F'$ is $S^{*}$-equivalent to $F$ and $b_1(F') < b_1(F).$ Further, $e(F') =e(F)$. However, this is impossible, for it would contradict lemma 4.2 if $F$ is definite.

Lemma 4.4 Let $S \subset \Sigma \times I$ be a compact, closed, connected, oriented surface with $[S]\neq 0$ in $H_2(\Sigma \times I)$. Then $g(S)\geq g(\Sigma )$. If $g(S)= g(\Sigma ),$ then $S$ is incompressible in $\Sigma \times I$.

Proof. Any surface $S$ with genus $g(S)< g(\Sigma )$ has $[S]= 0$ in $H_2(\Sigma \times I)$. This proves the first statement.

Assume now that $g(S)= g(\Sigma )$. If $S$ is not incompressible, there exists a non-contractible simple closed curve $\gamma$ in $S$ which bounds a disk in $\Sigma \times I$. Let $S'$ be the surface obtained by cutting $S$ along $\gamma$ and gluing in two disks along the newly created boundary components. Then $[S'] =[S]$ in $H_2(\Sigma \times I).$ If $\gamma$ is non-separating on $S$, then $g(S') = g(S)-1 < g(\Sigma )$ and $[S']=0$, a contradiction. Otherwise, if $\gamma$ is separating on $S$, then $S'$ is a disjoint union $S_1' \sqcup S'_2$ of two surfaces of positive genus satisfying $g(S')=g(S_1') + g(S'_2) =g(S)$. Hence $0< g(S_i')< g(S)$ for $i=1,\,2$. It follows that $[S'_1] =0$ and $[S_2']=0$ in $H_2(\Sigma \times I).$ Thus $[S'] = [S_1'] + [S_2'] = 0,$ again a contradiction. This proves the second statement and completes the proof.

Remark 4.5 In the above lemma, if $g(S)= g(\Sigma ) \geq 1$, then corollary 3.2 of [Reference Waldhausen19] applies to show that $S$ is isotopic to $\Sigma \times \{t_0\}$ for $0< t_0<1.$

The next result is lemma 3.3 from [Reference Greene8]. The proof is the same as in [Reference Greene8] so we will not repeat it here.

Lemma 4.6 Greene

If $S$ is definite and $S' \subset S$ is a compact subsurface with connected boundary, then $S'$ is definite.

We can now prove the following analogue of lemma 3.4 of [Reference Greene8] for links in thickened surfaces.

Lemma 4.7 Let $L$ be a link in $\Sigma \times I,$ where $\Sigma$ has genus $g\geq 1$. Suppose further that $L$ has a positive definite spanning surfaces $P$ and a negative definite spanning surface $N$. If $P$ and $N$ intersect transversely in $X_L$ such that the number of components of $P \cap N \cap X_L$ is minimized (up to isotopy), then $P\cap N\cap X_L$ does not contain a simple closed curve.

Proof. Suppose $P$ and $N$ are positive and negative definite surfaces, respectively, and $\gamma$ is a simple closed curve contained in $P\cap N\cap X_L$. Let $\nu (\gamma )$ be a small regular neighbourhood of $\gamma$ in $\Sigma \times I$, which contains no other intersection of $P$ and $N$. Clearly $\nu (\gamma )$ is a $D^{2}$ bundle over $\gamma$, and since $\Sigma \times I$ is orientable, so is $\nu (\gamma )$ and it follows that $\nu (\gamma )\approx S^{1}\times D^{2}$ is a trivial bundle. The annuli $P \cap \nu (\gamma )$ and $N \cap \nu (\gamma )$ intersect only in $\gamma$, so the framing $\left \bracevert \gamma \right \bracevert _{P}$ of $\gamma$ in $P$ is equal to the framing $\left \bracevert \gamma \right \bracevert _{N}$ of $\gamma$ in $N$. Since $P$ and $N$ are positive and negative definite, respectively, we have

\[ \left\bracevert\gamma \right\bracevert_{N}\leq 0 \leq \left\bracevert\gamma \right\bracevert_{P}. \]

Therefore, $\left \bracevert \gamma \right \bracevert _{P}=\left \bracevert \gamma \right \bracevert _{N}=0$. It follows that $\gamma$ is null-homologous in both $P$ and $N$. Thus, $\gamma$ is separating on $P$ and $N$. Let $P'$ and $N'$ be orientable subsurfaces of $P$ and $N$, respectively, with $\partial P'=\partial N'=\gamma$. By choosing $\gamma$ an innermost curve on $N$, we can arrange that $N'$ is disjoint from $P.$ By lemma 4.6, $P'$ is positive definite and $N'$ is negative definite.

Set $V=P' \cup _\gamma N'$. Since $P'$ and $N'$ are both orientable, $V$ is a closed orientable surface, and $\frac {1}{2}e(P',\,\gamma )=0=\frac {1}{2}e(N',\,\gamma )$. Therefore, $\sigma _{P'}(\gamma ) = \operatorname {sig}(\mathcal {G}_{P'})$ and $\sigma _{N'}(\gamma )=\operatorname {sig}(\mathcal {G}_{N'})$.

Suppose firstly that $P'$ and $N'$ are $S^{*}$-equivalent. Then

\[ 0\leq b_{1}(P') = \operatorname{sig}(\mathcal{G}_{P'}) = \sigma_{P'}(\gamma) = \sigma_{N'}(\gamma) = \operatorname{sig}(\mathcal{G}_{N'})={-}b_{1}(N')\leq 0. \]

Therefore, $P'$ and $N'$ are disks in this case.

Suppose now that $P'$ and $N'$ are not $S^{*}$-equivalent. Then $P'$ and $N'\#_\tau \Sigma$ are $S^{*}$-equivalent, and so $\operatorname {sig}(\mathcal {G}_{P'}) = \operatorname {sig}(\mathcal {G}_{N' \#_\tau \Sigma })$. Therefore, if $g=\text {genus}(\Sigma ),$ we see that

\[ 2\,g \geq \operatorname{sig}(\mathcal{G}_{N' \#_\tau \Sigma}) - \operatorname{sig}(\mathcal{G}_{N'}) = \operatorname{sig}(\mathcal{G}_{P'}) - \operatorname{sig}(\mathcal{G}_{N'}) = b_1(P') + b_1(N'). \]

In particular, $V$ is a closed, orientable surface with $\text {genus}(V) \leq g$. In fact, its genus must be exactly $g$, since otherwise we would have $[V] = 0$ in $H_2(\Sigma ;{{\mathbb {Z}}}_2)$, which would imply that $P'$ and $N'$ are $S^{*}$-equivalent.

Lemma 4.4 applies and shows that $V$ is incompressible in $\Sigma \times I.$ Therefore, by [Reference Waldhausen19, corollary 3.2], it follows that $V$ is isotopic to $\Sigma \times \{t_0\}$ for some $0< t_0<1$ (see remark 4.5). Since $g(V)\geq 1$, there is a non-separating simple closed curve $\alpha$ in either $P'$ or $N'$. Assume $\alpha \subset P'$. Then $[\alpha ]\neq 0 \in H_1(P')$, so $\left \bracevert \alpha ^{}_{} \right \bracevert _{P'}>0$. On the other hand, since $\alpha \subset P'\subset V$ and $V$ is isotopic to $\Sigma \times \{t_0\}$, the framing of $\alpha$ in $P'$ is the same as the framing of $\alpha$ in $V$, so $\left \bracevert \alpha ^{}_{} \right \bracevert _{P'}=0$. This is a contradiction, therefore, $P'$ and $N'$ are $S^{*}$-equivalent. It follows that $P'$ and $N'$ are both disks, and $V$ is a 2-sphere. By proposition 4.1, $X_L$ is irreducible, thus, $V$ bounds a 3-ball. Using this ball, we can set-up an isotopy which separates $P'$ and $N'$, and makes the number of components of $P \cap N \cap X_L$ smaller. This is a contradiction, and the result follows.

Theorem 4.8 Suppose $L \subset \Sigma \times I$ is a non-split link with minimal genus. Then $L$ is alternating if and only if there exist positive and negative definite spanning surfaces for $L$.

Proof. For $g(\Sigma )=0$, the result follows from [Reference Greene8], therefore we assume $g(\Sigma )\geq 1$.

Suppose $L$ is non-split and $D$ is an alternating diagram for $L$. Since $L$ has minimal genus, $D$ is cellularly embedded. Further, $D$ is checkerboard colourable by remark 3.2, and lemma 3.3 implies that the checkerboard surfaces $W$ and $B$ are positive and negative definite, respectively. This proves one direction, and it remains to prove the other.

Suppose then that $P$ and $N$ are two definite spanning surfaces for $L$, with $P$ positive definite and $N$ negative definite.

Let $X_L=\Sigma \times I\smallsetminus \operatorname {int}(\nu (L))$ be the exterior of $L$. We write $\partial X_L = \partial _1 X_L \cup \cdots \cup \partial _m X_L$ according to the components of the link $L = K_1 \cup \cdots \cup K_m$. Clearly, each $\partial _i X_L$ is a torus. Assume further that, $P$ and $N$ intersect transversely in $X_L$ such that the number of components of $P \cap N \cap X_L$ is minimized.

For $i=1,\,\ldots,\, m$ set $\lambda ^{P}_i=P\cap \partial _i X_L$ and $\lambda ^{N}_i=N\cap \partial _i X_L$. Thus $\lambda ^{P}_i$ and $\lambda ^{N}_i$ intersect transversely in $\partial _i X_L$. We further set $\lambda ^{P} = \bigcup _i \lambda ^{P}_i$ and $\lambda ^{N} = \bigcup _i \lambda ^{N}_i.$

By lemma 4.7, we can assume that $P\cap N\cap X_L$ does not contain any closed components. Thus $P\cap N\cap X_L$ is a union of arc components which we call double arcs. Each double arc connects a pair of distinct points in $\lambda ^{P}\cap \lambda ^{N}$. Thus $\lambda ^{P}\cap \lambda ^{N}$ consists of an even number of points, equal to twice the number of double arcs. Since $P$ is positive definite and $N$ is negative definite, the number of points in $\lambda ^{P}_i\cap \lambda ^{N}_i$ is equal to the difference in framings $\tfrac {1}{2}\left \bracevert [K_i]\right \bracevert _{P}-\tfrac {1}{2}\left \bracevert [K_i]\right \bracevert _{N}$. Summing over the components, we get that

\[ \sum_{i=1}^{m} \left( \tfrac{1}{2}\left\bracevert [K_i]\right\bracevert_{P}-\tfrac{1}{2} \left\bracevert [K_i]\right\bracevert_{N} \right) = e(N)-e(P). \]

The number of arc components in $P \cap N \cap X_L$ is therefore equal to $\frac {1}{2}(e(N)-e(P))$.

An orientation on $X_L$ induces one on $\partial X_L$, and an orientation on each $K_i$ induces ones on $\lambda ^{P}_i$ and $\lambda ^{N}_i$. This defines a sign $\varepsilon _x \in \{\pm 1\}$ for each point $x\in \lambda ^{P}_i\cap \lambda ^{N}_i$. The sign $\varepsilon _x$ is positive if the orientation of $\lambda ^{P}_i$ followed by the orientation of $\lambda ^{N}_i$ at $x$ agree with the orientation of $\partial _i X_L$, and it is negative otherwise. A key point is that every point in $\lambda ^{P}_i\cap \lambda ^{N}_i$ has the same sign; this follows from the fact that

\[ \#(\lambda^{P}_i\cap \lambda^{N}_i)=\tfrac{1}{2}\left\bracevert [K_i]\right\bracevert_{P}-\tfrac{1}{2} \left\bracevert [K_i]\right\bracevert_{N}=\left|{\sum \varepsilon_{x}}\right|, \]

where the sum on the right is taken over all $x \in \lambda ^{P}_i\cap \lambda ^{N}_i.$

As explained in §2 of [Reference Howie10], there are two kinds of double arcs; one is called a standard double arc and the other is called a parallel double arc. A double arc of $P \cap N$ with endpoints $x$ and $y$ is standard if $\varepsilon _x = \varepsilon _y$, and it is parallel if $\varepsilon _x = -\varepsilon _y.$ By the previous observations, we see that every double arc is standard. Each double arc extends to give an arc $a$ in $P\cap N$ with $\partial a=a\cap L$. Since the double arc is standard, there is a neighbourhood $V$ of $a$ modelled on the intersecting checkerboard surfaces in a standard neighbourhood of a crossing in a link diagram. See figures 8 and 9.

FIGURE 8. A standard crossing (left) placed on an octahedron (right).

FIGURE 9. The two ruled surfaces near a crossing. The heavily dashed vertical lines depict the standard arc of intersection of the two surfaces.

We can choose local coordinates near the crossings so that the arcs of the link lie in the $xy$ plane except at the crossings. At each crossing we place an octahedron which intersects the $xy$ plane in the square with vertices $p=(1,\,-1,\,0)$, $q=(-1,\,1,\,0)$, $r=(-1,\,-1,\,0)$, and $s=(1,\,1,\,0)$. We assume that the over-crossing arc connecting $p$ to $q$ is given by

\[ \beta(t)=(1-2t,-1+2t,\text{min}(2t,2-2t))\text{ for } 0\leq t\leq 1, \]

and the under-crossing arc connecting $r$ to $s$ is given by

\[ \gamma(t)=({-}1+2t,-1+2t,\text{max}({-}2t,-2+2t))\text{ for } 0\leq t\leq 1. \]

In the standard crossing, the black surface is parametrized by

\[ B(s,t)=\beta(t)(1-s)+s\cdot\gamma(t)\text{ for } 0\leq s,t\leq 1, \]

and the white surface is parametrized by

\[ W(s,t)=\beta(t)(1-s)+s\cdot\gamma(1-t)\text{ for } 0\leq s,t\leq 1. \]

Notice that, at the crossing, the black surface contains a left half-twist, whereas the white surface contains a right half-twist. The black and white surfaces intersect in the vertical arc $(0,\,0,\,1-2t),$ for $0\leq t \leq 1,$ which connects $(0,\,0,\,1)$ to $(0,\,0,\,-1)$.

Thus, any standard arc $a$ has a neighbourhood $V\subset \Sigma \times I$ such that $a$ is vertical and the projection $p\colon \Sigma \times I\to \Sigma$ maps $(P\cup N\smallsetminus a)\cap V$ homeomorphically onto a once-punctured disk in $\Sigma$.

Let $A$ denote the union of all the double arcs in $P\cap N\cap X_L$. Lemma 4.7 implies that $P\cap N\cap X_L$ does not contain any simple closed curves. Thus it follows that $P\cup N\smallsetminus A$ is a two-dimensional manifold. Furthermore, collapsing the standard models of each of the double arcs $a$ in $A$ down, we see that $\nu (P\cup N)$ is homeomorphic to $\nu (S)$ for some connected surface $S$ embedded in $\Sigma \times I$. We can identify $\nu (S) \approx S\times I$ in such a way that the double arcs are all mapped to distinct points under projection $S\times I\to S$.

Set $c=\frac {1}{2}(e(N)-e(P))$, which is equal to the number of arc components in $P\cap N \cap X_L.$ Therefore, $P \cap N = L \cup A$ and has Euler characteristic $-c.$

Claim: $\chi (S)=\chi (\Sigma )$.

Proof of the Claim. Since $\nu (S)=\nu (P\cup N)$, we have that

(4.1)\begin{equation} \begin{aligned} \chi(S) & =\chi(\nu(S))=\chi(\nu(P\cup N))=\chi(P\cup N), \\ & =\chi(P)+\chi(N)-\chi(P\cap N), \\ & =(1-b_{1}(P))+ (1-b_{1}(N))+c, \\ & =2-(b_1(P)+b_{1}(N)-c). \end{aligned} \end{equation}

On the other hand, computing the signature of $L$ using $P$ and $N$, we see that

\begin{align*} \sigma_{P}(L)& =\operatorname{sig}(\mathcal{G}_P)+\tfrac{1}{2}e(P, L),\\ \sigma_{N}(L)& =\operatorname{sig}(\mathcal{G}_N)+\tfrac{1}{2}e(N, L). \end{align*}

Thus, by equation (2.1), we have

(4.2)\begin{equation} \begin{aligned} \sigma_{P}(L)-\sigma_N(L) & =\operatorname{sig}(\mathcal{G}_P)-\operatorname{sig}(\mathcal{G}_N)+\tfrac{1}{2}(e(P,L)-e(N,L)),\\ & =\operatorname{sig}(\mathcal{G}_P)-\operatorname{sig}(\mathcal{G}_N)+\tfrac{1}{2}(e(P)-e(N)),\\ & =b_1(P)+b_{1}(N)-c. \end{aligned} \end{equation}

Substituting equation (4.2) into equation (4.1), we see that

(4.3)\begin{equation} \chi(S)=2-(\sigma_{P}(L)-\sigma_N(L)). \end{equation}

We will now show that $P$ and $N$ are not $S^{*}$-equivalent. Suppose to the contrary that $P$ and $N$ are $S^{*}$-equivalent. Then $\sigma _{P}(L)=\sigma _N(L)$, and the equations above give that $\chi (S)=2$. But since $\Sigma \times I$ is irreducible, any 2-sphere bounds a 3-ball. Therefore, the link $L$, which lies on $S$, must be contained in a 3-ball. This however contradicts our assumption that $L \subset \Sigma \times I$ has minimal genus $g(\Sigma )\geq 1.$ Thus, $P$ and $N$ cannot be $S^{*}$-equivalent.

Since $N$ is not $S^{*}$-equivalent to $P$, it follows that $N$ must be $S^{*}$-equivalent to $P\#_{\tau }\Sigma$. Thus

\[ |\sigma_{P}(L)-\sigma_N(L)| =|\sigma_{P}(L)-\sigma_{P\#_{\tau}\Sigma}(L)| \leq 2g(\Sigma). \]

By equation (4.3), we see that

\[ \chi(S) \geq 2 - 2g(\Sigma) = \chi(\Sigma). \]

If this inequality were strict, i.e., if $\chi (S) > \chi (\Sigma )$, then $g(S) < g(\Sigma )$ and it would follow that $[S]=0$ in $H_2(\Sigma \times I; {{\mathbb {Z}}}/2)$. However, that would imply that $P$ and $N$ are $S^{*}$-equivalent. Since they are not, we must have that $\chi (S)=\chi (\Sigma ),$ and this completes the proof of the claim.

Lemma 4.4 applies to show that $S$ is incompressible. As explained in remark 4.5, by [Reference Waldhausen19], this implies that $S$ is isotopic to $\Sigma \times \{t_0\}$ for some $0< t_0<1$. Under the isotopy, $L$ is isotopic to a link $L'$ that lies in $\Sigma \times I'$, where $I'$ is a closed interval containing $t_0$ in its interior.

Projecting $L'$ along $\nu (S)\approx S\times I\to S$, gives a diagram $D$ for $L'$ which by the claim has genus $g(S)=g(\Sigma )$. Furthermore, the checkerboard surfaces of $D$ on $S$ are isotopic relative the boundary to $P$ and $N$. Proposition 3.8 now implies that $D$ is alternating. This finishes the proof.

4.1 Epilogue

We begin with a short proof of theorem 1.1 (from the introduction). We then state a corollary, and use it to deduce corollary 1.2 (also from the introduction). We end with a few closing remarks.

Proof of theorem 1.1. Suppose $L \subset \Sigma \times I$ is a non-split link with positive and negative definite spanning surfaces $P$ and $N$, respectively. If $g(\Sigma )=0,$ then it is obvious that $L \subset \Sigma \times I$ has minimal genus. If $g(\Sigma )\geq 1,$ then arguing as above, we see that $P$ and $N$ are not $S^{*}$-equivalent.

Since $L$ admits spanning surfaces, it is checkerboard colourable. Choose the colouring so that $N$ is $S^{*}$-equivalent to $B$ and $P$ is $S^{*}$-equivalent to $W$, where $B$ and $W$ denote the black and white surfaces, respectively. The Gordon–Litherland pairings $\mathcal {G}_N$ and $\mathcal {G}_P$ are evidently non-singular, and by remark 3.4, so are $\mathcal {G}_B$ and $\mathcal {G}_W$. Therefore, theorem 3.5 implies that $L \subset \Sigma \times I$ must have minimal genus, and theorem 4.8 implies that $L$ is alternating.

Corollary 4.9 A link $L\subset \Sigma \times I$ in a thickened surface is alternating and has minimal genus if and only if $L$ bounds definite spanning surfaces of opposite sign.

Corollary 1.2 is an immediate consequence of theorem 4.9 and corollary 3.6.

In theorem 1.2 of [Reference Greene8], Greene uses his characterization to deduce that any two connected, reduced, alternating diagrams of the same classical link have the same crossing number and writhe. A key result is theorem 5.5 of [Reference Greene8], which shows that two connected bridgeless planar graphs with isometric flow lattices have the same number of edges. In this way, Greene gave a new geometric approach to establishing the first two Tait conjectures.

Building on this approach, Kindred recently gave a geometric proof of the Tait flype conjecture [Reference Kindred16]. The first two Tait conjectures have been extended to alternating links in thickened surfaces and alternating virtual links in [Reference Boden and Karimi3, Reference Boden, Karimi and Sikora4]. In [Reference Boden and Karimi3], the results are deduced using the homological Jones polynomial [Reference Krushkal17]. In [Reference Boden, Karimi and Sikora4], stronger statements are obtained using adequacy of the Kauffman skein bracket.

It is an open problem whether Greene and/or Kindred's methods can be extended to links in thickened surfaces. It would be interesting to use their approach to give alternative, geometric proofs of all three Tait conjectures in the generalized setting.

Acknowledgments

This paper is based on several ideas in the Ph.D. thesis of the second author [Reference Karimi13], and it addresses a question raised by Liam Watson. We would like to thank him, as well as Andrew Nicas and Will Rushworth, for their input and feedback. We would also like to thank the referee for their many insightful comments and suggestions for improvement. The first author was partially funded by the Natural Sciences and Engineering Research Council of Canada.

Footnotes

1 This means orientation-preserving homeomorphisms of the pair $(\Sigma \times I,\, \Sigma \times \{0\}).$

2 In [Reference Greene8], the total linking is defined as $\operatorname {\ell {\mathit k}}(L) = \sum _{i < j} \operatorname {\ell {\mathit k}}(K_i,\, K_j)$. Our formula is different since $\operatorname {\ell {\mathit k}}(K_i,\,K_j) \neq \operatorname {\ell {\mathit k}}(K_j,\, K_i)$ in general for links in $\Sigma \times I$. If $L$ is classical, then $\lambda (L) = 2\operatorname {\ell {\mathit k}}(L)$. (Note that there is a missing factor of 2 in the formula for the Euler numbers in [Reference Greene8, p.2137].)

References

Boden, H. U., Chrisman, M. and Karimi, H., The Gordon-Litherland pairing for links in thickened surfaces, 2021 preprint. https://arxiv.org/pdf/2107.00426.pdfArXiv/2107.00426.Google Scholar
Boden, H. U., Gaudreau, R. I., Harper, E., Nicas, A. J. and White, L.. Virtual knot groups and almost classical knots. Fundam. Math. 138 (2017), 101142.CrossRefGoogle Scholar
Boden, H. U. and Karimi, H., The Jones-Krushkal polynomial and minimal diagrams of surface links, 2019 preprint. https://arxiv.org/pdf/1908.06453.pdfArXiv/1908.06453, to appear in Ann. Inst. Fourier (Grenoble).Google Scholar
Boden, H. U., Karimi, H. and Sikora, A. S., Adequate links in thickened surfaces and the generalized Tait conjectures, 2020 preprint. https://arxiv.org/pdf/2008.09895.pdfArXiv/2008.09895.Google Scholar
Carter, J. S., Kamada, S. and Saito, M.. Stable equivalence of knots on surfaces and virtual knot cobordisms. J. Knot Theory Ramificat. 11 (2002), 311322. Knots 2000 Korea, Vol. 1 (Yongpyong).CrossRefGoogle Scholar
Carter, J. S., Silver, D. S. and Williams, S. G.. Invariants of links in thickened surfaces. Algebr. Geom. Topol. 14 (2014), 13771394.CrossRefGoogle Scholar
McA. Gordon, C. and Litherland, R. A.. On the signature of a link. Invent. Math. 47 (1978), 5369.CrossRefGoogle Scholar
Greene, J. E.. Alternating links and definite surfaces. Duke Math. J. 166 (2017), 21332151. With an appendix by András Juhász and Marc Lackenby.CrossRefGoogle Scholar
Hatcher, A., Notes on basic 3-manifold topology, 2007. (unpublished book) https://pi.math.cornell.edu/hatcher/3M/3Mfds.pdf.Google Scholar
Howie, J. A.. A characterisation of alternating knot exteriors. Geom. Topol. 21 (2017), 23532371.CrossRefGoogle Scholar
Ito, T.. A characterization of almost alternating knots. J. Knot Theory Ramificat. 27 (2018), 1850009.CrossRefGoogle Scholar
Kamada, N.. On the Jones polynomials of checkerboard colorable virtual links. Osaka J. Math. 39 (2002), 325333.Google Scholar
Karimi, H., Alternating Virtual Knots. PhD thesis, McMaster University, September 2018. McMaster University.Google Scholar
Kauffman, L. H.. Virtual knot theory. European J. Combin. 20 (1999), 663690.CrossRefGoogle Scholar
Kim, S.. A topological characterization of toroidally alternating knots. Comm. Anal. Geom. 27 (2019), 18251850.CrossRefGoogle Scholar
Kindred, T., A geometric proof of the Flyping Theorem, 2020 preprint. https://arxiv.org/pdf/2008.06490.pdfArXiv/2008.06490.Google Scholar
Krushkal, V.. Graphs, links, and duality on surfaces. Combin. Probab. Comput. 20 (2011), 267287.CrossRefGoogle Scholar
Kuperberg, G.. What is a virtual link?. Algebr. Geom. Topol. 3 (2003), 587591.CrossRefGoogle Scholar
Waldhausen, F.. On irreducible $3$-manifolds which are sufficiently large. Ann. Math. (2) 87 (1968), 5688.CrossRefGoogle Scholar
Yasuhara, A.. An elementary proof for that all unoriented spanning surfaces of a link are related by attaching/deleting tubes and Möbius bands. J. Knot Theory Ramificat. 23 (2014), 1450004.CrossRefGoogle Scholar
Figure 0

FIGURE 1. An alternating link in a thickened torus and an alternating knot in a thickened surface with genus two.

Figure 1

FIGURE 2. An alternating link in the thickened torus.

Figure 2

FIGURE 3. On the left, two curves $a,\,b$ cross a right-handed half-twist in $F$ with $a$ crossing over $b$, and the local contribution to $\mathcal {G}_F(a,\,b)$ is 1. In the middle, $a,\,b$ cross a left-handed half-twist in $F$ with $b$ crossing over $a$, and the local contribution to $\mathcal {G}_F(a,\,b)$ is $-1.$ On the right, $a,\,b$ intersect on $F$, and the local contribution to $\mathcal {G}_F(a,\,b)$ is 0.

Figure 3

FIGURE 4. Type I and II crossings (left), and incidence numbers (right).

Figure 4

FIGURE 5. Attaching a small half-twisted band.

Figure 5

FIGURE 6. A non-checkerboard colourable link.

Figure 6

FIGURE 7. Two type $b$ crossings.

Figure 7

FIGURE 8. A standard crossing (left) placed on an octahedron (right).

Figure 8

FIGURE 9. The two ruled surfaces near a crossing. The heavily dashed vertical lines depict the standard arc of intersection of the two surfaces.