[论文解读] The hypergeometric functions of the Faber-Zagier and Pixton relations

Alexandr Buryak, Felix Janda+1 more|arXiv (Cornell University)|Feb 18, 2015

Algebraic Geometry and Number Theory参考文献 28被引用 3

一句话总结

本文研究了在稳定曲线模空间的重子环中，支撑法伯-扎吉耶尔关系与皮克顿关系的超几何级数 𝔸(z) 和 𝔹(z) 的几何起源。它确立了这些级数源自两种不同的几何框架——三自旋曲线与 ℙ¹ 的等变格罗莫夫-威滕理论，并展示了它们在开与闭模空间的下位积分中的普遍性，为代数几何中重子关系提供了一个统一的视角。

ABSTRACT

The relations in the tautological ring of the moduli space M_g of nonsingular curves conjectured by Faber-Zagier in 2000 and extended to the moduli space of stable pointed curves by Pixton in 2012 are based upon two hypergeometric series A and B. The question of the geometric origins of these series has been solved in at least two ways (via the Frobenius structures associated to 3-spin curves and to CP1). The series A and B also appear in the study of descendent integration on the moduli spaces of open and closed curves. We survey here the various occurrences of A and B starting from their appearance in the asymptotic expansion of the Airy function (calculated by Stokes in the 19th century). Several open questions are proposed.

研究动机与目标

• 确定定义稳定曲线模空间重子环中法伯-扎吉耶尔与皮克顿关系的超几何级数 𝔸(z) 与 𝔹(z) 的几何起源。
• 统一这些级数在不同几何背景下的出现，包括黎曼曲面的开与闭模空间上的下位积分。
• 阐明级数 𝔸 与 𝔹 作为重子关系构造中基本输入的作用，特别是在上同调场论与格罗莫夫-威滕理论的语境下。
• 探究吉文塔尔-特勒曼的上同调场论分类是否可推广至半单的查沃场论，其对查沃上同调中重子关系有效性的启示。

提出的方法

• 本文利用艾里函数的渐近展开，追溯级数 𝔸 与 𝔹 的历史出现，将其与 19 世纪斯托克斯的工作联系起来。
• 它从超几何级数 𝔸 与 𝔹 构造生成级数 Ψ(t, p)，通过取对数展开编码法伯-扎吉耶尔与皮克顿关系。
• 作者利用三自旋曲线与 ℙ¹ 的等变格罗莫夫-威滕理论中的弗罗贝尼乌斯结构，几何地实现级数 𝔸 与 𝔹。
• 关键技术工具是格罗莫夫-威滕理论中 ℙ¹ 的虚拟局部化公式，该公式允许在不依赖上同调分类的前提下，对皮克顿关系给出查沃理论的证明。
• 本文引入一种基于稳定图的层代数构造，其中顶点、边与腿因子涉及 κ-类与 ψ-类，并使用 ℤ₂-分次变量 ζv 来追踪局部奇偶性。
• 通过提取单项式 ∏ζv^{g(v)−1} 的系数，提取关系类，并利用尚达定理证明其在查沃环中的消失性，从而确立重子关系。

实验结果

研究问题

• RQ1 定义稳定曲线模空间重子环中法伯-扎吉耶尔与皮克顿关系的超几何级数 𝔸(z) 与 𝔹(z) 的几何起源是什么？
• RQ2 级数 𝔸 与 𝔹 如何在开与闭黎曼曲面模空间的下位积分语境中出现？
• RQ3 吉文塔尔-特勒曼的上同调场论分类是否可推广至半单查沃场论的设定？
• RQ4 关于曲线模空间上同调的稳定性结果是否可推广至查沃环，特别是在重子关系的语境下？
• RQ5 级数 𝔸 与 𝔹 在三自旋理论与 ℙ¹ 格罗莫夫-威滕理论中构造重子关系时的确切作用是什么？

主要发现

• 超几何级数 𝔸(z) 与 𝔹(z) 被证明源自两种不同的几何理论：三自旋曲线的弗罗贝尼乌斯结构与 ℙ¹ 的等变格罗莫夫-威滕理论。
• 级数 𝔸(z) 满足超几何微分方程 3z²d²𝔸/dz² + (6z−2)d𝔸/dz + (5/12)𝔸 = 0，确认其作为基本函数的角色。
• 皮克顿关系被级数 𝔸 与 𝔹 完全捕捉，当 g−1+|σ| < 3r 且 g ≡ r+|σ|+1 mod 2 时，有 [exp(−γ^FZ)]_{t^r p^σ} = 0 在 R^r(ℳ_g) 中成立。
• 关系类 𝒫 = {ℛ^{d}_{g,d} | d > (g−1+∑a_i)/3} 属于自然同态 q: 𝒮_{g,n}^* → A^*(ℳbar_{g,n}, ℚ) 的核，从而证明其重子性。
• 通过 ℙ¹ 上的虚拟局部化公式在查沃上同调中证明皮克顿关系，无需依赖特勒曼的上同调分类，从而建立查沃理论基础。
• 使用稳定图与 ℤ₂-分次变量 ζv 的层代数构造，成功通过提取单项式 ∏ζv^{g(v)−1} 的系数，编码重子关系。