[論文レビュー] Mirror symmetry for log Calabi-Yau surfaces I

Mark Gross, Paul Hacking+1 more|arXiv (Cornell University)|Jun 24, 2011

Algebraic Geometry and Number Theory参考文献 57被引用数 16

ひとこと要約

本稿は、$D$ が有理曲線の反標準的サイクルであるような対 $(Y,D)$ に対して、$D$ と一点で交わる有理曲線のグロモフ＝ウィッテン不変量を用いた合成的代数的構成により、対応する鏡対称的ファミリーを構成する。鏡は、$\mathbb{A}^n$ 内の $n$-頂点 $V_n$ の形式的滑らか化として実現され、曲線数による定義により、シータ関数の空間上の代数構造が与えられ、$Y$ の有効的コーンの完備化上の $T^D$-可換な平坦ファミリーが得られる。主な結果は、グロス＝ジーベルト計画およびトロピカル幾何学と整合する、自然かつ内的な鏡対称的構成である。

ABSTRACT

We give a canonical synthetic construction of the mirror family to a pair (Y,D) of a smooth projective surface with an anti-canonical cycle of rational curves, as the spectrum of an explicit algebra defined in terms of counts of rational curves on Y meeting D in a single point. In the case D is contractible, the family gives a smoothing of the dual cusp, and thus a proof of Looijenga's 1981 cusp conjecture.

研究の動機と目的

• 対数カルラビ＝ヤウ表面 $(Y,D)$ に対して、$D$ が有理曲線のサイクルである場合に、自然かつ合成的な鏡対称的ファミリーの構成を提供すること。
• 有理曲線が $D$ と一点で交わる相対グロモフ＝ウィッテン不変量を用いて、シータ関数の空間上の代数構造を定義すること。
• 鏡を、有効的コーンの完備化上の $T^D$-可換な平坦ファミリーとして実現し、$n$-頂点特異点 $\mathbb{V}_n$ を滑らかにすること。
• グロス＝ジーベルト局所的領域付近での一貫性と滑らかさを確立し、境界ストラトムへ拡張すること。
• $(Y,D)$ に付随する双対カスプ特異点が滑らかに可能であることを証明し、対数カルラビ＝ヤウ設定におけるルイエンガの予想を裏付けること。

提案手法

• 有効的コーン $\operatorname{NE}(Y)$ に付随するモノイド $P$ に対して $R = \Bbbk[P]$ とおく。$R_I = R/I$ 上の有限生成代数 $A_I$ のスペクトラムとして鏡を構成する。
• 有理曲線が $D$ とちょうど一点で交わる相対グロモフ＝ウィッテン不変量を用いて、$A_I = \bigoplus_{q \in B(\mathbb{Z})} R_I \cdot \vartheta_q$ 上の代数構造を定義する。
• $(Y,D)$ のトロピカル化 $B$ 上の散乱図を用いて、折れた直線（broken lines）を定義し、代数構造の一貫性を保証する。
• $T^D \to \operatorname{Spec} \Bbbk[P^{\text{gp}}]$ によるホモモーティズムを用いて、$\operatorname{Spec} A_I$ に $T^D$-作用を導入し、$f: X_I \to \operatorname{Spec} R_I$ を平坦かつ $T^D$-可換な写像とする。
• すべての単項式イデアル $I$ に対して $\sqrt{I} = \mathfrak{m}$ を満たすものについて逆極限を取ることで、形式的ファミリー $\mathfrak{f}: \mathfrak{X}_{\mathfrak{m}} \to \mathfrak{S}_{\mathfrak{m}} = \operatorname{Spf} \widehat{R}$ を得る。これは $\mathbb{V}_n$ の形式的滑らか化である。
• 鏡対称的構成によって誘導される写像の核を用いて、特異ファイバーの有限型変形を構成することで、双対カスプ特異点の滑らか化を証明する。

実験結果

リサーチクエスチョン

• RQ1 対数カルラビ＝ヤウ表面 $(Y,D)$ に対して、$D$ が有理曲線のサイクルである場合に、内的な幾何的データのみを用いて、自然な鏡対称的ファミリーを構成できるか？
• RQ2 有理曲線が $D$ と一点で交わるグロモフ＝ウィッテン不変量を用いて、シータ関数の空間上の自然な代数構造を定義する方法は何か？
• RQ3 鏡対称的構成は自然に $T^D$-可換的であり、有効的コーンの完備化上に平坦であるか？
• RQ4 鏡対称的ファミリーは $n$-頂点特異点 $\mathbb{V}_n$ を形式的に滑らかに可能か？
• RQ5 $(Y,D)$ に付随する双対カスプ特異点は、ルイエンガの予想が予測するように滑らかに可能か？

主な発見

• 鏡ファミリーは、一般ファイバーが滑らかで、特別ファイバーが $\mathbb{A}^n$ 内の $n$-頂点 $\mathbb{V}_n$ に同型である、$T^D$-可換な形式的ファミリー $\mathfrak{f}: \mathfrak{X}_{\mathfrak{m}} \to \mathfrak{S}_{\mathfrak{m}}$ として構成される。
• 代数構造 $A_I$ は、$D$ と一点で横断的に交わる有理曲線を数える相対グロモフ＝ウィッテン不変量によって定義され、散乱図の一貫性が保証される。
• シータ関数 $\vartheta_q$ は、アーベル多様体上の古典的シータ関数を、対数カルラビ＝ヤウ設定へ一般化した、代数 $A_I$ の自然な基底をなす。
• 構成は内的かつ合成的であり、$(Y,D)$ のグロモフ＝ウィッテン理論にのみ依存し、補助的選択やトロピカルモデルを必要としない。
• $(Y,D)$ に付随する双対カスプ特異点は滑らかに可能である。これは、特異ファイバーが鏡対称的ファミリーの特異ファイバーと解析的に同型となる有限型変形を構成することで示された。
• 鏡対称的ファミリーは基底の境界ストラトムへ拡張可能であり、代数構造によって誘導される写像の核によって特異点の軌道が制御され、ネーアキヤマの補題を用いて滑らか化が得られる。