[论文解读] A non-vanishing result for the tautological ring of {\cal M}_g

Carel Faber|arXiv (Cornell University)|Nov 3, 1997

Advanced Differential Equations and Dynamical Systems被引用 22

一句话总结

本文利用威滕猜想（由孔采维奇证明）及模空间上的交点理论，证明了在亏格 $g$ 的曲线模空间 $\mathcal{M}_g$ 中，tautological 类 $\kappa_{g-2}$ 的非零性。通过生成函数和 KdV 层系分析陈示性类与 $\psi$-类，作者证明了 $\kappa_{g-2}$ 非零，从而解决了法伯猜想中关于 $\mathcal{M}_g$ 的 tautological 环描述的一个关键情形。该结果确认了代数几何中模空间理论的一个核心预测。

ABSTRACT

Looijenga recently proved that the tautological ring of M_g vanishes in degree d>g-2 and is at most one-dimensional in degree g-2, generated by the class of the hyperelliptic locus. Here we show that K_{g-2} is non-zero on M_g. The proof uses the Witten conjecture, proven by Kontsevich. With similar methods, we expect to be able to prove some (possibly all) of the identities in degree g-2 in the tautological ring that are part of the author's conjectural explicit description of the ring.

研究动机与目标

• 通过证明 $\kappa_{g-2}$ 的非零性，解决法伯关于 $\mathcal{M}_g$ 的 tautological 环猜想描述中的一个关键情形。
• 利用涉及 $\psi$-类与 $\kappa$-类的交点数，建立 $\mathcal{M}_g$ 的 tautological 环中一个非平凡恒等式。
• 展示威滕-孔采维奇关于 $\psi$-类的理论及 KdV 层系可用于推导 tautological 环的深层几何结果。
• 证明类 $\kappa_{g-2}$ 在 $H^{2g-4}(\mathcal{M}_g, \mathbb{Q})$ 中非零，确认了曲线模空间研究中的一个预测。

提出的方法

• 使用威滕-孔采维奇交点理论，特别是 $\psi$-类交点数的生成函数，来计算 tautological 交点数。
• 应用姆福德关于 Hodge 线丛的陈示性类与 $\kappa$-类及 $\psi$-类之间关系的恒等式。
• 利用生成函数 $D(w,z) = \langle \kappa_0 \kappa(w)\kappa(z) \rangle$ 的 KdV 方程，推导三类函数的微分方程。
• 利用戴克格拉夫公式计算系数：$\langle \kappa_0 \kappa(w)\kappa(z) \rangle = \exp\left(\frac{z^2}{2}\right) \sum_{n\geq 0} \frac{n!}{(2n+1)!} \left(\frac{wz}{w+z}\right)^n$。
• 依赖于从威滕-孔采维奇公式导出的恒等式 $\kappa_{g-2} \cdot \kappa_g = \frac{|B_{2g}|}{(2g)!} \cdot \frac{g!}{(g-2)!}$，以证明非零性。
• 结合 $\kappa_g \cdot \kappa_{g-2}$ 在边界 $\partial \mathcal{M}_g$ 上的零性与交点数的非零性，得出 $\kappa_{g-2}$ 在 $\mathcal{M}_g$ 中非零的结论。

实验结果

研究问题

• RQ1 在 $H^{2g-4}(\mathcal{M}_g, \mathbb{Q})$ 中，tautological 类 $\kappa_{g-2}$ 是否非零？
• RQ2 威滕-孔采维奇交点理论能否用于证明 $\mathcal{M}_g$ 的 tautological 环中的恒等式？
• RQ3 $\kappa_{g-2}$ 的非零性是否确认了法伯猜想中关于 tautological 环的预测？
• RQ4 $\mathcal{M}_g$ 中的精确交点数 $\kappa_{g-2} \cdot \kappa_g$ 是多少？
• RQ5 陈示性类 $\mathrm{ch}_{2g}(E)$ 与 $\psi$-类在 tautological 环中如何相互作用？

主要发现

• 类 $\kappa_{g-2}$ 在 $H^{2g-4}(\mathcal{M}_g, \mathbb{Q})$ 中非零，由交点数 $\kappa_{g-2} \cdot \kappa_g$ 的非零性所证明。
• 交点数 $\kappa_{g-2} \cdot \kappa_g$ 等于 $\frac{|B_{2g}|}{(2g)!} \cdot \frac{g!}{(g-2)!}$，其中 $B_{2g}$ 为第 $2g$ 个伯努利数。
• Hodge 线丛的陈示性类 $\mathrm{ch}_{2g}(E)$ 在度数 $2g$ 处为零，且 $\kappa_g \cdot \kappa_{g-2}$ 在边界 $\partial \mathcal{M}_g$ 上为零。
• 恒等式 $\kappa_{g-2} \cdot \kappa_g = \frac{|B_{2g}|}{(2g)!} \cdot \frac{g!}{(g-2)!}$ 由威滕-孔采维奇公式与戴克格拉夫的生成函数导出。
• 生成函数 $\langle \kappa_0 \kappa(w)\kappa(z) \rangle$ 满足由 KdV 层系导出的微分方程，其解与给定公式一致。
• $\kappa_{g-2}$ 的非零性源于 $B_{2g}$ 的非零性以及所导出交点数的正性。