arXiv++ Combinatorics

The F-conjecture gives a conjectural description of the ample cone of the Deligne-Mumford moduli space $\overline{M}_{g,n}$. We prove that the $S_n$-symmetric and the non-symmetric F-conjectures are equivalent. We also prove the Strong F-conjecture for $\overline{M}_{0,8}$ (and give an alternative proof for $\overline{M}_{0,7})$. Finally, we derive, as a consequence, the F-conjecture for the moduli space of stable curves $\overline{M}_{g}$ up to genus $g\leq 44$.

We develop new characteristic-independent combinatorial criteria for semiampleness of divisors on $\overline{M}_{0,n}$. As an application, we associate to a cyclic rational quadratic form satisfying a certain balancedness condition an infinite sequence of semiample line bundles. We also give several sufficient and effective conditions for a symmetric divisor on $\overline{M}_{0,n}$ to be semiample or nef.