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.

An alternating knot is a knot admitting an alternating knot diagram. A nonalternating diagram can still represent an alternating knot; the property of the knot is existential over its diagrams.

A link diagram is alternating if overpassing and underpassing crossings alternate along every component. Its checkerboard smoothing choices are consistent across all crossings of a connected projection. An alternating knot diagram is the one-component case.

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

Take the twist knot whose standard diagram has $2020$ half-twists in its twist region and two crossings in its clasp. Every nontrivial twist knot has Seifert genus one. This diagram is a reduced alternating knot diagram, so the Tait crossing-number theorem says that its $2020+2=2022$ crossings realize the crossing number of a knot. Thus this knot has $g_s(K_2)=1$ and $c(K_2)=2022$.

The Tait conjectures concern reduced alternating knot diagrams: they minimize the crossing number of a knot, have an invariant diagram writhe, and are related by flypes. These formerly conjectural assertions are now theorems; the first is the Tait crossing-number theorem.

The trefoil is the torus knot $T_{2,3}$. It is the simplest nontrivial knot by crossing number of a knot: $c(T_{2,3})=3$. A standard three-crossing alternating knot diagram is reduced, so the Tait crossing-number theorem establishes minimality. The four-crossing knot diagram shown below also represents the trefoil knot, illustrating that a particular projection need not achieve that minimum. Its Seifert genus is one.

Here is a small algebraic certificate that a trefoil knot cannot be deformed into an unknot. One Seifert matrix for a trefoil knot isTaking the determinant gives the Alexander polynomial of a knotwhere $\doteq$ allows multiplication by a Laurent unit $\pm t^n$ in the Laurent polynomial ring. No such multiplication turns this three-term Alexander polynomial of a knot into the unknot's value $1$. Since the Alexander polynomial of a knot is a knot invariant, this computation rules out every possible ambient isotopy between the two knots; it does not merely rule out the deformations we happened to try.

The knot group supplies another certificate. The presentation $⟨a,b\mid a^2=b^3⟩$ maps onto the symmetric group $S_3$ by $a\mapsto (12)$ and $b\mapsto (123)$, since both sides of the relation map to the identity. These images generate a non-abelian group, so the knot group cannot be the unknot's infinite cyclic group. However, a trefoil knot and its mirror of a link have isomorphic knot groups: the abstract knot group alone does not distinguish all knots.