[論文レビュー] Homological mirror symmetry for punctured spheres

Mohammed Abouzaid, Denis Auroux+3 more|arXiv (Cornell University)|Mar 22, 2011

Algebraic structures and combinatorial models参考文献 35被引用数 5

ひとこと要約

この論文は、穴あき球面におけるホモロジカルミラー対称性を確立し、穴あき球面のラップド Fukaya 圏とミラー Landau-Ginzburg モデルの特異点の三角分解カテゴリの同値性を証明する。著者らはさらに、シンプレクティック側の巡回被覆がミラー側の軌道商に一致することを示し、Calabi-Yau 環境を超えて非コンパact かつ特異な幾何構造へと予想を拡張する。

ABSTRACT

We prove that the wrapped Fukaya category of a punctured sphere ($S^2$ with an arbitrary number of points removed) is equivalent to the triangulated category of singularities of a mirror Landau-Ginzburg model, proving one side of the homological mirror symmetry conjecture in this case. By investigating fractional gradings on these categories, we conclude that cyclic covers on the symplectic side are mirror to orbifold quotients of the Landau-Ginzburg model.

研究の動機と目的

• 非コンパクトかつ非 Calabi-Yau な穴あき球面におけるホモロジカルミラー対称性を、コンパクトな Calabi-Yau 多様体にとどまらない枠組みへと拡張することで確立すること。
• 通常の Fukaya 圏が非有限なコhomological 次元のために失敗する開多様体におけるシンプレクティック幾何を、ラップド Fukaya 圏が正しく捉えられることを示すこと。
• ミラー側の Landau-Ginzburg 超ポテンシャルの特異点の三角分解カテゴリが、ミラー側の穴あき球面のラップド Fukaya 圏と一致することを検証すること。
• 両側における分数次元の関係が、シンプレクティック側の巡回被覆とミラー側の軌道商の対応関係をどのように関連付けるかを明らかにすること。
• コットangent バンドルを超えた非自明なラップド Fukaya 圏の計算を、ストリングトポロジーおよび層論的技法を用いて初めて行うこと。

提案手法

• 著者らは、コンパクトでない設定において、コンパクトラグランジュ部分多様体だけではすべてのミラー対象を捉えきれないため、通常の Fukaya 圏の代わりにラップド Fukaya 圏を用いる。
• 超ポテンシャル W を持つミラー Landau-Ginzburg モデルを構成し、その三角分解カテゴリをミラー対称性の B 軸側として特定する。
• 証明は、グロテンディーク群と K 理論の比較に依拠し、特異ファイバー上の完全複体の $ K_{-1} $-群を特に分析することで、イデムポテンス完備性を検証する。
• K 理論における長完全系列を用いて、$ K_{-1}( ext{Perf}(X_0)) = 0 $ を示し、これが特異点カテゴリがイデムポテンス完備であることを示唆する。
• 特異ファイバー $ X_0 $ の正規化と関連する特異点の二部グラフを用いて、$ K_{-1}( ext{Perf}(γ)) = 0 $ を示し、ここで $ γ $ は特異点の軌跡を表す。
• 両カテゴリにおける分数次元の分析を通じて、シンプレクティック側の巡回被覆とミラー側の軌道商の対応関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 非 Calabi-Yau かつ非コンパクト幾何を有する穴あき球面において、ホモロジカルミラー対称性は成立するか？
• RQ2 非コンパクトな設定において、ラップド Fukaya 圏は Landau-Ginzburg 超ポテンシャルの特異点の三角分解カテゴリの適切なミラーとして機能するか？
• RQ3 シンプレクティック側と代数的側における分数次元は、シンプレクティック側の巡回被覆とミラー側の軌道商の対応関係をどのように関連付けるか？
• RQ4 ミラー Landau-Ginzburg モデルの特異点カテゴリはイデムポテンス完備か？ そしてこれはミラー同値性の妥当性に何を意味するか？
• RQ5 特異ファイバーの K 理論は、この非コンパクトかつ特異な設定におけるミラー対応の正しさを検証するために用いられるか？

主な発見

• 任意の数の穴あきを有する球面 $ S^2 $ のラップド Fukaya 圏は、ミラー Landau-Ginzburg モデルの特異点の三角分解カテゴリと同値である。
• ミラー超ポテンシャルの特異ファイバー $ X_0 $ に対する特異点カテゴリ $ D_{ ext{sg}}(X_0) $ は、$ K_{-1}( ext{Perf}(X_0)) = 0 $ を示すことでイデムポテンス完備であることが証明された。
• $ K_{-1}( ext{Perf}(X_0)) $ の消滅は、$ X_0 $ の正規化と特異点に関連する二部グラフにループがないことから示された。
• シンプレクティック側の巡回被覆とミラー側の軌道商の対応関係は、両カテゴリにおける分数次元の分析により明らかになった。
• 本研究は、ストリングトポロジーおよび層論的技法を用いて、コットangent バンドルを超えた初めての非自明なラップド Fukaya 圏の計算を提供した。
• 結果は、一般型の多様体および非正規な Landau-Ginzburg モデルへとホモロジカルミラー対称性が拡張可能であるというより広範な予想を支持する。