[論文レビュー] Lagrangian fibers of Gelfand-Cetlin systems

Yunhyung Cho, Yoosik Kim+1 more|arXiv (Cornell University)|Apr 24, 2017

Advanced Combinatorial Mathematics参考文献 31被引用数 12

ひとこと要約

本稿は、部分フラッグ多様体上のゲルファンド＝チェトリン系におけるファイバーの完全な位相的分類を提供し、すべてのファイバーが滑らかな等光的部分多様体であることを証明するとともに、ゲルファンド＝チェトリン多面体の組合せ論を用いて、いつファイバーがラグランジュ的であるかを特定する。シューベルト円周を用いたバッチ変形フロアー上同調加群を用いて、n ≥ 3 に対してモノトーンな全フラッグ多様体 $τ(n)$ に、非可縮の非可縮ラグランジュトーラスの連続体が存在することを確立する。特に、$τ(3)$ における非トーラス型 $S^3$-ファイバーの非可動性を解消し、ノハラ＝ウエダが提起した疑問に答えている。

ABSTRACT

Motivated by the study of Nishinou-Nohara-Ueda on the Floer thoery of Gelfand-Cetlin systems over complex partial flag manifolds, we provide a complete description of the topology of Gelfand-Cetlin fibers. We prove that all fibers are \emph{smooth} isotropic submanifolds and give a complete description of the fiber to be Lagrangian in terms of combinatorics of Gelfand-Cetlin polytope. Then we study (non-)displaceability of Lagrangian fibers. After a few combinatorial and numercal tests for the displaceability, using the bulk-deformation of Floer cohomology by Schubert cycles, we prove that every full flag manifold $\mathcal{F}(n)$ ($n \geq 3$) with a monotone Kirillov-Kostant-Souriau symplectic form carries a continuum of non-displaceable Lagrangian tori which degenerates to a non-torus fiber in the Hausdorff limit. In particular, the Lagrangian $S^3$-fiber in $\mathcal{F}(3)$ is non-displaceable the question of which was raised by Nohara-Ueda who computed its Floer cohomology to be vanishing.

研究の動機と目的

• 部分フラッグ多様体上のゲルファンド＝チェトリン系におけるファイバーの位相を完全に記述すること。
• ゲルファンド＝チェトリン多面体の組合せ論を用いて、どのファイバーがラグランジュ的であるかを特定すること。
• モノトーンな全フラッグ多様体におけるラグランジュファイバーの可動性を調査すること。
• $\mathcal{F}(3)$ における $S^3$-ファイバーの非可動性を解消すること、これはノハラ＝ウエダが提起した未解決の問いである。
• トーラス型でないラグランジュ部分多様体を含む、ファウカ型カテゴリの理解をトーラス型ファイバーを超えて拡張すること。

提案手法

• ラダーダイアグラムとテーブルックスに基づく組合せ的枠組みを用いて、ゲルファンド＝チェトリン多面体の面構造を符号化する。
• ラダーダイアグラムの部分グラフ上で、3D-TETRIS®-に類似した手順を用いて、ファイバーの位相的性質およびラグランジュ的性質を決定する。
• シューベルト円周を用いたバッチ変形を用いて、フロアー上同調加群を変形し、ファイバーの可動性をテストする。
• モジュライ空間技法とグロモフ＝ウィッテン理論を用いて、バッチ変形付きの潜在関数を計算する。
• 除法公理と忘却写像の整合性を用いて、潜在関数内の係数 $n_\beta(\mathbf{p})$ を計算する。
• 非ユニタリ平坦線束による変形を用いて、バッチ変形潜在関数の定義域を $H^1(L; \Lambda_0)$ に拡張する。

実験結果

リサーチクエスチョン

• RQ1 ゲルファンド＝チェトリン系におけるどのファイバーがラグランジュ的であり、その特定はどのように組合せ論的に行えるか？
• RQ2 ゲルファンド＝チェトリンファイバーの位相的構造は何か？ そして、それらは等光的であるか？
• RQ3 モノトーンな全フラッグ多様体 $\mathcal{F}(n)$（$n \geq 3$）に非可動ラグランジュファイバーが存在するか？
• RQ4 $\mathcal{F}(3)$ における $S^3$-ファイバーは、フロアー上同調加群が自明であるにもかかわらず非可動であるか？
• RQ5 シューベルト円周によるバッチ変形は、ラグランジュファイバーの可動性にどのように影響するか？

主な発見

• すべてのゲルファンド＝チェトリンファイバーは滑らかな等光的部分多様体である。
• ファイバーがラグランジュ的であるための必要十分条件は、対応するゲルファンド＝チェトリン多面体の面が特定の組合せ的条件を満たすことである。
• 任意の $n \geq 3$ に対して、モノトーン・キリロフ＝コスタント＝ソリアウ形式を備えた全フラッグ多様体 $\mathcal{F}(n)$ には、非可動ラグランジュトーラスの連続体が存在する。
• $\mathcal{F}(3)$ における非トーラス型 $S^3$-ファイバーは非可動であり、ノハラ＝ウエダの問いを解決した。
• バッチ変形潜在関数は $H^1(L; \Lambda_0)$ 上で適切に定義されており、係数は $n_\beta(\mathbf{p}) = n_\beta \cdot \prod_{i=1}^{\ell} (\beta \cap \mathscr{D}_{\mathbf{p}(i)})$ で与えられる。
• バッチ変形付きの潜在関数は、$\sum_{\beta; \mu(\beta)=2} n_\beta \cdot \exp(\beta \cap \mathfrak{b}) \cdot \exp(\partial\beta \cap b) \cdot T^{\omega(\beta)/2\pi} \cdot \mathrm{PD}[L]$ の形をとる。