[论文解读] Genus-Zero Mirror Principle For Two Marked Points

Luke Cherveny|arXiv (Cornell University)|Jan 1, 2010

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

一句话总结

本文将Lian-Liu-Yau的零亏格镜像原理推广至两点情形，通过引入(u,v)-Euler数据，证明了$$\mathbb{P}^n$$上凹丛的障碍丛会诱导此类数据。研究建立了A模型不变量（通过障碍丛的Euler类）与B模型线性类之间的显式镜像对称性，通过显式超几何型生成函数及一、两点Gromov-Witten不变量（含下拉类）的整数性检验得以验证。

ABSTRACT

We study a generalization of Lian-Liu-Yau's notion of Euler data in genus zero and show that certain sequences of multiplicative equivariant characteristic classes on Kontsevich's stable map moduli with markings induce data satisfying the generalization. In the case of one or two markings, this data is explicitly identified in terms of hypergeometric type classes, constituting a complete extension of Lian-Liu-Yau's mirror principle in genus zero to the case of two marked points and establishing a program for the general case. We give several applications involving the Euler class of obstruction bundles induced by a concavex bundle on $P^n$.

研究动机与目标

• 将Lian-Liu-Yau的零亏格镜像原理从一点推广至两点，通过引入Euler数据的形变。
• 在直线模型上识别出与$$\mathbb{P}^n$$上凹丛诱导的A模型Euler类相对应的显式线性类。
• 证明由凹丛关联的障碍丛所生成的Euler数据满足(0,1)-Euler数据条件，并在镜像变换下与变换后的线性数据相匹配。
• 通过扩展的镜像原理恢复一、两点Gromov-Witten不变量（含下拉类），并验证其整数性。

提出的方法

• 引入(u,v)-Euler数据作为Lian-Liu-Yau原始Euler数据的形变，其中(0,0)为基点。
• 通过等变局部化与不动点分析，证明$$\mathbb{P}^n$$上凹丛的障碍丛会诱导(u,v)-Euler数据，特别是(0,1)-Euler数据。
• 利用等变权中的增长条件，建立(0,1)-Euler数据的唯一性引理，为镜像变换框架提供关键支持。
• 将镜像变换定义为(u,v)-Euler数据上的可逆映射，实现A模型与B模型数据的比较。
• 使用恢复引理（6.1与6.2）从Euler数据的生成函数重构Gromov-Witten不变量。
• 通过计算显式数值并检验其与零亏格情形下整数不变量猜想的一致性，验证不变量的整数性。

实验结果

研究问题

• RQ1 能否通过Euler数据的形变，将Lian-Liu-Yau的零亏格镜像原理推广至两点情形？
• RQ2 在两点情形下，$$\mathbb{P}^n$$上凹丛诱导的A模型Euler类在直线模型上对应的显式线性类是什么？
• RQ3 镜像变换如何作用于(u,v)-Euler数据？能否在两点设置中用于使A模型与B模型数据相等？
• RQ4 通过扩展镜像原理计算的Gromov-Witten不变量是否满足零亏格下的整数性猜想？
• RQ5 Euler数据的生成函数能否用于恢复含下拉类（包括高阶插入）的一、两点不变量？

主要发现

• 本文证明了定理5.2与定理5.3，确立了两点情形下的镜像定理，展示了A模型Euler数据与变换后B模型线性数据之间的等价性。
• 对于$$V = \mathcal{O}(n+1)$$在$$\mathbb{P}^n$$上的情形，结果与Zinger（2007）一致，验证了该框架在已知情形下的正确性。
• 一阶Gromov-Witten不变量$K_d(H^3)$被显式计算，其中$\eta_d(H^3)$在度数10以内与整数猜想一致，包括$\eta_1(H^3) = 144$与$\eta_5(H^3) = 375804276480$等值。
• 含下拉类的两点不变量$K_d(H^2,H^2)$与$K_d(H^2,\tau_1(H))$被计算，且$\eta_d(H^2,H^2)$与整数猜想一致，例如$\eta_3(H^2,H^2) = 28140966$。
• 不变量的生成函数通过超几何型算子表达，如$HG[\mathcal{I}(\hat{Q}_3)](t+g(t))$，涉及初始生成函数的嵌套导数。
• 该方法成功恢复了度数至10的不变量，所有计算出的$\eta_d$值均与Calabi-Yau $n$-流形在零亏格下的整数性猜想一致。