[論文レビュー] Homological mirror symmetry for curves of higher genus

Alexander I. Efimov|arXiv (Cornell University)|Jul 22, 2009

Homotopy and Cohomology in Algebraic Topology被引用数 6

ひとこと要約

本稿は、代数的曲線の genus $g \geq 3$ に対して、Fukaya $A_\infty$-圏の split-closed perfect 衍生圏と、鏡像 Landau-Ginzburg モデルの特異ファイバーにおける特異的圏の同値性を確立することにより、ホモロジカルミラー対称性を証明する。証明は、Seidel の genus 2 の場合のアプローチを一般化し、Floer コホホロジー上の $A_\infty$-構造、行列因子分解、および特異的超曲面の形式的型を、その $\mathbb{Z}/2$-graded $A_\infty$-圏から再構成する定理を用いる。

ABSTRACT

Katzarkov has proposed a generalization of Kontsevich's mirror symmetry conjecture, covering some varieties of general type. Seidel \cite{Se} has proved a version of this conjecture in the simplest case of the genus two curve. Basing on the paper of Seidel, we prove the conjecture (in the same version) for curves of genus $g\geq 3,$ relating the Fukaya category of a genus $g$ curve to the category of Landau-Ginzburg branes on a certain singular surface. We also prove a kind of reconstruction theorem for hypersurface singularities. Namely, formal type of hypersurface singularity (i.e. a formal power series up to a formal change of variables) can be reconstructed, with some technical assumptions, from its D$(\Z/2)$-G category of Landau-Ginzburg branes. The precise statement is Theorem 1.2.

研究の動機と目的

• genus 2 曲線における Seidel のホモロジカルミラー対称性の証明を、$g \geq 3$ の曲線へ拡張すること。
• genus $g$ の曲線の Fukaya $A_\infty$-圏の split-closed perfect 衍生圏と、鏡像 Landau-Ginzburg モデルにおける特異ファイバーの三角的圏との同値性を確立すること。
• 特異的超曲面の形式的型が、その $\mathbb{Z}/2$-graded $A_\infty$-圏による Landau-Ginzburg brane から再構成可能である一般定理を証明すること。
• genus 2 の場合に用いられた $A_\infty$-構造分類および行列因子分解技術を、より高次の genus の曲線へ一般化すること。

提案手法

• 特異ファイバー $H = X_0$ が $g+1$ 個の曲面の和集合である三様体として、$K$-不変な超ポテンシャル $W = -z_1 z_2 z_3 + z_1^{2g+1} + z_2^{2g+1} + z_3^{2g+1}$ を用いて、鏡像 Landau-Ginzburg モデル $W: X \to \mathbb{C}$ を構成する。
• シンプレクティックな genus $g$ の曲面 $M$ の Fukaya $A_\infty$-圏 $\mathcal{F}(M)$ を定義し、その split-closed perfect 衍生圏 $D^\pi(\mathcal{F}(M))$ を考察する。
• $\mathbb{Z}/(2g+1)$-作用を伴う cyclic 蓄積 $\pi: M \to \mathbb{P}^1$ を用いて、$2g+1$ 個の Lagrangian 曲線 $L_1, \dots, L_{2g+1}$ の $K$-不変な集合を構成し、$D^\pi(\mathcal{F}(M))$ の生成子とする。
• 生成子 $\bigoplus L_i$ の自己準同型代数 $\operatorname{End}(\bigoplus L_i)$ における $A_\infty$-構造を、$\operatorname{End}(\bar{L}) \# \mathbb{C}[K]$ としてのスモッシュ積として計算する。ここで $\bar{L}$ は、軌道商空間における像である。
• Floer コホホロジー $HF^\cdot(\bar{L}, \bar{L})$ が外積代数 $\Lambda(V)$ に同型であることを示し、Kontsevich の形式性定理および Hochschild 1-コチェーンにおける Maurer-Cartan 解を用いて $A_\infty$-構造を分類する。
• Fukaya 側の $A_\infty$-構造が、多ベクトル場実現を介して超ポテンシャル $W$ に対応することを証明し、$W^{-1}(0)$ の行列因子分解圏と、特異的圏 $D_{\text{sg}}(H)$ を介して一致させることを示す。

実験結果

リサーチクエスチョン

• RQ1 genus $g \geq 3$ の曲線におけるホモロジカルミラー対称性の予想は、genus 2 の場合と同様の枠組みで確立可能か？
• RQ2 genus $g \geq 3$ の曲線の Fukaya 圏における $A_\infty$-構造は、どのように分類され、鏡像 Landau-Ginzburg モデルと一致するか？
• RQ3 特異的超曲面の形式的型は、その $\mathbb{Z}/2$-graded $A_\infty$-圏による Landau-Ginzburg brane からどの程度再構成可能か？
• RQ4 鏡像 LG モデルにおける特異ファイバーの三角的圏と、曲線の split-closed 衍生 Fukaya 圏との間の正確な関係は何か？
• RQ5 軌道商空間における自己曲線 $\bar{L}$ の Floer コホホロジー上の $A_\infty$-作用は、超ポテンシャル $W$ とどのように関係するか？

主な発見

• genus $g \geq 3$ の曲線 $M$ に対して、三角的圏 $D^\pi(\mathcal{F}(M))$ と $\overline{D_{\text{sg}}}(H)$ が同値であることが示され、この場合のホモロジカルミラー対称性予想が証明された。
• 生成子 $\bigoplus_{i=1}^{2g+1} L_i$ の自己準同型代数における $A_\infty$-構造は、Maurer-Cartan 解と形式的多ベクトル場の対応を通じて、超ポテンシャル $W$ によって決定される。
• $W^{-1}(0)$ 上のスカイクラッパー層 $\mathcal{O}_0$ に対応する行列因子分解の自己準同型 DGA のコホホロジーは $\Lambda(V)$ に同型であり、Fukaya 側の $A_\infty$-構造と一致する。
• 再構成定理（定理 1.2）は、技術的仮定の下で、特異的超曲面 $W \in \mathbb{C}[[V^\vee]]$ の形式的型が、その $\mathbb{Z}/2$-graded $A_\infty$-圏による Landau-Ginzburg brane から回復可能であることを確立する。
• Seidel の genus 2 の結果を、覆いの循環的対称性と $K \cong \mathbb{Z}/(2g+1)$ の作用を用いた、組合せ的 $A_\infty$-構造計算およびホモトピー論的技法を高次の genus へ拡張することで、一般化した。
• 同値性は、形式性による $A_\infty$-構造分類、行列因子分解モデル、およびプロ-ネルポテンシャル DGLA 内の Maurer-Cartan 解のホモトピーの障害理論を介した一連の同定を通じて確立された。