Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Given a knot in the 3-sphere in Bridge Position you can find a presentation for the fundamental group of the complement (a Wirthinger presentation) containing $n$ generators and $n-1$ relators, where $n$ is the number of bridges in the presentation.

The bridge index of the knot is the minimal number of bridges it takes to present the knot. Is that the same as the minimal number of generators among all presentations of the fundamental group of the knot complement?

I imagine this is well known but after a while of Googling around and looking through Neuwirth's "Knot Groups" book I haven't found where this question is addressed.

share|improve this question

3 Answers 3

up vote 10 down vote accepted

The (p,q) torus knot has a presentation with two generators, namely $\langle x,y \mid x^p = y^q\rangle$, but if $p,q>2$ then it's non-alternating and so it must have bridge index greater than 2.

share|improve this answer

The existence of such examples is proved in a preprint of Jesse Johnson. He proves that for any $n$, there is a tunnel number 1 knot which has bridge number at least $n$. A tunnel number one knot complement has a Heegaard surface of genus 2, which splits the knot complement up into a genus 2 handlebody and a genus 2 compression body with a torus boundary corresponding to the boundary of a regular neighborhood of the knot. Thus tunnel number 1 knots are 2-generator (and in fact with 1 relation), so this answers your question.

share|improve this answer
    
Thanks Steven and Ian. –  Ryan Budney Jul 24 '12 at 22:10
3  
Steven Sivek's answer is much more elementary than the reference I gave, in fact torus knots have bridge numbers $\to \infty$, yet are tunnel number 1. The point of Jesse's construction is that he gave hyperbolic examples with this property. –  Ian Agol Jul 24 '12 at 22:10
    
Okay, I'll give Steven the checkmark then. –  Ryan Budney Jul 24 '12 at 22:11
    
Where do the lower bounds on the bridge numbers of torus knots come from? –  Ryan Budney Jul 24 '12 at 22:39
3  
A little Googling later I found in Jennifer Schulten's paper "Brige numbers of torus knots" that the bridge number of the $(p,q)$ torus knot is the minimum of $p$ and $q$, nice. And this is due to Schubert. –  Ryan Budney Jul 24 '12 at 22:43

It is not a problem, but this is a problem.

A question posed by Cappell and Shaneson asks whether the bridge number of a given link equals the minimal number of meridian generators of its group.

http://ccms.claremont.edu/topology-seminar/Bridge-numbers-links-and-meridian-ranks-link-groups

share|improve this answer
    
Thanks for pointing that out. –  Ryan Budney Jul 25 '12 at 4:32
    
This is also problem 1.11 in Kirby's list, attributed therein to Cappell and Shaneson. –  drvitek Oct 9 '13 at 4:30

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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