Morimoto's conjecture on Heegaard genus under connected sum

From papers

Let K1K_1 and K2K_2 be knots in the 3-sphere S3S^3. Write K1#K2K_1\#K_2 for their connected sum, let t(K)t(K) denote the tunnel number of a knot, let E(K)E(K) denote its exterior, and let g(E(K))g(E(K)) denote the Heegaard genus of its exterior. A knot KK in a closed orientable manifold admits a (g,n)(g,n) position if it lies with nn arcs simultaneously parallel into the boundary of each handlebody of some genus-gg Heegaard splitting.

Morimoto's conjecture. The inequality

g(E(K1#K2))<g(E(K1))+g(E(K2))g(E(K_1\#K_2))<g(E(K_1))+g(E(K_2))

holds if and only if, for i=1i=1 or i=2i=2, KiK_i admits a (t(Ki),1)(t(K_i),1) position.

Morimoto proved the converse implication when K1K_1 and K2K_2 are m-small knots. The paper exhibits counterexamples in general, so the conjecture is refuted; the later prime-knot restriction is a distinct refinement.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Tsuyoshi Kobayashi and Yo'av Rieck, “Knots with g(E(K)) = 2 and g(E(K#K#K)) = 6 and Morimoto's Conjecture”, arXiv:math/0701766 (2007).

Solutions 0

No solutions have been posted yet.