Contractibility of the complex of incompressible Seifert surfaces: the knot case of Kakimizu's problem

Abstract

Let $K \subset S^3$ be a non-trivial knot and let $IS(K)$ be the simplicial complex whose vertices are the ambient isotopy classes of incompressible Seifert surfaces in the exterior $E(K)$, a finite set of distinct vertices spanning a simplex exactly when its classes admit simultaneously pairwise disjoint representatives. Kakimizu proved that $IS(K)$ is connected; whether it is contractible was asked by Przytycki and Schultens, who also identified the obstruction, namely that the projection used in the connectedness proof is not known to be well defined on isotopy classes. We prove that $IS(K)$ is contractible, and likewise every truncation $IS_\ell(K)$ on the vertices of genus at most $\ell$. The argument factors through a purely combinatorial theorem: every non-empty connected flag exchange complex is contractible, where an exchange complex carries a complexity function subject to two axioms which require only that an exchanging vertex exist, never that one be selected. That is what circumvents the obstruction. We locate the combinatorial theorem precisely against the existing literature -- it is not implied by dismantlability, and, when all descending links are finite, it follows from Zaremsky's descending-link criterion by a reindexing (Section 7.4) -- and we record what remains genuinely open. Two extensions are proved: the truncations above, and the case of links satisfying a linking condition that forces every spanning surface to be connected.