带标记点的有理曲线模空间上的极值除子

我们研究 $\overline{M}_{0,n}$ 上的有效除子，重点关注 Castravet 和 Tevelev 引入的超树除子，以及 Chen 和 Coskun 引入的 $\overline{M}_{1,n-2}$ 上除子的真变换。结果包括超树除子类的数据库以及 Chen--Coskun 除子类的闭式公式。我们联系了这两类除子，并据此构造了 $n \geq 7$ 时 $\overline{M}_{0,n}$ 上的极值除子，这些除子为 Castravet 和 Tevelev 给出的关于 $\overline{M}_{0,n}$ 有效锥的猜想描述提供了反例。