由分歧条件定义的 $\overline{M_{g}}$ 中的有效除子

我们定义了稳定曲线模空间 $\overline{M_g}$ 中的一个有效除子，记为 $\overline{S^{2}W}$。将 $\overline{S^{2}W}$ 的类在模函子的 Picard 群 Pic$_{\text{fun}}(\overline{M_{g}})\otimes \mathbb{Q}$ 中用所谓的 Harer 基 $\lambda,\delta_0,\ldots,\delta_{[g/2]}$ 表示，我们证明了 $\delta_1,\ldots,\delta_{[g/2]}$ 系数之间的关系与 Brill-Noether 除子的系数关系相同。我们提出了一个关于 $\overline{M_g}$ 有效除子的结果，这可能有助于获得其他除子的相同系数关系。我们还计算了 $\lambda$ 的系数。