[论文解读] The kappa classes on the moduli spaces of curves

Rahul Pandharipande|arXiv (Cornell University)|Aug 30, 2011

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

一句话总结

本文建立了稳定曲线模空间上$tautological$环中$κ$类之间的完整关系体系，证明了Faber和Zagier在无标记情形下的猜想，并将其推广至带标记和紧致类型情形。通过稳定商的几何结构与Gorenstein对偶性，给出了$κ^*$环的显式生成关系，表明这些关系完全由一个包含生成函数与依赖于分拆的系数的通用公式所控制。

ABSTRACT

In the past few years, substantial progress has been made in the understanding of the algebra of kappa classes on the moduli spaces of curves. My goal here is to provide a short introduction to the new results. Along the way, I will discuss several open questions. The article accompanies my talk at "A celebration of algebraic geometry" at Harvard in honor of the 60th birthday of J. Harris.

研究动机与目标

• 证明关于$κ^*(\mathcal{M}_g)$中$κ$类之间关系的Faber-Zagier猜想，表明这些关系由一组通用关系生成。
• 将Faber-Zagier关系扩展至带标记的曲线模空间（$\mathcal{M}_{g,n}^{c}$与$\mathcal{M}_{g,n}^{rt}$）以及稳定曲线紧化空间$\overline{\mathcal{M}}_{g,n}$。
• 确定这些模空间上$κ$环是否为Gorenstein环，且其陪集在预期度数中，通过显式基与对偶性来刻画其结构。
• 研究自然映射$\kappa^*(\mathcal{M}_{0,2g}^{c}) \to \kappa^*(\mathcal{M}_g^{c})$的核，特别是在亏格5的情形，并将其与已知的$tautological$关系联系起来。

提出的方法

• 通过$\overline{\mathcal{M}}_{g,n+1}$上全息曲线的上推，定义$κ$类，使用$\epsilon_*\psi_{n+1}^{i+1}$表示$\u03ba_i$。
• 为无标记情形构造一个生成函数$\Psi(t,\mathbf{p})$，其中包含避免模3余2的部分的分拆，并利用$\log(\Psi)$提取系数$C^r(\sigma)$。
• 定义$\gamma = \sum_{\sigma,r} C^r(\sigma) \kappa_r t^r \mathbf{p}^\sigma$，并证明在指定度数与奇偶性条件下，$[\exp(-\gamma)]_{t^r \mathbf{p}^\sigma} = 0$在$\kappa^r(\mathcal{M}_g)$中成立。
• 利用稳定商的几何结构与Gorenstein判别法，证明定理1中的关系生成了$\kappa^*(\mathcal{M}_g)$中的所有关系，并通过另一组包含所有正整数部分的生成函数，将该结果推广至$\mathcal{M}_{g,n}^{c}$。
• 利用索引为$P(d, 2g-2+n-d)$中分拆的单项式$\kappa_{\mathbf{p}}$，为$\kappa^d(\mathcal{M}_{g,n}^{c})$建立一个$\mathbb{Q}$-基，并通过贝蒂数计数证明维数公式。
• 使用陪集评估映射$L_\xi(\gamma) = \phi(\gamma \cdot \xi)$验证非退化性，并证明定理5中的关系在$n > 0$时生成了$\kappa^*(\mathcal{M}_{g,n}^{c})$中的所有关系。

实验结果

研究问题

• RQ1 在$\kappa^*(\mathcal{M}_g)$中，所有$κ$类之间的关系是否均由定理1中的关系生成？
• RQ2 $\kappa^*(\mathcal{M}_g)$是否为Gorenstein环，且其陪集位于度数$g-2$？
• RQ3 是否存在一个统一的公式，用于$\kappa^*(\overline{\mathcal{M}}_{g,n})$中$κ$关系的表达，类似于定理1与定理5？
• RQ4 $\kappa^*(\mathcal{M}_{0,2g}^{c}) \to \kappa^*(\mathcal{M}_g^{c})$的自然映射的核是什么，特别是在亏格5的情形？
• RQ5 能否基于定理3的基，为$κ$环发展一种类似Schubert演算的理论？

主要发现

• 定理1中的关系（即FZ关系）已被证明在$g < 24$时生成了$\kappa^*(\mathcal{M}_g)$中的所有关系，且普遍猜想其在一般情形下也成立。
• 当$n > 0$时，$\kappa$环$\kappa^*(\mathcal{M}_{g,n}^{c})$具有由$\kappa_{\mathbf{p}}$（其中$\mathbf{p} \in P(d, 2g-2+n-d)$）构成的$\mathbb{Q}$-基，其维数为$|P(d, 2g-2+n-d)|$。
• 对于任意非零$\xi \in \kappa^d(\mathcal{M}_{g,n}^{c})$，陪集评估$L_\xi(\gamma) = \phi(\gamma \cdot \xi)$非平凡，确认了Gorenstein配对的非退化性。
• 定理5由A. Pixton证明，为$n > 0$时$\kappa^*(\mathcal{M}_{g,n}^{c})$提供了完整的关系集合，其生成函数包含所有正整数与双阶乘。
• $\iota_5: \kappa^*(\mathcal{M}_{0,10}^{c}) \to \kappa^*(\mathcal{M}_5^{c})$的核非平凡，且与$\overline{\mathcal{M}}_{1,4}$中的Getzler关系相关。
• $\overline{\mathcal{M}}_{g,n}$的$κ$环在顶度数以上尚未完全理解，且目前尚无与定理1或定理5平行的统一关系公式适用于此情形。