[論文レビュー] Immersed two-spheres and SYZ with Application to Grassmannians

Hansol Hong, Yoosik Kim+1 more|arXiv (Cornell University)|May 29, 2018

Geometric and Algebraic Topology参考文献 60被引用数 15

ひとこと要約

本稿は、ノード的自己交差をもつ埋め込まれた2次元球面を特異ファイバーとして含めることで、SYZ鏡対称構成を完成させるフローア理論的グリューリング技法を開発する。これにより、Gr(2,ℂⁿ)およびOG(1,ℂ⁵)の完全なSYZ鏡が得られ、リエッチュのLie理論的鏡が回復され、埋め込まれたラグランジュ部分多様体を境界とする非自明なオープンGromov-Wittenインバリアントおよび非自明なフローアコhomologyの計算が可能になる。

ABSTRACT

We develop a Floer theoretical gluing technique and apply it to deal with the most generic singular fiber in the SYZ program, namely the product of a torus with the immersed two-sphere with a single nodal self-intersection. As an application, we construct immersed Lagrangians in $\mathrm{Gr}(2,\mathbb{C}^n)$ and $\mathrm{OG}(1,\mathbb{C}^5)$ and derive their SYZ mirrors. It recovers the Lie theoretical mirrors constructed by Rietsch. It also gives an effective way to compute stable disks (with non-trivial obstructions) bounded by immersed Lagrangians.

研究の動機と目的

• 埋め込まれた2次元球面に1つのノード的自己交差を持つトーラスバンドルを特異ファイバーとして含めることで、SYZ鏡対称構成を完成させること。
• 2次元の非自明な対象を除く従来のSYZ手法の制限を克服し、埋め込みラグランジュ部分多様体を含めること。
• 埋め込みラグランジュ部分多様体が境界とする安定ディスクに非自明な障害がある場合の有効な計算手法を提供すること。
• Gr(2,ℂⁿ)およびOG(1,ℂ⁵)の完全なSYZ鏡を確立し、リエッチュのLie理論的鏡と一致させること。
• Gr(2,ℂ⁴)の完全なフクヤカカテゴリが、鏡のスーパーポテンシャルの完全な行列因子化カテゴリと同値であることを示すこと。

提案手法

• 埋め込みラグランジュ部分多様体のフローア理論において、摂動の選択を明示的にするため、完全なモース関数とパール軌道を用いる。
• フクヤカカテゴリにおける自己同型の関手的グリューリング構成を用い、埋め込み点における定数ディスクのバブルによる障害を処理する。
• 散乱現象による重複を避けるために、トーラスファイバーから得られる無限個の鏡チャートの代わりに、有限個の鏡チャートを埋め込みラグランジュ部分多様体から導出する。
• 単調なトーラスファイバーのファミリーフローア理論と、異なるトーリック退化を補間するラグランジュの埋め込みを統合する。
• 変形理論を用いて鏡のスーパーポテンシャルWを構成し、その臨界点を計算することで、リエッチュのLie理論的構成と一致することを示す。
• δに関する次数分解と消滅条件を用いて、鏡の行列因子化構造を分析し、ウェッジ収縮型構造を証明する。

実験結果

リサーチクエスチョン

• RQ1 特異ファイバーとして、ノード的自己交差をもつ埋め込み2次元球面に上るトーラスバンドルが存在する場合、SYZ鏡対称構成はどのように完成されるか？
• RQ2 埋め込み点における定数ディスクのバブルによる障害を扱えるフローア理論的グリューリング技法は開発可能か？
• RQ3 埋め込みラグランジュ部分多様体を含めることで、従来の滑らかなトーラスファイバーに基づく構成では欠落していた鏡の臨界点が回復されるか？
• RQ4 Gr(2,ℂⁿ)およびOG(1,ℂ⁵)に対する結果の鏡が、リエッチュのLie理論的鏡とどの程度一致するか？
• RQ5 Gr(2,ℂ⁴)のフクヤカカテゴリと、鏡のスーパーポテンシャルの行列因子化カテゴリとの間には、完全なホモロジカル鏡対称同値が成立するか？

主な発見

• Gr(2,ℂ⁴)のSYZ鏡が完全に構成され、スーパーポテンシャルWの完全な行列因子化カテゴリと同値であることが示され、すべての非ゼロ臨界値において同値が成立する。
• Gr(2,ℂ⁴)の鏡のスーパーポテンシャルWは、リエッチュのLie理論的構成と一致し、既存の代数的鏡対称性の結果と整合性を保つ。
• 埋め込みラグランジュ部分多様体(ℒ₀, b)に対応する行列因子化P_bはウェッジ収縮型であり、δはδ² = (W − W(b))·idを満たす微分作用素として作用する。
• 関手的性と完全なモース関数を用いて、グリューリング式を明示的に導出することで、埋め込みラグランジュ部分多様体におけるクルンシの摂動のあいまいさが解消される。
• Gr(2,ℂ⁴)において、潜在的値λをとるフクヤカカテゴリの完全部分圏は、⊕_λ MF(W − λ)に同値であり、λはWのすべての非ゼロ臨界値を走る。
• 本手法により、リエッチュの鏡からポテンシャルを抽出することで、非自明なオープンGromov-Wittenインバリアントが有効に計算可能となり、ラグランジュブレーンの非可動性およびフローアコhomologyの研究が可能になる。