The Complex of Hypersurfaces in a Homology Class
For a compact oriented smooth -manifold and a codimension- homology class , we investigate a simplicial complex relating the properly embedded hypersurfaces in representing . Its definition is akin to that of other classical complexes, such as the curve complex of a surface or the Kakimizu complex of a knot, with the difference that hypersurfaces are not taken up to isotopy. We prove that is connected and simply connected in every dimension . We also show connectedness of a similar complex adapted to the -dimensional case, where only Thurston norm-realizing surfaces are considered. The connectedness results are transported to the complexes where hypersurfaces are taken up to isotopy, and for the simple connectedness result carries over as well. We also briefly discuss extensions to a context studied by Turaev, where regular graphs in -complexes are used to represent -dimensional cohomology classes. We finish with two applications: we give an alternative proof of the fact that all Seifert surfaces for a fixed knot in a rational homology sphere are tube-equivalent, and we use connectedness of to define a new -invariant of -dimensional homology classes in irreducible and boundary-irreducible oriented compact connected -manifolds with empty or toroidal boundary.