The F-conjecture for divisors on \mathcal{X}_{n+2,$n-2$}

Let $S$ be the indexing set used in the source, and let $\mathcal{X}_{n+2,(n-2)}$ be the corresponding space. For a divisor $D$ of the form given in the source, define the intersection expressions $A_{G,J,L}$ and $B_{I,G,J,L}$ for partitions of $S$. The divisor is F-nef when

$$A_{G,J,L}\geq 0, \qquad B_{I,G,J,L}\geq 0$$

for every partition $G\sqcup J\sqcup L=S$ and $I\sqcup G\sqcup J\sqcup L=S$, respectively. The F-conjecture. Such a divisor is nef if and only if these F-nef inequalities hold.

This is the specialization of the F-conjecture to the stated blow-up model and translates nonnegative intersection with the relevant F-curves into explicit inequalities. The general F-conjecture is not known in full.