[论文解读] Fano mirror periods from the Frobenius structure conjecture

Travis Mandel|arXiv (Cornell University)|Mar 28, 2019

Molecular spectroscopy and chirality参考文献 19被引用 3

一句话总结

本文证明，在Frobenius结构猜想下，通过后代Gromov-Witten不变量定义的Fano轨道丛的正则化量子周期，等于由镜像Landau-Ginzburg势能导出的经典周期。它确立了这些量子不变量可朴素地计数有理曲线，通过对数Gromov-Witten理论与toric横截性，为Fano簇提供了镜像对称的几何实现。

ABSTRACT

The Fano classification program proposed by Coates-Corti-Galkin-Golyshev-Kasprzyk is based on the mirror symmetry prediction that the regularized quantum period of a Fano should be equivalent to the classical period of its mirror Landau-Ginzburg potential. We prove that this mirror equivalence follows from versions of the Frobenius structure conjecture of Gross-Hacking-Keel. We also find that the regularized quantum period, which is defined in terms of descendant Gromov-Witten numbers, is in fact given by certain naive curve counts.

研究动机与目标

• 通过证明正则化量子周期等于镜像Landau-Ginzburg势能的经典周期，建立Fano轨道丛的镜像对称。
• 表明定义量子周期的后代Gromov-Witten不变量，等价于具有指定关联与切触条件的有理曲线的朴素计数。
• 通过Frobenius结构猜想与对数Gromov-Witten理论，验证Fanosearch计划中的镜像对称预测。
• 通过将系数解释为有理曲线的枚举计数，证明量子周期系数为正整数。

提出的方法

• 使用Frobenius结构猜想及其朴素计数变体，为Fano对(Y,D)构造镜像Landau-Ginzburg势能。
• 对对数Calabi-Yau对(Y†, β)应用对数Gromov-Witten理论，其中D为|−KY|中的除子，利用对数稳定映射的模空间Mlog0,Δ′qP(Y†,β)。
• 通过从对数模空间到M0,s+1的遗忘映射，关联ψ-类并应用投影公式，将虚拟计数约化为经典计数。
• 依赖于toric横截性，并假设D为无轨道点的简化法向交叉除子，以确保无阻碍性与有限多解。
• 利用在M0,d+1中ψd+1d−2为点类的事实，其拉回可一般性地指定定义曲线，从而实现曲线的枚举。
• 应用投影公式，将M0,1(Y,β)vir上的虚拟积分等价为对dβ的分拆P的求和，权重为多项式系数。

实验结果

研究问题

• RQ1 在Frobenius结构猜想下，Fano轨道丛的正则化量子周期是否等于其镜像Landau-Ginzburg势能的经典周期？
• RQ2 后代Gromov-Witten不变量能否被解释为具有指定与除子D相切的有理曲线的朴素计数？
• RQ3 在何种条件下，Fano对(Y,D)的对数Gromov-Witten理论能产生与量子周期匹配的枚举不变量？
• RQ4 Fano簇的量子周期是否由对dβ的分拆求和构成，其系数为对数模空间中toral横截曲线的计数？

主要发现

• 当D为光滑或满足猜想1.4或1.8时，正则化量子周期pβ等于Y中类β的有理曲线数量，这些曲线通过一个一般点并与D在dβ个点相交。
• 系数pβ等于(dβ)!乘以ψx^{dβ−2} evx*([pt])在[M0,1(Y,β)]vir上的虚拟积分，且该积分计算了朴素曲线计数。
• 当Frobenius结构猜想成立时，量子周期ĜY等于镜像势能W的经典周期πW，从而证明了Fano轨道丛的镜像对称。
• 对每个β，此类曲线的数量由Nβ^naive(qP)乘以多项式系数(dβ 选择 P(1),...,P(s))计数，其中P是由β·[Dpi]诱导的dβ的分拆。
• 当D为不可约时（此时toral横截性成立）或在猜想1.4与1.8下，结果无条件成立，这些猜想确保了对数设置下的toral横截性。