Concordance invariants of null-homologous knots in thickened surfaces

Every nonorientable surface E can be written as a connected sum of {\mathbb R}{\rm P}^2, and in this context, a surface with E = \#_{i=1}^{g} {\mathbb R}{\rm P}^2 is said to have nonorientable genus g. A routine calculation shows that

In this case, the assumption that e(E)=0 implies that E has nonorientable genus g=2k. Thus E abstractly bounds a 3-manifold. This fact, together with the assumption that [E]=0 in H_2(W \times I;{\mathbb Z}/2), implies that E is trivial in {\mathfrak N}_2(W \times I), the unoriented bordism group, by Theorem 17.1 of [Conner-Floyd]. It remains to show that E bounds a 3-manifold embedded in W \times I.

Let N_E be a tubular neighborhood of E in W\times I and let S_E be its boundary. Then N_E is a D^2 bundle over E isomorphic to the normal bundle \nu(E) to the embedding j \colon E \to W\times I, and S_E is the associated S^1-bundle. Since \nu(E)\oplus TE \cong j^*(T(W\times I)) and W\times I is orientable, it follows that w_1(\nu(E)) = w_1(E).

Although the normal bundle \nu(E) is not orientable, it has an Euler class in H^{2}(E;{\mathbb Z}_w), cohomology with coefficients twisted by the representation w\colon \pi_1(E) \to \{\pm 1\} associated to the first Stiefel-Whitney class w_1(E) [Massey]. Poincaré duality for twisted coefficients (cf. Theorem 5.7 in [Davis-Kirk]) implies that H^2(E; {\mathbb Z}_w) \cong H_0(E;{\mathbb Z}). Thus the Euler class is determined by an integer, namely the normal Euler number e(E). Since e(E)=0, the bundle \nu(E) admits a nowhere zero section, which we use to split \nu(E) = L \oplus \varepsilon^1. Here \varepsilon^1 is trivial and L is the line bundle over E with w_1(L) = w_1(E).

We use obstruction theory to describe the sections of S_E up to homotopy. Indeed, since the higher homotopy groups of S^1 are all trivial, there is a single obstruction to the existence of a section of S_E lying in H^{2}(E;{\mathbb Z}_w), and the obstruction to finding a homotopy of sections lies in H^{1}(E;{\mathbb Z}_w). Thus homotopy classes of sections of S_E are in one-to-one correspondence with elements in H^{1}(E;{\mathbb Z}_w), which is isomorphic to H_1(E;{\mathbb Z}) by Poincaré duality for twisted coefficients.

Let X = W\times I \smallsetminus\text{int}(N_E) and consider the Mayer-Vietoris sequence associated with the decomposition W\times I = X \cup N_E:

Since [E]=0 in H_2(W \times I;{\mathbb Z}/2), we have \psi([E],0) =0. By exactness, there must exist an element \alpha \in H_2(S_E;{\mathbb Z}/2) with \varphi(\alpha)=([E],0). We will show that \alpha can be represented as the image of a section of S_E.

The Gysin sequence for the bundle p \colon S_E \to E gives that

Here the second map f is given by evaluating a cohomology class on the circle fiber, and the third map is trivial since w_2=w_2(E)=0. By the sequence (?) and our previous calculations, we have that H^1(S_E;{\mathbb Z}/2)\cong ({\mathbb Z}/2)^{2k+1}, thus H_2(S_E;{\mathbb Z}/2)\cong ({\mathbb Z}/2)^{2k+1} by Poincaré duality.

