A 2018 paper proves a unique 4-manifold with a boundary homotopy equivalent to a sphere but no simplicial embedding.
problem Existence of a specific type of embedding in a 4-manifold.
method Proof of existence of a 4-manifold with boundary homotopy equivalent to a sphere but no simplicial embedding.
result A compact smooth 4-manifold with boundary homotopy equivalent to a sphere but no simplicial embedding.