On the topology of stable minimal hypersurfaces in a homeomorphic $S^4$

We construct stable minimal hypersurfaces with simple topology in certain compact $4$-manifolds $X$ with boundary, where $X$ embeds into a smooth manifold homeomorphic to $S^4$. For example, if $X$ is equipped with a Riemannian metric $g$ with positive scalar curvature, we prove the existence of a stable minimal hypersurface $M$ that is diffeomorphic to either $S^3$ or a connected sum of $S^2\times S^1$'s, ruling out spherical space forms in its prime decomposition. These results imply new theorems on the topology of black holes in four dimensions. The proof involves techniques from geometric measure theory and $4$-manifold topology.