[論文レビュー] Fano mirror periods from the Frobenius structure conjecture

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

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

ひとこと要約

本稿は、Fano 代数的軌道の正則化量子周期が、Frobenius 構造予想のもとで、鏡のLandau-Ginzburg ポテンシャルから導かれる古典的周期に等しいことを証明する。この周期は、対応する鏡対称性の幾何的実現を、対数Gromov-Witten理論とトーリック横断性を用いて、有理曲線の自明な数え上げによって与える。

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.

研究の動機と目的

• Frobenius構造予想のもとで、Fano 軌道の鏡対称性を確立し、正則化量子周期が鏡のLandau-Ginzburg ポテンシャルの古典的周期に等しいことを証明すること。
• 量子周期を定義する従属Gromov-Witten不変量が、指定された接続および接点条件を満たす有理曲線の自明な数え上げに等価であることを示すこと。
• Fano探索計画における鏡対称性の予測を、Frobenius構造予想および対数Gromov-Witten理論を用いて検証すること。
• 量子周期の係数が、有理曲線の数え上げとして解釈可能であることから、正の整数であることを示すこと。

提案手法

• Frobenius構造予想およびその自明な数え上げへの応用を用いて、Fano 対 (Y,D) の鏡のLandau-Ginzburg ポテンシャルを構成する。
• 対数Gromov-Witten理論を、対数Calabi-Yau 対 (Y†, β) に適用し、|−KY| に属する除集合 D を用いる。log 穩定写像のモジュライ空間 Mlog0,Δ′qP(Y†,β) を用いる。
• log モジュライ空間から M0,s+1 への忘却写像を用い、ψ-類を関連付け、射影公式を適用することで、仮想的数え上げを古典的数え上げに還元する。
• トーリック横断性および 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β の分割に関する和で表され、その係数は対数モジュライ空間におけるトーリック横断的曲線の数え上げを表すか？

主な発見

• 正則化量子周期 pβ は、D が滑らかまたは予想1.4または1.8の下で、Y 内のクラス β の有理曲線の数に等しく、その曲線は一般点を通り、D と dβ 個の点で交わる。
• 係数 pβ は (dβ)! に等しく、[M0,1(Y,β)]vir 上での ψx^{dβ−2} evx*([pt]) の仮想積分に等しく、この積分は自明な曲線数え上げを計算する。
• Frobenius構造予想が成立する限り、量子周期  ĜY は鏡のポテンシャル W の古典的周期 πW に等しくなる。これにより、Fano 軌道の鏡対称性が証明される。
• 各 β に対して、このような曲線の数は Nβ^naive(qP) に、dβ の分割 P に関する多項係数 (dβ が P(1),...,P(s) に分割されるときの (dβ choose P(1),...,P(s))) を乗じたものに等しい。
• D が既約（トーリック横断性が成立）であるか、予想1.4および1.8が成立する限り、結果は条件なしに成立する。