[論文レビュー] On the reconstruction problem in mirror symmetry

Junwu Tu|arXiv (Cornell University)|Aug 29, 2012

Geometric and Algebraic Topology参考文献 10被引用数 3

ひとこと要約

本稿は、ラグランジュトーラスファイブレーションの滑らかでない部分 $B_0$ 上の双対トーラスファイブレーションにおける半フラットな複素構造の変形として、ノヴィコフ体上に剛体的解析的空間 $M^{\scriptscriptstyle\vee}_0$ を構成する。ホロモーフィックディスクのモジュライ空間における壁を越える現象を符号化する $A_\infty$ 同型写像を用いて、マスロフ指数0および遮断されない条件の下で、非アーケメード型ミラー対称性の枠組みを実現し、フクヤのメイザー＝カルトゥーのモジュライ空間の貼り合わせに関する提案を幾何学的に実現する。

ABSTRACT

Let π: M a B be a Lagrangian torus fibration with singularities such that the fibers are of Maslov index zero, and unobstructed. The paper constructs a rigid analytic space M_0^\chk over the Novikov field which is a deformation of the semi-flat complex structure of the dual torus fibration over the smooth locus B_0 of π. Transition functions of M_0^\chk are obtained via A-\infty homomorphisms which capture the wall-crossing phenomenon of moduli spaces of holomorphic disks.

研究の動機と目的

• フクヤのミラー対称性再構成の概念的アプローチ、すなわち $A_\infty$ 代数のメイザー＝カルトゥーのモジュライ空間の $A_\infty$ 理論的貼り合わせによる実現を目的とする。
• 滑らかでない部分 $B_0$ 上の双対トーラスファイブレーションにおける半フラットな複素構造の変形として、ミラー空間 $M^{\scriptscriptstyle\vee}_0$ を構成すること。
• シンプレクティック幾何学からのインスタントン補正を、$A_\infty$ 同型写像を用いてミラー空間の遷移関数に組み込むこと。
• 非アーケメード型幾何学におけるトーラスファイブレーション構造を一般化する、グローバルな評価写像 $\mathsf{val}: M^{\scriptscriptstyle\vee}_0 \to B_0$ の確立。
• 非遮断性およびマスロフ指数0の条件を満たすことで、ホモロジー的ミラー対称性のための幾何的枠組みを提供すること。

提案手法

• ノヴィコフ体 $\Lambda$ 上の $A_\infty$ 代数の標準的モデルを用いて、局所アフィンイドドメイン $\mathscr{U}_i = \operatorname{Spec} \mathscr{O}_i$ を構成する。
• ホロモーフィックディスクのモジュライ空間における壁を越える現象を符号化する $A_\infty$ 同型写像を用いて、局所チャート間の遷移写像 $\Psi_{ij}$ を定義する。
• 評価写像 $\mathsf{val}$ を用いて局所チャートの整合性を保証し、グローバルな評価写像 $\mathsf{val}: M^{\scriptscriptstyle\vee}_0 \to B_0$ を定義する。
• 2パラメータの $\omega$-適合 almost complex 構造の族を用いたホモトピー不変性により、メイザー＝カルトゥー関手のコycle条件 $\Psi_{jk}\Psi_{ij} = \Psi_{ik}$ を検証する。
• フロアー理論における収束問題を扱うために、非アーケメード型の剛体的解析的幾何の枠組みを用い、複素多様体の代わりにノヴィコフ体上の空間を導入する。
• インスタントン補正が消えるとき、Kontsevich-Soibelman の構成に帰着する明示的な貼り合わせ公式 (4.12) を導出する。

実験結果

リサーチクエスチョン

• RQ1 ミラー対称性における再構成問題は、どのように $A_\infty$ 理論的メイザー＝カルトゥーのモジュライ空間の貼り合わせによって実現可能か？
• RQ2 ホロモーフィックディスクからのインスタントン補正は、半フラットなミラー構造をどのように変形するか？
• RQ3 元のラグランジュトーラスファイブレーションからのシンプレクティックデータを捉えるノヴィコフ体上に、剛体的解析的ミラー空間 $M^{\scriptscriptstyle\vee}_0$ をどのように構成できるか？
• RQ4 $A_\infty$ 同型写像は、ホロモーフィックディスクのモジュライ空間における壁を越える挙動をどのように符号化するか？
• RQ5 非アーケメード型幾何学におけるトーラスファイブレーション構造を一般化する、グローバルな評価写像 $\mathsf{val}: M^{\scriptscriptstyle\vee}_0 \to B_0$ を定義できるか？

主な発見

• 本構成により、ノヴィコフ体 $\Lambda$ 上の剛体的解析的空間 $M^{\scriptscriptstyle\vee}_0$ が得られ、これは $B_0$ 上の双対トーラスファイブレーションにおける半フラットな複素構造の変形である。
• 遷移関数 $\Psi_{ij}$ は、シンプレクティック幾何学からのインスタントン補正を組み込んだ $A_\infty$ 同型写像として明示的に与えられ、Kontsevich-Soibelman の構成を一般化する。
• 2パラメータの almost complex 構造の族とメイザー＝カルトゥー関手のホモトピー不変性を用いて、コycle条件 $\Psi_{jk}\Psi_{ij} = \Psi_{ik}$ が検証された。
• 評価写像 $\mathsf{val}: M^{\scriptscriptstyle\vee}_0 \to B_0$ はグローバルに適切に定義されており、貼り合わせ写像と整合的であり、非アーケメード型幾何学におけるファイブレーション構造を一般化する。
• 本構成には $M$ 上の極化データを必要としないが、$M^{\scriptscriptstyle\vee}_0$ のコンパクト化にはそのようなデータが必要となる可能性がある。
• マスロフ指数0および非遮断性の仮定は本質的である：前者はカルラヤ・ヤウ多様体内の特別ラグランジュ部分多様体では自動的に成立し、後者はホモロジー的ミラー対称性が成立するためには不可欠である。