[論文レビュー] Floer cohomologies of non-torus fibers of the Gelfand-Cetlin system

Yuichi Nohara, Kazushi Ueda|arXiv (Cornell University)|Sep 14, 2014

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

ひとこと要約

本稿は、3次元全旗多様体および4次元空間内の2次元部分空間のグリーンマンに於けるゲルファンド＝ツェトリン系における非トーラスラグラングィアン・ファイバーのフローエ・コhomologyを計算する。変形された$A_\infty$-構造とポテンシャル関数を用いて、非トーラスファイバーが非自明なフローエ・コhomologyを支持できることを示し、明示的な計算によりノビコフ環の商への同型が得られ、それらのファイバーがトーラスでなくても非自明な量子コホモロジー的データを担えることを示している。

ABSTRACT

The Gelfand-Cetlin system has non-torus Lagrangian fibers on some of the boundary strata of the moment polytope. We compute Floer cohomologies of such non-torus Lagrangian fibers in the cases of the 3-dimensional full flag manifold and the Grassmannian of 2-planes in a 4-space.

研究の動機と目的

• ゲルファンド＝ツェトリン系における非トーラスラグラングィアン・ファイバーのフローエ・コホモロジーを計算すること。これらはラグラングィアンではあるが、トーラスではない。
• トーラスファイバーに限らない統合系におけるフローエ・コホモロジーおよび弱いバインディング・コチェーンの枠組みを拡張すること。
• 非トーラスファイバーが、ファノトーリック多様体におけるトーリックファイバーの挙動に類似した非自明な変形フローエ・コホモロジーを支持できるかどうかを調査すること。
• ポテンシャル関数の臨界点と非自明なフローエ・コホモロジーとの間の対応関係を確立すること。

提案手法

• ノビコフ環$\Lambda_0$上でのラグラングィアン・フローエ理論における$A_\infty$-代数および弱いバインディング・コチェーンの形式的枠組みを用いる。
• 非自明な変形フローエ・コホモロジーを検出するために、ポテンシャル関数$\mathfrak{PO}$を適用する。
• 同じポテンシャル値を持つ弱いバインディング・コチェーンのペアに対して、変形フローエ微分$\delta_{b_0,b_1}$を用いる。
• 円作用とモノドロミー情報に基づく積分を用いて、$\mathfrak{m}_k$-作用の明示的計算を行う。
• $\operatorname{U}(n)$-作用とモーメント写像を用いて、ハミルトニアンフローと不可消去エネルギーを解析し、非自明な交差のエネルギーを上から抑え込む。
• $\operatorname{Fl}(3)$および$\operatorname{Gr}(2,4)$における特定のファイバーのフローエ・コホモロジーを計算し、$(\Lambda_0 / T^\lambda \Lambda_0)^2$に同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ゲルファンド＝ツェトリン系における非トーラスラグラングィアン・ファイバーは、非自明なフローエ・コホモロジーを支持できるか？
• RQ2 ポテンシャル関数$\mathfrak{PO}$は非トーラスファイバーに対してどのように振る舞い、非自明な量子構造を検出できるか？
• RQ3 弱いバインディング・コチェーンのペアに対する非トーラスファイバーの変形フローエ・コホモロジーの構造は何か？
• RQ4 このようなファイバーにおいて、ノビコフ体$\Lambda$上でのフローエ・コホモロジーは自明であるが、$\Lambda_0$上では非自明である場合があるか？
• RQ5 非トーラスファイバーの不可消去エネルギーは、非自明なフローエ・コホモロジーの存在とどのように関係するか？

主な発見

• 3次元全旗多様体$\operatorname{Fl}(3)$では、ポテンシャル関数に6つの臨界点があり、$H^*(\operatorname{Fl}(3);\Lambda)$のランクと一致する。
• グリーンマン$\operatorname{Gr}(2,4)$では、ポテンシャル関数に10つの臨界点があり、$H^*(\operatorname{Gr}(2,4);\Lambda)$のランクに等しい。
• ペア$((L_0, \pm \pi\sqrt{-1}/2 \mathbf{e}_1), (L_0, \mp \pi\sqrt{-1}/2 \mathbf{e}_1))$のフローエ・コホモロジーは、$(\Lambda_0 / T^\lambda \Lambda_0)^2$に同型である。
• このペアに関して、ノビコフ体$\Lambda$上でのフローエ・コホモロジーは自明であるが、$\Lambda_0$上では非自明である。
• ファイバー$L_t$の不可消去エネルギーは、$ h(t) = \frac{2\lambda}{\pi} \arctan\left(\sqrt{\frac{\lambda^2 - t^2}{t^2}}\right) $によって上から抑えられ、これは下に凸で、$t = \pm\lambda$で消える。
• 明示的な積分公式により、$\mathfrak{m}_{k+l+1,\beta_i}$-作用が得られ、$ \delta_{b,-b}(\mathbf{e}_3) = \frac{16}{3\pi} T^\lambda $が得られ、$\Lambda_0$係数設定において非自明性が確認される。