Suppose I have two distinct fibered knots in a homology sphere. Is it possible for them to have (orientation-preservingly) homeomorphic exteriors?



> 
> See [Oriented knot complement conjecture for fibered knots](https://mathoverflow.net/questions/196088/oriented-knot-complement-conjecture-for-fibered-knots) for another version of this question.
> 
> 
> 



Can two fibered knots have the same exterior?

> 
> Here we are assuming "distinct" means "non-isotopic".
> 
> 
> 


Here is an example, found using SnapPy: <http://www.math.uic.edu/t3m/SnapPy/>


Consider the SnapPea manifold M = Manifold('m390'). This has first homology group Z. We Dehn fill M along the slope (2,-3), via the command M.dehn\_fill((2,-3)). Note that the filled manifold is still called M. We check M.homology() to see M is a homology sphere. 


By examining M.length\_spectrum(2) we find M has a pair of geodesics of length 1.169 + 1.937\*I. Let's call these the "twins" K and K'. The twins are tied for second and third shortest curves in the manifold. 


We now look at the list M.dual\_curves(). These are the curves that SnapPy can drill for us. Luckily for us, the zeroth dual curve is one of the twins, K. So we drill K via N = M.drill(0). Just to be on the safe side, we take P = N.filled\_triangulation(). Now, P.identify() tells us that P is the SnapPea manifold v2869. If we check Nathan Dunfield's list 


<http://www.math.uiuc.edu/~nmd/snappea/tables/mflds_which_fiber>


we find that v2869 is fibered. So, K is a fibered knot in the homology sphere M. 


It is left to show that the complement of K' in M is homeomorphic to that of K. We examine P.length\_spectrum(). The second shortest curve has length 0.870 + 2.070\*I. This will be K'; its length has changed because we drilled K. Again we check the dual curves to find that K' can be drilled. [There is some junk in the collection of dual curves. I don't know why that happens?] So form Q = P.drill(2).


Now, if we fill either cusp of Q using the meridional slope (1,0), we get manifolds isomorphic to P. Here is the list of commands: 


* Q.dehn\_fill((1,0),0) # fill K
* P.is\_isometric\_to(Q) # check
* Q.dehn\_fill((0,0),0) # drill K
* Q.dehn\_fill((1,0),1) # fill K'
* P.is\_isometric\_to(Q) # check


Since the isometry checker returned true in both cases, we are done.


Just as a final remark - I found m390 by looking in the cusped census for homology solid tori, with symmetries, with fundamental group of rank at least three (according to SnapPy). The first requirement is because we want to fill to get a homology sphere. The second and the third help the twins appear.


