[论文解读] Relations in the Tautological Ring and Frobenius Manifolds near the Discriminant

Felix Janda|arXiv (Cornell University)|May 13, 2015

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文证明，通过 Givental-Teleman 分类中的极点抵消从典型半单上同调场论导出的关系——即在上同调场论中，所有此类关系均可表示为模空间上曲线的典型环中的 Pixton 广义法伯-扎吉耶尔关系。此外，本文表明，在非半单局部附近的典型半单 Frobenius 流形的局部结构由 $A_2 \times A_1^{N-2}$-奇点所刻画，支持了 Pixton 关系穷尽所有典型关系的猜想。

ABSTRACT

For generically semisimple cohomological field theories pole cancellation in the Givental-Teleman classification implies relations between classes in the tautological ring of the moduli space of curves. For the theory of the $A_2$-singularity these are known to be equivalent to Pixton's generalized Faber-Zagier relations. We show that the relations from any other semisimple cohomological field theory can be written in terms of Pixton's relations. This gives large evidence for the conjecture that Pixton's relations are all relations between tautological classes. As part of the proof, we study the structure of an $N$-dimensional generically semisimple Frobenius manifold near smooth points of the non-semisimple locus, giving a local description modeled on the Frobenius manifold corresponding to the $A_2 imes A_1^{N - 2}$-singularity, and give criteria for extending generically semi-simple Frobenius manifolds to cohomological field theories.

研究动机与目标

• 研究由典型半单上同调场论导出的曲线模空间典型环中关系的结构。
• 确定任意半单上同调场论的关系是否可表示为 Pixton 的广义法伯-扎吉耶尔关系。
• 分析典型半单 Frobenius 流形在非半单局部附近处的局部几何结构，并将其与 $A_2 \times A_1^{N-2}$-奇点联系起来。
• 为将典型半单 Frobenius 流形扩展为完整上同调场论提供判据。

提出的方法

• 利用 Givental-Teleman 的上同调场论分类，本文分析 J-函数中的极点抵消条件，以推导典型关系。
• 应用 Frobenius 流形理论，研究 $N$-维典型半单 Frobenius 流形在非半单局部光滑点附近的局部结构。
• 基于 $A_2 \times A_1^{N-2}$-奇点，构建此类 Frobenius 流形的局部模型，并证明其在 Frobenius 流形结构上等价。
• 通过 Givental-Teleman 形式化，建立任意半单上同调场论的典型关系与 Pixton 关系之间的对应关系。
• 分析依赖于半单上同调场论的分类以及典型环的结构，特别是 $A_2$-奇点理论的作用。
• 推导出典型半单 Frobenius 流形可扩展为完整上同调场论的条件，基于其在判别超曲面附近的行为。

实验结果

研究问题

• RQ1 所有来自半单上同调场论的典型关系是否均可表示为 Pixton 的广义法伯-扎吉耶尔关系？
• RQ2 典型半单 Frobenius 流形在非半单局部的光滑点附近的局部几何结构为何？
• RQ3 非半单局部附近的 Frobenius 流形结构与 $A_2 \times A_1^{N-2}$-奇点有何关联？
• RQ4 在何种条件下，典型半单 Frobenius 流形可扩展为上同调场论？
• RQ5 $A_2$-奇点理论生成的关系是否足以生成典型环中所有典型关系？

主要发现

• 所有由任意典型半单上同调场论导出的典型关系，均包含在 Pixton 广义法伯-扎吉耶尔关系所生成的关系之中。
• 在非半单局部光滑点附近，$N$-维典型半单 Frobenius 流形的局部结构由 $A_2 \times A_1^{N-2}$-奇点所对应的 Frobenius 流形所刻画。
• 本文提供了明确的判据，用于将典型半单 Frobenius 流形扩展为上同调场论，基于其在判别超曲面附近的流形行为。
• $A_2$-奇点理论生成的关系与 Pixton 的关系等价，为 Pixton 关系在典型环中完备的猜想提供了有力证据。
• 分析确认，Givental-Teleman 形式化中的极点抵消恰好导出可表示为 Pixton 关系的形式，适用于所有半单上同调场论。
• 结果支持更广泛的猜想：Pixton 关系是曲线模空间典型环中全部典型关系的完整集合。