Matroid Stratifications of Hypergraph Varieties, Their Realization Spaces, and Discrete Conditional Independence Models

We study varieties associated to hypergraphs from the point of view of projective geometry and matroid theory. We describe their decompositions into matroid varieties, which may be reducible and can have arbitrary singularities by the Mnëv–Sturmfels universality theorem. We focus on various families of hypergraph varieties for which we explicitly compute an irredundant irreducible decomposition. Our main findings in this direction are three-fold: (1) we describe minimal matroids of such hypergraphs; (2) we prove that the varieties of these matroids are irreducible and their union is the hypergraph variety; and (3) we show that every such matroid is realizable over real numbers. As corollaries, we give conceptual decompositions of various, previously studied, varieties associated with graphs, hypergraphs, and adjacent minors of generic matrices. In particular, our decomposition strategy gives immediate matroid interpretations of the irreducible components of multiple families of varieties associated to conditional independence models in statistical theory and unravels their symmetric structures which hugely simplifies the computations.