[論文レビュー] Localized mirror functor for Lagrangian immersions, and homological mirror symmetry for P^1_{a,b,c}

Cheol‐Hyun Cho, Hansol Hong+1 more|arXiv (Cornell University)|Aug 21, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 45被引用数 9

ひとこと要約

本稿では、ラグランジュ的埋め込みを用いた一般化されたSYZ構成を導入し、Landau-Ginzburg鏡を導出し、軌道的リーマン面 $\mathbb{P}^1_{a,b,c}$ およびフェルマー超曲面におけるホモロジカル鏡像対称性を確立する。浸漬されたラグランジュ的フロア理論と変形理論を活用することで、Fukaya圏から超ポテンシャル $W$ の行列因子への自然な $A_\infty$-関手を構成し、分裂生成およびコホホロジー同型性の仮定の下でホモロジカル鏡像対称性を証明する。

ABSTRACT

This paper gives a new way of constructing Landau-Ginzburg mirrors using deformation theory of Lagrangian immersions motivated by the works of Seidel, Strominger-Yau-Zaslow and Fukaya-Oh-Ohta-Ono. Moreover we construct a canonical functor from the Fukaya category to the mirror category of matrix factorizations. This functor derives homological mirror symmetry under some explicit assumptions. As an application, the construction is applied to spheres with three orbifold points to produce their quantum-corrected mirrors and derive homological mirror symmetry. Furthermore we discover an enumerative meaning of the (inverse) mirror map for elliptic curve quotients.

研究の動機と目的

• ラグランジュ的トーラスファイブレーションを置き換えることでSYZプログラムを一般化し、より直接的な鏡を構成するために、コンパクトで埋め込まれたラグランジュ的多様体を用いる。
• Fukaya圏と行列因子の圏との間の関手的ブリッジを確立し、ホモロジカル鏡像対称性を可能にする。
• J-正則多角形の数え上げを通じて、鏡写し写像の幾何的および数え上げ的解釈を提供する。
• 一般化されたSYZ構成が平坦座標における鏡を生じることを検証し、Gross-Siebertの予想と整合させる。
• 高次元フェルマー超曲面へこの枠組みを拡張し、フロアコホモロジー上に新しいウェッジ積構造を予想する。

提案手法

• 埋め込まれたラグランジュ的多様体 $\mathbb{L}$ を境界とするJ-正則多角形の数え上げを通じて、Landau-Ginzburg超ポテンシャル $W$ をラグランジュ的フロアポテンシャルとして構成する。
• Fukaya圏の対象を行列因子に写す自然な $A_\infty$-関手 $\mathcal{LM}^\mathbb{L}: \mathcal{Fuk}_\lambda(X) \to \mathcal{MF}(W - \lambda)$ を定義する。
• 埋め込みラグランジュ的多様体 $\mathbb{L}$ の弱く未遮断された変形を用いて、鏡超ポテンシャルを定義し、関手の定義可能性を保証する。
• $\mathbb{C}\mathbb{P}^1$ 上の反シンプレクティック自己同型を適用し、変形サイクルの弱い未遮断性を証明し、正則的ディスクをペアリングする。
• フロアコホモロジー上に新しい外積代数構造 $\wedge^{\text{new}}$ を導入し、行列因子を「ウェッジ収縮」形式で表現する。
• 鏡関手が $\mathcal{MF}(W)$ の分裂生成を誘導することを検証し、コホホロジー同型性の条件下で導来同値性を導く。

実験結果

リサーチクエスチョン

• RQ1 SYZプログラムは、トーラスファイブレーションの代わりに埋め込みラグランジュ的多様体を用いることで一般化可能であり、より自然に鏡を構成できるか？
• RQ2 埋め込みラグランジュ的フロア理論から導かれる局所化鏡関手は、妥当な幾何的仮定の下でホモロジカル鏡像対称性を誘導するか？
• RQ3 この枠組みにおいて、楕円曲線の商およびフェルマー超曲面の鏡写し写像の数え上げ的意味は何か？
• RQ4 一般化されたSYZ構成は、Gross-Siebertプログラムの予測通り、平坦座標における鏡を生成するか？
• RQ5 フロアコホモロジー上に、鏡行列因子が $\mathcal{MF}(W)$ の分裂生成を可能にする新しい代数的構造が存在するか？

主な発見

• 著者らは自然な $A_\infty$-関手 $\mathcal{LM}^\mathbb{L}: \mathcal{Fuk}_\lambda(X) \to \mathcal{MF}(W - \lambda)$ を構成し、Fukaya圏と行列因子との間の直接的なリンクを提供する。
• $\mathbb{P}^1_{a,b,c}$ に対して、一般化されたSYZ写像は鏡写像と一致し、マスロフ指数2の多角形の数え上げを通じて鏡超ポテンシャル $W$ が明示的に計算される。
• $\mathbb{P}^1_{a,b,c}$ のシーデルラグランジュ的多様体は $\mathcal{LM}^\mathbb{L}$ によって、『ウェッジ収縮』形式で表現可能な行列因子に写され、これは $\mathcal{MF}(W)$ を分裂生成する。
• この構成により、$\mathbb{P}^1_{a,b,c}$ の鏡超ポテンシャル $W$ が平坦座標にあることが検証され、一般化されたSYZが平坦幾何における鏡を生成するという予想を支持する。
• フェルマー超曲面に対しては、$W$ の主要項がSheridanによって計算されたものと一致し、$W = q_\alpha x_1\cdots x_{n+2} + q_\beta \sum x_i^{n+2} + o(q_\alpha, q_\beta)$ となる。また、鏡写像が既知の表現と整合することが示される。
• 著者らは、一般化されたSYZ構成がすべてのフェルマー超曲面に対して平坦座標における鏡を生成すると予想し、$CF(\bar{L}, \bar{L})$ 上の新しい $\wedge^{\text{new}}$ 積構造が、鏡行列因子が $\mathcal{MF}(W)$ を分裂生成可能にするものであると述べている。