The F-conjecture for F-curves on moduli spaces of stable curves

Let Mg,n\overline{\rm{M}}_{g,n} be the moduli space of stable curves of genus gg with nn marked points. An F-curve is an irreducible component of the one-dimensional boundary stratum, and its cycle class is a curve class in NE1(Mg,n)\overline{\text{NE}}_1(\overline{\rm{M}}_{g,n}).

F-conjecture. The cone NE1(Mg,n)\overline{\text{NE}}_1(\overline{\rm{M}}_{g,n}) is generated by the cycle classes of F-curves. Equivalently, a line bundle on Mg,n\overline{\rm{M}}_{g,n} is nef if and only if its intersection number with each F-curve is nonnegative.

This is the same F-conjecture stated in the paper's preliminary discussion, expressing the expected characterization of nef line bundles by their intersections with F-curves. The source gives no evidence of a resolution.

Sources & referencesView supporting material

Primary source

Daebeom Choi, “Line bundles on Contractions of M_0,n via Coinvariant Divisors”, arXiv:2404.10860 (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.