Spanning surfaces in 3-graphs

Abstract

We prove a topological extension of Dirac's theorem suggested by Gowers in 2005: for any connected, closed surface $\mathcal{S}$, we show that any two-dimensional simplicial complex on $n$ vertices in which each pair of vertices belongs to at least $n/3+o(n)$ facets contains a homeomorph of $\mathcal{S}$ spanning all the vertices. This result is asymptotically sharp, and implies in particular that any 3-uniform hypergraph on $n$ vertices with minimum codegree exceeding $n/3+o(n)$ contains a spanning triangulation of the $2$-sphere.

33 pages, 6 figures

References in corpus (1)

• Forcing large tight components in 3-graphs