Given a section of S_E, its image determines an element of H_2(S_E;{\mathbb Z}/2), which we denote [E']. We can write \varphi = (\varphi_1,\varphi_2) for the first map of the Mayer-Vietoris sequence (?), and note that \varphi_1(\alpha) = p_*(\alpha) under the natural identification H_2(N_E;{\mathbb Z}/2) \cong H_2(E;{\mathbb Z}/2). For any section, we have \varphi([E'])=([E],\beta) for some \beta \in H_2(X;{\mathbb Z}/2). We claim that the section can be chosen so that \beta =0, namely so that \varphi([E'])=([E],0).

Let \gamma \in H^1(S_E;{\mathbb Z}/2) be the Poincaré dual of [E'] \in H_2(S_E;{\mathbb Z}/2). According to the Gysin sequence (?), f(\gamma) =1 in H^0(E;{\mathbb Z}/2)\cong {\mathbb Z}/2. This holds since the intersection number [E']\cdot [F] =1 in S_E, where [F] \in H_1(S_E;{\mathbb Z}/2) is the homology class of the circle fiber.

As previously observed, homotopy classes of sections of S_E are in one-to-one correspondence with elements in H^1(E;{\mathbb Z}_w). Let r \colon H^1(E;{\mathbb Z}_w)\to H^1(E;{\mathbb Z}/2) be the map obtained by reducing coefficients mod 2, and note that this map is surjective. The group H^1(E;{\mathbb Z}_w) acts on H^1(S_E;{\mathbb Z}/2) by \xi \cdot \gamma = \gamma + p^*(r(\xi)), where \xi \in H^1(E;{\mathbb Z}_w) and \gamma \in H^1(S_E;{\mathbb Z}/2). Note that the action is transitive on the fiber f^{-1}(1) of (?). Thus every element \gamma \in H^1(S_E;{\mathbb Z}/2) with f(\gamma)=1 is the Poincaré dual of the image [E'] of some section of S_E. Correspondingly, every element in \varphi_1^{-1}([E]) \subset H_2(S_E;{\mathbb Z}/2) is the image of some section. In particular, applied to the element \alpha \in H_2(S_E;{\mathbb Z}/2) with \varphi(\alpha) =([E],0), this shows that \alpha can be represented by a section. This proves the claim.

Let [E'] be the image of a section of S_E with \varphi([E']) =([E],0). Then E' is a compact surface embedded in S_E homeomorphic to E. Let \varphi \colon S_E \to BO be the classifying map for the normal bundle of the embedding of E' in S_E.

Since BO={\mathbb R}{\rm P}^\infty = K({\mathbb Z}/2,1), the set of homotopy classes [S_E,{\mathbb R}{\rm P}^\infty] is isomorphic to H^1(S_E;{\mathbb Z}/2). Since S_E is compact, the image of \varphi must lie in {\mathbb R}{\rm P}^N \subset {\mathbb R}{\rm P}^\infty for some N. By the claim, \varphi extends to a map \varphi \colon X \to {\mathbb R}{\rm P}^N, which we can choose to be transverse to the codimension one submanifold {\mathbb R}{\rm P}^{N-1} \subset {\mathbb R}{\rm P}^N. Taking V' = \varphi^{-1}({\mathbb R}{\rm P}^{N-1}), it follows that V' is a compact 3-manifold in X with \partial V' = E'. The manifold V is obtained from V' by attaching a cylinder in N_E which connects E and E'.

By adding half-twisted bands, we can find a spanning surface F' such that e(F')=0. Since S is orientable, e(S)=0, and it follows that e(E)=e(F')+e(S)=0.

Since W is a handlebody, we see that H_2(W\times I; {\mathbb Z}/2)=0. Thus [E']=0. The result now follows from Theorem 2.1.

As before, by adding half-twisted bands, we can arrange that e(E)=0.

Consider the long exact sequence in homology for the triple (W \times I, \Sigma \times I, K):

The spanning surface F gives an element [F] \in H_2(\Sigma \times I, K;{\mathbb Z}/2), which maps to [K] \in H_1(K;{\mathbb Z}/2) under the long exact sequence of the pair (\Sigma \times I, K). The homology group H_2(\Sigma \times I, K;{\mathbb Z}/2) is isomorphic to the Klein four-group {\mathbb Z}/2 \times {\mathbb Z}/2, and there are exactly two elements in H_2(\Sigma \times I, K;{\mathbb Z}/2) that map to [K]. Both occur as the homology class of a spanning surface for K.

The slice disk D in W \times I gives an element [D] \in H_2(W \times I, K;{\mathbb Z}/2) which also maps to [K] \in H_1(K;{\mathbb Z}/2) under the long exact sequence of the pair (W \times I, K). Thus, E=F \cup D has [E]=0 in H_2(W \times I;{\mathbb Z}/2) provided that [D] pulls back under i_* in (Proof) to a class in H_2(\Sigma \times I, K;{\mathbb Z}/2).

By exactness of (Proof), we see that [D] pulls back if and only if it lies in the kernel of j_*. Thus, the obstruction is the element j_*([D]) in

where the first isomorphism follows from (W \times I, \Sigma \times I) \simeq (W, \Sigma) and the second from Poincaré duality. The corresponding element \gamma \in H^1(W;{\mathbb Z}/2) determines a homomorphism H_1(W;{\mathbb Z}) \to {\mathbb Z}/2.

Let \widetilde{W} be the associated two-fold cover of W. Then since \pi_1(\Sigma) lies in the kernel of \gamma, it restricts to the trivial cover on \Sigma. Therefore, it has two copies of \Sigma in its boundary. Attach a handlebody to one of them to get a 3-manifold with boundary \Sigma. Consider now the knot K and spanning surface F in the (thickening of the) boundary of \widetilde{W}. The disk D lifts to a slice disk \widetilde{D} in \widetilde{W} \times I. Notice [\widetilde{D}] maps to zero under the map H_2(\widetilde{W} \times I, K;{\mathbb Z}/2) \to H_2(\widetilde{W} \times I, \Sigma \times I;{\mathbb Z}/2).

The result now follows from Theorem 2.1.

Let i\colon E\to V be the inclusion map. First assume V is orientable. Then by [Bredon, VI, Theorem 10.4] and/or [Hatcher-2007, Lemma 3.5], \,{\rm dim}\,(\,{\rm Ker}\,i_{*})=\frac{1}{2} \,{\rm dim}\,(H_1(E;{\mathbb Q})). By a Mayer-Vietoris argument, H_1(F; {\mathbb Z})\cong H_1(E; {\mathbb Z}), and by the Universal Coefficient Theorem, H_1(E; {\mathbb Z})\otimes {\mathbb Q}\cong H_1(E; {\mathbb Q}), and the conclusion follows in this case.

Now assume V is not orientable. If i_{*}\colon H_1(E;{\mathbb Z}/2)\to H_1(V;{\mathbb Z}/2), then \,{\rm dim}\,(\,{\rm Ker}\,i_{*}) =\frac{1}{2} \,{\rm dim}\,(H_1(E;{\mathbb Z}/2)). We can choose a generating set \{\gamma_1, \ldots, \gamma_{2g}\} for H_1(F; {\mathbb Z}), such that the mod 2 reduction of \{\gamma_1, \ldots, \gamma_{g}\} generates \,{\rm Ker}\,i_{*}, so they must all be mapped to torsion elements in H_1(V;{\mathbb Z}), and therefore, they all lie in the kernel of the map H_1(F;{\mathbb Z}) \to H_1(V;{\mathbb Q}).

By Theorem 2.3 there is a slice disk D\subset W\times I for some 3-manifold W such that E=F\cup D bounds a 3-manifold V\subset W\times I. Now by Lemma 3.1, we have a set \{ \gamma_1, \ldots, \gamma_{2g}\} of generators for H_1(F;{\mathbb Z}) such that \gamma_1, \ldots, \gamma_{g} lie in the kernel of the map H_1(F;{\mathbb Z}) \to H_1(V;{\mathbb Q}). Let U be the subgroup of H_1(F;{\mathbb Z}) generated by \gamma_1, \ldots, \gamma_{g}. For any a\in U, there is a surface A with boundary a multiple of a. Now suppose b\in U, and B is a surface with boundary a multiple of b. We have

Let N(V) be a tubular neighborhood of V in W \times I. Then N(V) is a (possibly twisted) I-bundle over V with boundary \partial N(V) a \{\pm 1\}-bundle over V. If p\colon N(V) \to V is the projection map, then p^{-1}(A) \cap \partial N(V) gives a surface \widetilde{A} in W \times I with boundary \tau a. (In fact, p|_{\widetilde{A}}\colon \widetilde{A} \to A is a two-fold covering.) Notice that \widetilde{A} and B are disjoint, hence the intersection \widetilde{A} \cdot B =0. Thus, \operatorname{\ell{\it k}}(\tau a,b) = \widetilde{A} \cdot B = 0. A similar argument shows that \operatorname{\ell{\it k}}(\tau b,a)=0. Thus \mathcal G_{F}(a,b)=0 for a,b \in U. Hence U is a totally isotropic subspace for the Gordon-Litherland pairing. Equation (?) gives the inequality:

but since \dim U = \tfrac{1}{2} \dim H_1(F;{\mathbb Z}) in our case, it follows that |\operatorname{sig} (\mathcal G_{F})|\leq n(K,F).

Now the self-intersection number of E, which is the normal Euler number of E, vanishes. To calculate the self-intersection number of E, we push a copy of E off itself. Since the slice disk D is orientable, we can push it off so there are no self-intersection points over the slice disk. Therefore, the intersection number is -\operatorname{\ell{\it k}}(K,K')=e(F,K)=0. It follows that |\operatorname{sig}\mathcal G_F|=|\sigma(K,F)|\leq n(K,F).

Choose a slice disk D\subset W\times I as in the proof of Theorem 3.2. Let \{\gamma_1, \ldots, \gamma_{2g}\} be a basis for H_1(F; {\mathbb Z}), obtained by Lemma 3.1. Then by Theorem 3.2, the matrix of \mathcal G_{F} with respect to this basis has the form \begin{bmatrix} 0&A \\ A^\mathsf{T} & B \end{bmatrix}, where A,B are g\times g matrices. Then

We divide both sides by x^g, and in the remaining equation put x=0, it follows that

therefore, \det (K,F) is a perfect square.

Let k= g(S). Since E=F \cup S bounds a 3-manifold, it follows that H_1(F; {\mathbb Z}) has even rank, say 2h. Furthermore, since S is orientable, F has normal Euler number e(F)=e(E)=0. In the case k \geq h, then the conclusion follows trivially from the fact that |\sigma(K,F)|=|\operatorname{sig} \mathcal G_F|\leq 2h. Therefore, we can assume that k<h.

We can repeat the proof of Lemma 3.1, to show that there is a generating set \{\gamma_1, \ldots, \gamma_{2h}\} for H_1(F; {\mathbb Z}) such that \gamma_1, \ldots, \gamma_{h-k} lie in the kernel of the map H_1(F;{\mathbb Z}) \to H_1(V;{\mathbb Q}).

For a symmetric bilinear form with rank r, signature \sigma, and nullity n, by ?, any totally isotropic subspace has rank at most (r-|\sigma|+n)/2. Hence

and the conclusion follows.

Using Lemma 6 of [Boden-Karimi-2020], we see that K admits a positive definite and negative definite spanning surface. Since there are only two S^*-equivalence classes of surfaces, it follows that one of the definite spanning surfaces is S^*-equivalent to F and the other is S^*-equivalent to F^*. In particular, since \det(K,F) depends only on the S^*-equivalence class of F, it follows that \det(K,F)\neq 0 and \det(K,F^*)\neq 0.

Arguing as in the proof of Theorem 19 of [Boden-Karimi-2020], we see that |\sigma(K,F)-\sigma(K,F^*)| =2g. We then apply ? to conclude that K is not slice.

If u'\in U is another element with [u']=[u], then u'=u+2v for some v\in U. It follows that

This shows that \varphi is well-defined.

Next, we show that \varphi is a {\mathbb Z}/4 quadratic form (V,\mathpalette\mathbin{\vcenter{\hbox{\scalebox{\,}{.55}}}}). If [u],[v]\in V, let u,v \in U be chosen so that they map to [u],[v] under reduction mod 2. Then

The claim now follows.

Fix a basis \{e_1,\ldots, e_n\} for U. For an element u\in U, by abuse of notation, denote the coordinate of u with respect to the basis (an n\times 1 column) also by u.

Let B,B' be the symmetric bilinear forms on U determined by M,M', respectively. Since they are unimodular congruent, we have M'=P^{\mathsf{T}}MP for some unimodular matrix P.

Then

It follows that

where \Phi\colon V\to V is given by \Phi([u])=[Pu]. Since P is unimodular, \Phi is an isomorphism. Thus \varphi_{M'}=\varphi_{M} \circ \Phi, and by [Brown, Definition 1.19], we see that \varphi_{M} and \varphi_{M'} are isomorphic. The result now follows from [Brown, Theorem 1.20, (i)].

Let g =g(\Sigma) be the genus of \Sigma. As in the proof of [Boden-Chrisman-Karimi-2021, Theorem 4.1], we can choose a basis for H_1(F';{\mathbb Z}) such that the Gordon-Litherland matrix has block decomposition

where A is the n \times n matrix for the restriction of \mathcal G_{F} to \operatorname{Ker} (H_1(F;{\mathbb Z}) \to H_1(\Sigma \times I;{\mathbb Z})), and

is the standard 2g \times 2g symplectic matrix representing the intersection form on \Sigma. (Here I_g denotes the g \times g identity matrix.)

The matrix in (Proof) is unimodular congruent to one of the form:

Therefore, by Lemma 4.2, it follows that {\upbeta}(\varphi_{F'}) = {\upbeta}(\varphi_{M})={\upbeta}(\varphi_{M'}).

A non-singular {\mathbb Z}/4 quadratic form \phi \colon V \to {\mathbb Z}/4 is said to be metabolic if there exists a half-dimensional subspace H \subset V such that \phi vanishes on H. (In [Matsumoto, § 4], this is defined as split.) By [Matsumoto, Lemma 4.1], if \phi is metabolic, then {\upbeta}(\phi)=0. Since the Brown invariant is additive under orthogonal sum, and since the quadratic form associated to

is clearly metabolic,

it follows that {\upbeta}(\varphi_{M'})={\upbeta}(\varphi_A). However, \varphi_A is equal to the restricted {\mathbb Z}/4 quadratic form \varphi|_{\mathcal K_F}, and the result now follows.

The proof follows from Theorem 4.9 and [Boden-Chrisman-Karimi-2021, Lemma 5.3].

If K is slice, then Theorem 3.2 implies that the Gordon-Litherland pairing is metabolic, namely that \mathcal G_F vanishes on a half-dimensional subspace U of H_1(F;{\mathbb Z}). It follows that \varphi_F must vanish on the image of U under the mod 2 projection H_1(F;{\mathbb Z}) \to H_1(F;{\mathbb Z}/2). The image is again a half-dimensional subspace of H_1(F;{\mathbb Z}/2).

Theorem 1.20 (ix) in [Brown] implies that the Brown invariant vanishes on any non-singular, metabolic quadratic space (see also [Matsumoto, Lemma 4.1]). Therefore, {\upbeta}(\varphi_F)=0. Since e(F,K)=0, it follows that {\upbeta}_{F}(K)=0.

By [Boden-Chrisman-Karimi-2021, Proposition 5.7], \mathcal G_{L^*,F^*} = - \mathcal G_{L,F}, and e(F^*,L^*) = -e(F,L). The result now follows from Definition 4.3 and [Brown, Theorem 1.20, (iii)]. A similar argument shows that \mathcal G_{L^\dag,F^\dag} = - \mathcal G_{L,F}, and e(F^\dag,L^\dag) = -e(F,L), and the formula for {\upbeta}_{F^\dag}(L^\dag) follows.

By the definitions of q_{K,F} and \varphi_{F}, we see that \varphi_{F}=2q_{K,F}. The result then follows from [Brown, Theorem 1.20, (vii)].

Define \Theta on H_1(F_0;{\mathbb Z})\oplus H_1(F_1;{\mathbb Z}) as follows

By Lemma 5.2, and similar to the proof of Theorem 3.2, \gamma_1, \ldots, \gamma_{m_0},\gamma'_1,\ldots,\gamma'_{m_1} generate a totally isotropic subspace for \Theta. Since the nullity of \Theta is zero, it follows that

so 0=\operatorname{sig}\Theta=-\operatorname{sig}\mathcal G_{F_0}+\operatorname{sig}\mathcal G_{F_1}, which implies \operatorname{sig}\mathcal G_{F_0}=\operatorname{sig}\mathcal G_{F_1}.

Again, the self-intersection number of E vanishes. The self-intersection number of E equals

It follows that e(F_0,K_0)=e(F_1,K_1), and \sigma(K_0,F_0)=\sigma(K_1,F_1).

Consider the mod 2 reduction of the form \Theta defined in the proof of Theorem 5.3. Now define \Phi:H_1(F_0;{\mathbb Z}/2)\oplus H_1(F_1;{\mathbb Z}/2) \to {\mathbb Z}/4, as \Phi([a],[b])\equiv -\mathcal G_{F_0}(a,a)+\mathcal G_{F_1}(b,b)\text{ (mod4)}. We can check that \Phi is a quadratic enhancement, and we can define {\upbeta}(\Phi).

Similar to Theorem 4.12, we deduce that {\upbeta}(\Phi)=0. Notice that the Brown invariant is additive, and that {\upbeta}(-\varphi)\equiv -{\upbeta}(\varphi) \text{ (mod8)}. The result now follows.

We can arrange that e(F_0,K_0)=e(F_1,K_1), so e(E)=0. Since [E]=0, then Theorem 2.1 implies that there exists a compact 3-manifold V\subset W\times I with \partial V=E. The result now follows.