## Seifert surfaces of torus knots

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Does anyone know a nice description of a Seifert surface of a torus knot? I can construct such surfaces in band projection, but what I get is ugly and unwieldy. Is there some elegant description for Seifert surfaces for such knots which I'm missing? (I'm not sure precisely what I mean by elegant...)

-

## 3 Answers

There's the usual description of the Seifert surface for a general cable obtained by taking copies of a Seifert surface for the knot and a fiber for the cable in the solid torus. See Ken Baker's discussion.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

This picture--for a (7,2) torus knot--shows a geometric pattern you can extend to any (n,2) torus knot.

The image is part of Figure 18 in the visually rich paper by Jarke van Wijk and Arjeh Cohen: "Visualization of the Genus of Knots." Proceedings IEEE Visualization 2005.

You can even download the SeifertView software they used to generate the picture.

-

Beautiful! Gets my +1. – Joel Fine Nov 25 2009 at 16:20

Torus knot complements fiber over $S^1$. So the minimal Seifert surface for a $(p,q)$-torus knot is a once punctured surface of genus $\frac{(p-1)(q-1)}{2}$. You get it as the Milnor fibre of the map from $\mathbb C^2 \to \mathbb C$ given by $f(z_1,z_2)=z_1^p-z_2^q$.

That's pretty elegant to me. The monodromy is an automorphism of the surface of order $pq$, it is a free action except on two orbits -- one orbit has $p$ elements, the other orbit has $q$ elements.

These details are mostly in Milnor's "Singular points of complex hypersurfaces", also Eisenbud and Neumann's "Three-dimensional link theory and invariants of plane curve singularities". I also have a sketch of it in my JSJ-decompositions paper, on the arXiv. I got the idea for this computation by fleshing out an example of Paul Norbury's (from Walter Neumann's canonical decompositions paper on his webpage).

I'd like to add, Eisenbud and Neumann describe the Seifert surfaces of all knots whose complements are graph manifolds in this way. Well, the ones that fibre. They also characterise the knots with graph manifold complements that fiber over S^1.

edit: alternatively you could construct the Seifert surface and monodromy from the Seifert-fiber data, as I sketch in this thread: http://mathoverflow.net/questions/7746/periodic-mapping-classes-of-the-genus-two-orientable-surface/7747#7747

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 8, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8903761506080627, "perplexity_flag": "middle"}