Abstract:Using representations of vertex operator algebras, we describe the line bundles on a wide range of contractions of $\overline{\rm{M}}_{0,n}$, the moduli space of stable $n$-pointed rational curves, by proving a stronger version of the contraction theorem for these morphisms. These include the celebrated constructions of Kapranov, Keel, and Knudsen. Our main result suggests that while many so-called F-curves are not $K_X$-negative, they exhibit behavior similar to $K_X$-negative curves. This reveals for instance, a distinguished property of Knudsen's construction $f_{\text{Knu}}:\overline{\rm{M}}_{0,n}\to \overline{\rm{M}}_{0,n-1}\times_{\overline{\rm{M}}_{0,n-2}}\overline{\rm{M}}_{0,n-1}$, allowing for the classification of all possible factorizations of $f_{\text{Knu}}$, as well as further applications, and generalizations.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on understanding the geometric structure of the moduli space \(M_{0,n}\) and its contraction properties. Specifically, by using the representation theory of vertex operator algebras, the paper describes a widely - existing line bundle on the \(M_{0,n}\) contractions and proves a stronger version of the contraction theorem for these contractions. These problems include:
1. **Strengthening of the Contraction Theorem**: The paper proves a stronger version of the contraction theorem, which is applicable to multiple contractions of \(M_{0,n}\), including the well - known Kapranov, Keel and Knudsen constructions. These constructions are of great significance in algebraic geometry, but their geometric properties still pose challenges.
2. **Behavior of F - Curves**: The paper points out that although many so - called F - curves are not \(K_X\)-negative, they exhibit behavior similar to that of \(K_X\)-negative curves. This finding reveals a special property of the Knudsen construction, allowing for the classification of all possible decompositions of \(f_{Knu}\) and providing further applications and generalizations.
3. **Classification of Line Bundles**: One of the main results of the paper is that a line bundle on \(M_{0,n}\) is a line bundle pulled back by a certain contraction \(f\) if and only if its intersection number with the F - curves contracted by \(f\) is zero. This provides a new perspective for understanding the Picard group of \(M_{0,n}\).
4. **Application of Mori Theory**: The paper uses the cone of closed curves in Mori theory to classify the contractions of \(M_{0,n}\). In particular, the paper discusses in detail the relative cone of closed curves of \(f_{Knu}\) and shows how to relate specific contractions through these cones of curves.
5. **Projectivity of Specific Constructions**: The paper also proves the existence of the projective variety \(M_{Knu}^{0,n}(A)\) corresponding to a specific subset \(A\subseteq F_{Knu}\) and discusses the geometric properties of these varieties, such as local complete intersections, smoothness, etc.
In summary, by introducing and applying conformal block divisors, this paper provides a new method to understand and classify various contractions of \(M_{0,n}\), thereby advancing the understanding of the geometric structure of the moduli space.