[論文レビュー] Localized mirror functor constructed from a Lagrangian torus

Cheol‐Hyun Cho, Hansol Hong+1 more|arXiv (Cornell University)|Jun 18, 2014

Geometric and Algebraic Topology参考文献 26被引用数 5

ひとこと要約

本稿は、シンプレクティック多様体 $X$ のフクヤカテゴリから、ホロモーフィック・ランダウ・ジンツブルグ超ポテンシャル $W$ の行列因子化の圏への正規化された $A_{u}$-関手を構成する。ここで $W$ は、$X$ 内の弱く非障害的なラグランジュ環面から導かれる。この構成は、ラグランジュフロア理論と平坦な $\mathbb{C}^\times$-接続を用い、一貫したゲージ選択によりゲージ不変な行列因子化を保証する。また、トーリック・ファノ多様体および $\mathbb{CP}^n$ の実部に対して明示的なミラーを提供する。

ABSTRACT

Fixing a weakly unobstructed Lagrangian torus in a symplectic manifold X, we define a holomorphic function W known as the Floer potential. We construct a canonical A-infinity functor from the Fukaya category of X to the category of matrix factorizations of W. It provides a unified way to construct matrix factorizations from Lagrangian Floer theory. The technique is applied to toric Fano manifolds to transform Lagrangian branes to matrix factorizations. Using the method, we also obtain an explicit expression of the matrix factorization mirror to the real locus of the complex projective space.

研究の動機と目的

• 非カラビ＝ヤウミラー対称性における、ラグランジュフロア理論から行列因子化を統一的かつ計算可能に構成するアプローチを動機づける。
• ラグランジュ環面上の平坦な $\mathbb{C}^\times$-接続におけるゲージ依存性の課題に対処し、well-defined でローレン卜級数値の行列因子化を保証する。
• 従来の自己交差を持つラグランジュフロア理論を、滑らかなラグランジュ環面の状況に拡張し、トーリック・ファノ設定における明示的ミラー構成を可能にする。
• ラグランジュ環面ファイバーの近傍におけるファミリーフロア関手の局所版を提供し、特異ファイバーが存在しない場合には貼り合わせ可能であることを示す。
• 複素射影空間 $\mathbb{CP}^n$ の実部に対するミラー超ポテンシャルおよび行列因子化を明示的に計算する。

提案手法

• 平坦な $\mathbb{C}^\times$-接続に関するモース指数2の正則的ドメーンの数え上げを用いて、$A_\infty$代数 $\mathrm{CF}^*((\mathbb{L},\nabla),(\mathbb{L},\nabla))$ の $m_0$-項としてフロアポテンシャル $W$ を定義する。
• 基準環面 $(\mathbb{L},\nabla)$ と任意の弱く非障害的なラグランジュ $L_1$ 間のラグランジュフロア理論を用い、微分が $W - \lambda$ に等しくなる複体を構成する。ここで $\lambda = m_0^{L_1}$ である。
• 平坦な $\mathbb{C}^\times$-接続に対して一貫したゲージ選択を実装し、超トーラスの近傍以外では holonomy を自明にするように制限することで、行列因子化がローレン卜級数環上に定義されることを保証する。
• 各ラグランジュ $L_1$ に対して、フロア複体 $\mathrm{CF}^*((\mathbb{L},\nabla), L_1)$ から生じる行列因子化を割り当てることで $A_\infty$-関手を構成する。微分は $d^2 = W - \lambda$ を満たす。
• トーリック・ファノ多様体にこの手法を適用し、特異ファイバーが存在しないため、局所ミラー関手を全球的に貼り合わせられることを示す。
• 正則的ドメインおよびフローラインのモジュライ空間の方向性理論に従う符号の規約を用い、行列因子化構造の整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかなラグランジュ環面を基準として、フクヤカテゴリから行列因子化への正規化された $A_\infty$-関手をどのように構成できるか。
• RQ2 平坦な $\mathbb{C}^\times$-接続が、良好に定義されたミラーアル超ポテンシャル $W$ を定義し、ゲージ不変な行列因子化を保証する役割を果たすのはどのようなものか。
• RQ3 平坦接続のゲージ選択が得られる行列因子化に与える影響は何か。また、ローレン卜級数構造を保つ一貫したゲージはどのように選べるか。
• RQ4 この構成を用いて、$\mathbb{CP}^n$ の実部に対する行列因子化ミラーの明示的形は何か。
• RQ5 ラグランジュ環面ファイバーの近傍における局所ミラー関手は、トーリック・ファノ多様体において、全球的ミラー関手に拡張可能か。

主な発見

• フロアポテンシャル $W$ は、平坦な $\mathbb{C}^\times$-接続を伴うラグランジュ環面の $A_\infty$代数の $m_0$-項として構成され、$(\mathbb{C}^\times)^n$ 上の正則関数として得られる。
• $(\mathbb{L},\nabla)$ と任意の $L_1$ 間のラグランジュフロア複体は、$d^2 = W - \lambda$ を満たす $W$ の行列因子化を形成する。ここで $\lambda = m_0^{L_1}$ である。
• 固定された超トーラス以外の領域で holonomy を自明にする一貫したゲージ選択により、得られる行列因子化がローレン卜多項式環上に定義されることを保証する。
• この手法により、$\mathbb{CP}^n$ の実部に対する明示的行列因子化ミラーが得られ、係数に $z_i - \underline{z}_i$ 項と、方向性データによって定まる符号を含む。
• パール複体における符号計算は、モジュライ空間の方向性理論により解決され、微分の符号が行列因子化における期待される $s_{i,j}$-要因と一致することが示された。
• トーリック・ファノ多様体では、各ラグランジュ環面ファイバーの近傍における局所ミラー関手を、特異ファイバーが存在しないため、貼り合わせて全球的ミラー関手を得ることができる。