[論文レビュー] The Fukaya category of symplectic neighborhood of a non-Hausdorff manifold

Wei-Dong Ruan|ArXiv.org|Feb 7, 2006

Geometric and Algebraic Topology参考文献 9被引用数 5

ひとこと要約

本稿では、ドナルドソンのほぼ正則切断を用いて、摂動を介して非ハウスドルフなラグランジュ的スケルトンへの還元により、正確なシンプレクティック多様体のフクヤカテゴリを計算する手法を導入する。主な結果は、シンプレクティック多様体内の擬全純多角形が、スケルトン内の剛性勾配木へ一様に収束することを示しており、高次元におけるフクヤカテゴリの有効な計算を可能にする。

ABSTRACT

In this paper, using similar idea as in Fukaya-Oh's work ([9]), we devise a method to compute the Fukaya category of certain exact symplectic manifolds by reducing it to the corresponding Morse category of non-Hausdorff manifold as perturbation of the Lagrangian skeleton of the exact symplectic manifold.

研究の動機と目的

• 正確なシンプレクティック多様体のフクヤカテゴリを効果的に計算するための手法を開発すること。これはシンプレクティック位相幾何学における主要な課題のままである。
• ドナルドソンのルーファス・ピルラのアプローチにおける帰納的複雑性を避けるために、フクヤカテゴリの計算を非ハウスドルフラグランジュ的スケルトンのモースカテゴリに還元すること。
• 次元に依存しない計算フレームワークを提供し、高次元においても取り扱い可能であるようにすること。
• 高次元のカラビ＝ヤウ多様体および重み付き射影空間に対するフクヤカテゴリの明示的計算を可能にすることで、ホモロジカルミラー双対性予想を支援すること。

提案手法

• ドナルドソンによるほぼ正則切断の構成を用いて、非ハウスドルフ多様体としてのラグランジュ的スケルトンを定義する。
• 摂動技術を適用し、シンプレクティック近傍のフクヤカカテゴリとスケルトンのモースカテゴリとの関係を確立する。
• ラグランジュ的境界条件を満たす擬全純曲線を用いて、シンプレクティック幾何をモデル化し、それらをスケルトン上の勾配軌道に関連付ける。
• 差分写像 $\check{w}_k$ の $C^{\beta}$-ノルムに関する一様推定を用いて、擬全純多角形がスケルトン内の剛性勾配木へ収束することを確立する。
• 局所座標と $Q_k(z) = \frac{1}{\beta_k(t_k)}(z - [\check{w}_k(t_k)]^\Re)$ を用いたスケーリングにより、$\check{w}_k$ の極限挙動を分析し、極限写像 $\check{w}_o$ が正則であることを示す。
• 命題11.1を適用して勾配ノルム $|D\check{w}_k|$ を有界化し、指数的減衰推定を用いて $\check{w}_k$ の臨界点近傍での大きさを制御する。

実験結果

リサーチクエスチョン

• RQ1 正確なシンプレクティック多様体のフクヤカカテゴリは、非ハウスドルフラグランジュ的スケルトンのモースカテゴリに還元することで、有効に計算可能か？
• RQ2 擬全純多角形がスケルトン内の勾配木へ収束する様子は、摂動パラメータ $\epsilon$ にどのように依存するか？
• RQ3 スケーリングされた差分写像 $\check{w}_k$ の極限が定数の正則写像であるための条件は何か？
• RQ4 ドナルドソンのルーファス・ピルラのような帰納的アプローチと比較して、この手法は高次元においてどの程度有効に機能するか？
• RQ5 このフレームワークは、高次元のカラビ＝ヤウ多様体におけるホモロジカルミラー双対性の証明に応用可能か？

主な発見

• 任意の $r_0 > 0$ に対して、$\epsilon_0 > 0$ が存在し、$\epsilon \leq \epsilon_0$ のとき、インデックスがゼロのすべての擬全純多角形は、スケルトン内の剛性勾配木から距離 $r_0$ 以内にある。
• 差分写像 $\check{w}_k = w_k - \tilde{w}_k$ は $\lim \frac{\epsilon_k}{\beta_k(t_k)} |\check{w}_k(t_k)| = 0$ を満たし、誤差項の均一な減衰を保証する。
• スケーリングされた極限写像 $\check{w}_o$ は正則であり、定義域の境界上で $\mathbb{R}^n$ 値を取る。$\beta_o$ が特異点付近で無限大に発散する場合、これは定数でなければならない。
• $D\check{w}_k$ の一様 $C^\alpha$-ノルムが有界であるため、極限 $D\check{w}_o$ は正しく定義され、収束が失敗する場合にのみ非ゼロとなる。これは矛盾を引き起こす。
• $\mathbb{R}^n$ に値をとり、$\beta_o$ が特異点付近で無限大に発散する非定数の正則写像が存在しないことから、$|D\check{w}_o| = 0$ であることが示され、極限がスケルトンへ一様収束することを証明する。
• 定理11.3は、多様体のシンプレクティック幾何が非ハウスドルフスケルトン上の勾配木構造によって完全に捉えられることを確認しており、還元手法の妥当性を裏付けている。