[論文レビュー] Potential functions via toric degenerations

Takeo Nishinou, Yuichi Nohara+1 more|arXiv (Cornell University)|Nov 29, 2008

Geometry and complex manifolds参考文献 14被引用数 7

ひとこと要約

本稿では、特異点をもつFano多様体の開部分集合に、トーリック退化を用いて可積分系を構成し、中心特異点が小さな解消をもつトーリックFano多様体である場合、そのラグランジュトーリックファイバーのポテンシャル関数を計算する。主な結果は、ミラーポリトープのアフィン関数とシンプレクティック面積を用いたポテンシャル関数の明示的公式であり、このようなFano多様体に非可移動なラグランジュトーリック部分多様体が存在することを示している。

ABSTRACT

This is a short companion paper to arXiv:0810.3470. We construct an integrable system on an open subset of a Fano manifold equipped with a toric degeneration, and compute the potential function for its Lagrangian torus fibers if the central fiber is a toric Fano variety admitting a small resolution.

研究の動機と目的

• トーリック退化を用いてFano多様体上に可積分系を構成すること。
• そのような系におけるラグランジュトーリックファイバーのポテンシャル関数を計算すること。
• ハミルトニアン微分同相変換のもとでラグランジュトーリック部分多様体が非可移動となる条件を特定すること。
• 退化を用いて、既知のトーリックFano多様体におけるポテンシャル関数の結果を、より広いFano多様体へ一般化すること。

提案手法

• 中心特異点がトーリックFano多様体で、一般特異点が滑らかな射影代数的多様体である、射影代数的多様体の平坦な族を用いる。
• 中心特異点から一般特異点への経路に沿ったシンプレクティック平行移動を適用し、トーリック可積分系を一般Fano多様体に移す。
• シンプレクティック同相写像を用いて、中心特異点のミラーマップを一般Fano多様体上に持ち上げる。
• ポテンシャル関数をミラーポリトープの面ごとの和として表現する：$ \mathfrak{PO}(x) = \sum_{i=1}^{m} e^{\langle v_i, x \rangle} T^{\ell_i(u)} $、ここで $ \ell_i(u) = \langle v_i, u \rangle - \tau_i $。
• 擬全純円盤の障害理論および変形理論を用いて、持ち上げの存在を検証し、弱いバインディングコチェーンのモジュライ空間を計算する。
• Fukaya-Oh-Ohta-Onoの$ A_\infty $-構造およびMaurer-Cartan方程式の結果を応用して、ポテンシャル関数を定義する。

実験結果

リサーチクエスチョン

• RQ1 Fano多様体がトーリック退化を用いて構成された可積分系をもつための条件は何か？
• RQ2 そのような系において、ラグランジュトーリックファイバーのポテンシャル関数はどのように計算できるか？
• RQ3 ハミルトニアン微分同相変換のもとで、ラグランジュトーリックファイバーが非可移動となるのはいつか？
• RQ4 中心特異点が小さな解消をもつ場合、ミラーポリトープとシンプレクティック面積を用いたポテンシャル関数の明示的形は何か？

主な発見

• ラグランジュトーリックファイバー $ L(u) $ のポテンシャル関数は $ \mathfrak{PO}(x) = \sum_{i=1}^{m} e^{\langle v_i, x \rangle} T^{\ell_i(u)} $ で与えられ、ここで $ \ell_i(u) = \langle v_i, u \rangle - \tau_i $、$ u \in \operatorname{Int}\Delta $ である。
• 任意の $ u \in \operatorname{Int}\Delta $ に対して、1次コホモロジー群 $ H^1(L(u);\Lambda_0) $ は弱いバインディングコチェーンのモジュライ空間 $ \mathcal{M}(L(u)) $ に埋め込まれる。
• 中心特異点に小さな解消が存在することは、ポテンシャル関数が適切に定義され、ラグランジュトーリック部分多様体が非可移動であることを保証する。
• 非可移動性は、任意のハミルトニアン微分同相変換 $ \psi $ に対して $ \psi(L) \cap L \neq \emptyset $ であるという事実から導かれる。これはポテンシャル関数の構造によって示される。
• 本手法は $ \mathbb{P}^5 $ 内の2次超曲面の完全交差、2次超曲面、および立方曲面に適用可能であり、$ S^2 \times S^2 $ および $ F_2 $ において明示的な計算が可能である。
• 関連する変形問題における障害群は消え、擬全純円盤の持ち上げの存在が保証され、持ち上げのモジュライ空間は $ S^1 $ と同型である。これによりポテンシャル関数の形が確認される。