Spanning Spheres in Dirac Hypergraphs

We show that a k-uniform hypergraph on n vertices has a spanning subgraph homeomorphic to the (k - 1)-dimensional sphere provided that H has no isolated vertices and each set of k - 1 vertices supported by an edge is contained in at least n/2 + o(n) edges. This gives a topological extension of Dirac's theorem and asymptotically confirms a conjecture of Georgakopoulos, Haslegrave, Montgomery, and Narayanan. Unlike typical results in the area, our proof does not rely on the Absorption Method, the Regularity Lemma or the Blow-up Lemma. Instead, we use a recently introduced framework that is based on covering the vertex set of the host graph with a family of complete blow-ups.