Exchange complexes and contractibility of the complex of incompressible Seifert surfaces
Let $K\subset S^3$ be a non-trivial knot and let $\mathrm{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 repre...