arXiv++ Combinatorics

We show that one of the main cases of the stable forking conjecture, stability of the forking relation over a base in a finite-rank supersimple theory, is determined by finitely many pregeometries in each rank. This case of the stable forking conjecture has long had an implicitly well-known pregeometric interpretation: there is a set of matroids $\mathcal{G}_{n}$ such that the forking instability in rank $n$ is equivalent to the pregeometry on some rank-one partial type (over a finite set) embedding a matroid in $\mathcal{G}_{n}$. Our contribution is to show that this set of matroids $\mathcal{G}_{n}$, determining based forking stability in rank $n$, can be chosen to be finite. The main part of our proof was already accomplished in rank $3$ by Peretz, but does not extend as stated to higher ranks (and may or may not directly extend in a weaker sense to higher ranks, by shrinking terms). However, we obtain a sufficient substitute for Peretz's work in ranks $n > 3$: we turn Peretz's original universal result into an existence theorem. The rest of our proof refines an argument from multi-experiment parameter definability, originating from work in applied model theory by Li, Meshkat, Ovchinnikov, Pillay, Pogudin and Scanlon.

We observe that the definition of Shelah's classical $\mathrm{NSOP}_{n}$ hierarchy for first-order theories, for integers $n \geq 3$, can be restated so that it extends to the case where $n$ is replaced with any real number $r \geq 3$. Using this observation, we define a potentially larger family of properties $\mathrm{NSOP}_{r}$ for real numbers $r \geq 3$. Motivated by the question of whether the integer-valued and real-valued hierarchies are distinct, we translate these hierarchies into the setting of hereditary classes, obtaining a new real-valued quantity of independent combinatorial interest, $\mathfrak{o}(\mathcal{H})$, associated with any hereditary class $\mathcal{H}$. We show that, when $\mathcal{H}$ is defined by a finite family of forbidden weakly embedded substructures, $\mathfrak{o}(\mathcal{H})$ is an integer. While Malliaris implicitly showed that the properties $\mathrm{NSOP}_{n}$ are equivalent to closure under helix maps between graphs, both our observation that the properties $\mathrm{NSOP}_{n}$ can be restated so that $n$ can be replaced with any real number at least $3$, and our result that $\mathfrak{o}(\mathcal{H})$ is an integer when $\mathcal{H}$ is a hereditary class defined by a finite family of forbidden weakly embedded substructures, are even exhibited by a special class of helix maps, the interval helix maps. These are helix maps that respect the direction of edges, and whose regions are disjoint unions of linearly ordered sets without any edges between them. Toward showing the conjectural claim that $\mathfrak{o}(\mathcal{H})$ is not an integer in general, and therefore that the real-valued $\mathrm{NSOP}_{r}$ hierarchy is distinct from the integer-valued $\mathrm{NSOP}_{n}$ hierarchy at the level of hereditary classes, we show that the statement that $\mathfrak{o}(\mathcal{H})$ is an integer in general cannot be exhibited by interval helix maps.