[论文解读] Tautological relations via r-spin structures

Rahul Pandharipande, Aaron Pixton+1 more|arXiv (Cornell University)|Jul 4, 2016

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

一句话总结

本论文利用 r ≥ 3 的 r-自丛理论，在稳定曲线的模空间上建立了重言关系。通过利用 sl₂(ℂ) 表示理论推导出 genus 0 r-自丛 correlator 的显式公式，并在两个半单点应用 Givental-Teleman 的 CohFT 分类，作者得到了 Witten 的 r-自丛类的闭式表达式，并证明了其在 r 上的新多项式性质。r=4 的关系给出了 R*(M_g) 的 Betti 数的新上界，且一个猜想将 r-自丛类在 r=0 时的极限与具有指定零点重数的全纯微分模空间联系起来。

ABSTRACT

Relations among tautological classes on the moduli space of stable curves are obtained via the study of Witten's r-spin theory for higher r. In order to calculate the quantum product, a new formula relating the r-spin correlators in genus 0 to the representation theory of sl2 is proven. The Givental-Teleman classification of CohFTs is used at two special semisimple points of the associated Frobenius manifold. At the first semisimple point, the R-matrix is exactly solved in terms of hypergeometric series. As a result, an explicit formula for Witten's r-spin class is obtained (along with tautological relations in higher degrees). As an application, the r=4 relations are used to bound the Betti numbers of the tautological ring of the moduli of nonsingular curves. At the second semisimple point, the form of the R-matrix implies a polynomiality property in r of Witten's r-spin class. In the Appendix (with F. Janda), a conjecture relating the r=0 limit of Witten's r-spin class to the class of the moduli space of holomorphic differentials is presented.

研究动机与目标

• 将 M̄_{g,n} 上重言关系的研究从 r=3 扩展到更高阶的 r-自丛理论。
• 利用 sl₂(ℂ) 的表示理论，推导出 genus 0 r-自丛 correlator 的显式公式。
• 在两个半单点应用 Givental-Teleman 的 CohFT 分类，以确定 R-矩阵和 Witten 的 r-自丛类。
• 证明 Witten 的 r-自丛类在 r 上的新多项式性质。
• 猜想 r-自丛类在 r=0 时的极限与具有指定零点重数的全纯微分模空间之间存在自然联系。

提出的方法

• 推导出 genus 0 r-自丛 correlator 与 sl₂(ℂ) 表示理论之间关系的新公式，从而实现对量子乘积的显式计算。
• 在半单点 τ = (0,…,0,rϕ) 应用 Givental-Teleman 分类，利用超几何级数精确求解 R-矩阵。
• 在第二个半单点 τ̃ = (0,rϕ,0,…,0) 分析 R-矩阵的形式，推导出 Witten 的 r-自丛类在 r 上的多项式性质。
• 应用 genus 0 公式与 CohFT 结构，在高阶中推导出重言关系。
• 利用 r=4 的关系，对 R*(M_g) 的 Betti 数进行上界估计，特别关注 g−2 次上界。
• 在附录中，提出一个猜想，将 r-自丛类在 r=0 时的极限与具有指定零点重数的全纯微分模空间类联系起来，该猜想通过 Thom-Porteous 与 Grothendieck-Riemann-Roch 在 M_g,n 上得到验证。

实验结果

研究问题

• RQ1 能否系统地从 r ≥ 3 的 r-自丛理论推导出 M̄_{g,n} 上的重言关系，而不仅限于已知的 3-自丛情形？
• RQ2 genus 0 r-自丛 correlator 的显式结构是什么？其在 sl₂(ℂ) 表示理论中的表达形式如何？
• RQ3 Witten 的 r-自丛类是否表现出对 r 的多项式依赖？若是，其多项式形式为何？
• RQ4 r=4 的关系能否提供比 3-自丛关系更简洁、更有效的 R*(M_g) Betti 数上界？
• RQ5 r-自丛类在 r=0 时是否存在一个自然极限，其与具有指定零点重数的全纯微分模空间类相对应？

主要发现

• 通过以 sl₂(ℂ) 表示理论表达的 genus 0 r-自丛 correlator，获得了 Witten 的 r-自丛类的精确公式。
• 在第一个半单点 τ = (0,…,0,rϕ) 处，R-矩阵通过超几何级数被显式求解，从而完整描述了量子乘积。
• 在第二个半单点 τ̃ = (0,rϕ,0,…,0) 处 R-矩阵的形式，暗示了 Witten 的 r-自丛类在 r 上的多项式性质。
• r=4 的关系导出了 R*(M_g) Betti 数的新上界，恢复并改进了 Looijenga 的结果：dim_Q R^{g−2}(M_g) ≤ 1 且 R^{>g−2}(M_g) = 0。
• 附录中的猜想提出，r-自丛类在 r=0 时的极限与具有指定零点重数的全纯微分模空间类相匹配，该猜想在 M_g,n 上通过 Thom-Porteous 与 Grothendieck-Riemann-Roch 得到验证。
• 结果表明，Looijenga 在 g−2 次上的消失性与秩一结果可由 Faber-Zagier 关系推出，且这些关系也蕴含了 R^{g−2}(M_g) 中已知的 κ-单极子比例关系。