通过系统发育学研究 $\bar{M}_{0,n}$ 的对偶复形

稳定有理 n 点曲线的模空间 $\bar{M}_{0,n}$ 具有简单正规交叉的除子边界。在此简短笔记中，我观察到其对偶复形是一个旗复形；也就是说，一组不可约边界除子具有非空交集当且仅当其两两交集非空。我没有直接证明这一点，而是将该命题转化至系统发育学中已被广泛应用且存在多个显式证明的设定。这一结果似乎为专家所知，但文献中一直缺乏详细参考，直到最近才在 $n=7$ 的情况下出现。