[论文解读] Combinatorial classes on the moduli space of curves are tautological

Gabriele Mondello|arXiv (Cornell University)|Mar 17, 2003

Algebraic Geometry and Number Theory参考文献 24被引用 5

一句话总结

本文通过证明通过带指定顶点度数的带边图定义的稳定曲线模空间上的组合循环是塔洛克类（即Π类的多项式），从而证明了威滕-孔茨维奇猜想。利用在紧化组合模空间上的递归方法与定向性论证，作者证明这些循环在德利涅-穆默福德紧化上的向前映射为有理上同调类，从而确认了其塔洛克性质。

ABSTRACT

The combinatorial description via ribbon graphs of the moduli space of Riemann surfaces makes it possible to define combinatorial cycles in a natural way. Witten and Kontsevich first conjectured that these classes are polynomials in the tautological classes. We answer affirmatively to this conjecture and find recursively all the polynomials.

研究动机与目标

• 通过带边图在稳定曲线模空间上定义的组合循环是塔洛克类。
• 通过证明这些循环是Π类多项式的庞加莱对偶，从而解决威滕-孔茨维奇猜想。
• 建立一种递归方法，以精确计算这些组合循环在塔洛克类中的多项式表达式。
• 证明紧化组合循环的向前映射在德利涅-穆默福德紧化上产生良定义的有理上同调类。

提出的方法

• 使用带边图及其相关轨道胞腔复形对模空间的组合描述。
• 应用孔茨维奇对组合模空间的紧化，以定义Borel-Moore同调类 $̅{W}_{m_{*},P}(\mathbb{R}_{+}^{P})$。
• 应用定向理论及康南与福格曼的形式系统，比较组合循环边界中胞腔的定向。
• 引入两个算子 $R_{ex}$ 和 $R_{q}$，它们在 $̅{W}^{q}_{2r+3}$ 的边界中置换胞腔，证明在特定条件下其贡献相互抵消。
• 利用一个胞腔与其 $R_{q}$-像所诱导的定向比值为 $(-1)^{v_{ex}} = -1$ 的事实，当 $v_{ex}$ 为奇数时，确保边界中的抵消。
• 通过遗忘态射构造向前映射，将紧化组合空间中的循环提升至德利涅-穆默福德紧化 $̅{\mathcal{M}}_{g,P}$。

实验结果

研究问题

• RQ1 通过指定顶点度数的带边图定义的组合循环是否为模空间上同调中的塔洛克类？
• RQ2 通过分析紧化组合循环的边界结构，能否证明威滕-孔茨维奇猜想？
• RQ3 这些组合循环在Π类中的精确多项式表达式是什么？
• RQ4 在组合循环边界中，胞腔置换下的定向符号如何表现？
• RQ5 通过遗忘映射对组合循环的向前映射是否在 $̅{\mathcal{M}}_{g,P}$ 上产生良定义的有理上同调类？

主要发现

• 威滕-孔茨维奇猜想得到证实：$̅{\mathcal{M}}_{g,n}$ 上的所有组合循环都是塔洛克类，即Π类的多项式。
• 对每个 $r \geq 0$，循环 $\widehat{W}^{q}_{2r+3}$ 的向前映射属于 $H_{6g-6+2n-2r}(\overline{\mathcal{M}}_{g,P\cup\{q\}})$，这是 $\overline{W}_{2r+3}$ 的提升。
• 当 $v_q$ 为偶数时，带有 $q$-标记顶点和异常顶点的边界贡献由于 $R_q$ 算子下的定向反转而相互抵消。
• 胞腔与其 $R_q$-像之间定向比值的符号为 $(-1)^{v_{ex}}$，当 $v_{ex}$ 为奇数时，该值为 $-1$，从而确保边界的抵消。
• 该构造提供了一种递归方法，用于计算组合循环在Π类中的精确多项式表达式。
• 通过遗忘映射 $\pi_q$ 对紧化组合循环 $\widehat{W}^{q}_{2r+3}$ 的向前映射在 $\overline{\mathcal{M}}_{g,P}$ 上产生一个有理上同调类，从而确认了 $\overline{W}_{2r+3}$ 的塔洛克性质。