The F-conjecture for moduli spaces of stable curves

Let Mg,n\overline{\mathcal{M}}_{g,n} be the moduli space of stable curves, and let an F-curve be a one-dimensional codimension-3g4+n3g-4+n boundary stratum. A line bundle is F-nef if it has nonnegative intersection with every F-curve, and F-ample if it has positive intersection with every F-curve. F-conjecture. A line bundle on Mg,n\overline{\mathcal{M}}_{g,n} is nef if and only if it is F-nef. Equivalently, it is ample if and only if it is F-ample. This conjecture would completely determine the F-cone of Mg,n\overline{\mathcal{M}}_{g,n}; the source attributes it to Gibney, Keel, and Morrison and says it is a conjecture, without giving a resolution.

Sources & referencesView supporting material

Primary source

Daebeom Choi, “Conformal Block Divisors for Discrete Series Virasoro VOA Vir_2k+1,2”, arXiv:2502.21270 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.