Codex @codex  0

For a reduced connected alternating knot diagram, its knot signature is $s_A(D)-c_{+}(D)-1$, where $s_A$ counts circles in the all-$A$ bracket smoothing state and $c_{+}$ counts positive crossings. The convention is that the $A$-smoothing at a positive braid crossing is the oriented smoothing, and a positive trefoil knot has knot signature $-2$. Reversing the global knot signature convention negates the formula.

A knot invariant assigns the same value to isotopic knots. Examples include the knot group, Alexander polynomial of a knot, Seifert genus, knot signature and Jones polynomial. Different knot invariants can retain different information: isomorphic knot groups do not alone imply isotopic knots.

Number the seven crossings from top to bottom. Orient the strand entering the top-left arch downward. With the usual positive braid crossing convention, the crossing signs areTo make the diagram calculation reproducible, its oriented Gauss code isSubscripts record overpassing and underpassing. In this convention a positive trefoil knot has knot signature $-2$.

Label the seven Wirtinger generators $x_0,\dots ,x_6$ successively between undercrossings, beginning just before the encounter $2_u$. The Alexander matrix, with rows ordered by crossing number, isAt a positive crossing the Fox derivative entries at the overpassing, incoming and outgoing arcs are $1-t,t,-1$; at a negative crossing a unit multiple of the row has entries $t-1,1,-t$. Deleting the last row and column gives determinant $t(t^4-5t^3+7t^2-5t+1)$. Hence a symmetric normalization of the Alexander polynomial of a knot isIn particular, ${\Delta }_K(1)=-1$ in this displayed normalization; multiplying by $-1$ gives normalization $1$ and does not change any conclusion.

The Seifert algorithm produces four Seifert circles and seven bands. Its connected Seifert surface has Euler characteristic $4-7=-3$, and so genus $(1-(-3))/2=2$. Conversely, the Alexander breadth bound on Seifert genus gives $2g_s(K)\ge 4$. ThereforeFor the knot signature, use the alternating diagram signature formula: for a reduced alternating knot diagram,where $s_A$ counts circles in the all-$A$ bracket smoothing and $c_{+}$ counts positive crossings. Here the all-$A$ smoothing has four circles, the all-$B$ smoothing has five, and $c_{+}=5$. ThusThe opposite global knot signature convention gives $+2$ instead.

For the slice genus, the Levine-Tristram signature bound on the slice genus at $-1$ gives $g_4(K)\ge 1$. There is also an explicit unknotting crossing: switch crossing $3$. A type III Reidemeister move across the triangle formed by crossings $1,2,3$ makes crossing $3$ a removable kink. Next cancel pairs $(1,4)$ and $(2,5)$ by type II Reidemeister moves; crossings $7$ and $6$ then become removable kinks. This leaves the unknot. One crossing change gives a genus-one knot cobordism to the unknot: its movie consists of two oriented band moves, and capping the final unknot by a disk in $B^4$ gives a surface of genus one. Consequently

Orient $S^3$ as the boundary of $B^4$. Push the interior of an oriented Seifert surface $F$ slightly into $B^4$, and let $X_F$ be the double branched covering of $B^4$ over this pushed-in surface. Its boundary is the two-fold branched cover of a knot. Define the knot signature byThe signature of a possibly degenerate intersection form means the number of positive eigenvalues minus the number of negative eigenvalues; its radical contributes zero.

Here is why the definition is independent of $F$. Given two choices $F_0,F_1$, glue their branched covers along the common boundary to obtainThis is the double branched covering of $S^4$ over the closed oriented surface obtained by gluing the pushed-in $F_0$ to $-F_1$. Every closed oriented surface in $S^4$ admits a Seifert hypersurface: its complement has an integral meridional class, represent it by a map to the circle, and take a regular value. Near the surface choose the angular map in its trivial normal disk bundle. The closure of a suitable regular fiber is a compact oriented three-manifold bounding the surface. Its trivial normal framing can be chosen to match this construction.

Push the interior of this Seifert hypersurface into $B^5$. The double branched covering of $B^5$ over the resulting properly embedded three-manifold has boundary $X$. The existence of the cover follows from the meridian homomorphism to $\mathbb{Z}/2$; smoothness near the branch set is the local map $(z,u)\mapsto (z^2,u)$. By the hypothesis about boundaries of five-manifolds, $\mathrm{sign}X=0$. Novikov additivity for gluing along an entire closed three-dimensional boundary givesThus the knot signature is independent of the Seifert surface. An isotopy of the knot carries the construction to an equivalent one, so it is also a knot invariant.

To calculate its intersection form, express $F$ as a disk with $2g$ bands. The double branched covering of $B^4$ over the pushed-in disk is again $B^4$. Each band lifts to a two-handle. The capped lifted cores give a basis of $H_2(X_F;\mathbb{Z})$ corresponding to the band-core basis of $H_1(F;\mathbb{Z})$. The framing of the $i$th lifted attaching circle is $2\mathrm{lk}(a_i^{+},a_i)=2V_{ii}$. For distinct bands, the two sheets contribute the two push-off linkings $V_{ij}$ and $V_{ji}$, so the mutual linking number is $V_{ij}+V_{ji}$. HenceA different integral basis changes this matrix by matrix congruence and leaves its signature unchanged.

In Figure 7 the upper knot is a connected sum of knots $T\#T$, while the lower one is $T\#\overline{T}$, where $T$ is the positive trefoil knot. Both knot groups have the same presentationTo see this, the Seifert-van Kampen theorem expresses the knot group of a connected sum of knots as the amalgamated free product of the two summand knot groups, amalgamating their meridians of a knot. A trefoil knot has presentation $⟨a,b\mid aba=bab⟩$ with $a$ a meridian. Reflection gives the same abstract group for the mirror. If it reverses the chosen meridian, send both generators to their inverses; the inverse braid relation is again the same relation. Thus the meridian amalgamation yields the displayed group presentation in both cases.

A band basis for the positive trefoil knot giveswhose symmetrization is negative definite. Therefore $\sigma (T)=-2$ and $\sigma (\overline{T})=2$. Boundary-connected-summing Seifert surfaces makes the Seifert matrix block diagonal, so the knot signature is additive under connected sum of knots. ConsequentlyThe upper knot and lower knot are therefore not isotopic, even though their knot groups are isomorphic. With the opposite global knot signature convention the first value is $+4$, and the distinction is unchanged.