2
$\begingroup$

Let $(p,q)$ be a pair of coprime (positive) integers. Consider the torus knot $T_{p,q}$. What is the minimal genus of an (embedded) oriented Seifert surface for this knot?

It is not had to convince oneself that in the simplest case $p =2$, there is a Seifert surface of genus $(q-1)/2$. I do not know whether that is optimal.

$\endgroup$
2
  • $\begingroup$ Yes. The slice genus for torus knots is $(p-1)(q-1)/2$ (this is the Milnor conjecture) and the Seifert genus is at least the slice genus. For torus knots this lower bound on the Seifert genus is sharp; you've verified the $p = 2$ case of this. $\endgroup$
    – dvitek
    Feb 13, 2015 at 2:34
  • $\begingroup$ This can be found on Wikipedia - see en.wikipedia.org/wiki/Torus_knot#Properties - so I am voting to close. $\endgroup$
    – Sam Nead
    Feb 13, 2015 at 12:08

3 Answers 3

7
$\begingroup$

One of the "classical" proofs involves the Alexander polynomial.

The knot group $\pi_1(S^3\setminus T_{p,q})$ has a presentation $\langle x,y \mid x^p = y^q\rangle$, and using Fox calculus one can quickly compute the Alexander polynomial to be $$\Delta_{T_{p,q}}(t) = \frac{(t^{pq}-1)(t-1)}{(t^p-1)(t^q-1)}.$$ The degree of the Alexander polynomial gives a bound on the genus, so we get $2g(T_{p,q})\ge\deg\Delta_{T_{p,q}} = (p-1)(q-1)$. Since this lower bound agrees with the upper bound given by Seifert's algorithm, you're done.

$\endgroup$
7
$\begingroup$

Here's another route: the standard picture of the torus knot is a positive braid, so applying Seifert's algorithm gives a minimal genus surface. There are (say) $p$ seifert circles and $q(p-1)$ crossings, so rearranging the Euler characteristic gives the genus as $(p-1)(q-1)/2$.

$\endgroup$
2
$\begingroup$

Another approach I got from the paper Fibered Links in $S^3$, available at https://doi.org/10.1016/j.exmath.2016.06.006.

Torus knots are algebraic, so they are fibered. It is known that the fiber surface of a fibered knot is the minimal genus Seifert surface. Example 3.2 of the aforementioned paper presents a fiber surface, hence the min genus Seifert surface, for the torus knot $T(p,q)$ as a blackboard framed embedding of the complete bipartite graph $K_{p,q}$ under a certain embedding in $S^3$. Here it is in the case $(p,q)=(3,4)$, Figure 6 from the paper.

A minimal genus Seifert surface -- and fiber surface -- for the torus knot T(3,4) is a blackboard framed embedding of the complete bipartite graph K_{3,4}

The Euler characteristic of such a surface is just $(p+q)-(pq)$. On the other hand, the surface has 1 boundary component so its Euler characteristic is $1-2g$ where $g$ is the genus. Thus $T(p,q)$ has genus $(p-1)(q-1)/2$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.