Independent sets in algebraic hypergraphs

  • Anton Bernshteyn

    Georgia Institute of Technology, Atlanta, USA
  • Michelle Delcourt

    Ryerson University, Toronto, Canada
  • Anush Tserunyan

    McGill University, Montreal, USA
Independent sets in algebraic hypergraphs cover
Download PDF

This article is published open access under our Subscribe to Open model.


In this paper we study hypergraphs definable in an algebraically closed field. Our goal is to show, in the spirit of the so-called transference principles in extremal combinatorics, that if a given algebraic hypergraph is “dense” in a certain sense, then a generic low-dimensional subset of its vertices induces a subhypergraph that is also “dense.” (For technical reasons, we only consider low-dimensional subsets that are parameterized by rational functions.) Our proof approach is inspired by the hypergraph containers method, developed by Balogh, Morris, and Samotij and independently by Saxton and Thomason (although adapting this method to the algebraic setting presents some unique challenges that do not occur when working with finite hypergraphs). Along the way, we establish a natural generalization of the classical dimension of fibers theorem in algebraic geometry, which is interesting in its own right.

Cite this article

Anton Bernshteyn, Michelle Delcourt, Anush Tserunyan, Independent sets in algebraic hypergraphs. J. Eur. Math. Soc. 24 (2022), no. 1, pp. 1–35

DOI 10.4171/JEMS/1082