[論文レビュー] Family Floer program and non-archimedean SYZ mirror construction

Hang Yuan|arXiv (Cornell University)|Mar 13, 2020

Geometric and Algebraic Topology参考文献 23被引用数 8

ひとこと要約

本稿は、フカヤのファミリーフロイド理論を用いて、非アルキメデス的SYZ鏡映性構成を確立し、マスロフ指数0および2の正則ディスクの数え上げを通じて、超ポテンシャルを備えたrigid analytic空間として鏡のLandau-Ginzburgモデルを構成する。これは、特殊ラグランジュ部分多様体のファイバーを必要とせず、インスタントン補正とウォールクロッシングを$A_{\infty}$-構造を$\Lambda$（ノビコフ体）上に用いることで説明する。主な貢献は、インスタントン補正と双対ファイブレーションを組み込んだ体系的な非アルキメデス的鏡映性構成であり、特殊ラグランジュ条件を必要としない。

ABSTRACT

Given a Lagrangian fibration, we provide a natural construction of a mirror Landau-Ginzburg model consisting of a rigid analytic space, a superpotential function, and a dual fibration based on Fukaya's family Floer theory. The mirror in the B-side is constructed by the counts of holomorphic disks in the A-side together with the non-archimedean analysis and the homological algebra of the $A_\infty$ structures. It fits well with the SYZ dual fibration picture and explains the quantum/instanton corrections and the wall crossing phenomenon. Instead of a special Lagrangian fibration, we only need to assume a weaker semipositive Lagrangian fibration to carry out the non-archimedean SYZ mirror reconstruction.

研究の動機と目的

• 非アーベル幾何と$A_{\infty}$-代数的技法を用いて、非ケーリー・ヤウ設定へのSYZ鏡映性プログラムの拡張を図ること。
• ラグランジュファイブレーションにおける正則ディスクの数え上げを統合することで、鏡映性における量子/インスタントン補正の問題を解決すること。
• フロイド理論的データを用いて、グローバルに定義された超ポテンシャル関数を備えたrigid analytic空間として、鏡のLandau-Ginzburgモデルを構成すること。
• 正則ディスクを許容する半正定ラグランジュファイブレーションにまで拡張されたファミリーフロイドプログラムを一般化することにより、特殊ラグランジュ仮定を緩和すること。

提案手法

• 鏡空間$X^\vee$を、トーラスファイバー$L$を走る$H^1(L; U_\Lambda)$の直和集合として構成し、ここで$U_\Lambda$はノビコフ体$\Lambda$の単位群であり、非アルキメデス的トーラスを形成する。
• フカヤのファミリーフロイド理論を用いて、ラグランジュ部分多様体上の$A_{\infty}$-構造を定義し、高次作用素が正則ディスクの数え上げを符号化する。
• ホモロジー的摂動理論と調和縮約を用いて、$A_{\infty}$-代数の標準的モデルを構成し、変形と障害の研究を可能にする。
• $P$-擬等長写像とud-ホモトピーを導入し、異なる$A_{\infty}$-構造を関連づけ、$A_{\infty}$-代数の2-圏を定義する。
• $\mathfrak{m}_0$-障害類から超ポテンシャル$W^\vee$を導出し、これはマスロフ指数2のディスクを数えるものであり、グローバルに適切に定義されることを示す。
• 非アルキメデス幾何とトロピカル幾何を用いて、鏡空間上の移行写像とチャートを定義し、rigid analytic構造を保証する。

実験結果

リサーチクエスチョン

• RQ1 特殊ラグランジュ部分多様体のファイバーを必要とせず、正則ディスクを有するラグランジュファイブレーションに、SYZ鏡映性構成をどのように一般化できるか。
• RQ2 マスロフ指数0および2の正則ディスクの数え上げが、鏡映性における量子補正とウォールクロッシングにどのように寄与するか。
• RQ3 ファミリーフロイド理論と非アルキメデス解析を用いて、ノビコフ体$\Lambda$上にグローバルな鏡のLandau-Ginzburgモデルを構成できるか。
• RQ4 $A_{\infty}$-構造とその変形が、鏡の幾何と超ポテンシャルをどのように符号化するか。
• RQ5 フロイド理論的データを用いて、双対ファイブレーションと鏡空間をrigid analytic空間として厳密に定義できるか。

主な発見

• 鏡空間$X^\vee$は、ラグランジュトーラスファイバー上の$U_\Lambda$-接続をパラメトライズするrigid analytic空間として構成され、古典的な$U(1)$-双対トーラスを一般化する。
• 超ポテンシャル$W^\vee$はグローバルに定義されており、マスロフ指数2の正則ディスクを数える$\mathfrak{m}_0$-障害類から生じる。
• 量子補正は、除法公理とエネルギーフィルトレーションを通じて$A_{\infty}$-構造に自然に符号化され、ウォールクロッシング現象を説明する。
• この構成は半正定ラグランジュファイブレーションに対して有効であり、特殊ラグランジュ条件を必要としないため、ファミリーフロイドプログラムの適用範囲を拡大する。
• 局所チャート間の移行写像は選択に依存せず、コサイクル条件を満たすため、鏡空間構造のグローバル整合性が保証される。
• この鏡映性構成は非アルキメデス的SYZ図像と整合しており、コンツェビッチ＝ソイベルマンの非アルキメデス的鏡映性の期待を実現する。